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

Namemps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum3.opb
MD5SUMfd20bcfe4a71405dc1e0ef3cb894b630
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 87370
Biggest coefficient in the objective function 1310720000
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 13573186735
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 10240000000000000927712935936
Number of bits of the biggest number in a constraint 94
Biggest sum of numbers in a constraint 29801266744107043904416645120
Number of bits of the biggest sum of numbers95
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables93400
Total number of constraints70153
Number of constraints which are clauses6081
Number of constraints which are cardinality constraints (but not clauses)7185
Number of constraints which are nor clauses,nor cardinality constraints56887
Minimum length of a constraint1
Maximum length of a constraint1018

Trace number 10053

Launcher Data

LAUNCH ON wulflinc13 THE 2005-09-23 16:39:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8785 boxname=wulflinc13 idbench=581 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  fd20bcfe4a71405dc1e0ef3cb894b630  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-momentum3.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-momentum3.opb
IDLAUNCH: 8785
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.180
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.180
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:        573868 kB
Buffers:         14124 kB
Cached:         427196 kB
SwapCached:          0 kB
Active:         346492 kB
Inactive:        97788 kB
HighTotal:      131008 kB
HighFree:         3808 kB
LowTotal:       903652 kB
LowFree:        570060 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              20 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10740 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 16:44:56 (client local time) WITH STATUS 1 IN 309.541 SECONDS
stats: 8785 7 309.541 1

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified

	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/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21696379 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 373 2 364 364 0 9 0
[pid=8056] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-momentum3.opb

