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-mod011.opb
MD5SUM5b9b020cb595d55e8dbba526590c1088
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of terms in the objective function 144804
Biggest coefficient in the objective function 37355509514240
Number of bits for the biggest coefficient in the objective function 46
Sum of the numbers in the objective function 86052429291555573
Number of bits of the sum of numbers in the objective function 57
Biggest number in a constraint 37355509514240
Number of bits of the biggest number in a constraint 46
Biggest sum of numbers in a constraint 86052429291555573
Number of bits of the biggest sum of numbers57
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1211.57
Number of variables211663
Total number of constraints6093
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)128
Number of constraints which are nor clauses,nor cardinality constraints5965
Minimum length of a constraint1
Maximum length of a constraint16460

Trace number 10464

Launcher Data

LAUNCH ON wulflinc1 THE 2005-09-23 18:20:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9199 boxname=wulflinc1 idbench=995 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5b9b020cb595d55e8dbba526590c1088  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-mod011.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-mod011.opb
IDLAUNCH: 9199
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.228
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.228
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:        867468 kB
Buffers:         13832 kB
Cached:         135292 kB
SwapCached:          0 kB
Active:          88804 kB
Inactive:        63220 kB
HighTotal:      131008 kB
HighFree:         3808 kB
LowTotal:       903652 kB
LowFree:        863660 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6988 kB
Slab:             9560 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:31:45 (client local time) WITH STATUS 1 IN 686.28 SECONDS
stats: 9199 7 686.28 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/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22319914 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 373 2 364 364 0 9 0
[pid=11317] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-mod011.opb

[startup+10.002 s]
Raw data (loadavg): 0.98 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 2505 0 0 0 992 6 0 0 25 0 1 0 22319914 9367552 1819 4294967295 134512640 135987407 3221224560 3221221800 135486713 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 2287 1819 364 364 0 1923 0
[pid=11317] vsize: 9148
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 9148

[startup+20.0028 s]
Raw data (loadavg): 0.98 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 3042 0 0 0 1990 7 0 0 25 0 1 0 22319914 10719232 2347 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 2617 2347 364 364 0 2253 0
[pid=11317] vsize: 10468
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 10468

[startup+30.0036 s]
Raw data (loadavg): 0.98 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 4431 0 0 0 2987 10 0 0 25 0 1 0 22319914 15765504 2991 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 3849 2991 364 364 0 3485 0
[pid=11317] vsize: 15396
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 15396

