Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namesubmitted/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb
MD5SUM6292e63147fb202dc159fbf5a9ff5c77
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4882
Optimality of the best value was proved NO
Number of terms in the objective function 771
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 33355
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 33355
Number of bits of the biggest sum of numbers16
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1196.31
Number of variables771
Total number of constraints1951
Number of constraints which are clauses1949
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint1
Maximum length of a constraint42

Trace number 9700

Launcher Data

LAUNCH ON wulflinc4 THE 2005-09-23 15:05:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8452 boxname=wulflinc4 idbench=248 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6292e63147fb202dc159fbf5a9ff5c77  /oldhome/oroussel/tmp/wulflinc4/normalized-C432.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc4/normalized-C432.opb
IDLAUNCH: 8452
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        935912 kB
Buffers:         11852 kB
Cached:          70088 kB
SwapCached:          0 kB
Active:          44124 kB
Inactive:        40676 kB
HighTotal:      131008 kB
HighFree:        56644 kB
LowTotal:       903652 kB
LowFree:        879268 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8384 kB
Committed_AS:    63656 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:11:20 (client local time) WITH STATUS 1 IN 320.662 SECONDS
stats: 8452 7 320.662 1

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 31981
c big objective detected
c trying from 0 to 511
c trying from 512 to 1023
c trying from 1024 to 1535

	Unexpected exception :
	St9bad_alloc

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21151384 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 373 2 364 364 0 9 0
[pid=8229] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc4/normalized-C432.opb

[startup+10.0025 s]
Raw data (loadavg): 0.87 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 30078 0 0 0 925 68 0 0 25 0 1 0 21151384 98070528 18962 4294967295 134512640 135987407 3221224576 3221202432 134537491 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 23943 18962 364 364 0 23579 0
[pid=8229] vsize: 95772
Current children cumulated CPU time (s) 9.93
Current children cumulated vsize (Kb) 95772

[startup+20.0034 s]
Raw data (loadavg): 0.89 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 59359 0 0 0 1864 127 0 0 25 0 1 0 21151384 190922752 37049 4294967295 134512640 135987407 3221224576 3221157708 134636959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 46612 37049 364 364 0 46248 0
[pid=8229] vsize: 186448
Current children cumulated CPU time (s) 19.91
Current children cumulated vsize (Kb) 186448

[startup+30.0043 s]
Raw data (loadavg): 0.90 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 81416 0 0 0 2807 179 0 0 25 0 1 0 21151384 263188480 57984 4294967295 134512640 135987407 3221224576 3221009952 134887887 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 64255 57984 364 364 0 63891 0
[pid=8229] vsize: 257020
Current children cumulated CPU time (s) 29.86
Current children cumulated vsize (Kb) 257020

[startup+40.0051 s]
Raw data (loadavg): 0.92 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 117500 0 0 0 3731 254 0 0 25 0 1 0 21151384 369516544 71880 4294967295 134512640 135987407 3221224576 3221001920 134876948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 90214 71880 364 364 0 89850 0
[pid=8229] vsize: 360856
Current children cumulated CPU time (s) 39.85
Current children cumulated vsize (Kb) 360856

[startup+50.005 s]
Raw data (loadavg): 0.93 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 127151 0 0 0 4710 274 0 0 25 0 1 0 21151384 375058432 81338 4294967295 134512640 135987407 3221224576 3221090912 134559706 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 91567 81338 364 364 0 91203 0
[pid=8229] vsize: 366268
Current children cumulated CPU time (s) 49.84
Current children cumulated vsize (Kb) 366268

[startup+60.0059 s]
Raw data (loadavg): 0.94 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 140673 0 0 0 5682 301 0 0 25 0 1 0 21151384 429293568 94667 4294967295 134512640 135987407 3221224576 3221217184 134636949 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 104808 94667 364 364 0 104444 0
[pid=8229] vsize: 419232
Current children cumulated CPU time (s) 59.83
Current children cumulated vsize (Kb) 419232

[startup+70.0067 s]
Raw data (loadavg): 0.95 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 204649 0 0 0 6548 430 0 0 25 0 1 0 21151384 661549056 114499 4294967295 134512640 135987407 3221224576 3221189824 134876447 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 161511 114499 364 364 0 161147 0
[pid=8229] vsize: 646044
Current children cumulated CPU time (s) 69.78
Current children cumulated vsize (Kb) 646044

