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/miplib3/normalized-mps-v2-13-7-nw04.opb
MD5SUMa5c401bba5afccf02c7b40cb1c595b15
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31302
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 benchmark1235.66
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 10509

Launcher Data

LAUNCH ON wulflinc7 THE 2005-09-23 18:36:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9238 boxname=wulflinc7 idbench=1034 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a5c401bba5afccf02c7b40cb1c595b15  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-nw04.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-nw04.opb
IDLAUNCH: 9238
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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:        898024 kB
Buffers:         13192 kB
Cached:         105740 kB
SwapCached:          0 kB
Active:          62360 kB
Inactive:        59536 kB
HighTotal:      131008 kB
HighFree:        24948 kB
LowTotal:       903652 kB
LowFree:        873076 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             9100 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:45:05 (client local time) WITH STATUS 1 IN 518.497 SECONDS
stats: 9238 7 518.497 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/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 18 0 0 0 0 0 0 0 20 0 1 0 22411625 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/11539/statm): 373 2 364 364 0 9 0
[pid=11539] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-nw04.opb

[startup+10.0023 s]
Raw data (loadavg): 0.94 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 1248 0 0 0 990 6 0 0 25 0 1 0 22411625 5423104 928 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 1324 928 364 364 0 960 0
[pid=11539] vsize: 5296
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 5296

