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-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3707.opb
MD5SUM9a33380ca74da1778d689b1fccd15cfc
Bench Categoryoptimization, big integers (OPTBIGINT)
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 155000
Biggest coefficient in the objective function 4294967296
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 29764190431236
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 4294967296
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 29764190431236
Number of bits of the biggest sum of numbers45
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables155000
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 constraint31
Maximum length of a constraint3000

Trace number 10145

Launcher Data

LAUNCH ON wulflinc19 THE 2005-09-23 17:05:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8889 boxname=wulflinc19 idbench=685 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  9a33380ca74da1778d689b1fccd15cfc  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-n3707.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-n3707.opb
IDLAUNCH: 8889
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        897236 kB
Buffers:         15820 kB
Cached:         101548 kB
SwapCached:          0 kB
Active:          57264 kB
Inactive:        62980 kB
HighTotal:      131008 kB
HighFree:        33376 kB
LowTotal:       903652 kB
LowFree:        863860 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11624 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 17:18:42 (client local time) WITH STATUS 0 IN 764.989 SECONDS
stats: 8889 7 764.989 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/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21853309 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 373 2 364 364 0 9 0
[pid=8972] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-n3707.opb

[startup+10.0016 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 2508 0 0 0 993 5 0 0 25 0 1 0 21853309 9367552 1822 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 2287 1822 364 364 0 1923 0
[pid=8972] vsize: 9148
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 9148

[startup+20.0024 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 3035 0 0 0 1992 6 0 0 25 0 1 0 21853309 10719232 2340 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 2617 2340 364 364 0 2253 0
[pid=8972] vsize: 10468
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 10468

[startup+30.0032 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 4402 0 0 0 2989 9 0 0 25 0 1 0 21853309 15630336 2963 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 3816 2963 364 364 0 3452 0
[pid=8972] vsize: 15264
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 15264

[startup+40.004 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 4674 0 0 0 3988 10 0 0 25 0 1 0 21853309 16306176 3230 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 3981 3230 364 364 0 3617 0
[pid=8972] vsize: 15924
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 15924

[startup+50.0048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 4926 0 0 0 4988 10 0 0 25 0 1 0 21853309 16982016 3478 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 4146 3478 364 364 0 3782 0
[pid=8972] vsize: 16584
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 16584

[startup+60.0056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 5153 0 0 0 5987 11 0 0 25 0 1 0 21853309 17522688 3701 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 4278 3701 364 364 0 3914 0
[pid=8972] vsize: 17112
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 17112

[startup+70.0055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 5363 0 0 0 6986 11 0 0 25 0 1 0 21853309 18063360 3908 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 4410 3908 364 364 0 4046 0
[pid=8972] vsize: 17640
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 17640

[startup+80.0063 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 5559 0 0 0 7986 12 0 0 25 0 1 0 21853309 18604032 4101 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 4542 4101 364 364 0 4178 0
[pid=8972] vsize: 18168
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 18168

[startup+90.0061 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 5744 0 0 0 8985 12 0 0 25 0 1 0 21853309 19144704 4283 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 4674 4283 364 364 0 4310 0
[pid=8972] vsize: 18696
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 18696

[startup+100.007 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 5921 0 0 0 9985 13 0 0 25 0 1 0 21853309 19550208 4457 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 4773 4457 364 364 0 4409 0
[pid=8972] vsize: 19092
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 19092

[startup+110.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 8292 0 0 0 10980 17 0 0 25 0 1 0 21853309 28696576 5350 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 7006 5350 364 364 0 6642 0
[pid=8972] vsize: 28024
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 28024

[startup+120.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 8350 0 0 0 11980 17 0 0 25 0 1 0 21853309 28696576 5406 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 7006 5406 364 364 0 6642 0
[pid=8972] vsize: 28024
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 28024

[startup+130.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 8454 0 0 0 12979 18 0 0 25 0 1 0 21853309 28966912 5507 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 7072 5507 364 364 0 6708 0
[pid=8972] vsize: 28288
Current children cumulated CPU time (s) 129.97
Current children cumulated vsize (Kb) 28288

[startup+140.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 8582 0 0 0 13979 18 0 0 25 0 1 0 21853309 29237248 5633 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 7138 5633 364 364 0 6774 0
[pid=8972] vsize: 28552
Current children cumulated CPU time (s) 139.97
Current children cumulated vsize (Kb) 28552

[startup+150.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 8702 0 0 0 14979 18 0 0 25 0 1 0 21853309 29507584 5751 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 7204 5751 364 364 0 6840 0
[pid=8972] vsize: 28816
Current children cumulated CPU time (s) 149.97
Current children cumulated vsize (Kb) 28816

[startup+160.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 8820 0 0 0 15978 19 0 0 25 0 1 0 21853309 29777920 5867 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 7270 5867 364 364 0 6906 0
[pid=8972] vsize: 29080
Current children cumulated CPU time (s) 159.97
Current children cumulated vsize (Kb) 29080

[startup+170.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 8937 0 0 0 16978 19 0 0 25 0 1 0 21853309 30048256 5981 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 7336 5981 364 364 0 6972 0
[pid=8972] vsize: 29344
Current children cumulated CPU time (s) 169.97
Current children cumulated vsize (Kb) 29344

[startup+180.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 9053 0 0 0 17978 19 0 0 25 0 1 0 21853309 30318592 6095 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 7402 6095 364 364 0 7038 0
[pid=8972] vsize: 29608
Current children cumulated CPU time (s) 179.97
Current children cumulated vsize (Kb) 29608

[startup+190.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 9180 0 0 0 18978 20 0 0 25 0 1 0 21853309 30724096 6220 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 7501 6220 364 364 0 7137 0
[pid=8972] vsize: 30004
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 30004

[startup+200.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 9302 0 0 0 19977 20 0 0 25 0 1 0 21853309 30994432 6340 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 7567 6340 364 364 0 7203 0
[pid=8972] vsize: 30268
Current children cumulated CPU time (s) 199.97
Current children cumulated vsize (Kb) 30268

[startup+210.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 9421 0 0 0 20976 21 0 0 25 0 1 0 21853309 31264768 6457 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 7633 6457 364 364 0 7269 0
[pid=8972] vsize: 30532
Current children cumulated CPU time (s) 209.97
Current children cumulated vsize (Kb) 30532

[startup+220.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 9539 0 0 0 21976 21 0 0 25 0 1 0 21853309 31670272 6573 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 7732 6573 364 364 0 7368 0
[pid=8972] vsize: 30928
Current children cumulated CPU time (s) 219.97
Current children cumulated vsize (Kb) 30928

[startup+230.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 9653 0 0 0 22976 22 0 0 25 0 1 0 21853309 31940608 6686 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 7798 6686 364 364 0 7434 0
[pid=8972] vsize: 31192
Current children cumulated CPU time (s) 229.98
Current children cumulated vsize (Kb) 31192

[startup+240.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 9766 0 0 0 23976 22 0 0 25 0 1 0 21853309 32210944 6797 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 7864 6797 364 364 0 7500 0
[pid=8972] vsize: 31456
Current children cumulated CPU time (s) 239.98
Current children cumulated vsize (Kb) 31456

[startup+250.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 9876 0 0 0 24975 22 0 0 25 0 1 0 21853309 32481280 6905 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 7930 6905 364 364 0 7566 0
[pid=8972] vsize: 31720
Current children cumulated CPU time (s) 249.97
Current children cumulated vsize (Kb) 31720

[startup+260.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 9985 0 0 0 25975 23 0 0 25 0 1 0 21853309 32751616 7012 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 7996 7012 364 364 0 7632 0
[pid=8972] vsize: 31984
Current children cumulated CPU time (s) 259.98
Current children cumulated vsize (Kb) 31984

[startup+270.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 10090 0 0 0 26974 23 0 0 25 0 1 0 21853309 33021952 7116 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 8062 7116 364 364 0 7698 0
[pid=8972] vsize: 32248
Current children cumulated CPU time (s) 269.97
Current children cumulated vsize (Kb) 32248

[startup+280.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 10195 0 0 0 27973 24 0 0 25 0 1 0 21853309 33292288 7219 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 8128 7219 364 364 0 7764 0
[pid=8972] vsize: 32512
Current children cumulated CPU time (s) 279.97
Current children cumulated vsize (Kb) 32512

[startup+290.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 10298 0 0 0 28973 24 0 0 25 0 1 0 21853309 33562624 7320 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 8194 7320 364 364 0 7830 0
[pid=8972] vsize: 32776
Current children cumulated CPU time (s) 289.97
Current children cumulated vsize (Kb) 32776

[startup+300.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 10398 0 0 0 29973 25 0 0 25 0 1 0 21853309 33832960 7419 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 8260 7419 364 364 0 7896 0
[pid=8972] vsize: 33040
Current children cumulated CPU time (s) 299.98
Current children cumulated vsize (Kb) 33040

[startup+310.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 10500 0 0 0 30972 25 0 0 25 0 1 0 21853309 34103296 7519 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 8326 7519 364 364 0 7962 0
[pid=8972] vsize: 33304
Current children cumulated CPU time (s) 309.97
Current children cumulated vsize (Kb) 33304

[startup+320.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 10597 0 0 0 31972 25 0 0 25 0 1 0 21853309 34373632 7614 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 8392 7614 364 364 0 8028 0
[pid=8972] vsize: 33568
Current children cumulated CPU time (s) 319.97
Current children cumulated vsize (Kb) 33568

[startup+330.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 10693 0 0 0 32971 26 0 0 25 0 1 0 21853309 34643968 7709 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 8458 7709 364 364 0 8094 0
[pid=8972] vsize: 33832
Current children cumulated CPU time (s) 329.97
Current children cumulated vsize (Kb) 33832

[startup+340.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 10789 0 0 0 33971 26 0 0 25 0 1 0 21853309 34779136 7803 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 8491 7803 364 364 0 8127 0
[pid=8972] vsize: 33964
Current children cumulated CPU time (s) 339.97
Current children cumulated vsize (Kb) 33964

[startup+350.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 10882 0 0 0 34971 27 0 0 25 0 1 0 21853309 35049472 7895 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 8557 7895 364 364 0 8193 0
[pid=8972] vsize: 34228
Current children cumulated CPU time (s) 349.98
Current children cumulated vsize (Kb) 34228

[startup+360.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 10976 0 0 0 35971 27 0 0 25 0 1 0 21853309 35319808 7987 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 8623 7987 364 364 0 8259 0
[pid=8972] vsize: 34492
Current children cumulated CPU time (s) 359.98
Current children cumulated vsize (Kb) 34492

[startup+370.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 11068 0 0 0 36970 28 0 0 25 0 1 0 21853309 35590144 8078 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 8689 8078 364 364 0 8325 0
[pid=8972] vsize: 34756
Current children cumulated CPU time (s) 369.98
Current children cumulated vsize (Kb) 34756

[startup+380.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 11157 0 0 0 37970 28 0 0 25 0 1 0 21853309 35725312 8165 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 8722 8165 364 364 0 8358 0
[pid=8972] vsize: 34888
Current children cumulated CPU time (s) 379.98
Current children cumulated vsize (Kb) 34888

[startup+390.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 11246 0 0 0 38969 29 0 0 25 0 1 0 21853309 35995648 8253 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 8788 8253 364 364 0 8424 0
[pid=8972] vsize: 35152
Current children cumulated CPU time (s) 389.98
Current children cumulated vsize (Kb) 35152

[startup+400.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 11336 0 0 0 39969 29 0 0 25 0 1 0 21853309 36265984 8341 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 8854 8341 364 364 0 8490 0
[pid=8972] vsize: 35416
Current children cumulated CPU time (s) 399.98
Current children cumulated vsize (Kb) 35416

[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 11424 0 0 0 40968 30 0 0 25 0 1 0 21853309 36536320 8428 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 8920 8428 364 364 0 8556 0
[pid=8972] vsize: 35680
Current children cumulated CPU time (s) 409.98
Current children cumulated vsize (Kb) 35680

[startup+420.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 11508 0 0 0 41968 30 0 0 25 0 1 0 21853309 36671488 8511 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 8953 8511 364 364 0 8589 0
[pid=8972] vsize: 35812
Current children cumulated CPU time (s) 419.98
Current children cumulated vsize (Kb) 35812

[startup+430.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 11594 0 0 0 42968 30 0 0 25 0 1 0 21853309 36941824 8595 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 9019 8595 364 364 0 8655 0
[pid=8972] vsize: 36076
Current children cumulated CPU time (s) 429.98
Current children cumulated vsize (Kb) 36076

[startup+440.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 11678 0 0 0 43968 30 0 0 25 0 1 0 21853309 37076992 8678 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 9052 8678 364 364 0 8688 0
[pid=8972] vsize: 36208
Current children cumulated CPU time (s) 439.98
Current children cumulated vsize (Kb) 36208

[startup+450.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 11762 0 0 0 44968 30 0 0 25 0 1 0 21853309 37347328 8761 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 9118 8761 364 364 0 8754 0
[pid=8972] vsize: 36472
Current children cumulated CPU time (s) 449.98
Current children cumulated vsize (Kb) 36472

[startup+460.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 11843 0 0 0 45968 30 0 0 25 0 1 0 21853309 37617664 8840 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 9184 8840 364 364 0 8820 0
[pid=8972] vsize: 36736
Current children cumulated CPU time (s) 459.98
Current children cumulated vsize (Kb) 36736

[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 11927 0 0 0 46968 31 0 0 25 0 1 0 21853309 37752832 8923 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 9217 8923 364 364 0 8853 0
[pid=8972] vsize: 36868
Current children cumulated CPU time (s) 469.99
Current children cumulated vsize (Kb) 36868

[startup+480.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 16476 0 0 0 47957 41 0 0 25 0 1 0 21853309 55775232 10524 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 13617 10524 364 364 0 13253 0
[pid=8972] vsize: 54468
Current children cumulated CPU time (s) 479.98
Current children cumulated vsize (Kb) 54468

[startup+490.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 16506 0 0 0 48957 41 0 0 25 0 1 0 21853309 55775232 10552 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 13617 10552 364 364 0 13253 0
[pid=8972] vsize: 54468
Current children cumulated CPU time (s) 489.98
Current children cumulated vsize (Kb) 54468

[startup+500.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 16535 0 0 0 49957 41 0 0 25 0 1 0 21853309 55775232 10580 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 13617 10580 364 364 0 13253 0
[pid=8972] vsize: 54468
Current children cumulated CPU time (s) 499.98
Current children cumulated vsize (Kb) 54468

[startup+510.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 16564 0 0 0 50957 41 0 0 25 0 1 0 21853309 55775232 10608 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 13617 10608 364 364 0 13253 0
[pid=8972] vsize: 54468
Current children cumulated CPU time (s) 509.98
Current children cumulated vsize (Kb) 54468

[startup+520.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 16593 0 0 0 51957 41 0 0 25 0 1 0 21853309 55775232 10636 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 13617 10636 364 364 0 13253 0
[pid=8972] vsize: 54468
Current children cumulated CPU time (s) 519.98
Current children cumulated vsize (Kb) 54468

[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 16622 0 0 0 52956 41 0 0 25 0 1 0 21853309 55775232 10663 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 13617 10663 364 364 0 13253 0
[pid=8972] vsize: 54468
Current children cumulated CPU time (s) 529.97
Current children cumulated vsize (Kb) 54468

[startup+540.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 16650 0 0 0 53957 41 0 0 25 0 1 0 21853309 55775232 10690 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 13617 10690 364 364 0 13253 0
[pid=8972] vsize: 54468
Current children cumulated CPU time (s) 539.98
Current children cumulated vsize (Kb) 54468

[startup+550.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 16707 0 0 0 54956 42 0 0 25 0 1 0 21853309 55910400 10746 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 13650 10746 364 364 0 13286 0
[pid=8972] vsize: 54600
Current children cumulated CPU time (s) 549.98
Current children cumulated vsize (Kb) 54600

[startup+560.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 16772 0 0 0 55956 42 0 0 25 0 1 0 21853309 56045568 10810 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 13683 10810 364 364 0 13319 0
[pid=8972] vsize: 54732
Current children cumulated CPU time (s) 559.98
Current children cumulated vsize (Kb) 54732

[startup+570.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 16838 0 0 0 56956 42 0 0 25 0 1 0 21853309 56180736 10874 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 13716 10874 364 364 0 13352 0
[pid=8972] vsize: 54864
Current children cumulated CPU time (s) 569.98
Current children cumulated vsize (Kb) 54864

[startup+580.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 16902 0 0 0 57956 42 0 0 25 0 1 0 21853309 56315904 10937 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 13749 10937 364 364 0 13385 0
[pid=8972] vsize: 54996
Current children cumulated CPU time (s) 579.98
Current children cumulated vsize (Kb) 54996

[startup+590.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 16965 0 0 0 58956 42 0 0 25 0 1 0 21853309 56451072 10999 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 13782 10999 364 364 0 13418 0
[pid=8972] vsize: 55128
Current children cumulated CPU time (s) 589.98
Current children cumulated vsize (Kb) 55128

[startup+600.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 17029 0 0 0 59956 43 0 0 25 0 1 0 21853309 56586240 11062 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 13815 11062 364 364 0 13451 0
[pid=8972] vsize: 55260
Current children cumulated CPU time (s) 599.99
Current children cumulated vsize (Kb) 55260

[startup+610.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 17092 0 0 0 60956 43 0 0 25 0 1 0 21853309 56721408 11124 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 13848 11124 364 364 0 13484 0
[pid=8972] vsize: 55392
Current children cumulated CPU time (s) 609.99
Current children cumulated vsize (Kb) 55392

[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 17153 0 0 0 61955 43 0 0 25 0 1 0 21853309 56856576 11184 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 13881 11184 364 364 0 13517 0
[pid=8972] vsize: 55524
Current children cumulated CPU time (s) 619.98
Current children cumulated vsize (Kb) 55524

[startup+630.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 17216 0 0 0 62955 43 0 0 25 0 1 0 21853309 57126912 11245 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 13947 11245 364 364 0 13583 0
[pid=8972] vsize: 55788
Current children cumulated CPU time (s) 629.98
Current children cumulated vsize (Kb) 55788

[startup+640.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 17277 0 0 0 63955 43 0 0 25 0 1 0 21853309 57262080 11305 4294967295 134512640 135987407 3221224560 3221221580 135482121 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8972/statm): 13980 11305 364 364 0 13616 0
[pid=8972] vsize: 55920
Current children cumulated CPU time (s) 639.98
Current children cumulated vsize (Kb) 55920

[startup+650.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 17337 0 0 0 64955 44 0 0 25 0 1 0 21853309 57397248 11364 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 14013 11364 364 364 0 13649 0
[pid=8972] vsize: 56052
Current children cumulated CPU time (s) 649.99
Current children cumulated vsize (Kb) 56052

[startup+660.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 17398 0 0 0 65955 44 0 0 25 0 1 0 21853309 57532416 11424 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 14046 11424 364 364 0 13682 0
[pid=8972] vsize: 56184
Current children cumulated CPU time (s) 659.99
Current children cumulated vsize (Kb) 56184

[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 17457 0 0 0 66954 44 0 0 25 0 1 0 21853309 57667584 11482 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 14079 11482 364 364 0 13715 0
[pid=8972] vsize: 56316
Current children cumulated CPU time (s) 669.98
Current children cumulated vsize (Kb) 56316

[startup+680.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 38906 0 0 0 67905 90 0 0 25 0 1 0 21853309 128073728 24927 4294967295 134512640 135987407 3221224560 3220453148 134533884 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 31268 24927 364 364 0 30904 0
[pid=8972] vsize: 125072
Current children cumulated CPU time (s) 679.95
Current children cumulated vsize (Kb) 125072

[startup+690.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 64736 0 0 0 68846 148 0 0 25 0 1 0 21853309 208019456 41321 4294967295 134512640 135987407 3221224560 3220559408 134640127 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 50786 41321 364 364 0 50422 0
[pid=8972] vsize: 203144
Current children cumulated CPU time (s) 689.94
Current children cumulated vsize (Kb) 203144

[startup+700.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 103038 0 0 0 69762 231 0 0 25 0 1 0 21853309 318672896 57413 4294967295 134512640 135987407 3221224560 3220473296 134878384 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 77801 57413 364 364 0 77437 0
[pid=8972] vsize: 311204
Current children cumulated CPU time (s) 699.93
Current children cumulated vsize (Kb) 311204

[startup+710.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 117893 0 0 0 70728 264 0 0 25 0 1 0 21853309 358174720 72033 4294967295 134512640 135987407 3221224560 3220568688 134556230 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 87445 72033 364 364 0 87081 0
[pid=8972] vsize: 349780
Current children cumulated CPU time (s) 709.92
Current children cumulated vsize (Kb) 349780

[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 158798 0 0 0 71647 343 0 0 25 0 1 0 21853309 484900864 93322 4294967295 134512640 135987407 3221224560 3220566084 135480412 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 118384 93322 364 364 0 118020 0
[pid=8972] vsize: 473536
Current children cumulated CPU time (s) 719.9
Current children cumulated vsize (Kb) 473536

[startup+730.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 196424 0 0 0 72563 426 0 0 25 0 1 0 21853309 589348864 106158 4294967295 134512640 135987407 3221224560 3220570240 134887812 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 143884 106158 364 364 0 143520 0
[pid=8972] vsize: 575536
Current children cumulated CPU time (s) 729.89
Current children cumulated vsize (Kb) 575536

[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 209649 0 0 0 73532 456 0 0 25 0 1 0 21853309 626823168 119167 4294967295 134512640 135987407 3221224560 3220594948 135478529 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 153033 119167 364 364 0 152669 0
[pid=8972] vsize: 612132
Current children cumulated CPU time (s) 739.88
Current children cumulated vsize (Kb) 612132

[startup+750.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 224348 0 0 0 74497 491 0 0 25 0 1 0 21853309 630202368 133620 4294967295 134512640 135987407 3221224560 3220408684 135499901 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 153858 133620 364 364 0 153494 0
[pid=8972] vsize: 615432
Current children cumulated CPU time (s) 749.88
Current children cumulated vsize (Kb) 615432

[startup+760.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) R 8971 8972 4060 0 -1 0 236891 0 0 0 75470 518 0 0 25 0 1 0 21853309 685670400 145966 4294967295 134512640 135987407 3221224560 3220388896 134855001 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8972/statm): 167400 145966 364 364 0 167036 0
[pid=8972] vsize: 669600
Current children cumulated CPU time (s) 759.88
Current children cumulated vsize (Kb) 669600



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+764.618 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8972
Raw data (/proc/8972/stat): 8972 (pb2sat) T 8971 8972 4060 0 -1 0 245516 0 0 0 75907 538 0 0 25 0 1 0 21853309 979402752 154476 4294967295 134512640 135987407 3221224560 3220712016 135544035 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8972/statm): 239112 154476 364 364 0 238748 0
[pid=8972] vsize: 956448
Current children cumulated CPU time (s) 764.45
Current children cumulated vsize (Kb) 956448

Sending SIGTERM to -8972
Sleeping 2 seconds
Sending SIGKILL to -8972
One traced child (pid=8972) 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): 766.94
CPU time (s): 764.989
CPU user time (s): 759.289
CPU system time (s): 5.70013
CPU usage (%): 99.7455
Max. virtual memory (cumulated for all children) (Kb): 956448

Verifier Data

ERROR: no interpretation found !