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-n370a.opb
MD5SUM1f27e2752aef6110d896dff85e9c13b8
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 39171467771
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 39171467771
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 10544

Launcher Data

LAUNCH ON wulflinc14 THE 2005-09-23 18:52:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9295 boxname=wulflinc14 idbench=1091 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  1f27e2752aef6110d896dff85e9c13b8  /oldhome/oroussel/tmp/wulflinc14/normalized-mps-v2-13-7-n370a.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc14/normalized-mps-v2-13-7-n370a.opb
IDLAUNCH: 9295
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.058
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.058
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:        973044 kB
Buffers:          3012 kB
Cached:          41052 kB
SwapCached:          0 kB
Active:          24112 kB
Inactive:        22812 kB
HighTotal:      131008 kB
HighFree:        85764 kB
LowTotal:       903652 kB
LowFree:        887280 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             8988 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:58:59 (client local time) WITH STATUS 0 IN 387.586 SECONDS
stats: 9295 7 387.586 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/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22492732 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 373 2 364 364 0 9 0
[pid=10468] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc14/normalized-mps-v2-13-7-n370a.opb

[startup+10.0019 s]
Raw data (loadavg): 0.89 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 2568 0 0 0 992 6 0 0 25 0 1 0 22492732 9502720 1881 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 2320 1881 364 364 0 1956 0
[pid=10468] vsize: 9280
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 9280

[startup+20.0026 s]
Raw data (loadavg): 0.91 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 4190 0 0 0 1988 10 0 0 25 0 1 0 22492732 15224832 2755 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 3717 2755 364 364 0 3353 0
[pid=10468] vsize: 14868
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 14868

[startup+30.0032 s]
Raw data (loadavg): 0.92 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 4464 0 0 0 2987 12 0 0 25 0 1 0 22492732 15765504 3023 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 3849 3023 364 364 0 3485 0
[pid=10468] vsize: 15396
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 15396

[startup+40.0039 s]
Raw data (loadavg): 0.93 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 4740 0 0 0 3986 12 0 0 25 0 1 0 22492732 16576512 3295 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 4047 3295 364 364 0 3683 0
[pid=10468] vsize: 16188
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 16188

[startup+50.0046 s]
Raw data (loadavg): 0.94 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 4990 0 0 0 4985 13 0 0 25 0 1 0 22492732 17117184 3541 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 4179 3541 364 364 0 3815 0
[pid=10468] vsize: 16716
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 16716

[startup+60.0042 s]
Raw data (loadavg): 0.95 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 5213 0 0 0 5985 14 0 0 25 0 1 0 22492732 17793024 3760 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 4344 3760 364 364 0 3980 0
[pid=10468] vsize: 17376
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 17376

[startup+70.0049 s]
Raw data (loadavg): 0.96 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 5417 0 0 0 6984 14 0 0 25 0 1 0 22492732 18198528 3961 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10468/statm): 4443 3961 364 364 0 4079 0
[pid=10468] vsize: 17772
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 17772

[startup+80.0055 s]
Raw data (loadavg): 0.96 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 5605 0 0 0 7984 15 0 0 25 0 1 0 22492732 18739200 4146 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10468/statm): 4575 4146 364 364 0 4211 0
[pid=10468] vsize: 18300
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 18300

[startup+90.0052 s]
Raw data (loadavg): 0.97 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 5784 0 0 0 8984 15 0 0 25 0 1 0 22492732 19144704 4322 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10468/statm): 4674 4322 364 364 0 4310 0
[pid=10468] vsize: 18696
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 18696

