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/miplib3/normalized-mps-v2-20-10-nw04.opb
MD5SUMa5c401bba5afccf02c7b40cb1c595b15
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30407
Optimality of the best value was proved NO
Number of terms in the objective function 87482
Biggest coefficient in the objective function 5220
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 120189580
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 5220
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 120189580
Number of bits of the biggest sum of numbers27
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1204.44
Number of variables87482
Total number of constraints87518
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)87518
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint42032

Trace number 10126

Launcher Data

LAUNCH ON wulflinc9 THE 2005-09-23 16:58:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8854 boxname=wulflinc9 idbench=650 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a5c401bba5afccf02c7b40cb1c595b15  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-nw04.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-nw04.opb
IDLAUNCH: 8854
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        894100 kB
Buffers:         12772 kB
Cached:         110240 kB
SwapCached:          0 kB
Active:          68428 kB
Inactive:        57488 kB
HighTotal:      131008 kB
HighFree:        17696 kB
LowTotal:       903652 kB
LowFree:        876404 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             9188 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:07:09 (client local time) WITH STATUS 1 IN 519.618 SECONDS
stats: 8854 7 519.618 1

Solver Data

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

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

[startup+10.0019 s]
Raw data (loadavg): 0.93 0.94 0.96 2/55 10192
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 1254 0 0 0 992 5 0 0 25 0 1 0 21812404 5423104 934 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10192/statm): 1324 934 364 364 0 960 0
[pid=10192] vsize: 5296
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 5296

[startup+20.0027 s]
Raw data (loadavg): 0.94 0.94 0.96 2/55 10192
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 2744 0 0 0 1988 8 0 0 25 0 1 0 21812404 10043392 2054 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 2452 2054 364 364 0 2088 0
[pid=10192] vsize: 9808
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 9808

[startup+30.0025 s]
Raw data (loadavg): 0.95 0.94 0.96 2/55 10192
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 4227 0 0 0 2984 12 0 0 25 0 1 0 21812404 15224832 2791 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 3717 2791 364 364 0 3353 0
[pid=10192] vsize: 14868
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 14868

[startup+40.0033 s]
Raw data (loadavg): 0.96 0.94 0.96 2/55 10192
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 4510 0 0 0 3983 13 0 0 25 0 1 0 21812404 15900672 3068 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 3882 3068 364 364 0 3518 0
[pid=10192] vsize: 15528
Current children cumulated CPU time (s) 39.96
Current children cumulated vsize (Kb) 15528

[startup+50.0041 s]
Raw data (loadavg): 0.96 0.95 0.96 2/55 10192
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 4784 0 0 0 4982 14 0 0 25 0 1 0 21812404 16576512 3338 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 4047 3338 364 364 0 3683 0
[pid=10192] vsize: 16188
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (Kb) 16188

[startup+60.0039 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 10192
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 5026 0 0 0 5982 15 0 0 25 0 1 0 21812404 17252352 3576 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 4212 3576 364 364 0 3848 0
[pid=10192] vsize: 16848
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 16848

[startup+70.0046 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 10192
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 5247 0 0 0 6981 16 0 0 25 0 1 0 21812404 17793024 3793 4294967295 134512640 135987407 3221224560 3221221792 134534646 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 4344 3793 364 364 0 3980 0
[pid=10192] vsize: 17376
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 17376

[startup+80.0054 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 10192
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 5452 0 0 0 7980 17 0 0 25 0 1 0 21812404 18333696 3995 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 4476 3995 364 364 0 4112 0
[pid=10192] vsize: 17904
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 17904

[startup+90.0062 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 10192
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 5642 0 0 0 8979 17 0 0 25 0 1 0 21812404 18739200 4182 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 4575 4182 364 364 0 4211 0
[pid=10192] vsize: 18300
Current children cumulated CPU time (s) 89.96
Current children cumulated vsize (Kb) 18300

[startup+100.007 s]
Raw data (loadavg): 1.06 0.97 0.97 2/55 10247
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 5821 0 0 0 9978 18 0 0 25 0 1 0 21812404 19279872 4358 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10192/statm): 4707 4358 364 364 0 4343 0
[pid=10192] vsize: 18828
Current children cumulated CPU time (s) 99.96
Current children cumulated vsize (Kb) 18828

[startup+110.007 s]
Raw data (loadavg): 1.05 0.97 0.97 2/55 10247
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 5989 0 0 0 10978 18 0 0 25 0 1 0 21812404 19685376 4523 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10192/statm): 4806 4523 364 364 0 4442 0
[pid=10192] vsize: 19224
Current children cumulated CPU time (s) 109.96
Current children cumulated vsize (Kb) 19224

[startup+120.008 s]
Raw data (loadavg): 1.04 0.97 0.97 2/55 10247
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 8301 0 0 0 11974 22 0 0 25 0 1 0 21812404 28696576 5358 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10192/statm): 7006 5358 364 364 0 6642 0
[pid=10192] vsize: 28024
Current children cumulated CPU time (s) 119.96
Current children cumulated vsize (Kb) 28024

[startup+130.007 s]
Raw data (loadavg): 1.04 0.97 0.97 2/55 10247
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 8379 0 0 0 12973 23 0 0 25 0 1 0 21812404 28696576 5433 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10192/statm): 7006 5433 364 364 0 6642 0
[pid=10192] vsize: 28024
Current children cumulated CPU time (s) 129.96
Current children cumulated vsize (Kb) 28024

