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/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-rail507.opb
MD5SUM3525728b1c2480586834886de2d50400
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 284672000000000
Optimality of the best value was proved NO
Number of terms in the objective function 63309
Biggest coefficient in the objective function 53687091200000000000
Number of bits for the biggest coefficient in the objective function 66
Sum of the numbers in the objective function 215947469635884908544
Number of bits of the sum of numbers in the objective function 68
Biggest number in a constraint 53687091200000000000
Number of bits of the biggest number in a constraint 66
Biggest sum of numbers in a constraint 215947469635884908544
Number of bits of the biggest sum of numbers68
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1234.36
Number of variables63009
Total number of constraints63518
Number of constraints which are clauses507
Number of constraints which are cardinality constraints (but not clauses)63011
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint59416

Trace number 10250

Launcher Data

LAUNCH ON wulflinc13 THE 2005-09-23 17:39:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8971 boxname=wulflinc13 idbench=767 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3525728b1c2480586834886de2d50400  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-rail507.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-rail507.opb
IDLAUNCH: 8971
/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:        956304 kB
Buffers:           396 kB
Cached:          60464 kB
SwapCached:          0 kB
Active:          27912 kB
Inactive:        35908 kB
HighTotal:      131008 kB
HighFree:        66220 kB
LowTotal:       903652 kB
LowFree:        890084 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8912 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:44:35 (client local time) WITH STATUS 1 IN 310.303 SECONDS
stats: 8971 7 310.303 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/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22054196 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8566/statm): 373 2 364 364 0 9 0
[pid=8566] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-rail507.opb

[startup+10.0013 s]
Raw data (loadavg): 1.04 1.01 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 1495 0 0 0 992 5 0 0 25 0 1 0 22054196 6098944 1171 4294967295 134512640 135987407 3221224560 3221221964 134571252 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8566/statm): 1489 1171 364 364 0 1125 0
[pid=8566] vsize: 5956
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 5956

[startup+20.002 s]
Raw data (loadavg): 1.03 1.01 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 2795 0 0 0 1989 9 0 0 25 0 1 0 22054196 10178560 2104 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8566/statm): 2485 2104 364 364 0 2121 0
[pid=8566] vsize: 9940
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 9940

[startup+30.0017 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 4250 0 0 0 2985 12 0 0 25 0 1 0 22054196 15360000 2813 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8566/statm): 3750 2813 364 364 0 3386 0
[pid=8566] vsize: 15000
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 15000

[startup+40.0013 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 4525 0 0 0 3985 13 0 0 25 0 1 0 22054196 15900672 3083 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8566/statm): 3882 3083 364 364 0 3518 0
[pid=8566] vsize: 15528
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 15528

[startup+50.002 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 4782 0 0 0 4985 13 0 0 25 0 1 0 22054196 16576512 3336 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8566/statm): 4047 3336 364 364 0 3683 0
[pid=8566] vsize: 16188
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 16188

[startup+60.0016 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 5009 0 0 0 5984 14 0 0 25 0 1 0 22054196 17252352 3559 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8566/statm): 4212 3559 364 364 0 3848 0
[pid=8566] vsize: 16848
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 16848

[startup+70.0023 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 5217 0 0 0 6983 15 0 0 25 0 1 0 22054196 17657856 3764 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8566/statm): 4311 3764 364 364 0 3947 0
[pid=8566] vsize: 17244
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 17244

[startup+80.003 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 5411 0 0 0 7982 16 0 0 25 0 1 0 22054196 18198528 3955 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8566/statm): 4443 3955 364 364 0 4079 0
[pid=8566] vsize: 17772
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 17772

[startup+90.0026 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 5592 0 0 0 8981 17 0 0 25 0 1 0 22054196 18739200 4133 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8566/statm): 4575 4133 364 364 0 4211 0
[pid=8566] vsize: 18300
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 18300

[startup+100.002 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 5765 0 0 0 9981 17 0 0 25 0 1 0 22054196 19144704 4303 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8566/statm): 4674 4303 364 364 0 4310 0
[pid=8566] vsize: 18696
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 18696

