{ "actual_mpi_transport": true, "actual_multi_host": false, "all_checks_passed": true, "cases": [ { "active_epoch_after_run": false, "all_checks_passed": true, "checks": { "bounded_runtime": true, "configured_budget_is_reported": true, "epoch_lifecycle_matches_admission": true, "exact_public_objects": true, "exit_status_matches_admission": true, "failure_is_explicit": true, "no_staged_object_residue": true, "seed_is_intact": true }, "command": [ "mpirun", "--oversubscribe", "-np", "2", "python3", "/home/ubuntu/code/symcc/util/mpi_concolic_execution.py", "-i", "/tmp/symcc-f340-success-ra2csnd0/input", "-o", "/tmp/symcc-f340-success-ra2csnd0/output", "-t", "1", "--max-idle", "1", "--wall-timeout", "30", "--", "/tmp/symcc-f340-success-ra2csnd0/result-contract-target.py" ], "elapsed_seconds": 1.7410311510320753, "invalid_public_objects": [], "mode": "success", "output": "SymCC MPI Parallel Concolic Execution\n Processes: 2\n Mode: single-master (1 workers)\n Shared dir: /tmp/symcc-f340-success-ra2csnd0/output\n Input dir: /tmp/symcc-f340-success-ra2csnd0/input\n Target: /tmp/symcc-f340-success-ra2csnd0/result-contract-target.py\n Timeout: 1s per execution\n Result budget: 2 objects, 16 bytes per parent\n Work epoch: a3ca97c2d9ddf5ae2899e092ee5c8c7afded5c609fd15bcbb6f7ebe5c6e00ed2 (configured recovery)\n Retired GC: 0 root(s) reclaimed, 0 entry(s) removed, stop=disabled\n Retired budget: roots=0, entries=4096, time=0.05s\n Retired scan: entries=0, candidates=0, selected=0\n Retirement: renameat2(RENAME_NOREPLACE) qualified\n Wall timeout: 30s total\n\n[Master] Imported 1 initial inputs from /tmp/symcc-f340-success-ra2csnd0/input\n[Master] Using 1 master(s), 1 workers in this group\n[Master] Durable work ownership: rendezvous + 64 fenced shards, lease=6s\n[Master] Shared filesystem capabilities: {'schema': 'symcc-shared-filesystem-capabilities-v1', 'root': '/tmp/symcc-f340-success-ra2csnd0/output/.standalone-work-a3ca97c2d9ddf5ae2899e092ee5c8c7afded5c609fd15bcbb6f7ebe5c6e00ed2', 'publication_root': '/tmp/symcc-f340-success-ra2csnd0/output', 'device': 92, 'filesystem_id': 18395215968828387670, 'publication_device': 92, 'publication_filesystem_id': 18395215968828387670, 'filesystem_type': 'overlay', 'mount_point': '/', 'mount_source': 'overlay', 'distributed_filesystem': False, 'cluster_lock_verified': False, 'probe_scope': 'same-host-subprocess-v1', 'cluster_lock_members': [{'rank': 0, 'processor': 'cuda-ke'}], 'cluster_lock_representatives': [0], 'cluster_lock_rounds': 0, 'cluster_lock_contention_checks': 0, 'cluster_lock_release_checks': 0, 'file_fsync': True, 'directory_fsync': True, 'same_directory_replace': True, 'cross_directory_replace': True, 'publication_replace': True, 'hard_link': True, 'durable_unlink': True, 'advisory_lock_exclusion': True, 'advisory_lock_release': True}\n[Master 0] Waiting for inputs... (1 generated, 1 interesting, 2 analyzed)\n[Master] No more inputs after 1.001s (limit 1s). Shutting down.\n[Master 0] Worker shutdown: acked=1/1 pending=[] drained_results=0 result_errors=[] quarantined={} communication_errors=[] elapsed=0.010s\n\n[Master] === Final Statistics ===\n[Master] Total analysis observations: 2\n[Master] Total test cases generated: 1\n[Master] New interesting test cases: 1\n[Master] Throughput: 0.8 tc/s\n[Master] Masters used: 1\n[Master] Workers used: 1\n[Master] Analysis by master: 0=2\n", "retired_epoch_count": 1, "returncode": 0, "staged_residue": [], "valid_public_objects": [ "007a6b15c32c8786c6e5812523d09e52e4a227bb000a08142d409d0fd9ed9ff1", "95e0bde0ce782dac432b3459b2d41eb42d45c33ade76201d9f36d306ff98f6ee" ] }, { "active_epoch_after_run": true, "all_checks_passed": true, "checks": { "bounded_runtime": true, "configured_budget_is_reported": true, "epoch_lifecycle_matches_admission": true, "exact_public_objects": true, "exit_status_matches_admission": true, "failure_is_explicit": true, "no_staged_object_residue": true, "seed_is_intact": true }, "command": [ "mpirun", "--oversubscribe", "-np", "2", "python3", "/home/ubuntu/code/symcc/util/mpi_concolic_execution.py", "-i", "/tmp/symcc-f340-objects-6uhuvg3a/input", "-o", "/tmp/symcc-f340-objects-6uhuvg3a/output", "-t", "1", "--max-idle", "1", "--wall-timeout", "30", "--", "/tmp/symcc-f340-objects-6uhuvg3a/result-contract-target.py" ], "elapsed_seconds": 0.583118598908186, "invalid_public_objects": [], "mode": "objects", "output": "SymCC MPI Parallel Concolic Execution\n Processes: 2\n Mode: single-master (1 workers)\n Shared dir: /tmp/symcc-f340-objects-6uhuvg3a/output\n Input dir: /tmp/symcc-f340-objects-6uhuvg3a/input\n Target: /tmp/symcc-f340-objects-6uhuvg3a/result-contract-target.py\n Timeout: 1s per execution\n Result budget: 2 objects, 16 bytes per parent\n Work epoch: 12d09ac0c1e7682321efef347ed4dc90c510f98cd20c077f8d979ecf516e9290 (configured recovery)\n Retired GC: 0 root(s) reclaimed, 0 entry(s) removed, stop=disabled\n Retired budget: roots=0, entries=4096, time=0.05s\n Retired scan: entries=0, candidates=0, selected=0\n Retirement: renameat2(RENAME_NOREPLACE) qualified\n Wall timeout: 30s total\n\n[Master] Imported 1 initial inputs from /tmp/symcc-f340-objects-6uhuvg3a/input\n[Master] Using 1 master(s), 1 workers in this group\n[Master] Durable work ownership: rendezvous + 64 fenced shards, lease=6s\n[Master] Shared filesystem capabilities: {'schema': 'symcc-shared-filesystem-capabilities-v1', 'root': '/tmp/symcc-f340-objects-6uhuvg3a/output/.standalone-work-12d09ac0c1e7682321efef347ed4dc90c510f98cd20c077f8d979ecf516e9290', 'publication_root': '/tmp/symcc-f340-objects-6uhuvg3a/output', 'device': 92, 'filesystem_id': 18395215968828387670, 'publication_device': 92, 'publication_filesystem_id': 18395215968828387670, 'filesystem_type': 'overlay', 'mount_point': '/', 'mount_source': 'overlay', 'distributed_filesystem': False, 'cluster_lock_verified': False, 'probe_scope': 'same-host-subprocess-v1', 'cluster_lock_members': [{'rank': 0, 'processor': 'cuda-ke'}], 'cluster_lock_representatives': [0], 'cluster_lock_rounds': 0, 'cluster_lock_contention_checks': 0, 'cluster_lock_release_checks': 0, 'file_fsync': True, 'directory_fsync': True, 'same_directory_replace': True, 'cross_directory_replace': True, 'publication_replace': True, 'hard_link': True, 'durable_unlink': True, 'advisory_lock_exclusion': True, 'advisory_lock_release': True}\n[Worker 1] standalone result objects budget exceeded: observed=3, limit=2\n[Master 0] Global work control failure: standalone result objects budget exceeded: observed=3, limit=2\n[Master 0] Rejected 1 invalid or unowned worker result(s).\n[Master 0] Worker shutdown: acked=1/1 pending=[] drained_results=0 result_errors=[] quarantined={} communication_errors=[] elapsed=0.010s\n[Master 0] Incomplete MPI lifecycle after bounded master rendezvous; aborting job.\n--------------------------------------------------------------------------\nMPI_ABORT was invoked on rank 0 in communicator MPI_COMM_WORLD\nwith errorcode 70.\n\nNOTE: invoking MPI_ABORT causes Open MPI to kill all MPI processes.\nYou may or may not see output from other processes, depending on\nexactly when Open MPI kills them.\n--------------------------------------------------------------------------\n", "retired_epoch_count": 0, "returncode": 70, "staged_residue": [], "valid_public_objects": [ "007a6b15c32c8786c6e5812523d09e52e4a227bb000a08142d409d0fd9ed9ff1" ] }, { "active_epoch_after_run": true, "all_checks_passed": true, "checks": { "bounded_runtime": true, "configured_budget_is_reported": true, "epoch_lifecycle_matches_admission": true, "exact_public_objects": true, "exit_status_matches_admission": true, "failure_is_explicit": true, "no_staged_object_residue": true, "seed_is_intact": true }, "command": [ "mpirun", "--oversubscribe", "-np", "2", "python3", "/home/ubuntu/code/symcc/util/mpi_concolic_execution.py", "-i", "/tmp/symcc-f340-bytes-weyoq_tt/input", "-o", "/tmp/symcc-f340-bytes-weyoq_tt/output", "-t", "1", "--max-idle", "1", "--wall-timeout", "30", "--", "/tmp/symcc-f340-bytes-weyoq_tt/result-contract-target.py" ], "elapsed_seconds": 0.578508922830224, "invalid_public_objects": [], "mode": "bytes", "output": "SymCC MPI Parallel Concolic Execution\n Processes: 2\n Mode: single-master (1 workers)\n Shared dir: /tmp/symcc-f340-bytes-weyoq_tt/output\n Input dir: /tmp/symcc-f340-bytes-weyoq_tt/input\n Target: /tmp/symcc-f340-bytes-weyoq_tt/result-contract-target.py\n Timeout: 1s per execution\n Result budget: 2 objects, 16 bytes per parent\n Work epoch: 9fcbbe0ded2038e0a99e389d873bfcf91cb9cdf3e21bc0dfbeb3b5733a39ba75 (configured recovery)\n Retired GC: 0 root(s) reclaimed, 0 entry(s) removed, stop=disabled\n Retired budget: roots=0, entries=4096, time=0.05s\n Retired scan: entries=0, candidates=0, selected=0\n Retirement: renameat2(RENAME_NOREPLACE) qualified\n Wall timeout: 30s total\n\n[Master] Imported 1 initial inputs from /tmp/symcc-f340-bytes-weyoq_tt/input\n[Master] Using 1 master(s), 1 workers in this group\n[Master] Durable work ownership: rendezvous + 64 fenced shards, lease=6s\n[Master] Shared filesystem capabilities: {'schema': 'symcc-shared-filesystem-capabilities-v1', 'root': '/tmp/symcc-f340-bytes-weyoq_tt/output/.standalone-work-9fcbbe0ded2038e0a99e389d873bfcf91cb9cdf3e21bc0dfbeb3b5733a39ba75', 'publication_root': '/tmp/symcc-f340-bytes-weyoq_tt/output', 'device': 92, 'filesystem_id': 18395215968828387670, 'publication_device': 92, 'publication_filesystem_id': 18395215968828387670, 'filesystem_type': 'overlay', 'mount_point': '/', 'mount_source': 'overlay', 'distributed_filesystem': False, 'cluster_lock_verified': False, 'probe_scope': 'same-host-subprocess-v1', 'cluster_lock_members': [{'rank': 0, 'processor': 'cuda-ke'}], 'cluster_lock_representatives': [0], 'cluster_lock_rounds': 0, 'cluster_lock_contention_checks': 0, 'cluster_lock_release_checks': 0, 'file_fsync': True, 'directory_fsync': True, 'same_directory_replace': True, 'cross_directory_replace': True, 'publication_replace': True, 'hard_link': True, 'durable_unlink': True, 'advisory_lock_exclusion': True, 'advisory_lock_release': True}\n[Worker 1] standalone result bytes budget exceeded: observed=17, limit=16\n[Master 0] Global work control failure: standalone result bytes budget exceeded: observed=17, limit=16\n[Master 0] Rejected 1 invalid or unowned worker result(s).\n[Master 0] Incomplete MPI lifecycle after bounded master rendezvous; aborting job.\n[Master 0] Worker shutdown: acked=1/1 pending=[] drained_results=0 result_errors=[] quarantined={} communication_errors=[] elapsed=0.010s\n--------------------------------------------------------------------------\nMPI_ABORT was invoked on rank 0 in communicator MPI_COMM_WORLD\nwith errorcode 70.\n\nNOTE: invoking MPI_ABORT causes Open MPI to kill all MPI processes.\nYou may or may not see output from other processes, depending on\nexactly when Open MPI kills them.\n--------------------------------------------------------------------------\n", "retired_epoch_count": 0, "returncode": 70, "staged_residue": [], "valid_public_objects": [ "007a6b15c32c8786c6e5812523d09e52e4a227bb000a08142d409d0fd9ed9ff1" ] } ], "configuration": { "masters": 1, "max_bytes_per_parent": 16, "max_objects_per_parent": 2, "ranks": 2, "workers": 1 }, "proof_boundary": "Three same-host Open MPI runs on local overlayfs exercise one successful result and independent object/byte admission failures. A deterministic output-contract target does not invoke SymCC's solver; these results do not measure DSE coverage, multi-host storage, campaign throughput, bug discovery, or LAVA-M.", "schema": "symcc-f340-bounded-streaming-result-mpi-v1", "synthetic_output_contract_target": true }