[startup+140.008 s]
Raw data (loadavg): 1.03 0.97 0.97 2/55 10247
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 8509 0 0 0 13973 23 0 0 25 0 1 0 21812404 29102080 5561 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10192/statm): 7105 5561 364 364 0 6741 0
[pid=10192] vsize: 28420
Current children cumulated CPU time (s) 139.96
Current children cumulated vsize (Kb) 28420

[startup+150.009 s]
Raw data (loadavg): 1.03 0.97 0.97 2/55 10247
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 8634 0 0 0 14973 24 0 0 25 0 1 0 21812404 29372416 5683 4294967295 134512640 135987407 3221224560 3221221676 135480606 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10192/statm): 7171 5683 364 364 0 6807 0
[pid=10192] vsize: 28684
Current children cumulated CPU time (s) 149.97
Current children cumulated vsize (Kb) 28684

[startup+160.009 s]
Raw data (loadavg): 1.09 0.99 0.97 2/55 10249
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 8753 0 0 0 15972 25 0 0 25 0 1 0 21812404 29642752 5800 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10192/statm): 7237 5800 364 364 0 6873 0
[pid=10192] vsize: 28948
Current children cumulated CPU time (s) 159.97
Current children cumulated vsize (Kb) 28948

[startup+170.009 s]
Raw data (loadavg): 1.08 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 8870 0 0 0 16972 25 0 0 25 0 1 0 21812404 29913088 5915 4294967295 134512640 135987407 3221224560 3221221436 135482121 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10192/statm): 7303 5915 364 364 0 6939 0
[pid=10192] vsize: 29212
Current children cumulated CPU time (s) 169.97
Current children cumulated vsize (Kb) 29212

[startup+180.01 s]
Raw data (loadavg): 1.07 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 8980 0 0 0 17972 25 0 0 25 0 1 0 21812404 30183424 6023 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10192/statm): 7369 6023 364 364 0 7005 0
[pid=10192] vsize: 29476
Current children cumulated CPU time (s) 179.97
Current children cumulated vsize (Kb) 29476

[startup+190.011 s]
Raw data (loadavg): 1.06 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 9106 0 0 0 18972 26 0 0 25 0 1 0 21812404 30453760 6147 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10192/statm): 7435 6147 364 364 0 7071 0
[pid=10192] vsize: 29740
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 29740

[startup+200.011 s]
Raw data (loadavg): 1.05 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 9228 0 0 0 19972 26 0 0 25 0 1 0 21812404 30724096 6267 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10192/statm): 7501 6267 364 364 0 7137 0
[pid=10192] vsize: 30004
Current children cumulated CPU time (s) 199.98
Current children cumulated vsize (Kb) 30004

[startup+210.011 s]
Raw data (loadavg): 1.04 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 10174 0 0 0 20969 28 0 0 25 0 1 0 21812404 34508800 7212 4294967295 134512640 135987407 3221224560 3221221776 134975580 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10192/statm): 8425 7212 364 364 0 8061 0
[pid=10192] vsize: 33700
Current children cumulated CPU time (s) 209.97
Current children cumulated vsize (Kb) 33700