[startup+110.003 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 6499 0 0 0 10978 20 0 0 25 0 1 0 22054196 21983232 5035 4294967295 134512640 135987407 3221224560 3221222032 134609583 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8566/statm): 5367 5035 364 364 0 5003 0
[pid=8566] vsize: 21468
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 21468

[startup+120.004 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 6761 0 0 0 11974 23 0 0 25 0 1 0 22054196 23232512 5297 4294967295 134512640 135987407 3221224560 3221221744 134536160 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8566/statm): 5672 5297 364 364 0 5308 0
[pid=8566] vsize: 22688
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 22688

[startup+130.003 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 6924 0 0 0 12970 26 0 0 25 0 1 0 22054196 24293376 5460 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8566/statm): 5931 5460 364 364 0 5567 0
[pid=8566] vsize: 23724
Current children cumulated CPU time (s) 129.96
Current children cumulated vsize (Kb) 23724

[startup+140.003 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 7180 0 0 0 13969 27 0 0 25 0 1 0 22054196 24956928 5651 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8566/statm): 6093 5651 364 364 0 5729 0
[pid=8566] vsize: 24372
Current children cumulated CPU time (s) 139.96
Current children cumulated vsize (Kb) 24372

[startup+150.004 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 7472 0 0 0 14968 28 0 0 25 0 1 0 22054196 26021888 5814 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8566/statm): 6353 5814 364 364 0 5989 0
[pid=8566] vsize: 25412
Current children cumulated CPU time (s) 149.96
Current children cumulated vsize (Kb) 25412

[startup+160.003 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 7491 0 0 0 15968 28 0 0 25 0 1 0 22054196 26021888 5833 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8566/statm): 6353 5833 364 364 0 5989 0
[pid=8566] vsize: 25412
Current children cumulated CPU time (s) 159.96
Current children cumulated vsize (Kb) 25412

[startup+170.004 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 7509 0 0 0 16968 28 0 0 25 0 1 0 22054196 26021888 5851 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8566/statm): 6353 5851 364 364 0 5989 0
[pid=8566] vsize: 25412
Current children cumulated CPU time (s) 169.96
Current children cumulated vsize (Kb) 25412

[startup+180.004 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 7526 0 0 0 17968 28 0 0 25 0 1 0 22054196 26021888 5868 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8566/statm): 6353 5868 364 364 0 5989 0
[pid=8566] vsize: 25412
Current children cumulated CPU time (s) 179.96
Current children cumulated vsize (Kb) 25412

[startup+190.004 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 7541 0 0 0 18968 28 0 0 25 0 1 0 22054196 26021888 5883 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8566/statm): 6353 5883 364 364 0 5989 0
[pid=8566] vsize: 25412
Current children cumulated CPU time (s) 189.96
Current children cumulated vsize (Kb) 25412

[startup+200.004 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 7555 0 0 0 19968 28 0 0 25 0 1 0 22054196 26021888 5897 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8566/statm): 6353 5897 364 364 0 5989 0
[pid=8566] vsize: 25412
Current children cumulated CPU time (s) 199.96
Current children cumulated vsize (Kb) 25412

[startup+210.004 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 18482 0 0 0 20939 57 0 0 25 0 1 0 22054196 66351104 14833 4294967295 134512640 135987407 3221224560 3204850480 134887887 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8566/statm): 16199 14833 364 364 0 15835 0
[pid=8566] vsize: 64796
Current children cumulated CPU time (s) 209.96
Current children cumulated vsize (Kb) 64796

[startup+220.004 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 53746 0 0 0 21850 142 0 0 25 0 1 0 22054196 169680896 37201 4294967295 134512640 135987407 3221224560 3210797804 135480425 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8566/statm): 41426 37202 364 364 0 41062 0
[pid=8566] vsize: 165704
Current children cumulated CPU time (s) 219.92
Current children cumulated vsize (Kb) 165704

