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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3709.opb
MD5SUM40c6760f4e05a9ceb06922f685226f97
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 105000
Biggest coefficient in the objective function 4194304
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 39144954388
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 4194304
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 39144954388
Number of bits of the biggest sum of numbers36
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables105000
Total number of constraints5150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5150
Minimum length of a constraint21
Maximum length of a constraint2000

Trace number 10529

Launcher Data

LAUNCH ON wulflinc17 THE 2005-09-23 18:45:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9275 boxname=wulflinc17 idbench=1071 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  40c6760f4e05a9ceb06922f685226f97  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-n3709.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-n3709.opb
IDLAUNCH: 9275
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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.161
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        921780 kB
Buffers:         16588 kB
Cached:          77524 kB
SwapCached:          0 kB
Active:          51872 kB
Inactive:        45140 kB
HighTotal:      131008 kB
HighFree:        49168 kB
LowTotal:       903652 kB
LowFree:        872612 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10192 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 18:52:09 (client local time) WITH STATUS 0 IN 393.693 SECONDS
stats: 9275 7 393.693 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
s UNKNOWN

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

[startup+10.0023 s]
Raw data (loadavg): 0.93 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 2501 0 0 0 992 7 0 0 25 0 1 0 22453555 9367552 1815 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 2287 1815 364 364 0 1923 0
[pid=10101] vsize: 9148
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 9148

[startup+20.0029 s]
Raw data (loadavg): 0.94 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 3024 0 0 0 1990 9 0 0 25 0 1 0 22453555 10719232 2329 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 2617 2329 364 364 0 2253 0
[pid=10101] vsize: 10468
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 10468

[startup+30.0025 s]
Raw data (loadavg): 0.95 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 4409 0 0 0 2986 12 0 0 25 0 1 0 22453555 15630336 2969 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 3816 2969 364 364 0 3452 0
[pid=10101] vsize: 15264
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 15264

[startup+40.0031 s]
Raw data (loadavg): 0.96 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 4678 0 0 0 3985 13 0 0 25 0 1 0 22453555 16306176 3234 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 3981 3234 364 364 0 3617 0
[pid=10101] vsize: 15924
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 15924

[startup+50.0037 s]
Raw data (loadavg): 0.96 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 4932 0 0 0 4984 14 0 0 25 0 1 0 22453555 16982016 3484 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 4146 3484 364 364 0 3782 0
[pid=10101] vsize: 16584
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 16584

[startup+60.0043 s]
Raw data (loadavg): 0.97 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 5158 0 0 0 5984 15 0 0 25 0 1 0 22453555 17522688 3706 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 4278 3706 364 364 0 3914 0
[pid=10101] vsize: 17112
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 17112

[startup+70.0049 s]
Raw data (loadavg): 0.97 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 5363 0 0 0 6983 15 0 0 25 0 1 0 22453555 18063360 3908 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 4410 3908 364 364 0 4046 0
[pid=10101] vsize: 17640
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 17640

