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-n3704.opb
MD5SUM6f8b2121f6d249fe6e02652d1aab6d14
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 29675972066390
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 29675972066390
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 10141

Launcher Data

LAUNCH ON wulflinc29 THE 2005-09-23 17:05:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8886 boxname=wulflinc29 idbench=682 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6f8b2121f6d249fe6e02652d1aab6d14  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-n3704.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-n3704.opb
IDLAUNCH: 8886
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        911316 kB
Buffers:         12024 kB
Cached:          93648 kB
SwapCached:          0 kB
Active:          55712 kB
Inactive:        52892 kB
HighTotal:      131008 kB
HighFree:        37688 kB
LowTotal:       903652 kB
LowFree:        873628 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             9064 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 17:17:53 (client local time) WITH STATUS 0 IN 751.465 SECONDS
stats: 8886 7 751.465 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/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21811822 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 373 2 364 364 0 9 0
[pid=9388] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-n3704.opb

[startup+10.0013 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9388
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 2524 0 0 0 992 6 0 0 25 0 1 0 21811822 9502720 1838 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 2320 1838 364 364 0 1956 0
[pid=9388] vsize: 9280
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 9280

[startup+20.0021 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9388
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 3024 0 0 0 1991 7 0 0 25 0 1 0 21811822 10719232 2329 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 2617 2329 364 364 0 2253 0
[pid=9388] vsize: 10468
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 10468

[startup+30.0018 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9388
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 4416 0 0 0 2986 11 0 0 25 0 1 0 21811822 15765504 2976 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 3849 2976 364 364 0 3485 0
[pid=9388] vsize: 15396
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 15396

[startup+40.0026 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9388
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 4708 0 0 0 3986 12 0 0 25 0 1 0 21811822 16441344 3263 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 4014 3263 364 364 0 3650 0
[pid=9388] vsize: 16056
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 16056

[startup+50.0034 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9388
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 4979 0 0 0 4985 13 0 0 25 0 1 0 21811822 17117184 3530 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 4179 3530 364 364 0 3815 0
[pid=9388] vsize: 16716
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 16716

[startup+60.0032 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 5216 0 0 0 5984 13 0 0 25 0 1 0 21811822 17793024 3763 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 4344 3763 364 364 0 3980 0
[pid=9388] vsize: 17376
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 17376

[startup+70.004 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 5429 0 0 0 6984 14 0 0 25 0 1 0 21811822 18333696 3973 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 4476 3973 364 364 0 4112 0
[pid=9388] vsize: 17904
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 17904

[startup+80.0048 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 5629 0 0 0 7983 15 0 0 25 0 1 0 21811822 18739200 4169 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 4575 4169 364 364 0 4211 0
[pid=9388] vsize: 18300
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 18300

[startup+90.0056 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 5812 0 0 0 8983 16 0 0 25 0 1 0 21811822 19279872 4350 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 4707 4350 364 364 0 4343 0
[pid=9388] vsize: 18828
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 18828

[startup+100.006 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 5986 0 0 0 9982 16 0 0 25 0 1 0 21811822 19685376 4521 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 4806 4521 364 364 0 4442 0
[pid=9388] vsize: 19224
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 19224

[startup+110.006 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 8317 0 0 0 10976 22 0 0 25 0 1 0 21811822 28696576 5374 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 7006 5374 364 364 0 6642 0
[pid=9388] vsize: 28024
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 28024

[startup+120.007 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 8386 0 0 0 11975 23 0 0 25 0 1 0 21811822 28831744 5441 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 7039 5441 364 364 0 6675 0
[pid=9388] vsize: 28156
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 28156

[startup+130.007 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 8518 0 0 0 12975 23 0 0 25 0 1 0 21811822 29102080 5570 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 7105 5570 364 364 0 6741 0
[pid=9388] vsize: 28420
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 28420

[startup+140.007 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 8646 0 0 0 13974 24 0 0 25 0 1 0 21811822 29372416 5696 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 7171 5696 364 364 0 6807 0
[pid=9388] vsize: 28684
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 28684

[startup+150.008 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 8770 0 0 0 14974 24 0 0 25 0 1 0 21811822 29642752 5817 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 7237 5817 364 364 0 6873 0
[pid=9388] vsize: 28948
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 28948

[startup+160.008 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 8890 0 0 0 15973 25 0 0 25 0 1 0 21811822 30048256 5935 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 7336 5935 364 364 0 6972 0
[pid=9388] vsize: 29344
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 29344

[startup+170.009 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 9005 0 0 0 16973 25 0 0 25 0 1 0 21811822 30318592 6048 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 7402 6048 364 364 0 7038 0
[pid=9388] vsize: 29608
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 29608

[startup+180.01 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 9136 0 0 0 17973 26 0 0 25 0 1 0 21811822 30588928 6177 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 7468 6177 364 364 0 7104 0
[pid=9388] vsize: 29872
Current children cumulated CPU time (s) 179.99
Current children cumulated vsize (Kb) 29872

[startup+190.01 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 9262 0 0 0 18972 26 0 0 25 0 1 0 21811822 30859264 6301 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 7534 6301 364 364 0 7170 0
[pid=9388] vsize: 30136
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 30136

[startup+200.01 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 9386 0 0 0 19972 27 0 0 25 0 1 0 21811822 31264768 6423 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 7633 6423 364 364 0 7269 0
[pid=9388] vsize: 30532
Current children cumulated CPU time (s) 199.99
Current children cumulated vsize (Kb) 30532

[startup+210.01 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 9506 0 0 0 20972 27 0 0 25 0 1 0 21811822 31535104 6541 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 7699 6541 364 364 0 7335 0
[pid=9388] vsize: 30796
Current children cumulated CPU time (s) 209.99
Current children cumulated vsize (Kb) 30796

[startup+220.011 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 9621 0 0 0 21971 27 0 0 25 0 1 0 21811822 31805440 6654 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 7765 6654 364 364 0 7401 0
[pid=9388] vsize: 31060
Current children cumulated CPU time (s) 219.98
Current children cumulated vsize (Kb) 31060

[startup+230.011 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 9738 0 0 0 22971 28 0 0 25 0 1 0 21811822 32075776 6769 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 7831 6769 364 364 0 7467 0
[pid=9388] vsize: 31324
Current children cumulated CPU time (s) 229.99
Current children cumulated vsize (Kb) 31324

[startup+240.011 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 9850 0 0 0 23970 28 0 0 25 0 1 0 21811822 32481280 6879 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 7930 6879 364 364 0 7566 0
[pid=9388] vsize: 31720
Current children cumulated CPU time (s) 239.98
Current children cumulated vsize (Kb) 31720

[startup+250.012 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 9960 0 0 0 24970 28 0 0 25 0 1 0 21811822 32751616 6988 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 7996 6988 364 364 0 7632 0
[pid=9388] vsize: 31984
Current children cumulated CPU time (s) 249.98
Current children cumulated vsize (Kb) 31984

[startup+260.012 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 10068 0 0 0 25970 28 0 0 25 0 1 0 21811822 33021952 7094 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 8062 7094 364 364 0 7698 0
[pid=9388] vsize: 32248
Current children cumulated CPU time (s) 259.98
Current children cumulated vsize (Kb) 32248

[startup+270.013 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 10174 0 0 0 26969 29 0 0 25 0 1 0 21811822 33292288 7198 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 8128 7198 364 364 0 7764 0
[pid=9388] vsize: 32512
Current children cumulated CPU time (s) 269.98
Current children cumulated vsize (Kb) 32512

[startup+280.013 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 10279 0 0 0 27969 29 0 0 25 0 1 0 21811822 33562624 7301 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 8194 7301 364 364 0 7830 0
[pid=9388] vsize: 32776
Current children cumulated CPU time (s) 279.98
Current children cumulated vsize (Kb) 32776

[startup+290.014 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 10382 0 0 0 28969 30 0 0 25 0 1 0 21811822 33832960 7403 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 8260 7403 364 364 0 7896 0
[pid=9388] vsize: 33040
Current children cumulated CPU time (s) 289.99
Current children cumulated vsize (Kb) 33040

[startup+300.014 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 10483 0 0 0 29968 30 0 0 25 0 1 0 21811822 34103296 7502 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 8326 7502 364 364 0 7962 0
[pid=9388] vsize: 33304
Current children cumulated CPU time (s) 299.98
Current children cumulated vsize (Kb) 33304

[startup+310.014 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 10581 0 0 0 30968 30 0 0 25 0 1 0 21811822 34373632 7599 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 8392 7599 364 364 0 8028 0
[pid=9388] vsize: 33568
Current children cumulated CPU time (s) 309.98
Current children cumulated vsize (Kb) 33568

[startup+320.015 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 10681 0 0 0 31968 30 0 0 25 0 1 0 21811822 34508800 7697 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 8425 7697 364 364 0 8061 0
[pid=9388] vsize: 33700
Current children cumulated CPU time (s) 319.98
Current children cumulated vsize (Kb) 33700

[startup+330.014 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 10777 0 0 0 32967 31 0 0 25 0 1 0 21811822 34779136 7791 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 8491 7791 364 364 0 8127 0
[pid=9388] vsize: 33964
Current children cumulated CPU time (s) 329.98
Current children cumulated vsize (Kb) 33964

[startup+340.015 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 10873 0 0 0 33967 31 0 0 25 0 1 0 21811822 35049472 7886 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 8557 7886 364 364 0 8193 0
[pid=9388] vsize: 34228
Current children cumulated CPU time (s) 339.98
Current children cumulated vsize (Kb) 34228

[startup+350.016 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 10967 0 0 0 34967 31 0 0 25 0 1 0 21811822 35319808 7978 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 8623 7978 364 364 0 8259 0
[pid=9388] vsize: 34492
Current children cumulated CPU time (s) 349.98
Current children cumulated vsize (Kb) 34492

[startup+360.016 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 11060 0 0 0 35966 32 0 0 25 0 1 0 21811822 35590144 8070 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 8689 8070 364 364 0 8325 0
[pid=9388] vsize: 34756
Current children cumulated CPU time (s) 359.98
Current children cumulated vsize (Kb) 34756

[startup+370.017 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 11151 0 0 0 36966 32 0 0 25 0 1 0 21811822 35725312 8159 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 8722 8159 364 364 0 8358 0
[pid=9388] vsize: 34888
Current children cumulated CPU time (s) 369.98
Current children cumulated vsize (Kb) 34888

[startup+380.017 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 11242 0 0 0 37966 32 0 0 25 0 1 0 21811822 35995648 8249 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 8788 8249 364 364 0 8424 0
[pid=9388] vsize: 35152
Current children cumulated CPU time (s) 379.98
Current children cumulated vsize (Kb) 35152

[startup+390.018 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 11332 0 0 0 38966 32 0 0 25 0 1 0 21811822 36265984 8337 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 8854 8337 364 364 0 8490 0
[pid=9388] vsize: 35416
Current children cumulated CPU time (s) 389.98
Current children cumulated vsize (Kb) 35416

[startup+400.019 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 11419 0 0 0 39966 33 0 0 25 0 1 0 21811822 36401152 8423 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 8887 8423 364 364 0 8523 0
[pid=9388] vsize: 35548
Current children cumulated CPU time (s) 399.99
Current children cumulated vsize (Kb) 35548

[startup+410.019 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 11507 0 0 0 40965 33 0 0 25 0 1 0 21811822 36671488 8510 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 8953 8510 364 364 0 8589 0
[pid=9388] vsize: 35812
Current children cumulated CPU time (s) 409.98
Current children cumulated vsize (Kb) 35812

[startup+420.019 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 11593 0 0 0 41965 33 0 0 25 0 1 0 21811822 36941824 8594 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 9019 8594 364 364 0 8655 0
[pid=9388] vsize: 36076
Current children cumulated CPU time (s) 419.98
Current children cumulated vsize (Kb) 36076

[startup+430.019 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 11679 0 0 0 42965 33 0 0 25 0 1 0 21811822 37076992 8679 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 9052 8679 364 364 0 8688 0
[pid=9388] vsize: 36208
Current children cumulated CPU time (s) 429.98
Current children cumulated vsize (Kb) 36208

[startup+440.02 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 11763 0 0 0 43965 34 0 0 25 0 1 0 21811822 37347328 8762 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 9118 8762 364 364 0 8754 0
[pid=9388] vsize: 36472
Current children cumulated CPU time (s) 439.99
Current children cumulated vsize (Kb) 36472

[startup+450.021 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 11845 0 0 0 44965 34 0 0 25 0 1 0 21811822 37617664 8842 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 9184 8842 364 364 0 8820 0
[pid=9388] vsize: 36736
Current children cumulated CPU time (s) 449.99
Current children cumulated vsize (Kb) 36736

[startup+460.021 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 11929 0 0 0 45964 34 0 0 25 0 1 0 21811822 37752832 8925 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 9217 8925 364 364 0 8853 0
[pid=9388] vsize: 36868
Current children cumulated CPU time (s) 459.98
Current children cumulated vsize (Kb) 36868

[startup+470.021 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 16477 0 0 0 46955 43 0 0 25 0 1 0 21811822 55775232 10525 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 13617 10525 364 364 0 13253 0
[pid=9388] vsize: 54468
Current children cumulated CPU time (s) 469.98
Current children cumulated vsize (Kb) 54468

[startup+480.022 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 16507 0 0 0 47955 43 0 0 25 0 1 0 21811822 55775232 10553 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 13617 10553 364 364 0 13253 0
[pid=9388] vsize: 54468
Current children cumulated CPU time (s) 479.98
Current children cumulated vsize (Kb) 54468

[startup+490.023 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 16538 0 0 0 48955 44 0 0 25 0 1 0 21811822 55775232 10583 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 13617 10583 364 364 0 13253 0
[pid=9388] vsize: 54468
Current children cumulated CPU time (s) 489.99
Current children cumulated vsize (Kb) 54468

[startup+500.023 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 16567 0 0 0 49954 44 0 0 25 0 1 0 21811822 55775232 10611 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 13617 10611 364 364 0 13253 0
[pid=9388] vsize: 54468
Current children cumulated CPU time (s) 499.98
Current children cumulated vsize (Kb) 54468

[startup+510.023 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 16597 0 0 0 50954 44 0 0 25 0 1 0 21811822 55775232 10639 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 13617 10639 364 364 0 13253 0
[pid=9388] vsize: 54468
Current children cumulated CPU time (s) 509.98
Current children cumulated vsize (Kb) 54468

[startup+520.023 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 16625 0 0 0 51954 44 0 0 25 0 1 0 21811822 55775232 10666 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 13617 10666 364 364 0 13253 0
[pid=9388] vsize: 54468
Current children cumulated CPU time (s) 519.98
Current children cumulated vsize (Kb) 54468

[startup+530.023 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 16654 0 0 0 52954 44 0 0 25 0 1 0 21811822 55775232 10694 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 13617 10694 364 364 0 13253 0
[pid=9388] vsize: 54468
Current children cumulated CPU time (s) 529.98
Current children cumulated vsize (Kb) 54468

[startup+540.024 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 16715 0 0 0 53954 45 0 0 25 0 1 0 21811822 55910400 10754 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 13650 10754 364 364 0 13286 0
[pid=9388] vsize: 54600
Current children cumulated CPU time (s) 539.99
Current children cumulated vsize (Kb) 54600

[startup+550.025 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 16783 0 0 0 54954 45 0 0 25 0 1 0 21811822 56045568 10820 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 13683 10820 364 364 0 13319 0
[pid=9388] vsize: 54732
Current children cumulated CPU time (s) 549.99
Current children cumulated vsize (Kb) 54732

[startup+560.024 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 16848 0 0 0 55953 45 0 0 25 0 1 0 21811822 56180736 10884 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 13716 10884 364 364 0 13352 0
[pid=9388] vsize: 54864
Current children cumulated CPU time (s) 559.98
Current children cumulated vsize (Kb) 54864

[startup+570.025 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 16912 0 0 0 56953 45 0 0 25 0 1 0 21811822 56315904 10947 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 13749 10947 364 364 0 13385 0
[pid=9388] vsize: 54996
Current children cumulated CPU time (s) 569.98
Current children cumulated vsize (Kb) 54996

[startup+580.026 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 16977 0 0 0 57953 46 0 0 25 0 1 0 21811822 56451072 11011 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 13782 11011 364 364 0 13418 0
[pid=9388] vsize: 55128
Current children cumulated CPU time (s) 579.99
Current children cumulated vsize (Kb) 55128

[startup+590.027 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 17041 0 0 0 58953 46 0 0 25 0 1 0 21811822 56721408 11074 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 13848 11074 364 364 0 13484 0
[pid=9388] vsize: 55392
Current children cumulated CPU time (s) 589.99
Current children cumulated vsize (Kb) 55392

[startup+600.027 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 17105 0 0 0 59953 46 0 0 25 0 1 0 21811822 56856576 11136 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 13881 11136 364 364 0 13517 0
[pid=9388] vsize: 55524
Current children cumulated CPU time (s) 599.99
Current children cumulated vsize (Kb) 55524

[startup+610.026 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 17167 0 0 0 60953 46 0 0 25 0 1 0 21811822 56991744 11197 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 13914 11197 364 364 0 13550 0
[pid=9388] vsize: 55656
Current children cumulated CPU time (s) 609.99
Current children cumulated vsize (Kb) 55656

[startup+620.027 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 17229 0 0 0 61952 47 0 0 25 0 1 0 21811822 57126912 11258 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 13947 11258 364 364 0 13583 0
[pid=9388] vsize: 55788
Current children cumulated CPU time (s) 619.99
Current children cumulated vsize (Kb) 55788

[startup+630.027 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 17292 0 0 0 62952 47 0 0 25 0 1 0 21811822 57262080 11320 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 13980 11320 364 364 0 13616 0
[pid=9388] vsize: 55920
Current children cumulated CPU time (s) 629.99
Current children cumulated vsize (Kb) 55920

[startup+640.028 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 17351 0 0 0 63951 48 0 0 25 0 1 0 21811822 57397248 11378 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 14013 11378 364 364 0 13649 0
[pid=9388] vsize: 56052
Current children cumulated CPU time (s) 639.99
Current children cumulated vsize (Kb) 56052

[startup+650.028 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 17413 0 0 0 64951 48 0 0 25 0 1 0 21811822 57532416 11439 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 14046 11439 364 364 0 13682 0
[pid=9388] vsize: 56184
Current children cumulated CPU time (s) 649.99
Current children cumulated vsize (Kb) 56184

[startup+660.027 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 17471 0 0 0 65951 48 0 0 25 0 1 0 21811822 57667584 11496 4294967295 134512640 135987407 3221224560 3221221584 134637872 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 14079 11496 364 364 0 13715 0
[pid=9388] vsize: 56316
Current children cumulated CPU time (s) 659.99
Current children cumulated vsize (Kb) 56316

[startup+670.028 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 47376 0 0 0 66881 114 0 0 25 0 1 0 21811822 155938816 30259 4294967295 134512640 135987407 3221224560 3220613084 134533884 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 38071 30259 364 364 0 37707 0
[pid=9388] vsize: 152284
Current children cumulated CPU time (s) 669.95
Current children cumulated vsize (Kb) 152284

[startup+680.028 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 81460 0 0 0 67803 190 0 0 25 0 1 0 21811822 265367552 48276 4294967295 134512640 135987407 3221224560 3220707088 134855001 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 64787 48276 364 364 0 64423 0
[pid=9388] vsize: 259148
Current children cumulated CPU time (s) 679.93
Current children cumulated vsize (Kb) 259148

[startup+690.029 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 108122 0 0 0 68742 251 0 0 25 0 1 0 21811822 355876864 62424 4294967295 134512640 135987407 3221224560 3220222912 134877638 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 86884 62424 364 364 0 86520 0
[pid=9388] vsize: 347536
Current children cumulated CPU time (s) 689.93
Current children cumulated vsize (Kb) 347536

[startup+700.029 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 123398 0 0 0 69707 284 0 0 25 0 1 0 21811822 364257280 77466 4294967295 134512640 135987407 3221224560 3220371408 134854865 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 88930 77466 364 364 0 88566 0
[pid=9388] vsize: 355720
Current children cumulated CPU time (s) 699.91
Current children cumulated vsize (Kb) 355720

[startup+710.029 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 164502 0 0 0 70620 368 0 0 25 0 1 0 21811822 488144896 98940 4294967295 134512640 135987407 3221224560 3220842996 135479884 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 119176 98940 364 364 0 118812 0
[pid=9388] vsize: 476704
Current children cumulated CPU time (s) 709.88
Current children cumulated vsize (Kb) 476704

[startup+720.03 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 200101 0 0 0 71545 443 0 0 25 0 1 0 21811822 625201152 109781 4294967295 134512640 135987407 3221224560 3220689952 134877726 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 152637 109781 364 364 0 152273 0
[pid=9388] vsize: 610548
Current children cumulated CPU time (s) 719.88
Current children cumulated vsize (Kb) 610548

[startup+730.031 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 214962 0 0 0 72514 474 0 0 25 0 1 0 21811822 628445184 124393 4294967295 134512640 135987407 3221224560 3220336336 134537472 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 153429 124393 364 364 0 153065 0
[pid=9388] vsize: 613716
Current children cumulated CPU time (s) 729.88
Current children cumulated vsize (Kb) 613716

[startup+740.032 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 230220 0 0 0 73480 507 0 0 25 0 1 0 21811822 632365056 139399 4294967295 134512640 135987407 3221224560 3220492112 134878029 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 154386 139399 364 364 0 154022 0
[pid=9388] vsize: 617544
Current children cumulated CPU time (s) 739.87
Current children cumulated vsize (Kb) 617544

[startup+750.032 s]
Raw data (loadavg): 1.00 0.97 0.94 2/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) R 9387 9388 4005 0 -1 0 243704 0 0 0 74447 539 0 0 25 0 1 0 21811822 692834304 152690 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9388/statm): 169149 152690 364 364 0 168785 0
[pid=9388] vsize: 676596
Current children cumulated CPU time (s) 749.86
Current children cumulated vsize (Kb) 676596



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+751.105 s]
Raw data (loadavg): 1.00 0.97 0.94 1/55 9390
Raw data (/proc/9388/stat): 9388 (pb2sat) T 9387 9388 4005 0 -1 0 245354 0 0 0 74550 544 0 0 25 0 1 0 21811822 979132416 154314 4294967295 134512640 135987407 3221224560 3220306768 135544035 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9388/statm): 239046 154314 364 364 0 238682 0
[pid=9388] vsize: 956184
Current children cumulated CPU time (s) 750.94
Current children cumulated vsize (Kb) 956184

Sending SIGTERM to -9388
Sleeping 2 seconds
Sending SIGKILL to -9388
One traced child (pid=9388) 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): 753.424
CPU time (s): 751.465
CPU user time (s): 745.71
CPU system time (s): 5.75512
CPU usage (%): 99.74
Max. virtual memory (cumulated for all children) (Kb): 956184

Verifier Data

ERROR: no interpretation found !