[startup+40.0044 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 4721 0 0 0 3987 11 0 0 25 0 1 0 22319914 16441344 3276 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 4014 3276 364 364 0 3650 0
[pid=11317] vsize: 16056
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 16056

[startup+50.0061 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 4982 0 0 0 4986 12 0 0 25 0 1 0 22319914 17117184 3533 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 4179 3533 364 364 0 3815 0
[pid=11317] vsize: 16716
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 16716

[startup+60.0059 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 5212 0 0 0 5985 13 0 0 25 0 1 0 22319914 17793024 3759 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 4344 3759 364 364 0 3980 0
[pid=11317] vsize: 17376
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 17376

[startup+70.0067 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 5420 0 0 0 6985 13 0 0 25 0 1 0 22319914 18333696 3964 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 4476 3964 364 364 0 4112 0
[pid=11317] vsize: 17904
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 17904

[startup+80.0075 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 5612 0 0 0 7984 14 0 0 25 0 1 0 22319914 18739200 4153 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 4575 4153 364 364 0 4211 0
[pid=11317] vsize: 18300
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 18300

[startup+90.0073 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 5792 0 0 0 8984 14 0 0 25 0 1 0 22319914 19279872 4330 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 4707 4330 364 364 0 4343 0
[pid=11317] vsize: 18828
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 18828

[startup+100.008 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 5965 0 0 0 9983 15 0 0 25 0 1 0 22319914 19685376 4500 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 4806 4500 364 364 0 4442 0
[pid=11317] vsize: 19224
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 19224

[startup+110.009 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 8306 0 0 0 10978 20 0 0 25 0 1 0 22319914 28696576 5363 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 7006 5363 364 364 0 6642 0
[pid=11317] vsize: 28024
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 28024

[startup+120.01 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 8363 0 0 0 11978 20 0 0 25 0 1 0 22319914 28696576 5418 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 7006 5418 364 364 0 6642 0
[pid=11317] vsize: 28024
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 28024

[startup+130.01 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 8488 0 0 0 12978 20 0 0 25 0 1 0 22319914 28966912 5541 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 7072 5541 364 364 0 6708 0
[pid=11317] vsize: 28288
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 28288

[startup+140.01 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 8613 0 0 0 13977 21 0 0 25 0 1 0 22319914 29372416 5663 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 7171 5663 364 364 0 6807 0
[pid=11317] vsize: 28684
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 28684

[startup+150.011 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 8736 0 0 0 14977 21 0 0 25 0 1 0 22319914 29642752 5784 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 7237 5784 364 364 0 6873 0
[pid=11317] vsize: 28948
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 28948

[startup+160.011 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 8853 0 0 0 15976 22 0 0 25 0 1 0 22319914 29913088 5899 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 7303 5899 364 364 0 6939 0
[pid=11317] vsize: 29212
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 29212

[startup+170.011 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 8967 0 0 0 16976 22 0 0 25 0 1 0 22319914 30183424 6011 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 7369 6011 364 364 0 7005 0
[pid=11317] vsize: 29476
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 29476

[startup+180.011 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 9091 0 0 0 17976 22 0 0 25 0 1 0 22319914 30453760 6133 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 7435 6133 364 364 0 7071 0
[pid=11317] vsize: 29740
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (Kb) 29740

[startup+190.012 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 9214 0 0 0 18975 23 0 0 25 0 1 0 22319914 30724096 6254 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 7501 6254 364 364 0 7137 0
[pid=11317] vsize: 30004
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 30004

[startup+200.013 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 9338 0 0 0 19975 24 0 0 25 0 1 0 22319914 31129600 6376 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 7600 6376 364 364 0 7236 0
[pid=11317] vsize: 30400
Current children cumulated CPU time (s) 199.99
Current children cumulated vsize (Kb) 30400

[startup+210.014 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 9457 0 0 0 20975 24 0 0 25 0 1 0 22319914 31399936 6493 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 7666 6493 364 364 0 7302 0
[pid=11317] vsize: 30664
Current children cumulated CPU time (s) 209.99
Current children cumulated vsize (Kb) 30664

[startup+220.014 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 9575 0 0 0 21974 24 0 0 25 0 1 0 22319914 31670272 6609 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 7732 6609 364 364 0 7368 0
[pid=11317] vsize: 30928
Current children cumulated CPU time (s) 219.98
Current children cumulated vsize (Kb) 30928

[startup+230.014 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 9691 0 0 0 22974 25 0 0 25 0 1 0 22319914 31940608 6723 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 7798 6723 364 364 0 7434 0
[pid=11317] vsize: 31192
Current children cumulated CPU time (s) 229.99
Current children cumulated vsize (Kb) 31192

[startup+240.014 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 9801 0 0 0 23974 25 0 0 25 0 1 0 22319914 32346112 6831 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 7897 6831 364 364 0 7533 0
[pid=11317] vsize: 31588
Current children cumulated CPU time (s) 239.99
Current children cumulated vsize (Kb) 31588

[startup+250.015 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 9912 0 0 0 24974 25 0 0 25 0 1 0 22319914 32616448 6940 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 7963 6940 364 364 0 7599 0
[pid=11317] vsize: 31852
Current children cumulated CPU time (s) 249.99
Current children cumulated vsize (Kb) 31852

[startup+260.016 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 10019 0 0 0 25973 26 0 0 25 0 1 0 22319914 32886784 7046 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 8029 7046 364 364 0 7665 0
[pid=11317] vsize: 32116
Current children cumulated CPU time (s) 259.99
Current children cumulated vsize (Kb) 32116

[startup+270.015 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 10127 0 0 0 26973 26 0 0 25 0 1 0 22319914 33157120 7152 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 8095 7152 364 364 0 7731 0
[pid=11317] vsize: 32380
Current children cumulated CPU time (s) 269.99
Current children cumulated vsize (Kb) 32380

[startup+280.016 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 10233 0 0 0 27972 27 0 0 25 0 1 0 22319914 33427456 7256 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 8161 7256 364 364 0 7797 0
[pid=11317] vsize: 32644
Current children cumulated CPU time (s) 279.99
Current children cumulated vsize (Kb) 32644

[startup+290.017 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 10335 0 0 0 28972 27 0 0 25 0 1 0 22319914 33697792 7356 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 8227 7356 364 364 0 7863 0
[pid=11317] vsize: 32908
Current children cumulated CPU time (s) 289.99
Current children cumulated vsize (Kb) 32908

[startup+300.018 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 10437 0 0 0 29972 27 0 0 25 0 1 0 22319914 33968128 7457 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 8293 7457 364 364 0 7929 0
[pid=11317] vsize: 33172
Current children cumulated CPU time (s) 299.99
Current children cumulated vsize (Kb) 33172

[startup+310.019 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 10537 0 0 0 30971 28 0 0 25 0 1 0 22319914 34238464 7555 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 8359 7555 364 364 0 7995 0
[pid=11317] vsize: 33436
Current children cumulated CPU time (s) 309.99
Current children cumulated vsize (Kb) 33436

[startup+320.018 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 10634 0 0 0 31971 28 0 0 25 0 1 0 22319914 34373632 7651 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 8392 7651 364 364 0 8028 0
[pid=11317] vsize: 33568
Current children cumulated CPU time (s) 319.99
Current children cumulated vsize (Kb) 33568

[startup+330.019 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 10733 0 0 0 32971 28 0 0 25 0 1 0 22319914 34643968 7748 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 8458 7748 364 364 0 8094 0
[pid=11317] vsize: 33832
Current children cumulated CPU time (s) 329.99
Current children cumulated vsize (Kb) 33832

[startup+340.019 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 10828 0 0 0 33971 28 0 0 25 0 1 0 22319914 34914304 7841 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 8524 7841 364 364 0 8160 0
[pid=11317] vsize: 34096
Current children cumulated CPU time (s) 339.99
Current children cumulated vsize (Kb) 34096

[startup+350.02 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 10922 0 0 0 34971 28 0 0 25 0 1 0 22319914 35184640 7934 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 8590 7934 364 364 0 8226 0
[pid=11317] vsize: 34360
Current children cumulated CPU time (s) 349.99
Current children cumulated vsize (Kb) 34360

[startup+360.021 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 11014 0 0 0 35971 29 0 0 25 0 1 0 22319914 35454976 8024 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 8656 8024 364 364 0 8292 0
[pid=11317] vsize: 34624
Current children cumulated CPU time (s) 360
Current children cumulated vsize (Kb) 34624

[startup+370.02 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 11107 0 0 0 36971 29 0 0 25 0 1 0 22319914 35590144 8116 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 8689 8116 364 364 0 8325 0
[pid=11317] vsize: 34756
Current children cumulated CPU time (s) 370
Current children cumulated vsize (Kb) 34756

[startup+380.021 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 11199 0 0 0 37971 29 0 0 25 0 1 0 22319914 35860480 8206 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 8755 8206 364 364 0 8391 0
[pid=11317] vsize: 35020
Current children cumulated CPU time (s) 380
Current children cumulated vsize (Kb) 35020

[startup+390.022 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 11285 0 0 0 38970 29 0 0 25 0 1 0 22319914 36130816 8291 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 8821 8291 364 364 0 8457 0
[pid=11317] vsize: 35284
Current children cumulated CPU time (s) 389.99
Current children cumulated vsize (Kb) 35284

[startup+400.022 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 11374 0 0 0 39970 30 0 0 25 0 1 0 22319914 36265984 8379 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 8854 8379 364 364 0 8490 0
[pid=11317] vsize: 35416
Current children cumulated CPU time (s) 400
Current children cumulated vsize (Kb) 35416

[startup+410.023 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 11463 0 0 0 40970 30 0 0 25 0 1 0 22319914 36536320 8466 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 8920 8466 364 364 0 8556 0
[pid=11317] vsize: 35680
Current children cumulated CPU time (s) 410
Current children cumulated vsize (Kb) 35680

[startup+420.022 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 11549 0 0 0 41969 30 0 0 25 0 1 0 22319914 36806656 8551 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 8986 8551 364 364 0 8622 0
[pid=11317] vsize: 35944
Current children cumulated CPU time (s) 419.99
Current children cumulated vsize (Kb) 35944

[startup+430.023 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 11634 0 0 0 42969 31 0 0 25 0 1 0 22319914 36941824 8634 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 9019 8634 364 364 0 8655 0
[pid=11317] vsize: 36076
Current children cumulated CPU time (s) 430
Current children cumulated vsize (Kb) 36076

[startup+440.023 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 11718 0 0 0 43969 31 0 0 25 0 1 0 22319914 37212160 8717 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 9085 8717 364 364 0 8721 0
[pid=11317] vsize: 36340
Current children cumulated CPU time (s) 440
Current children cumulated vsize (Kb) 36340

[startup+450.023 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 11802 0 0 0 44968 32 0 0 25 0 1 0 22319914 37482496 8800 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 9151 8800 364 364 0 8787 0
[pid=11317] vsize: 36604
Current children cumulated CPU time (s) 450
Current children cumulated vsize (Kb) 36604

[startup+460.024 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 11885 0 0 0 45968 32 0 0 25 0 1 0 22319914 37617664 8881 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 9184 8881 364 364 0 8820 0
[pid=11317] vsize: 36736
Current children cumulated CPU time (s) 460
Current children cumulated vsize (Kb) 36736

[startup+470.023 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 12556 0 0 0 46967 33 0 0 25 0 1 0 22319914 56393728 9528 4294967295 134512640 135987407 3221224560 3221221248 134854872 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 13768 9528 364 364 0 13404 0
[pid=11317] vsize: 55072
Current children cumulated CPU time (s) 470
Current children cumulated vsize (Kb) 55072

[startup+480.024 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 16484 0 0 0 47959 41 0 0 25 0 1 0 22319914 55640064 10531 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 13584 10531 364 364 0 13220 0
[pid=11317] vsize: 54336
Current children cumulated CPU time (s) 480
Current children cumulated vsize (Kb) 54336

[startup+490.025 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 16515 0 0 0 48958 41 0 0 25 0 1 0 22319914 55640064 10560 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 13584 10560 364 364 0 13220 0
[pid=11317] vsize: 54336
Current children cumulated CPU time (s) 489.99
Current children cumulated vsize (Kb) 54336

[startup+500.025 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 16544 0 0 0 49958 42 0 0 25 0 1 0 22319914 55640064 10588 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 13584 10588 364 364 0 13220 0
[pid=11317] vsize: 54336
Current children cumulated CPU time (s) 500
Current children cumulated vsize (Kb) 54336

[startup+510.024 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 16573 0 0 0 50958 42 0 0 25 0 1 0 22319914 55640064 10616 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 13584 10616 364 364 0 13220 0
[pid=11317] vsize: 54336
Current children cumulated CPU time (s) 510
Current children cumulated vsize (Kb) 54336

[startup+520.024 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 16602 0 0 0 51958 42 0 0 25 0 1 0 22319914 55640064 10644 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 13584 10644 364 364 0 13220 0
[pid=11317] vsize: 54336
Current children cumulated CPU time (s) 520
Current children cumulated vsize (Kb) 54336

[startup+530.025 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 16631 0 0 0 52958 42 0 0 25 0 1 0 22319914 55640064 10671 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 13584 10671 364 364 0 13220 0
[pid=11317] vsize: 54336
Current children cumulated CPU time (s) 530
Current children cumulated vsize (Kb) 54336

[startup+540.025 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 16676 0 0 0 53957 42 0 0 25 0 1 0 22319914 55775232 10715 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 13617 10715 364 364 0 13253 0
[pid=11317] vsize: 54468
Current children cumulated CPU time (s) 539.99
Current children cumulated vsize (Kb) 54468

[startup+550.025 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 16742 0 0 0 54957 42 0 0 25 0 1 0 22319914 55910400 10780 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 13650 10780 364 364 0 13286 0
[pid=11317] vsize: 54600
Current children cumulated CPU time (s) 549.99
Current children cumulated vsize (Kb) 54600

[startup+560.025 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 16809 0 0 0 55957 43 0 0 25 0 1 0 22319914 56045568 10846 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 13683 10846 364 364 0 13319 0
[pid=11317] vsize: 54732
Current children cumulated CPU time (s) 560
Current children cumulated vsize (Kb) 54732

[startup+570.026 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 16873 0 0 0 56957 43 0 0 25 0 1 0 22319914 56180736 10909 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 13716 10909 364 364 0 13352 0
[pid=11317] vsize: 54864
Current children cumulated CPU time (s) 570
Current children cumulated vsize (Kb) 54864

[startup+580.027 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 18958 0 0 0 57952 48 0 0 25 0 1 0 22319914 63623168 12829 4294967295 134512640 135987407 3221224560 3221218528 134856377 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 15533 12829 364 364 0 15169 0
[pid=11317] vsize: 62132
Current children cumulated CPU time (s) 580
Current children cumulated vsize (Kb) 62132

[startup+590.028 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 27881 0 0 0 58928 70 0 0 25 0 1 0 22319914 89935872 20220 4294967295 134512640 135987407 3221224560 3216340620 135482121 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 21957 20220 364 364 0 21593 0
[pid=11317] vsize: 87828
Current children cumulated CPU time (s) 589.98
Current children cumulated vsize (Kb) 87828

[startup+600.029 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 57473 0 0 0 59864 133 0 0 25 0 1 0 22319914 222908416 40130 4294967295 134512640 135987407 3221224560 3221204912 134887487 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 54421 40130 364 364 0 54057 0
[pid=11317] vsize: 217684
Current children cumulated CPU time (s) 599.97
Current children cumulated vsize (Kb) 217684

[startup+610.029 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 88992 0 0 0 60802 192 0 0 25 0 1 0 22319914 278167552 55572 4294967295 134512640 135987407 3221224560 3221204380 135480452 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 67912 55572 364 364 0 67548 0
[pid=11317] vsize: 271648
Current children cumulated CPU time (s) 609.94
Current children cumulated vsize (Kb) 271648

[startup+620.029 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 117666 0 0 0 61739 254 0 0 25 0 1 0 22319914 385597440 71752 4294967295 134512640 135987407 3221224560 3221204336 134877753 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 94140 71752 364 364 0 93776 0
[pid=11317] vsize: 376560
Current children cumulated CPU time (s) 619.93
Current children cumulated vsize (Kb) 376560

[startup+630.03 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 158512 0 0 0 62665 323 0 0 25 0 1 0 22319914 590819328 111513 4294967295 134512640 135987407 3221224560 3221205356 135500012 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 144243 111513 364 364 0 143879 0
[pid=11317] vsize: 576972
Current children cumulated CPU time (s) 629.88
Current children cumulated vsize (Kb) 576972

[startup+640.031 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 179097 0 0 0 63623 364 0 0 25 0 1 0 22319914 551976960 113349 4294967295 134512640 135987407 3221224560 3221207516 134637011 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 134760 113349 364 364 0 134396 0
[pid=11317] vsize: 539040
Current children cumulated CPU time (s) 639.87
Current children cumulated vsize (Kb) 539040

[startup+650.03 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 219463 0 0 0 64538 446 0 0 25 0 1 0 22319914 675676160 128944 4294967295 134512640 135987407 3221224560 3221207216 134537491 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 164960 128944 364 364 0 164596 0
[pid=11317] vsize: 659840
Current children cumulated CPU time (s) 649.84
Current children cumulated vsize (Kb) 659840

[startup+660.031 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 234793 0 0 0 65508 475 0 0 25 0 1 0 22319914 730648576 144083 4294967295 134512640 135987407 3221224560 3221208272 134887887 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 178381 144083 364 364 0 178017 0
[pid=11317] vsize: 713524
Current children cumulated CPU time (s) 659.83
Current children cumulated vsize (Kb) 713524

[startup+670.032 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 252817 0 0 0 66473 508 0 0 25 0 1 0 22319914 755621888 161880 4294967295 134512640 135987407 3221224560 3221209540 134636948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 184478 161880 364 364 0 184114 0
[pid=11317] vsize: 737912
Current children cumulated CPU time (s) 669.81
Current children cumulated vsize (Kb) 737912

[startup+680.033 s]
Raw data (loadavg): 0.99 1.00 0.95 2/55 11317
Raw data (/proc/11317/stat): 11317 (pb2sat) R 11316 11317 4704 0 -1 0 271541 0 0 0 67441 537 0 0 25 0 1 0 22319914 782811136 179762 4294967295 134512640 135987407 3221224560 3221222900 135479922 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11317/statm): 191116 179762 364 364 0 190752 0
[pid=11317] vsize: 764464
Current children cumulated CPU time (s) 679.78
Current children cumulated vsize (Kb) 764464
One traced child (pid=11317) exited with status: 1
All traced children have exited ! Game is over.

Child status: 1
Real time (s): 686.521
CPU time (s): 686.28
CPU user time (s): 680.532
CPU system time (s): 5.74813
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (Kb): 764464

Verifier Data

ERROR: no interpretation found !