[startup+230.005 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 93389 0 0 0 22764 226 0 0 25 0 1 0 22054196 300466176 60770 4294967295 134512640 135987407 3221224560 3209716960 134878060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8566/statm): 73356 60771 364 364 0 72992 0
[pid=8566] vsize: 293424
Current children cumulated CPU time (s) 229.9
Current children cumulated vsize (Kb) 293424

[startup+240.005 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 124314 0 0 0 23687 301 0 0 25 0 1 0 22054196 410845184 79185 4294967295 134512640 135987407 3221224560 3202484336 134636919 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8566/statm): 100304 79186 364 364 0 99940 0
[pid=8566] vsize: 401216
Current children cumulated CPU time (s) 239.88
Current children cumulated vsize (Kb) 401216

[startup+250.004 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 144770 0 0 0 24635 351 0 0 25 0 1 0 22054196 437202944 99396 4294967295 134512640 135987407 3221224560 3203705392 134887887 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8566/statm): 106739 99396 364 364 0 106375 0
[pid=8566] vsize: 426956
Current children cumulated CPU time (s) 249.86
Current children cumulated vsize (Kb) 426956

[startup+260.004 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 210420 0 0 0 25490 491 0 0 25 0 1 0 22054196 672296960 120891 4294967295 134512640 135987407 3221224560 3210335292 135482121 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8566/statm): 164135 120891 364 364 0 163771 0
[pid=8566] vsize: 656540
Current children cumulated CPU time (s) 259.81
Current children cumulated vsize (Kb) 656540

[startup+270.005 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 228149 0 0 0 26444 535 0 0 25 0 1 0 22054196 729505792 138404 4294967295 134512640 135987407 3221224560 3203328608 134862323 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8566/statm): 178102 138404 364 364 0 177738 0
[pid=8566] vsize: 712408
Current children cumulated CPU time (s) 269.79
Current children cumulated vsize (Kb) 712408

[startup+280.004 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 248195 0 0 0 27395 581 0 0 25 0 1 0 22054196 755187712 158209 4294967295 134512640 135987407 3221224560 3204883212 135482121 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8566/statm): 184372 158209 364 364 0 184008 0
[pid=8566] vsize: 737488
Current children cumulated CPU time (s) 279.76
Current children cumulated vsize (Kb) 737488

[startup+290.004 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 267847 0 0 0 28348 626 0 0 25 0 1 0 22054196 780058624 177626 4294967295 134512640 135987407 3221224560 3208281632 135486720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8566/statm): 190444 177627 364 364 0 190080 0
[pid=8566] vsize: 761776
Current children cumulated CPU time (s) 289.74
Current children cumulated vsize (Kb) 761776

[startup+300.003 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 284715 0 0 0 29308 665 0 0 25 0 1 0 22054196 854585344 194304 4294967295 134512640 135987407 3221224560 3210140268 135480458 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8566/statm): 208639 194305 364 364 0 208275 0
[pid=8566] vsize: 834556
Current children cumulated CPU time (s) 299.73
Current children cumulated vsize (Kb) 834556

[startup+310.003 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 8566
Raw data (/proc/8566/stat): 8566 (pb2sat) R 8565 8566 4060 0 -1 0 289626 0 0 0 30280 692 0 0 25 0 1 0 22054196 500645888 121782 4294967295 134512640 135987407 3221224560 3221223408 134884004 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8566/statm): 122228 121782 364 364 0 121864 0
[pid=8566] vsize: 488912
Current children cumulated CPU time (s) 309.72
Current children cumulated vsize (Kb) 488912
One traced child (pid=8566) exited with status: 1
All traced children have exited ! Game is over.

Child status: 1
Real time (s): 310.579
CPU time (s): 310.303
CPU user time (s): 303.12
CPU system time (s): 7.18291
CPU usage (%): 99.9111
Max. virtual memory (cumulated for all children) (Kb): 834556

Verifier Data

ERROR: no interpretation found !