[startup+80.0085 s]
Raw data (loadavg): 0.96 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 216767 0 0 0 7520 456 0 0 25 0 1 0 21151384 685408256 121749 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 167336 121749 364 364 0 166972 0
[pid=8229] vsize: 669344
Current children cumulated CPU time (s) 79.76
Current children cumulated vsize (Kb) 669344

[startup+90.0084 s]
Raw data (loadavg): 0.96 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 217098 0 0 0 8519 457 0 0 25 0 1 0 21151384 686333952 121950 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 167562 121950 364 364 0 167198 0
[pid=8229] vsize: 670248
Current children cumulated CPU time (s) 89.76
Current children cumulated vsize (Kb) 670248

[startup+100.008 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 218049 0 0 0 9516 459 0 0 25 0 1 0 21151384 689496064 122512 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 168334 122512 364 364 0 167970 0
[pid=8229] vsize: 673336
Current children cumulated CPU time (s) 99.75
Current children cumulated vsize (Kb) 673336

[startup+110.009 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 218389 0 0 0 10514 461 0 0 25 0 1 0 21151384 690282496 122658 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 168526 122658 364 364 0 168162 0
[pid=8229] vsize: 674104
Current children cumulated CPU time (s) 109.75
Current children cumulated vsize (Kb) 674104

[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 218662 0 0 0 11513 461 0 0 25 0 1 0 21151384 690823168 122866 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 168658 122866 364 364 0 168294 0
[pid=8229] vsize: 674632
Current children cumulated CPU time (s) 119.74
Current children cumulated vsize (Kb) 674632

[startup+130.01 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 219198 0 0 0 12511 463 0 0 25 0 1 0 21151384 692330496 123174 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 169026 123174 364 364 0 168662 0
[pid=8229] vsize: 676104
Current children cumulated CPU time (s) 129.74
Current children cumulated vsize (Kb) 676104

[startup+140.011 s]
Raw data (loadavg): 0.98 0.97 0.98 3/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 219398 0 0 0 13509 464 0 0 25 0 1 0 21151384 693121024 123245 4294967295 134512640 135987407 3221224576 3221223232 134812304 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 169219 123245 364 364 0 168855 0
[pid=8229] vsize: 676876
Current children cumulated CPU time (s) 139.73
Current children cumulated vsize (Kb) 676876

[startup+150.011 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 219500 0 0 0 14508 465 0 0 25 0 1 0 21151384 693440512 123314 4294967295 134512640 135987407 3221224576 3221223312 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 169297 123314 364 364 0 168933 0
[pid=8229] vsize: 677188
Current children cumulated CPU time (s) 149.73
Current children cumulated vsize (Kb) 677188

[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 219655 0 0 0 15508 465 0 0 25 0 1 0 21151384 693964800 123340 4294967295 134512640 135987407 3221224576 3221223296 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 169425 123340 364 364 0 169061 0
[pid=8229] vsize: 677700
Current children cumulated CPU time (s) 159.73
Current children cumulated vsize (Kb) 677700

[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 219793 0 0 0 16507 465 0 0 25 0 1 0 21151384 694226944 123413 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 169489 123413 364 364 0 169125 0
[pid=8229] vsize: 677956
Current children cumulated CPU time (s) 169.72
Current children cumulated vsize (Kb) 677956

[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 220226 0 0 0 17506 466 0 0 25 0 1 0 21151384 695152640 123652 4294967295 134512640 135987407 3221224576 3221223188 135477972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 169715 123652 364 364 0 169351 0
[pid=8229] vsize: 678860
Current children cumulated CPU time (s) 179.72
Current children cumulated vsize (Kb) 678860

[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 220229 0 0 0 18505 466 0 0 25 0 1 0 21151384 695152640 123655 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 169715 123655 364 364 0 169351 0
[pid=8229] vsize: 678860
Current children cumulated CPU time (s) 189.71
Current children cumulated vsize (Kb) 678860

[startup+200.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 220494 0 0 0 19504 467 0 0 25 0 1 0 21151384 695676928 123791 4294967295 134512640 135987407 3221224576 3221223136 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 169843 123791 364 364 0 169479 0
[pid=8229] vsize: 679372
Current children cumulated CPU time (s) 199.71
Current children cumulated vsize (Kb) 679372

[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 220746 0 0 0 20503 468 0 0 25 0 1 0 21151384 696340480 123914 4294967295 134512640 135987407 3221224576 3221223200 134801142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 170005 123914 364 364 0 169641 0
[pid=8229] vsize: 680020
Current children cumulated CPU time (s) 209.71
Current children cumulated vsize (Kb) 680020

[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 220748 0 0 0 21502 468 0 0 25 0 1 0 21151384 696340480 123916 4294967295 134512640 135987407 3221224576 3221223136 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 170005 123916 364 364 0 169641 0
[pid=8229] vsize: 680020
Current children cumulated CPU time (s) 219.7
Current children cumulated vsize (Kb) 680020

[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 220751 0 0 0 22501 469 0 0 25 0 1 0 21151384 696340480 123919 4294967295 134512640 135987407 3221224576 3221223136 134811891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 170005 123919 364 364 0 169641 0
[pid=8229] vsize: 680020
Current children cumulated CPU time (s) 229.7
Current children cumulated vsize (Kb) 680020

[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 220752 0 0 0 23501 469 0 0 25 0 1 0 21151384 696340480 123920 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 170005 123920 364 364 0 169641 0
[pid=8229] vsize: 680020
Current children cumulated CPU time (s) 239.7
Current children cumulated vsize (Kb) 680020

[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 220899 0 0 0 24500 469 0 0 25 0 1 0 21151384 696864768 123938 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 170133 123938 364 364 0 169769 0
[pid=8229] vsize: 680532
Current children cumulated CPU time (s) 249.69
Current children cumulated vsize (Kb) 680532

[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 221560 0 0 0 25498 471 0 0 25 0 1 0 21151384 698892288 124599 4294967295 134512640 135987407 3221224576 3221223152 134931260 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 170628 124599 364 364 0 170264 0
[pid=8229] vsize: 682512
Current children cumulated CPU time (s) 259.69
Current children cumulated vsize (Kb) 682512

[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 254845 0 0 0 26404 556 0 0 25 0 1 0 21151384 819462144 157811 4294967295 134512640 135987407 3221224576 3221158924 134865970 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 200064 157811 364 364 0 199700 0
[pid=8229] vsize: 800256
Current children cumulated CPU time (s) 269.6
Current children cumulated vsize (Kb) 800256

[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 267012 0 0 0 27382 579 0 0 25 0 1 0 21151384 819462144 169764 4294967295 134512640 135987407 3221224576 3221024828 135499903 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 200064 169764 364 364 0 199700 0
[pid=8229] vsize: 800256
Current children cumulated CPU time (s) 279.61
Current children cumulated vsize (Kb) 800256

[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 275948 0 0 0 28366 594 0 0 25 0 1 0 21151384 821084160 178550 4294967295 134512640 135987407 3221224576 3221062476 135499903 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 200460 178550 364 364 0 200096 0
[pid=8229] vsize: 801840
Current children cumulated CPU time (s) 289.6
Current children cumulated vsize (Kb) 801840

[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 287641 0 0 0 29344 615 0 0 25 0 1 0 21151384 833114112 190039 4294967295 134512640 135987407 3221224576 3220982920 134893009 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 203397 190039 364 364 0 203033 0
[pid=8229] vsize: 813588
Current children cumulated CPU time (s) 299.59
Current children cumulated vsize (Kb) 813588

[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 301752 0 0 0 30312 646 0 0 25 0 1 0 21151384 855957504 203952 4294967295 134512640 135987407 3221224576 3221166048 134862238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 208974 203952 364 364 0 208610 0
[pid=8229] vsize: 835896
Current children cumulated CPU time (s) 309.58
Current children cumulated vsize (Kb) 835896

[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 8229
Raw data (/proc/8229/stat): 8229 (pb2sat) R 8228 8229 4060 0 -1 0 307891 0 0 0 31285 671 0 0 25 0 1 0 21151384 566046720 137737 4294967295 134512640 135987407 3221224576 3221223360 134892999 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8229/statm): 138195 137737 364 364 0 137831 0
[pid=8229] vsize: 552780
Current children cumulated CPU time (s) 319.56
Current children cumulated vsize (Kb) 552780
One traced child (pid=8229) exited with status: 1
All traced children have exited ! Game is over.

Child status: 1
Real time (s): 321.113
CPU time (s): 320.662
CPU user time (s): 313.667
CPU system time (s): 6.99494
CPU usage (%): 99.8596
Max. virtual memory (cumulated for all children) (Kb): 835896

Verifier Data

ERROR: no interpretation found !