[startup+80.0045 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 5554 0 0 0 7983 16 0 0 25 0 1 0 22453555 18604032 4096 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 4542 4096 364 364 0 4178 0
[pid=10101] vsize: 18168
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 18168

[startup+90.0051 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 5733 0 0 0 8982 17 0 0 25 0 1 0 22453555 19009536 4272 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 4641 4272 364 364 0 4277 0
[pid=10101] vsize: 18564
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 18564

[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 5901 0 0 0 9982 17 0 0 25 0 1 0 22453555 19550208 4437 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 4773 4437 364 364 0 4409 0
[pid=10101] vsize: 19092
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 19092

[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 8280 0 0 0 10977 22 0 0 25 0 1 0 22453555 28696576 5338 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 7006 5338 364 364 0 6642 0
[pid=10101] vsize: 28024
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 28024

[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 8338 0 0 0 11977 22 0 0 25 0 1 0 22453555 28696576 5394 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 7006 5394 364 364 0 6642 0
[pid=10101] vsize: 28024
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 28024

[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 8437 0 0 0 12976 22 0 0 25 0 1 0 22453555 28966912 5490 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 7072 5490 364 364 0 6708 0
[pid=10101] vsize: 28288
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 28288

[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.93 3/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 8562 0 0 0 13976 23 0 0 25 0 1 0 22453555 29237248 5613 4294967295 134512640 135987407 3221224560 3221221744 134536157 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 7138 5613 364 364 0 6774 0
[pid=10101] vsize: 28552
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 28552

[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 8685 0 0 0 14975 24 0 0 25 0 1 0 22453555 29507584 5734 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 7204 5734 364 364 0 6840 0
[pid=10101] vsize: 28816
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 28816

[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 8803 0 0 0 15975 24 0 0 25 0 1 0 22453555 29777920 5850 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 7270 5850 364 364 0 6906 0
[pid=10101] vsize: 29080
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 29080

[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 8920 0 0 0 16974 24 0 0 25 0 1 0 22453555 30048256 5964 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 7336 5964 364 364 0 6972 0
[pid=10101] vsize: 29344
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 29344

[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 9036 0 0 0 17974 25 0 0 25 0 1 0 22453555 30318592 6078 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 7402 6078 364 364 0 7038 0
[pid=10101] vsize: 29608
Current children cumulated CPU time (s) 179.99
Current children cumulated vsize (Kb) 29608

[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 9161 0 0 0 18974 25 0 0 25 0 1 0 22453555 30588928 6201 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 7468 6201 364 364 0 7104 0
[pid=10101] vsize: 29872
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 29872

[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 9284 0 0 0 19973 26 0 0 25 0 1 0 22453555 30994432 6322 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 7567 6322 364 364 0 7203 0
[pid=10101] vsize: 30268
Current children cumulated CPU time (s) 199.99
Current children cumulated vsize (Kb) 30268

[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 9404 0 0 0 20972 27 0 0 25 0 1 0 22453555 31264768 6440 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 7633 6440 364 364 0 7269 0
[pid=10101] vsize: 30532
Current children cumulated CPU time (s) 209.99
Current children cumulated vsize (Kb) 30532

[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 9520 0 0 0 21972 27 0 0 25 0 1 0 22453555 31535104 6555 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 7699 6555 364 364 0 7335 0
[pid=10101] vsize: 30796
Current children cumulated CPU time (s) 219.99
Current children cumulated vsize (Kb) 30796

[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 9634 0 0 0 22972 27 0 0 25 0 1 0 22453555 31805440 6667 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 7765 6667 364 364 0 7401 0
[pid=10101] vsize: 31060
Current children cumulated CPU time (s) 229.99
Current children cumulated vsize (Kb) 31060

[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 9748 0 0 0 23971 28 0 0 25 0 1 0 22453555 32210944 6779 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 7864 6779 364 364 0 7500 0
[pid=10101] vsize: 31456
Current children cumulated CPU time (s) 239.99
Current children cumulated vsize (Kb) 31456

[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 9857 0 0 0 24971 28 0 0 25 0 1 0 22453555 32481280 6886 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 7930 6886 364 364 0 7566 0
[pid=10101] vsize: 31720
Current children cumulated CPU time (s) 249.99
Current children cumulated vsize (Kb) 31720

[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 9965 0 0 0 25971 29 0 0 25 0 1 0 22453555 32751616 6992 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 7996 6992 364 364 0 7632 0
[pid=10101] vsize: 31984
Current children cumulated CPU time (s) 260
Current children cumulated vsize (Kb) 31984

[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 10071 0 0 0 26970 29 0 0 25 0 1 0 22453555 33021952 7097 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 8062 7097 364 364 0 7698 0
[pid=10101] vsize: 32248
Current children cumulated CPU time (s) 269.99
Current children cumulated vsize (Kb) 32248

[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 10176 0 0 0 27970 29 0 0 25 0 1 0 22453555 33292288 7200 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 8128 7200 364 364 0 7764 0
[pid=10101] vsize: 32512
Current children cumulated CPU time (s) 279.99
Current children cumulated vsize (Kb) 32512

[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 10277 0 0 0 28969 30 0 0 25 0 1 0 22453555 33562624 7299 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 8194 7299 364 364 0 7830 0
[pid=10101] vsize: 32776
Current children cumulated CPU time (s) 289.99
Current children cumulated vsize (Kb) 32776

[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 10378 0 0 0 29969 31 0 0 25 0 1 0 22453555 33697792 7399 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 8227 7399 364 364 0 7863 0
[pid=10101] vsize: 32908
Current children cumulated CPU time (s) 300
Current children cumulated vsize (Kb) 32908

[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 36934 0 0 0 30907 90 0 0 25 0 1 0 22453555 149757952 25141 4294967295 134512640 135987407 3221224560 3220639564 135500012 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 36562 25141 364 364 0 36198 0
[pid=10101] vsize: 146248
Current children cumulated CPU time (s) 309.97
Current children cumulated vsize (Kb) 146248

[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 62376 0 0 0 31851 145 0 0 25 0 1 0 22453555 191139840 39472 4294967295 134512640 135987407 3221224560 3220880928 134802793 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 46665 39472 364 364 0 46301 0
[pid=10101] vsize: 186660
Current children cumulated CPU time (s) 319.96
Current children cumulated vsize (Kb) 186660

[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 101343 0 0 0 32767 226 0 0 25 0 1 0 22453555 305848320 56235 4294967295 134512640 135987407 3221224560 3220631696 134887796 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 74670 56235 364 364 0 74306 0
[pid=10101] vsize: 298680
Current children cumulated CPU time (s) 329.93
Current children cumulated vsize (Kb) 298680

[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 115551 0 0 0 33734 260 0 0 25 0 1 0 22453555 342106112 70205 4294967295 134512640 135987407 3221224560 3220748272 134639105 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10101/statm): 83522 70205 364 364 0 83158 0
[pid=10101] vsize: 334088
Current children cumulated CPU time (s) 339.94
Current children cumulated vsize (Kb) 334088

[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 157197 0 0 0 34637 353 0 0 25 0 1 0 22453555 470994944 92232 4294967295 134512640 135987407 3221224560 3220753328 134887887 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10101/statm): 114989 92233 364 364 0 114625 0
[pid=10101] vsize: 459956
Current children cumulated CPU time (s) 349.9
Current children cumulated vsize (Kb) 459956

[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 194922 0 0 0 35552 437 0 0 25 0 1 0 22453555 608456704 105162 4294967295 134512640 135987407 3221224560 3220738976 134877628 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10101/statm): 148549 105162 364 364 0 148185 0
[pid=10101] vsize: 594196
Current children cumulated CPU time (s) 359.89
Current children cumulated vsize (Kb) 594196

[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 208771 0 0 0 36523 466 0 0 25 0 1 0 22453555 612917248 118787 4294967295 134512640 135987407 3221224560 3220826608 134887887 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10101/statm): 149638 118788 364 364 0 149274 0
[pid=10101] vsize: 598552
Current children cumulated CPU time (s) 369.89
Current children cumulated vsize (Kb) 598552

[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 224268 0 0 0 37490 499 0 0 25 0 1 0 22453555 616837120 134028 4294967295 134512640 135987407 3221224560 3220816156 134636973 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10101/statm): 150595 134028 364 364 0 150231 0
[pid=10101] vsize: 602380
Current children cumulated CPU time (s) 379.89
Current children cumulated vsize (Kb) 602380

[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) R 10100 10101 4060 0 -1 0 236885 0 0 0 38461 528 0 0 25 0 1 0 22453555 671764480 146442 4294967295 134512640 135987407 3221224560 3220709008 134887887 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10101/statm): 164005 146444 364 364 0 163641 0
[pid=10101] vsize: 656020
Current children cumulated CPU time (s) 389.89
Current children cumulated vsize (Kb) 656020



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+393.355 s]
Raw data (loadavg): 0.99 0.97 0.93 1/55 10101
Raw data (/proc/10101/stat): 10101 (pb2sat) T 10100 10101 4060 0 -1 0 243086 0 0 0 38782 541 0 0 25 0 1 0 22453555 962658304 152559 4294967295 134512640 135987407 3221224560 3220866240 135544035 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10101/statm): 235024 152559 364 364 0 234660 0
[pid=10101] vsize: 940096
Current children cumulated CPU time (s) 393.23
Current children cumulated vsize (Kb) 940096

Sending SIGTERM to -10101
Sleeping 2 seconds
Sending SIGKILL to -10101
One traced child (pid=10101) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 395.673
CPU time (s): 393.693
CPU user time (s): 387.962
CPU system time (s): 5.73113
CPU usage (%): 99.4997
Max. virtual memory (cumulated for all children) (Kb): 940096

Verifier Data

ERROR: no interpretation found !