[startup+20.0029 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 2664 0 0 0 1987 10 0 0 25 0 1 0 22411625 9773056 1975 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 2386 1975 364 364 0 2022 0
[pid=11539] vsize: 9544
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 9544

[startup+30.0026 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 4199 0 0 0 2983 14 0 0 25 0 1 0 22411625 15224832 2764 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 3717 2764 364 364 0 3353 0
[pid=11539] vsize: 14868
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 14868

[startup+40.0032 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 4479 0 0 0 3982 15 0 0 25 0 1 0 22411625 15900672 3038 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 3882 3038 364 364 0 3518 0
[pid=11539] vsize: 15528
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 15528

[startup+50.0038 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 4749 0 0 0 4981 16 0 0 25 0 1 0 22411625 16576512 3303 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 4047 3303 364 364 0 3683 0
[pid=11539] vsize: 16188
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 16188

[startup+60.0035 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 4993 0 0 0 5980 17 0 0 25 0 1 0 22411625 17117184 3543 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 4179 3543 364 364 0 3815 0
[pid=11539] vsize: 16716
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 16716

[startup+70.0031 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 5215 0 0 0 6980 17 0 0 25 0 1 0 22411625 17657856 3762 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 4311 3762 364 364 0 3947 0
[pid=11539] vsize: 17244
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 17244

[startup+80.0038 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 5420 0 0 0 7980 18 0 0 25 0 1 0 22411625 18198528 3964 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11539/statm): 4443 3964 364 364 0 4079 0
[pid=11539] vsize: 17772
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 17772

[startup+90.0034 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 5610 0 0 0 8979 18 0 0 25 0 1 0 22411625 18739200 4150 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11539/statm): 4575 4150 364 364 0 4211 0
[pid=11539] vsize: 18300
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 18300

[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 5791 0 0 0 9978 19 0 0 25 0 1 0 22411625 19144704 4328 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 4674 4328 364 364 0 4310 0
[pid=11539] 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.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 5961 0 0 0 10978 20 0 0 25 0 1 0 22411625 19685376 4496 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 4806 4496 364 364 0 4442 0
[pid=11539] vsize: 19224
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 19224

[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 8291 0 0 0 11973 24 0 0 25 0 1 0 22411625 28696576 5348 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 7006 5348 364 364 0 6642 0
[pid=11539] vsize: 28024
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 28024

[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 8356 0 0 0 12973 25 0 0 25 0 1 0 22411625 28696576 5411 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 7006 5411 364 364 0 6642 0
[pid=11539] vsize: 28024
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 28024

[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 8486 0 0 0 13973 25 0 0 25 0 1 0 22411625 28966912 5538 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 7072 5538 364 364 0 6708 0
[pid=11539] vsize: 28288
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 28288

[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 8612 0 0 0 14972 26 0 0 25 0 1 0 22411625 29237248 5662 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 7138 5662 364 364 0 6774 0
[pid=11539] vsize: 28552
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 28552

[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 8734 0 0 0 15971 26 0 0 25 0 1 0 22411625 29507584 5782 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 7204 5782 364 364 0 6840 0
[pid=11539] vsize: 28816
Current children cumulated CPU time (s) 159.97
Current children cumulated vsize (Kb) 28816

[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 8851 0 0 0 16971 27 0 0 25 0 1 0 22411625 29777920 5896 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 7270 5896 364 364 0 6906 0
[pid=11539] vsize: 29080
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 29080

[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 8966 0 0 0 17971 27 0 0 25 0 1 0 22411625 30048256 6009 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 7336 6009 364 364 0 6972 0
[pid=11539] vsize: 29344
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (Kb) 29344

[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 9089 0 0 0 18971 27 0 0 25 0 1 0 22411625 30453760 6130 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11539/statm): 7435 6130 364 364 0 7071 0
[pid=11539] vsize: 29740
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 29740

[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 9212 0 0 0 19971 27 0 0 25 0 1 0 22411625 30724096 6251 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11539/statm): 7501 6251 364 364 0 7137 0
[pid=11539] vsize: 30004
Current children cumulated CPU time (s) 199.98
Current children cumulated vsize (Kb) 30004

[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 10174 0 0 0 20969 30 0 0 25 0 1 0 22411625 34508800 7212 4294967295 134512640 135987407 3221224560 3221221904 134612896 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11539/statm): 8425 7212 364 364 0 8061 0
[pid=11539] vsize: 33700
Current children cumulated CPU time (s) 209.99
Current children cumulated vsize (Kb) 33700

[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 20090 0 0 0 21944 53 0 0 25 0 1 0 22411625 67239936 13114 4294967295 134512640 135987407 3221224560 3221221952 134616323 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 16416 13114 364 364 0 16052 0
[pid=11539] vsize: 65664
Current children cumulated CPU time (s) 219.97
Current children cumulated vsize (Kb) 65664

[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 27450 0 0 0 22924 72 0 0 25 0 1 0 22411625 82935808 18850 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 20248 18850 364 364 0 19884 0
[pid=11539] vsize: 80992
Current children cumulated CPU time (s) 229.96
Current children cumulated vsize (Kb) 80992

[startup+240.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 41906 0 0 0 23890 104 0 0 25 0 1 0 22411625 136880128 25244 4294967295 134512640 135987407 3221224560 3221221952 134615182 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 33418 25244 364 364 0 33054 0
[pid=11539] vsize: 133672
Current children cumulated CPU time (s) 239.94
Current children cumulated vsize (Kb) 133672

[startup+250.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 46861 0 0 0 24878 116 0 0 25 0 1 0 22411625 138502144 30112 4294967295 134512640 135987407 3221224560 3221221404 134563075 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 33814 30112 364 364 0 33450 0
[pid=11539] vsize: 135256
Current children cumulated CPU time (s) 249.94
Current children cumulated vsize (Kb) 135256

[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 55129 0 0 0 25860 134 0 0 25 0 1 0 22411625 165019648 32201 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 40288 32201 364 364 0 39924 0
[pid=11539] vsize: 161152
Current children cumulated CPU time (s) 259.94
Current children cumulated vsize (Kb) 161152

[startup+270.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 60438 0 0 0 26846 147 0 0 25 0 1 0 22411625 191471616 37455 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 46746 37455 364 364 0 46382 0
[pid=11539] vsize: 186984
Current children cumulated CPU time (s) 269.93
Current children cumulated vsize (Kb) 186984

[startup+280.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 63808 0 0 0 27837 156 0 0 25 0 1 0 22411625 194715648 40775 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 47538 40775 364 364 0 47174 0
[pid=11539] vsize: 190152
Current children cumulated CPU time (s) 279.93
Current children cumulated vsize (Kb) 190152

[startup+290.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 81258 0 0 0 28798 193 0 0 25 0 1 0 22411625 254902272 48453 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 62232 48453 364 364 0 61868 0
[pid=11539] vsize: 248928
Current children cumulated CPU time (s) 289.91
Current children cumulated vsize (Kb) 248928

[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 84278 0 0 0 29790 200 0 0 25 0 1 0 22411625 256253952 51422 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 62562 51422 364 364 0 62198 0
[pid=11539] vsize: 250248
Current children cumulated CPU time (s) 299.9
Current children cumulated vsize (Kb) 250248

[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 87321 0 0 0 30783 207 0 0 25 0 1 0 22411625 257470464 54412 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 62859 54412 364 364 0 62495 0
[pid=11539] vsize: 251436
Current children cumulated CPU time (s) 309.9
Current children cumulated vsize (Kb) 251436

[startup+320.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 102668 0 0 0 31748 242 0 0 25 0 1 0 22411625 308883456 57417 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 75411 57417 364 364 0 75047 0
[pid=11539] vsize: 301644
Current children cumulated CPU time (s) 319.9
Current children cumulated vsize (Kb) 301644

[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 105991 0 0 0 32739 251 0 0 25 0 1 0 22411625 343789568 60683 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 83933 60683 364 364 0 83569 0
[pid=11539] vsize: 335732
Current children cumulated CPU time (s) 329.9
Current children cumulated vsize (Kb) 335732

[startup+340.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 108311 0 0 0 33729 260 0 0 25 0 1 0 22411625 344752128 62955 4294967295 134512640 135987407 3221224560 3214455300 135479957 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 84168 62955 364 364 0 83804 0
[pid=11539] vsize: 336672
Current children cumulated CPU time (s) 339.89
Current children cumulated vsize (Kb) 336672

[startup+350.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 109458 0 0 0 34726 263 0 0 25 0 1 0 22411625 345698304 64093 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 84399 64093 364 364 0 84035 0
[pid=11539] vsize: 337596
Current children cumulated CPU time (s) 349.89
Current children cumulated vsize (Kb) 337596

[startup+360.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 114507 0 0 0 35713 276 0 0 25 0 1 0 22411625 351457280 68944 4294967295 134512640 135987407 3221224560 3221221704 135480532 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 85805 68944 364 364 0 85441 0
[pid=11539] vsize: 343220
Current children cumulated CPU time (s) 359.89
Current children cumulated vsize (Kb) 343220

[startup+370.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 114542 0 0 0 36713 276 0 0 25 0 1 0 22411625 351457280 68979 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 85805 68979 364 364 0 85441 0
[pid=11539] vsize: 343220
Current children cumulated CPU time (s) 369.89
Current children cumulated vsize (Kb) 343220

[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 119027 0 0 0 37701 288 0 0 25 0 1 0 22411625 354222080 73391 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 86480 73391 364 364 0 86116 0
[pid=11539] vsize: 345920
Current children cumulated CPU time (s) 379.89
Current children cumulated vsize (Kb) 345920

[startup+390.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 119027 0 0 0 38700 289 0 0 25 0 1 0 22411625 354222080 73391 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 86480 73391 364 364 0 86116 0
[pid=11539] vsize: 345920
Current children cumulated CPU time (s) 389.89
Current children cumulated vsize (Kb) 345920

[startup+400.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 154385 0 0 0 39629 356 0 0 25 0 1 0 22411625 480542720 89222 4294967295 134512640 135987407 3221224560 3219486336 134892763 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 117320 89222 364 364 0 116956 0
[pid=11539] vsize: 469280
Current children cumulated CPU time (s) 399.85
Current children cumulated vsize (Kb) 469280

[startup+410.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 154517 0 0 0 40628 357 0 0 25 0 1 0 22411625 480542720 89354 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 117320 89354 364 364 0 116956 0
[pid=11539] vsize: 469280
Current children cumulated CPU time (s) 409.85
Current children cumulated vsize (Kb) 469280

[startup+420.009 s]
Raw data (loadavg): 0.99 0.98 0.91 3/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 158746 0 0 0 41618 367 0 0 25 0 1 0 22411625 482840576 93513 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 117881 93513 364 364 0 117517 0
[pid=11539] vsize: 471524
Current children cumulated CPU time (s) 419.85
Current children cumulated vsize (Kb) 471524

[startup+430.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 158746 0 0 0 42617 367 0 0 25 0 1 0 22411625 482840576 93513 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 117881 93513 364 364 0 117517 0
[pid=11539] vsize: 471524
Current children cumulated CPU time (s) 429.84
Current children cumulated vsize (Kb) 471524

[startup+440.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 162992 0 0 0 43606 378 0 0 25 0 1 0 22411625 485408768 97690 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 118508 97690 364 364 0 118144 0
[pid=11539] vsize: 474032
Current children cumulated CPU time (s) 439.84
Current children cumulated vsize (Kb) 474032

[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 162992 0 0 0 44605 379 0 0 25 0 1 0 22411625 485408768 97690 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 118508 97690 364 364 0 118144 0
[pid=11539] vsize: 474032
Current children cumulated CPU time (s) 449.84
Current children cumulated vsize (Kb) 474032

[startup+460.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 163010 0 0 0 45605 379 0 0 25 0 1 0 22411625 485408768 97708 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 118508 97708 364 364 0 118144 0
[pid=11539] vsize: 474032
Current children cumulated CPU time (s) 459.84
Current children cumulated vsize (Kb) 474032

[startup+470.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 195455 0 0 0 46535 448 0 0 25 0 1 0 22411625 591163392 105450 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 144327 105450 364 364 0 143963 0
[pid=11539] vsize: 577308
Current children cumulated CPU time (s) 469.83
Current children cumulated vsize (Kb) 577308

[startup+480.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 207045 0 0 0 47507 476 0 0 25 0 1 0 22411625 617099264 112871 4294967295 134512640 135987407 3221224560 3221223344 134812389 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 150659 112871 364 364 0 150295 0
[pid=11539] vsize: 602636
Current children cumulated CPU time (s) 479.83
Current children cumulated vsize (Kb) 602636

[startup+490.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 216777 0 0 0 48481 501 0 0 25 0 1 0 22411625 674385920 122029 4294967295 134512640 135987407 3221224560 3211408832 134877708 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 164645 122029 364 364 0 164281 0
[pid=11539] vsize: 658580
Current children cumulated CPU time (s) 489.82
Current children cumulated vsize (Kb) 658580

[startup+500.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 238810 0 0 0 49425 554 0 0 25 0 1 0 22411625 706961408 143752 4294967295 134512640 135987407 3221224560 3202784912 134537371 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 172598 143752 364 364 0 172234 0
[pid=11539] vsize: 690392
Current children cumulated CPU time (s) 499.79
Current children cumulated vsize (Kb) 690392

[startup+510.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 11539
Raw data (/proc/11539/stat): 11539 (pb2sat) R 11538 11539 4059 0 -1 0 262338 0 0 0 50365 610 0 0 25 0 1 0 22411625 747106304 166992 4294967295 134512640 135987407 3221224560 3206006720 134878632 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11539/statm): 182399 166992 364 364 0 182035 0
[pid=11539] vsize: 729596
Current children cumulated CPU time (s) 509.75
Current children cumulated vsize (Kb) 729596
One traced child (pid=11539) exited with status: 1
All traced children have exited ! Game is over.

Child status: 1
Real time (s): 518.757
CPU time (s): 518.497
CPU user time (s): 511.989
CPU system time (s): 6.50801
CPU usage (%): 99.95
Max. virtual memory (cumulated for all children) (Kb): 729596

Verifier Data

ERROR: no interpretation found !