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-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nw04.opb
MD5SUM5a18ff1f45b144b201f1f80233dc9b6b
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 benchmark1190.09
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 10448

Launcher Data

LAUNCH ON wulflinc29 THE 2005-09-23 18:16:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9175 boxname=wulflinc29 idbench=971 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5a18ff1f45b144b201f1f80233dc9b6b  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-nw04.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-nw04.opb
IDLAUNCH: 9175
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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	: 3
cpu MHz		: 451.077
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        897800 kB
Buffers:         12596 kB
Cached:         106608 kB
SwapCached:          0 kB
Active:          68440 kB
Inactive:        53660 kB
HighTotal:      131008 kB
HighFree:        24780 kB
LowTotal:       903652 kB
LowFree:        873020 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             9104 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 18:24:45 (client local time) WITH STATUS 1 IN 523.97 SECONDS
stats: 9175 7 523.97 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/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22235994 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10680/statm): 373 2 364 364 0 9 0
[pid=10680] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-nw04.opb

[startup+10.0023 s]
Raw data (loadavg): 0.98 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 1249 0 0 0 992 5 0 0 25 0 1 0 22235994 5423104 929 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 1324 930 364 364 0 960 0
[pid=10680] vsize: 5296
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 5296

[startup+20.0031 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 2724 0 0 0 1988 9 0 0 25 0 1 0 22235994 9908224 2034 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 2419 2034 364 364 0 2055 0
[pid=10680] vsize: 9676
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 9676

[startup+30.0038 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 4208 0 0 0 2984 12 0 0 25 0 1 0 22235994 15224832 2772 4294967295 134512640 135987407 3221224560 3221221792 134534618 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 3717 2772 364 364 0 3353 0
[pid=10680] vsize: 14868
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 14868

[startup+40.0046 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 4482 0 0 0 3984 13 0 0 25 0 1 0 22235994 15900672 3041 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 3882 3041 364 364 0 3518 0
[pid=10680] vsize: 15528
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 15528

[startup+50.0044 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 4755 0 0 0 4983 14 0 0 25 0 1 0 22235994 16576512 3309 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 4047 3309 364 364 0 3683 0
[pid=10680] vsize: 16188
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 16188

[startup+60.0042 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 5000 0 0 0 5983 14 0 0 25 0 1 0 22235994 17117184 3550 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 4179 3550 364 364 0 3815 0
[pid=10680] vsize: 16716
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 16716

[startup+70.004 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 5219 0 0 0 6982 15 0 0 25 0 1 0 22235994 17657856 3766 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 4311 3766 364 364 0 3947 0
[pid=10680] vsize: 17244
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 17244

[startup+80.0048 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 5419 0 0 0 7981 16 0 0 25 0 1 0 22235994 18198528 3963 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 4443 3963 364 364 0 4079 0
[pid=10680] vsize: 17772
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 17772

[startup+90.0046 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 5607 0 0 0 8981 17 0 0 25 0 1 0 22235994 18739200 4147 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 4575 4147 364 364 0 4211 0
[pid=10680] vsize: 18300
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 18300

[startup+100.004 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 5785 0 0 0 9980 17 0 0 25 0 1 0 22235994 19144704 4323 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 4674 4323 364 364 0 4310 0
[pid=10680] vsize: 18696
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 18696

[startup+110.005 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 5955 0 0 0 10980 18 0 0 25 0 1 0 22235994 19550208 4490 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 4773 4490 364 364 0 4409 0
[pid=10680] vsize: 19092
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 19092

[startup+120.006 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 8290 0 0 0 11975 23 0 0 25 0 1 0 22235994 28696576 5347 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 7006 5347 364 364 0 6642 0
[pid=10680] vsize: 28024
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 28024

[startup+130.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 8354 0 0 0 12974 23 0 0 25 0 1 0 22235994 28696576 5409 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 7006 5409 364 364 0 6642 0
[pid=10680] vsize: 28024
Current children cumulated CPU time (s) 129.97
Current children cumulated vsize (Kb) 28024

[startup+140.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 8485 0 0 0 13974 24 0 0 25 0 1 0 22235994 28966912 5537 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 7072 5537 364 364 0 6708 0
[pid=10680] vsize: 28288
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 28288

[startup+150.007 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 8610 0 0 0 14974 24 0 0 25 0 1 0 22235994 29237248 5660 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 7138 5660 364 364 0 6774 0
[pid=10680] vsize: 28552
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 28552

[startup+160.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 8731 0 0 0 15974 25 0 0 25 0 1 0 22235994 29507584 5779 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 7204 5779 364 364 0 6840 0
[pid=10680] vsize: 28816
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 28816

[startup+170.008 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 8850 0 0 0 16974 25 0 0 25 0 1 0 22235994 29777920 5895 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 7270 5895 364 364 0 6906 0
[pid=10680] vsize: 29080
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 29080

[startup+180.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 8964 0 0 0 17974 25 0 0 25 0 1 0 22235994 30048256 6007 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 7336 6007 364 364 0 6972 0
[pid=10680] vsize: 29344
Current children cumulated CPU time (s) 179.99
Current children cumulated vsize (Kb) 29344

[startup+190.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 9091 0 0 0 18973 26 0 0 25 0 1 0 22235994 30453760 6132 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 7435 6132 364 364 0 7071 0
[pid=10680] vsize: 29740
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 29740

[startup+200.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 9216 0 0 0 19973 26 0 0 25 0 1 0 22235994 30724096 6255 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 7501 6255 364 364 0 7137 0
[pid=10680] vsize: 30004
Current children cumulated CPU time (s) 199.99
Current children cumulated vsize (Kb) 30004

[startup+210.009 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 10174 0 0 0 20971 28 0 0 25 0 1 0 22235994 34508800 7212 4294967295 134512640 135987407 3221224560 3221221664 134635621 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 8425 7212 364 364 0 8061 0
[pid=10680] vsize: 33700
Current children cumulated CPU time (s) 209.99
Current children cumulated vsize (Kb) 33700

[startup+220.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 20090 0 0 0 21947 51 0 0 25 0 1 0 22235994 67239936 13114 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 16416 13114 364 364 0 16052 0
[pid=10680] vsize: 65664
Current children cumulated CPU time (s) 219.98
Current children cumulated vsize (Kb) 65664

[startup+230.011 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 27450 0 0 0 22928 69 0 0 25 0 1 0 22235994 82935808 18850 4294967295 134512640 135987407 3221224560 3221221744 134536104 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 20248 18850 364 364 0 19884 0
[pid=10680] vsize: 80992
Current children cumulated CPU time (s) 229.97
Current children cumulated vsize (Kb) 80992

[startup+240.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 41906 0 0 0 23897 99 0 0 25 0 1 0 22235994 136880128 25244 4294967295 134512640 135987407 3221224560 3221221744 134536160 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 33418 25244 364 364 0 33054 0
[pid=10680] vsize: 133672
Current children cumulated CPU time (s) 239.96
Current children cumulated vsize (Kb) 133672

[startup+250.01 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 46171 0 0 0 24888 109 0 0 25 0 1 0 22235994 137961472 29429 4294967295 134512640 135987407 3221224560 3218044784 134537498 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 33682 29430 364 364 0 33318 0
[pid=10680] vsize: 134728
Current children cumulated CPU time (s) 249.97
Current children cumulated vsize (Kb) 134728

[startup+260.011 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 55126 0 0 0 25867 129 0 0 25 0 1 0 22235994 165019648 32198 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 40288 32198 364 364 0 39924 0
[pid=10680] vsize: 161152
Current children cumulated CPU time (s) 259.96
Current children cumulated vsize (Kb) 161152

[startup+270.011 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 60438 0 0 0 26852 143 0 0 25 0 1 0 22235994 191471616 37455 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 46746 37455 364 364 0 46382 0
[pid=10680] vsize: 186984
Current children cumulated CPU time (s) 269.95
Current children cumulated vsize (Kb) 186984

[startup+280.012 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 63808 0 0 0 27845 150 0 0 25 0 1 0 22235994 194715648 40775 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 47538 40775 364 364 0 47174 0
[pid=10680] vsize: 190152
Current children cumulated CPU time (s) 279.95
Current children cumulated vsize (Kb) 190152

[startup+290.012 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 81258 0 0 0 28807 187 0 0 25 0 1 0 22235994 254902272 48453 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 62232 48453 364 364 0 61868 0
[pid=10680] vsize: 248928
Current children cumulated CPU time (s) 289.94
Current children cumulated vsize (Kb) 248928

[startup+300.012 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 84278 0 0 0 29800 194 0 0 25 0 1 0 22235994 256253952 51422 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 62562 51422 364 364 0 62198 0
[pid=10680] vsize: 250248
Current children cumulated CPU time (s) 299.94
Current children cumulated vsize (Kb) 250248

[startup+310.012 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 87321 0 0 0 30792 201 0 0 25 0 1 0 22235994 257470464 54412 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 62859 54412 364 364 0 62495 0
[pid=10680] vsize: 251436
Current children cumulated CPU time (s) 309.93
Current children cumulated vsize (Kb) 251436

[startup+320.012 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 102668 0 0 0 31755 238 0 0 25 0 1 0 22235994 308883456 57417 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 75411 57417 364 364 0 75047 0
[pid=10680] vsize: 301644
Current children cumulated CPU time (s) 319.93
Current children cumulated vsize (Kb) 301644

[startup+330.012 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 104738 0 0 0 32750 244 0 0 25 0 1 0 22235994 342843392 59442 4294967295 134512640 135987407 3221224560 3215044112 134877638 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 83702 59442 364 364 0 83338 0
[pid=10680] vsize: 334808
Current children cumulated CPU time (s) 329.94
Current children cumulated vsize (Kb) 334808

[startup+340.013 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 105991 0 0 0 33745 249 0 0 25 0 1 0 22235994 343789568 60683 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 83933 60683 364 364 0 83569 0
[pid=10680] vsize: 335732
Current children cumulated CPU time (s) 339.94
Current children cumulated vsize (Kb) 335732

[startup+350.013 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 109458 0 0 0 34737 256 0 0 25 0 1 0 22235994 345698304 64093 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 84399 64093 364 364 0 84035 0
[pid=10680] vsize: 337596
Current children cumulated CPU time (s) 349.93
Current children cumulated vsize (Kb) 337596

[startup+360.014 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 109601 0 0 0 35737 256 0 0 25 0 1 0 22235994 346222592 64107 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 84527 64107 364 364 0 84163 0
[pid=10680] vsize: 338108
Current children cumulated CPU time (s) 359.93
Current children cumulated vsize (Kb) 338108

[startup+370.014 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 114542 0 0 0 36720 273 0 0 25 0 1 0 22235994 351457280 68979 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 85805 68979 364 364 0 85441 0
[pid=10680] vsize: 343220
Current children cumulated CPU time (s) 369.93
Current children cumulated vsize (Kb) 343220

[startup+380.014 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 114542 0 0 0 37720 273 0 0 25 0 1 0 22235994 351457280 68979 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 85805 68979 364 364 0 85441 0
[pid=10680] vsize: 343220
Current children cumulated CPU time (s) 379.93
Current children cumulated vsize (Kb) 343220

[startup+390.014 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 119027 0 0 0 38708 285 0 0 25 0 1 0 22235994 354222080 73391 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 86480 73391 364 364 0 86116 0
[pid=10680] vsize: 345920
Current children cumulated CPU time (s) 389.93
Current children cumulated vsize (Kb) 345920

[startup+400.015 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 119048 0 0 0 39707 285 0 0 25 0 1 0 22235994 354357248 73412 4294967295 134512640 135987407 3221224560 3220970192 134856487 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 86513 73412 364 364 0 86149 0
[pid=10680] vsize: 346052
Current children cumulated CPU time (s) 399.92
Current children cumulated vsize (Kb) 346052

[startup+410.015 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 154517 0 0 0 40631 356 0 0 25 0 1 0 22235994 480542720 89354 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 117320 89354 364 364 0 116956 0
[pid=10680] vsize: 469280
Current children cumulated CPU time (s) 409.87
Current children cumulated vsize (Kb) 469280

[startup+420.014 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 154517 0 0 0 41631 356 0 0 25 0 1 0 22235994 480542720 89354 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 117320 89354 364 364 0 116956 0
[pid=10680] vsize: 469280
Current children cumulated CPU time (s) 419.87
Current children cumulated vsize (Kb) 469280

[startup+430.015 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 158746 0 0 0 42620 367 0 0 25 0 1 0 22235994 482840576 93513 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 117881 93513 364 364 0 117517 0
[pid=10680] vsize: 471524
Current children cumulated CPU time (s) 429.87
Current children cumulated vsize (Kb) 471524

[startup+440.016 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 162087 0 0 0 43610 377 0 0 25 0 1 0 22235994 484868096 96788 4294967295 134512640 135987407 3221224560 3210266768 134887887 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 118376 96788 364 364 0 118012 0
[pid=10680] vsize: 473504
Current children cumulated CPU time (s) 439.87
Current children cumulated vsize (Kb) 473504

[startup+450.016 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 162992 0 0 0 44607 380 0 0 25 0 1 0 22235994 485408768 97690 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 118508 97690 364 364 0 118144 0
[pid=10680] vsize: 474032
Current children cumulated CPU time (s) 449.87
Current children cumulated vsize (Kb) 474032

[startup+460.017 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 162999 0 0 0 45606 380 0 0 25 0 1 0 22235994 485408768 97697 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 118508 97697 364 364 0 118144 0
[pid=10680] vsize: 474032
Current children cumulated CPU time (s) 459.86
Current children cumulated vsize (Kb) 474032

[startup+470.016 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 168584 0 0 0 46592 394 0 0 25 0 1 0 22235994 490500096 103200 4294967295 134512640 135987407 3221224560 3221221952 134615099 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 119751 103200 364 364 0 119387 0
[pid=10680] vsize: 479004
Current children cumulated CPU time (s) 469.86
Current children cumulated vsize (Kb) 479004

[startup+480.017 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 202353 0 0 0 47520 466 0 0 25 0 1 0 22235994 612937728 112318 4294967295 134512640 135987407 3221224560 3221223120 134829326 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 149643 112318 364 364 0 149279 0
[pid=10680] vsize: 598572
Current children cumulated CPU time (s) 479.86
Current children cumulated vsize (Kb) 598572

[startup+490.017 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 207716 0 0 0 48508 478 0 0 25 0 1 0 22235994 618553344 113282 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 151014 113282 364 364 0 150650 0
[pid=10680] vsize: 604056
Current children cumulated CPU time (s) 489.86
Current children cumulated vsize (Kb) 604056

[startup+500.018 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 226774 0 0 0 49458 526 0 0 25 0 1 0 22235994 689119232 131874 4294967295 134512640 135987407 3221224560 3198503792 134856714 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 168242 131875 364 364 0 167878 0
[pid=10680] vsize: 672968
Current children cumulated CPU time (s) 499.84
Current children cumulated vsize (Kb) 672968

[startup+510.018 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 249450 0 0 0 50402 579 0 0 25 0 1 0 22235994 723722240 154275 4294967295 134512640 135987407 3221224560 3221209084 135480732 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 176690 154275 364 364 0 176326 0
[pid=10680] vsize: 706760
Current children cumulated CPU time (s) 509.81
Current children cumulated vsize (Kb) 706760

[startup+520.018 s]
Raw data (loadavg): 0.99 0.99 0.93 2/55 10680
Raw data (/proc/10680/stat): 10680 (pb2sat) R 10679 10680 4005 0 -1 0 265192 0 0 0 51361 616 0 0 25 0 1 0 22235994 752209920 169810 4294967295 134512640 135987407 3221224560 3218534616 135290049 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10680/statm): 183645 169810 364 364 0 183281 0
[pid=10680] vsize: 734580
Current children cumulated CPU time (s) 519.77
Current children cumulated vsize (Kb) 734580
One traced child (pid=10680) exited with status: 1
All traced children have exited ! Game is over.

Child status: 1
Real time (s): 524.212
CPU time (s): 523.97
CPU user time (s): 517.472
CPU system time (s): 6.49801
CPU usage (%): 99.9539
Max. virtual memory (cumulated for all children) (Kb): 734580

Verifier Data

ERROR: no interpretation found !