[startup+220.011 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 20090 0 0 0 21944 53 0 0 25 0 1 0 21812404 67239936 13114 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 16416 13114 364 364 0 16052 0
[pid=10192] vsize: 65664
Current children cumulated CPU time (s) 219.97
Current children cumulated vsize (Kb) 65664

[startup+230.011 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 27450 0 0 0 22924 72 0 0 25 0 1 0 21812404 82935808 18850 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 20248 18850 364 364 0 19884 0
[pid=10192] vsize: 80992
Current children cumulated CPU time (s) 229.96
Current children cumulated vsize (Kb) 80992

[startup+240.011 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 43105 0 0 0 23890 105 0 0 25 0 1 0 21812404 136880128 26421 4294967295 134512640 135987407 3221224560 3221221952 134615088 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 33418 26421 364 364 0 33054 0
[pid=10192] vsize: 133672
Current children cumulated CPU time (s) 239.95
Current children cumulated vsize (Kb) 133672

[startup+250.012 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 46877 0 0 0 24880 115 0 0 25 0 1 0 21812404 138502144 30128 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 33814 30128 364 364 0 33450 0
[pid=10192] vsize: 135256
Current children cumulated CPU time (s) 249.95
Current children cumulated vsize (Kb) 135256

[startup+260.011 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 55142 0 0 0 25860 134 0 0 25 0 1 0 21812404 165019648 32214 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 40288 32214 364 364 0 39924 0
[pid=10192] vsize: 161152
Current children cumulated CPU time (s) 259.94
Current children cumulated vsize (Kb) 161152

[startup+270.012 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 60438 0 0 0 26845 148 0 0 25 0 1 0 21812404 191471616 37455 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 46746 37455 364 364 0 46382 0
[pid=10192] vsize: 186984
Current children cumulated CPU time (s) 269.93
Current children cumulated vsize (Kb) 186984

[startup+280.013 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 63808 0 0 0 27838 155 0 0 25 0 1 0 21812404 194715648 40775 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 47538 40775 364 364 0 47174 0
[pid=10192] vsize: 190152
Current children cumulated CPU time (s) 279.93
Current children cumulated vsize (Kb) 190152

[startup+290.013 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 81258 0 0 0 28800 191 0 0 25 0 1 0 21812404 254902272 48453 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 62232 48453 364 364 0 61868 0
[pid=10192] vsize: 248928
Current children cumulated CPU time (s) 289.91
Current children cumulated vsize (Kb) 248928

[startup+300.014 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 84278 0 0 0 29792 199 0 0 25 0 1 0 21812404 256253952 51422 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 62562 51422 364 364 0 62198 0
[pid=10192] vsize: 250248
Current children cumulated CPU time (s) 299.91
Current children cumulated vsize (Kb) 250248

[startup+310.014 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 87321 0 0 0 30784 206 0 0 25 0 1 0 21812404 257470464 54412 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 62859 54412 364 364 0 62495 0
[pid=10192] vsize: 251436
Current children cumulated CPU time (s) 309.9
Current children cumulated vsize (Kb) 251436

[startup+320.015 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 102668 0 0 0 31745 245 0 0 25 0 1 0 21812404 308883456 57417 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 75411 57417 364 364 0 75047 0
[pid=10192] vsize: 301644
Current children cumulated CPU time (s) 319.9
Current children cumulated vsize (Kb) 301644

[startup+330.015 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 105991 0 0 0 32735 254 0 0 25 0 1 0 21812404 343789568 60683 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 83933 60683 364 364 0 83569 0
[pid=10192] vsize: 335732
Current children cumulated CPU time (s) 329.89
Current children cumulated vsize (Kb) 335732

[startup+340.015 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 108366 0 0 0 33729 260 0 0 25 0 1 0 21812404 344752128 63009 4294967295 134512640 135987407 3221224560 3214133264 134856385 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 84168 63009 364 364 0 83804 0
[pid=10192] vsize: 336672
Current children cumulated CPU time (s) 339.89
Current children cumulated vsize (Kb) 336672

[startup+350.015 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 109458 0 0 0 34726 263 0 0 25 0 1 0 21812404 345698304 64093 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 84399 64093 364 364 0 84035 0
[pid=10192] vsize: 337596
Current children cumulated CPU time (s) 349.89
Current children cumulated vsize (Kb) 337596

[startup+360.015 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 113894 0 0 0 35715 274 0 0 25 0 1 0 21812404 351457280 68331 4294967295 134512640 135987407 3221224560 3210123824 134878092 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 85805 68331 364 364 0 85441 0
[pid=10192] vsize: 343220
Current children cumulated CPU time (s) 359.89
Current children cumulated vsize (Kb) 343220

[startup+370.016 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 114542 0 0 0 36712 277 0 0 25 0 1 0 21812404 351457280 68979 4294967295 134512640 135987407 3221224560 3221221744 134536111 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 85805 68979 364 364 0 85441 0
[pid=10192] vsize: 343220
Current children cumulated CPU time (s) 369.89
Current children cumulated vsize (Kb) 343220

[startup+380.017 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 118991 0 0 0 37701 288 0 0 25 0 1 0 21812404 354222080 73355 4294967295 134512640 135987407 3221224560 3221221724 134637002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 86480 73355 364 364 0 86116 0
[pid=10192] vsize: 345920
Current children cumulated CPU time (s) 379.89
Current children cumulated vsize (Kb) 345920

[startup+390.017 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 119027 0 0 0 38700 289 0 0 25 0 1 0 21812404 354222080 73391 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 86480 73391 364 364 0 86116 0
[pid=10192] vsize: 345920
Current children cumulated CPU time (s) 389.89
Current children cumulated vsize (Kb) 345920

[startup+400.017 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 153282 0 0 0 39630 355 0 0 25 0 1 0 21812404 479731712 88128 4294967295 134512640 135987407 3221224560 3212440200 135487877 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10192/statm): 117122 88130 364 364 0 116758 0
[pid=10192] vsize: 468488
Current children cumulated CPU time (s) 399.85
Current children cumulated vsize (Kb) 468488

[startup+410.017 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 154517 0 0 0 40627 358 0 0 25 0 1 0 21812404 480542720 89354 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10192/statm): 117320 89354 364 364 0 116956 0
[pid=10192] vsize: 469280
Current children cumulated CPU time (s) 409.85
Current children cumulated vsize (Kb) 469280

[startup+420.018 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 158746 0 0 0 41616 369 0 0 25 0 1 0 21812404 482840576 93513 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10192/statm): 117881 93513 364 364 0 117517 0
[pid=10192] vsize: 471524
Current children cumulated CPU time (s) 419.85
Current children cumulated vsize (Kb) 471524

[startup+430.018 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 10253
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 158746 0 0 0 42616 369 0 0 25 0 1 0 21812404 482840576 93513 4294967295 134512640 135987407 3221224560 3221221984 134637854 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10192/statm): 117881 93513 364 364 0 117517 0
[pid=10192] vsize: 471524
Current children cumulated CPU time (s) 429.85
Current children cumulated vsize (Kb) 471524

[startup+440.017 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 10255
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 162992 0 0 0 43605 379 0 0 25 0 1 0 21812404 485408768 97690 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10192/statm): 118508 97690 364 364 0 118144 0
[pid=10192] vsize: 474032
Current children cumulated CPU time (s) 439.84
Current children cumulated vsize (Kb) 474032

[startup+450.018 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 10255
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 162992 0 0 0 44605 379 0 0 25 0 1 0 21812404 485408768 97690 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10192/statm): 118508 97690 364 364 0 118144 0
[pid=10192] vsize: 474032
Current children cumulated CPU time (s) 449.84
Current children cumulated vsize (Kb) 474032

[startup+460.018 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 10255
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 163008 0 0 0 45605 379 0 0 25 0 1 0 21812404 485408768 97706 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 118508 97706 364 364 0 118144 0
[pid=10192] vsize: 474032
Current children cumulated CPU time (s) 459.84
Current children cumulated vsize (Kb) 474032

[startup+470.019 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 10255
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 194896 0 0 0 46532 452 0 0 25 0 1 0 21812404 591163392 104902 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 144327 104902 364 364 0 143963 0
[pid=10192] vsize: 577308
Current children cumulated CPU time (s) 469.84
Current children cumulated vsize (Kb) 577308

[startup+480.019 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 10255
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 206318 0 0 0 47503 480 0 0 25 0 1 0 21812404 615526400 112530 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 150275 112530 364 364 0 149911 0
[pid=10192] vsize: 601100
Current children cumulated CPU time (s) 479.83
Current children cumulated vsize (Kb) 601100

[startup+490.019 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 10255
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 216777 0 0 0 48475 507 0 0 25 0 1 0 21812404 674385920 122029 4294967295 134512640 135987407 3221224560 3211408832 134877628 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 164645 122029 364 364 0 164281 0
[pid=10192] vsize: 658580
Current children cumulated CPU time (s) 489.82
Current children cumulated vsize (Kb) 658580

[startup+500.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 10255
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 236415 0 0 0 49425 554 0 0 25 0 1 0 21812404 702500864 141404 4294967295 134512640 135987407 3221224560 3218913776 134856473 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 171509 141404 364 364 0 171145 0
[pid=10192] vsize: 686036
Current children cumulated CPU time (s) 499.79
Current children cumulated vsize (Kb) 686036

[startup+510.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 10255
Raw data (/proc/10192/stat): 10192 (pb2sat) R 10191 10192 4060 0 -1 0 259292 0 0 0 50371 606 0 0 25 0 1 0 21812404 741294080 163976 4294967295 134512640 135987407 3221224560 3202297676 134637002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10192/statm): 180980 163976 364 364 0 180616 0
[pid=10192] vsize: 723920
Current children cumulated CPU time (s) 509.77
Current children cumulated vsize (Kb) 723920
One traced child (pid=10192) exited with status: 1
All traced children have exited ! Game is over.

Child status: 1
Real time (s): 519.877
CPU time (s): 519.618
CPU user time (s): 513.104
CPU system time (s): 6.51401
CPU usage (%): 99.9501
Max. virtual memory (cumulated for all children) (Kb): 723920

Verifier Data

ERROR: no interpretation found !