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-n3707.opb
MD5SUM01e0877cc064d2a3c60da2ac822a983e
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6572070447
Optimality of the best value was proved NO
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 39195741828
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 39195741828
Number of bits of the biggest sum of numbers36
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1209.84
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 10526

Launcher Data

LAUNCH ON wulflinc21 THE 2005-09-23 18:45:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9273 boxname=wulflinc21 idbench=1069 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  01e0877cc064d2a3c60da2ac822a983e  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-n3707.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-n3707.opb
IDLAUNCH: 9273
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.188
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.188
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:        904292 kB
Buffers:         14604 kB
Cached:          97392 kB
SwapCached:          0 kB
Active:          53008 kB
Inactive:        61904 kB
HighTotal:      131008 kB
HighFree:        35616 kB
LowTotal:       903652 kB
LowFree:        868676 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             9880 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 18:51:41 (client local time) WITH STATUS 0 IN 387.315 SECONDS
stats: 9273 7 387.315 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/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22448174 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 373 2 364 364 0 9 0
[pid=11342] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-n3707.opb

[startup+10.0024 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 2541 0 0 0 992 6 0 0 25 0 1 0 22448174 9502720 1854 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 2320 1854 364 364 0 1956 0
[pid=11342] vsize: 9280
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 9280

[startup+20.0031 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 4180 0 0 0 1989 9 0 0 25 0 1 0 22448174 15224832 2746 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 3717 2746 364 364 0 3353 0
[pid=11342] vsize: 14868
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 14868

[startup+30.0028 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 4457 0 0 0 2988 10 0 0 25 0 1 0 22448174 15765504 3017 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 3849 3017 364 364 0 3485 0
[pid=11342] vsize: 15396
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 15396

[startup+40.0035 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 4735 0 0 0 3987 11 0 0 25 0 1 0 22448174 16441344 3290 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 4014 3290 364 364 0 3650 0
[pid=11342] vsize: 16056
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 16056

[startup+50.0041 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 4987 0 0 0 4987 11 0 0 25 0 1 0 22448174 17117184 3538 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 4179 3538 364 364 0 3815 0
[pid=11342] vsize: 16716
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 16716

[startup+60.0048 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 5209 0 0 0 5987 11 0 0 25 0 1 0 22448174 17657856 3756 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 4311 3756 364 364 0 3947 0
[pid=11342] vsize: 17244
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 17244

[startup+70.0055 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 5413 0 0 0 6986 12 0 0 25 0 1 0 22448174 18198528 3957 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 4443 3957 364 364 0 4079 0
[pid=11342] vsize: 17772
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 17772

[startup+80.0062 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 5604 0 0 0 7986 12 0 0 25 0 1 0 22448174 18739200 4145 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 4575 4145 364 364 0 4211 0
[pid=11342] vsize: 18300
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 18300

[startup+90.0069 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 5783 0 0 0 8985 13 0 0 25 0 1 0 22448174 19144704 4321 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 4674 4321 364 364 0 4310 0
[pid=11342] vsize: 18696
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 18696

[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 5952 0 0 0 9985 14 0 0 25 0 1 0 22448174 19685376 4487 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 4806 4487 364 364 0 4442 0
[pid=11342] vsize: 19224
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 19224

[startup+110.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 8298 0 0 0 10980 19 0 0 25 0 1 0 22448174 28696576 5356 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 7006 5356 364 364 0 6642 0
[pid=11342] vsize: 28024
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 28024

[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 8359 0 0 0 11980 19 0 0 25 0 1 0 22448174 28696576 5414 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 7006 5414 364 364 0 6642 0
[pid=11342] vsize: 28024
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 28024

[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 8483 0 0 0 12979 19 0 0 25 0 1 0 22448174 28966912 5536 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 7072 5536 364 364 0 6708 0
[pid=11342] vsize: 28288
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 28288

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 8607 0 0 0 13979 20 0 0 25 0 1 0 22448174 29237248 5657 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 7138 5657 364 364 0 6774 0
[pid=11342] vsize: 28552
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 28552

[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 8731 0 0 0 14978 20 0 0 25 0 1 0 22448174 29642752 5779 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 7237 5779 364 364 0 6873 0
[pid=11342] vsize: 28948
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 28948

[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 8848 0 0 0 15978 21 0 0 25 0 1 0 22448174 29913088 5894 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 7303 5894 364 364 0 6939 0
[pid=11342] vsize: 29212
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 29212

[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 8963 0 0 0 16977 21 0 0 25 0 1 0 22448174 30183424 6007 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 7369 6007 364 364 0 7005 0
[pid=11342] vsize: 29476
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 29476

[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 9086 0 0 0 17977 21 0 0 25 0 1 0 22448174 30453760 6128 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 7435 6128 364 364 0 7071 0
[pid=11342] vsize: 29740
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (Kb) 29740

[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 9211 0 0 0 18977 22 0 0 25 0 1 0 22448174 30724096 6251 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 7501 6251 364 364 0 7137 0
[pid=11342] vsize: 30004
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 30004

[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 9334 0 0 0 19976 22 0 0 25 0 1 0 22448174 31129600 6372 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 7600 6372 364 364 0 7236 0
[pid=11342] vsize: 30400
Current children cumulated CPU time (s) 199.98
Current children cumulated vsize (Kb) 30400

[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 9454 0 0 0 20976 22 0 0 25 0 1 0 22448174 31399936 6490 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 7666 6490 364 364 0 7302 0
[pid=11342] vsize: 30664
Current children cumulated CPU time (s) 209.98
Current children cumulated vsize (Kb) 30664

[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 9571 0 0 0 21976 23 0 0 25 0 1 0 22448174 31670272 6605 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 7732 6605 364 364 0 7368 0
[pid=11342] vsize: 30928
Current children cumulated CPU time (s) 219.99
Current children cumulated vsize (Kb) 30928

[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 9687 0 0 0 22975 23 0 0 25 0 1 0 22448174 31940608 6719 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 7798 6719 364 364 0 7434 0
[pid=11342] vsize: 31192
Current children cumulated CPU time (s) 229.98
Current children cumulated vsize (Kb) 31192

[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 9798 0 0 0 23975 24 0 0 25 0 1 0 22448174 32210944 6828 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 7864 6828 364 364 0 7500 0
[pid=11342] vsize: 31456
Current children cumulated CPU time (s) 239.99
Current children cumulated vsize (Kb) 31456

[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 9910 0 0 0 24975 24 0 0 25 0 1 0 22448174 32616448 6938 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 7963 6938 364 364 0 7599 0
[pid=11342] vsize: 31852
Current children cumulated CPU time (s) 249.99
Current children cumulated vsize (Kb) 31852

[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 10018 0 0 0 25974 25 0 0 25 0 1 0 22448174 32886784 7045 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 8029 7045 364 364 0 7665 0
[pid=11342] vsize: 32116
Current children cumulated CPU time (s) 259.99
Current children cumulated vsize (Kb) 32116

[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 10124 0 0 0 26973 26 0 0 25 0 1 0 22448174 33157120 7149 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 8095 7149 364 364 0 7731 0
[pid=11342] vsize: 32380
Current children cumulated CPU time (s) 269.99
Current children cumulated vsize (Kb) 32380

[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 10229 0 0 0 27973 26 0 0 25 0 1 0 22448174 33427456 7252 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 8161 7252 364 364 0 7797 0
[pid=11342] vsize: 32644
Current children cumulated CPU time (s) 279.99
Current children cumulated vsize (Kb) 32644

[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 10331 0 0 0 28973 26 0 0 25 0 1 0 22448174 33697792 7352 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 8227 7352 364 364 0 7863 0
[pid=11342] vsize: 32908
Current children cumulated CPU time (s) 289.99
Current children cumulated vsize (Kb) 32908

[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 22064 0 0 0 29949 49 0 0 25 0 1 0 22448174 71020544 15095 4294967295 134512640 135987407 3221224560 3220807040 134639141 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 17339 15095 364 364 0 16975 0
[pid=11342] vsize: 69356
Current children cumulated CPU time (s) 299.98
Current children cumulated vsize (Kb) 69356

[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 55908 0 0 0 30876 120 0 0 25 0 1 0 22448174 170577920 33102 4294967295 134512640 135987407 3221224560 3220879948 134637002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 41645 33102 364 364 0 41281 0
[pid=11342] vsize: 166580
Current children cumulated CPU time (s) 309.96
Current children cumulated vsize (Kb) 166580

[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 84018 0 0 0 31814 180 0 0 25 0 1 0 22448174 253894656 51282 4294967295 134512640 135987407 3221224560 3220598268 135480487 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 61986 51282 364 364 0 61622 0
[pid=11342] vsize: 247944
Current children cumulated CPU time (s) 319.94
Current children cumulated vsize (Kb) 247944

[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 109722 0 0 0 32759 235 0 0 25 0 1 0 22448174 340889600 64473 4294967295 134512640 135987407 3221224560 3220759976 134802682 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 83225 64473 364 364 0 82861 0
[pid=11342] vsize: 332900
Current children cumulated CPU time (s) 329.94
Current children cumulated vsize (Kb) 332900

[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 137819 0 0 0 33700 291 0 0 25 0 1 0 22448174 511750144 91865 4294967295 134512640 135987407 3221224560 3220613996 135500004 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 124939 91865 364 364 0 124575 0
[pid=11342] vsize: 499756
Current children cumulated CPU time (s) 339.91
Current children cumulated vsize (Kb) 499756

[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 189456 0 0 0 34590 399 0 0 25 0 1 0 22448174 573956096 99789 4294967295 134512640 135987407 3221224560 3220704768 134866034 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 140126 99789 364 364 0 139762 0
[pid=11342] vsize: 560504
Current children cumulated CPU time (s) 349.89
Current children cumulated vsize (Kb) 560504

[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 203321 0 0 0 35560 429 0 0 25 0 1 0 22448174 611835904 113428 4294967295 134512640 135987407 3221224560 3220872524 134636982 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 149374 113428 364 364 0 149010 0
[pid=11342] vsize: 597496
Current children cumulated CPU time (s) 359.89
Current children cumulated vsize (Kb) 597496

[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 218795 0 0 0 36528 460 0 0 25 0 1 0 22448174 615620608 128646 4294967295 134512640 135987407 3221224560 3220835228 134637002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 150298 128646 364 364 0 149934 0
[pid=11342] vsize: 601192
Current children cumulated CPU time (s) 369.88
Current children cumulated vsize (Kb) 601192

[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) R 11341 11342 4059 0 -1 0 231274 0 0 0 37502 487 0 0 25 0 1 0 22448174 669466624 140920 4294967295 134512640 135987407 3221224560 3220609296 134866070 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11342/statm): 163444 140920 364 364 0 163080 0
[pid=11342] vsize: 653776
Current children cumulated CPU time (s) 379.89
Current children cumulated vsize (Kb) 653776



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+386.995 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 11342
Raw data (/proc/11342/stat): 11342 (pb2sat) T 11341 11342 4059 0 -1 0 243206 0 0 0 38171 514 0 0 25 0 1 0 22448174 963198976 152679 4294967295 134512640 135987407 3221224560 3220645824 135544035 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/11342/statm): 235156 152679 364 364 0 234792 0
[pid=11342] vsize: 940624
Current children cumulated CPU time (s) 386.85
Current children cumulated vsize (Kb) 940624

Sending SIGTERM to -11342
Sleeping 2 seconds
Sending SIGKILL to -11342
One traced child (pid=11342) 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): 389.311
CPU time (s): 387.315
CPU user time (s): 381.859
CPU system time (s): 5.45617
CPU usage (%): 99.4874
Max. virtual memory (cumulated for all children) (Kb): 940624

Verifier Data

ERROR: no interpretation found !