[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 5952 0 0 0 9983 15 0 0 25 0 1 0 22492732 19685376 4487 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 4806 4487 364 364 0 4442 0
[pid=10468] vsize: 19224
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 19224

[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 8299 0 0 0 10978 20 0 0 25 0 1 0 22492732 28696576 5357 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 7006 5357 364 364 0 6642 0
[pid=10468] vsize: 28024
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 28024

[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 8359 0 0 0 11977 20 0 0 25 0 1 0 22492732 28696576 5414 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 7006 5414 364 364 0 6642 0
[pid=10468] vsize: 28024
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 28024

[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 8484 0 0 0 12976 21 0 0 25 0 1 0 22492732 28966912 5537 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 7072 5537 364 364 0 6708 0
[pid=10468] vsize: 28288
Current children cumulated CPU time (s) 129.97
Current children cumulated vsize (Kb) 28288

[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 8611 0 0 0 13976 22 0 0 25 0 1 0 22492732 29372416 5661 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 7171 5661 364 364 0 6807 0
[pid=10468] vsize: 28684
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 28684

[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 8734 0 0 0 14976 22 0 0 25 0 1 0 22492732 29642752 5782 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 7237 5782 364 364 0 6873 0
[pid=10468] vsize: 28948
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 28948

[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 8851 0 0 0 15975 22 0 0 25 0 1 0 22492732 29913088 5897 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10468/statm): 7303 5897 364 364 0 6939 0
[pid=10468] vsize: 29212
Current children cumulated CPU time (s) 159.97
Current children cumulated vsize (Kb) 29212

[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 8965 0 0 0 16975 23 0 0 25 0 1 0 22492732 30183424 6009 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10468/statm): 7369 6009 364 364 0 7005 0
[pid=10468] vsize: 29476
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 29476

[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 9087 0 0 0 17975 23 0 0 25 0 1 0 22492732 30453760 6129 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10468/statm): 7435 6129 364 364 0 7071 0
[pid=10468] vsize: 29740
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (Kb) 29740

[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.92 3/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 9212 0 0 0 18974 24 0 0 25 0 1 0 22492732 30724096 6252 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10468/statm): 7501 6252 364 364 0 7137 0
[pid=10468] vsize: 30004
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 30004

[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 9334 0 0 0 19973 25 0 0 25 0 1 0 22492732 31129600 6372 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10468/statm): 7600 6372 364 364 0 7236 0
[pid=10468] vsize: 30400
Current children cumulated CPU time (s) 199.98
Current children cumulated vsize (Kb) 30400

[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 9454 0 0 0 20973 26 0 0 25 0 1 0 22492732 31399936 6490 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10468/statm): 7666 6490 364 364 0 7302 0
[pid=10468] vsize: 30664
Current children cumulated CPU time (s) 209.99
Current children cumulated vsize (Kb) 30664

[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 9571 0 0 0 21973 26 0 0 25 0 1 0 22492732 31670272 6605 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 7732 6605 364 364 0 7368 0
[pid=10468] vsize: 30928
Current children cumulated CPU time (s) 219.99
Current children cumulated vsize (Kb) 30928

[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 9686 0 0 0 22972 26 0 0 25 0 1 0 22492732 31940608 6718 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 7798 6718 364 364 0 7434 0
[pid=10468] vsize: 31192
Current children cumulated CPU time (s) 229.98
Current children cumulated vsize (Kb) 31192

[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 9798 0 0 0 23972 27 0 0 25 0 1 0 22492732 32210944 6828 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 7864 6828 364 364 0 7500 0
[pid=10468] vsize: 31456
Current children cumulated CPU time (s) 239.99
Current children cumulated vsize (Kb) 31456

[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 9910 0 0 0 24972 27 0 0 25 0 1 0 22492732 32616448 6938 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 7963 6938 364 364 0 7599 0
[pid=10468] vsize: 31852
Current children cumulated CPU time (s) 249.99
Current children cumulated vsize (Kb) 31852

[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 10018 0 0 0 25972 27 0 0 25 0 1 0 22492732 32886784 7045 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 8029 7045 364 364 0 7665 0
[pid=10468] vsize: 32116
Current children cumulated CPU time (s) 259.99
Current children cumulated vsize (Kb) 32116

[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 10124 0 0 0 26972 27 0 0 25 0 1 0 22492732 33157120 7149 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 8095 7149 364 364 0 7731 0
[pid=10468] vsize: 32380
Current children cumulated CPU time (s) 269.99
Current children cumulated vsize (Kb) 32380

[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 10228 0 0 0 27972 27 0 0 25 0 1 0 22492732 33427456 7251 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 8161 7251 364 364 0 7797 0
[pid=10468] vsize: 32644
Current children cumulated CPU time (s) 279.99
Current children cumulated vsize (Kb) 32644

[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 10331 0 0 0 28971 28 0 0 25 0 1 0 22492732 33697792 7352 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 8227 7352 364 364 0 7863 0
[pid=10468] vsize: 32908
Current children cumulated CPU time (s) 289.99
Current children cumulated vsize (Kb) 32908

[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 21978 0 0 0 29940 57 0 0 25 0 1 0 22492732 70885376 15010 4294967295 134512640 135987407 3221224560 3220727924 134856605 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 17306 15010 364 364 0 16942 0
[pid=10468] vsize: 69224
Current children cumulated CPU time (s) 299.97
Current children cumulated vsize (Kb) 69224

[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 54630 0 0 0 30867 129 0 0 25 0 1 0 22492732 167469056 31832 4294967295 134512640 135987407 3221224560 3220599356 135486794 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 40886 31832 364 364 0 40522 0
[pid=10468] vsize: 163544
Current children cumulated CPU time (s) 309.96
Current children cumulated vsize (Kb) 163544

[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 83698 0 0 0 31804 190 0 0 25 0 1 0 22492732 253489152 50965 4294967295 134512640 135987407 3221224560 3220695424 134635412 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 61887 50965 364 364 0 61523 0
[pid=10468] vsize: 247548
Current children cumulated CPU time (s) 319.94
Current children cumulated vsize (Kb) 247548

[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 109601 0 0 0 32745 248 0 0 25 0 1 0 22492732 341295104 64356 4294967295 134512640 135987407 3221224560 3220902320 134856387 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10468/statm): 83324 64356 364 364 0 82960 0
[pid=10468] vsize: 333296
Current children cumulated CPU time (s) 329.93
Current children cumulated vsize (Kb) 333296

[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 135679 0 0 0 33692 299 0 0 25 0 1 0 22492732 507830272 89791 4294967295 134512640 135987407 3221224560 3220771244 135500012 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 123982 89791 364 364 0 123618 0
[pid=10468] vsize: 495928
Current children cumulated CPU time (s) 339.91
Current children cumulated vsize (Kb) 495928

[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 189079 0 0 0 34572 415 0 0 25 0 1 0 22492732 574091264 99418 4294967295 134512640 135987407 3221224560 3220709740 135499906 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 140159 99418 364 364 0 139795 0
[pid=10468] vsize: 560636
Current children cumulated CPU time (s) 349.87
Current children cumulated vsize (Kb) 560636

[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 202685 0 0 0 35541 446 0 0 25 0 1 0 22492732 610889728 112800 4294967295 134512640 135987407 3221224560 3220741892 135479884 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 149143 112800 364 364 0 148779 0
[pid=10468] vsize: 596572
Current children cumulated CPU time (s) 359.87
Current children cumulated vsize (Kb) 596572

[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 218513 0 0 0 36503 483 0 0 25 0 1 0 22492732 616701952 128373 4294967295 134512640 135987407 3221224560 3220599876 135480412 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 150562 128373 364 364 0 150198 0
[pid=10468] vsize: 602248
Current children cumulated CPU time (s) 369.86
Current children cumulated vsize (Kb) 602248

[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) R 10467 10468 4060 0 -1 0 231009 0 0 0 37474 513 0 0 25 0 1 0 22492732 669736960 140661 4294967295 134512640 135987407 3221224560 3220739984 134877708 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10468/statm): 163510 140661 364 364 0 163146 0
[pid=10468] vsize: 654040
Current children cumulated CPU time (s) 379.87
Current children cumulated vsize (Kb) 654040



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+387.28 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 10468
Raw data (/proc/10468/stat): 10468 (pb2sat) T 10467 10468 4060 0 -1 0 243048 0 0 0 38172 540 0 0 25 0 1 0 22492732 962523136 152521 4294967295 134512640 135987407 3221224560 3220726464 135544035 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10468/statm): 234991 152521 364 364 0 234627 0
[pid=10468] vsize: 939964
Current children cumulated CPU time (s) 387.12
Current children cumulated vsize (Kb) 939964

Sending SIGTERM to -10468
Sleeping 2 seconds
Sending SIGKILL to -10468
One traced child (pid=10468) 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.595
CPU time (s): 387.586
CPU user time (s): 381.87
CPU system time (s): 5.71613
CPU usage (%): 99.4845
Max. virtual memory (cumulated for all children) (Kb): 939964

Verifier Data

ERROR: no interpretation found !