[startup+10.0019 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 2524 0 0 0 992 5 0 0 25 0 1 0 21696379 9502720 1838 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 2320 1838 364 364 0 1956 0
[pid=8056] vsize: 9280
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 9280

[startup+20.0026 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 4181 0 0 0 1989 8 0 0 25 0 1 0 21696379 15224832 2747 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 3717 2747 364 364 0 3353 0
[pid=8056] vsize: 14868
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 14868

[startup+30.0022 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 4421 0 0 0 2988 9 0 0 25 0 1 0 21696379 15765504 2981 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 3849 2981 364 364 0 3485 0
[pid=8056] vsize: 15396
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 15396

[startup+40.0029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 4697 0 0 0 3987 10 0 0 25 0 1 0 21696379 16441344 3253 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 4014 3253 364 364 0 3650 0
[pid=8056] vsize: 16056
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 16056

[startup+50.0036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 4950 0 0 0 4987 10 0 0 25 0 1 0 21696379 17117184 3502 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 4179 3502 364 364 0 3815 0
[pid=8056] vsize: 16716
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 16716

[startup+60.0032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 5177 0 0 0 5987 11 0 0 25 0 1 0 21696379 17657856 3725 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 4311 3725 364 364 0 3947 0
[pid=8056] vsize: 17244
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 17244

[startup+70.0039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 5388 0 0 0 6986 11 0 0 25 0 1 0 21696379 18198528 3932 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 4443 3932 364 364 0 4079 0
[pid=8056] vsize: 17772
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 17772

[startup+80.0046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 5583 0 0 0 7986 12 0 0 25 0 1 0 21696379 18739200 4124 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 4575 4124 364 364 0 4211 0
[pid=8056] vsize: 18300
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 18300

[startup+90.0053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 5769 0 0 0 8985 12 0 0 25 0 1 0 21696379 19144704 4307 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 4674 4307 364 364 0 4310 0
[pid=8056] vsize: 18696
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 18696

[startup+100.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 5947 0 0 0 9985 13 0 0 25 0 1 0 21696379 19685376 4482 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 4806 4482 364 364 0 4442 0
[pid=8056] vsize: 19224
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 19224

[startup+110.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 8309 0 0 0 10981 17 0 0 25 0 1 0 21696379 28831744 5367 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 7039 5367 364 364 0 6675 0
[pid=8056] vsize: 28156
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 28156

[startup+120.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 8367 0 0 0 11980 17 0 0 25 0 1 0 21696379 28831744 5422 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 7039 5422 364 364 0 6675 0
[pid=8056] vsize: 28156
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 28156

[startup+130.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 8488 0 0 0 12979 18 0 0 25 0 1 0 21696379 29102080 5541 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 7105 5541 364 364 0 6741 0
[pid=8056] vsize: 28420
Current children cumulated CPU time (s) 129.97
Current children cumulated vsize (Kb) 28420

[startup+140.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 8614 0 0 0 13979 18 0 0 25 0 1 0 21696379 29372416 5665 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 7171 5665 364 364 0 6807 0
[pid=8056] vsize: 28684
Current children cumulated CPU time (s) 139.97
Current children cumulated vsize (Kb) 28684

[startup+150.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 8738 0 0 0 14979 19 0 0 25 0 1 0 21696379 29642752 5786 4294967295 134512640 135987407 3221224560 3221221792 134534646 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 7237 5786 364 364 0 6873 0
[pid=8056] vsize: 28948
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 28948

[startup+160.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 8856 0 0 0 15979 19 0 0 25 0 1 0 21696379 29913088 5902 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 7303 5902 364 364 0 6939 0
[pid=8056] vsize: 29212
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 29212

[startup+170.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 8972 0 0 0 16979 19 0 0 25 0 1 0 21696379 30183424 6016 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 7369 6016 364 364 0 7005 0
[pid=8056] vsize: 29476
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 29476

[startup+180.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 9092 0 0 0 17979 19 0 0 25 0 1 0 21696379 30453760 6134 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 7435 6134 364 364 0 7071 0
[pid=8056] vsize: 29740
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (Kb) 29740

[startup+190.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 9216 0 0 0 18979 20 0 0 25 0 1 0 21696379 30859264 6256 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 7534 6256 364 364 0 7170 0
[pid=8056] vsize: 30136
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 30136

[startup+200.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 9339 0 0 0 19979 20 0 0 25 0 1 0 21696379 31129600 6377 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 7600 6377 364 364 0 7236 0
[pid=8056] vsize: 30400
Current children cumulated CPU time (s) 199.99
Current children cumulated vsize (Kb) 30400

[startup+210.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 21485 0 0 0 20948 49 0 0 25 0 1 0 21696379 67235840 12964 4294967295 134512640 135987407 3221224560 3221221744 134536111 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 16415 12964 364 364 0 16051 0
[pid=8056] vsize: 65660
Current children cumulated CPU time (s) 209.97
Current children cumulated vsize (Kb) 65660

[startup+220.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 43660 0 0 0 21898 96 0 0 25 0 1 0 21696379 135647232 27044 4294967295 134512640 135987407 3221224560 3220924300 134636959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 33117 27044 364 364 0 32753 0
[pid=8056] vsize: 132468
Current children cumulated CPU time (s) 219.94
Current children cumulated vsize (Kb) 132468

[startup+230.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 81484 0 0 0 22810 180 0 0 25 0 1 0 21696379 261701632 48804 4294967295 134512640 135987407 3221224560 3220994608 134558953 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 63892 48804 364 364 0 63528 0
[pid=8056] vsize: 255568
Current children cumulated CPU time (s) 229.9
Current children cumulated vsize (Kb) 255568

[startup+240.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 111270 0 0 0 23740 248 0 0 25 0 1 0 21696379 368836608 66091 4294967295 134512640 135987407 3221224560 3220923520 134856473 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 90048 66091 364 364 0 89684 0
[pid=8056] vsize: 360192
Current children cumulated CPU time (s) 239.88
Current children cumulated vsize (Kb) 360192

[startup+250.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 132677 0 0 0 24694 292 0 0 25 0 1 0 21696379 401006592 87258 4294967295 134512640 135987407 3221224560 3220982944 134892727 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8056/statm): 97902 87258 364 364 0 97538 0
[pid=8056] vsize: 391608
Current children cumulated CPU time (s) 249.86
Current children cumulated vsize (Kb) 391608

[startup+260.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 176106 0 0 0 25602 379 0 0 25 0 1 0 21696379 538951680 111074 4294967295 134512640 135987407 3221224560 3220995088 134856487 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 131580 111074 364 364 0 131216 0
[pid=8056] vsize: 526320
Current children cumulated CPU time (s) 259.81
Current children cumulated vsize (Kb) 526320

[startup+270.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 216819 0 0 0 26512 467 0 0 25 0 1 0 21696379 694525952 127016 4294967295 134512640 135987407 3221224560 3220942288 134877642 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 169562 127016 364 364 0 169198 0
[pid=8056] vsize: 678248
Current children cumulated CPU time (s) 269.79
Current children cumulated vsize (Kb) 678248

[startup+280.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 234133 0 0 0 27475 503 0 0 25 0 1 0 21696379 717504512 144122 4294967295 134512640 135987407 3221224560 3220961888 134862192 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 175172 144122 364 364 0 174808 0
[pid=8056] vsize: 700688
Current children cumulated CPU time (s) 279.78
Current children cumulated vsize (Kb) 700688

[startup+290.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 253035 0 0 0 28428 548 0 0 25 0 1 0 21696379 742645760 162797 4294967295 134512640 135987407 3221224560 3220931184 134855001 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 181310 162798 364 364 0 180946 0
[pid=8056] vsize: 725240
Current children cumulated CPU time (s) 289.76
Current children cumulated vsize (Kb) 725240

[startup+300.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 8056
Raw data (/proc/8056/stat): 8056 (pb2sat) R 8055 8056 4060 0 -1 0 268627 0 0 0 29393 581 0 0 25 0 1 0 21696379 815550464 178210 4294967295 134512640 135987407 3221224560 3220969996 134636964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8056/statm): 199109 178210 364 364 0 198745 0
[pid=8056] vsize: 796436
Current children cumulated CPU time (s) 299.74
Current children cumulated vsize (Kb) 796436
One traced child (pid=8056) exited with status: 1
All traced children have exited ! Game is over.

Child status: 1
Real time (s): 309.819
CPU time (s): 309.541
CPU user time (s): 303.085
CPU system time (s): 6.45602
CPU usage (%): 99.9101
Max. virtual memory (cumulated for all children) (Kb): 796436

Verifier Data

ERROR: no interpretation found !