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-n3708.opb
MD5SUM530cef6af13bdf9c6dc1bddf1879e0d7
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 29705729356859
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 29705729356859
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 10146

Launcher Data

LAUNCH ON wulflinc22 THE 2005-09-23 17:06:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8890 boxname=wulflinc22 idbench=686 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  530cef6af13bdf9c6dc1bddf1879e0d7  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-n3708.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-n3708.opb
IDLAUNCH: 8890
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 450.985
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		: 450.985
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:        908148 kB
Buffers:         12212 kB
Cached:          96792 kB
SwapCached:          0 kB
Active:          56508 kB
Inactive:        55360 kB
HighTotal:      131008 kB
HighFree:        33936 kB
LowTotal:       903652 kB
LowFree:        874212 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             9016 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:47 (client local time) WITH STATUS 0 IN 765.142 SECONDS
stats: 8890 7 765.142 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/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21852871 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 373 2 364 364 0 9 0
[pid=8715] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-n3708.opb

[startup+10.0025 s]
Raw data (loadavg): 0.93 0.95 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 2510 0 0 0 992 6 0 0 25 0 1 0 21852871 9367552 1824 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 2287 1824 364 364 0 1923 0
[pid=8715] vsize: 9148
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 9148

[startup+20.0032 s]
Raw data (loadavg): 0.94 0.95 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 3015 0 0 0 1992 6 0 0 25 0 1 0 21852871 10719232 2321 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 2617 2321 364 364 0 2253 0
[pid=8715] vsize: 10468
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 10468

[startup+30.0039 s]
Raw data (loadavg): 0.95 0.95 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 4388 0 0 0 2989 9 0 0 25 0 1 0 21852871 15630336 2949 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 3816 2949 364 364 0 3452 0
[pid=8715] vsize: 15264
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 15264

[startup+40.0046 s]
Raw data (loadavg): 0.95 0.95 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 4660 0 0 0 3988 10 0 0 25 0 1 0 21852871 16306176 3216 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 3981 3216 364 364 0 3617 0
[pid=8715] vsize: 15924
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 15924

[startup+50.0043 s]
Raw data (loadavg): 0.96 0.95 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 4919 0 0 0 4987 10 0 0 25 0 1 0 21852871 16982016 3471 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 4146 3471 364 364 0 3782 0
[pid=8715] vsize: 16584
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 16584

[startup+60.0051 s]
Raw data (loadavg): 0.97 0.95 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 5152 0 0 0 5987 11 0 0 25 0 1 0 21852871 17522688 3700 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 4278 3700 364 364 0 3914 0
[pid=8715] vsize: 17112
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 17112

[startup+70.0048 s]
Raw data (loadavg): 0.97 0.95 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 5364 0 0 0 6986 12 0 0 25 0 1 0 21852871 18063360 3909 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 4410 3909 364 364 0 4046 0
[pid=8715] vsize: 17640
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 17640

[startup+80.0055 s]
Raw data (loadavg): 0.97 0.95 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 5562 0 0 0 7985 13 0 0 25 0 1 0 21852871 18604032 4104 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 4542 4104 364 364 0 4178 0
[pid=8715] vsize: 18168
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 18168

[startup+90.0052 s]
Raw data (loadavg): 0.98 0.95 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 5748 0 0 0 8984 13 0 0 25 0 1 0 21852871 19144704 4287 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 4674 4287 364 364 0 4310 0
[pid=8715] vsize: 18696
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 18696

[startup+100.005 s]
Raw data (loadavg): 0.98 0.95 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 5924 0 0 0 9984 14 0 0 25 0 1 0 21852871 19550208 4460 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 4773 4460 364 364 0 4409 0
[pid=8715] vsize: 19092
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 19092

[startup+110.006 s]
Raw data (loadavg): 0.98 0.95 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 8294 0 0 0 10979 18 0 0 25 0 1 0 21852871 28696576 5352 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 7006 5352 364 364 0 6642 0
[pid=8715] vsize: 28024
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 28024

[startup+120.006 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 8352 0 0 0 11979 19 0 0 25 0 1 0 21852871 28696576 5408 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 7006 5408 364 364 0 6642 0
[pid=8715] vsize: 28024
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 28024

[startup+130.007 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 8460 0 0 0 12979 19 0 0 25 0 1 0 21852871 28966912 5513 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 7072 5513 364 364 0 6708 0
[pid=8715] vsize: 28288
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 28288

[startup+140.007 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 8585 0 0 0 13978 19 0 0 25 0 1 0 21852871 29237248 5636 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 7138 5636 364 364 0 6774 0
[pid=8715] vsize: 28552
Current children cumulated CPU time (s) 139.97
Current children cumulated vsize (Kb) 28552

[startup+150.006 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 8707 0 0 0 14978 20 0 0 25 0 1 0 21852871 29507584 5756 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 7204 5756 364 364 0 6840 0
[pid=8715] vsize: 28816
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 28816

[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 8826 0 0 0 15977 20 0 0 25 0 1 0 21852871 29777920 5872 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 7270 5872 364 364 0 6906 0
[pid=8715] vsize: 29080
Current children cumulated CPU time (s) 159.97
Current children cumulated vsize (Kb) 29080

[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 8940 0 0 0 16977 20 0 0 25 0 1 0 21852871 30048256 5984 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 7336 5984 364 364 0 6972 0
[pid=8715] vsize: 29344
Current children cumulated CPU time (s) 169.97
Current children cumulated vsize (Kb) 29344

[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 9058 0 0 0 17977 21 0 0 25 0 1 0 21852871 30453760 6100 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 7435 6100 364 364 0 7071 0
[pid=8715] vsize: 29740
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (Kb) 29740

[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 9184 0 0 0 18976 22 0 0 25 0 1 0 21852871 30724096 6224 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 7501 6224 364 364 0 7137 0
[pid=8715] vsize: 30004
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 30004

[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 9308 0 0 0 19976 22 0 0 25 0 1 0 21852871 30994432 6346 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 7567 6346 364 364 0 7203 0
[pid=8715] vsize: 30268
Current children cumulated CPU time (s) 199.98
Current children cumulated vsize (Kb) 30268

[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 9428 0 0 0 20975 22 0 0 25 0 1 0 21852871 31399936 6464 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 7666 6464 364 364 0 7302 0
[pid=8715] vsize: 30664
Current children cumulated CPU time (s) 209.97
Current children cumulated vsize (Kb) 30664

[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 9544 0 0 0 21975 23 0 0 25 0 1 0 21852871 31670272 6578 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 7732 6578 364 364 0 7368 0
[pid=8715] vsize: 30928
Current children cumulated CPU time (s) 219.98
Current children cumulated vsize (Kb) 30928

[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 9658 0 0 0 22974 23 0 0 25 0 1 0 21852871 31940608 6691 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 7798 6691 364 364 0 7434 0
[pid=8715] vsize: 31192
Current children cumulated CPU time (s) 229.97
Current children cumulated vsize (Kb) 31192

[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 9770 0 0 0 23974 23 0 0 25 0 1 0 21852871 32210944 6801 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 7864 6801 364 364 0 7500 0
[pid=8715] vsize: 31456
Current children cumulated CPU time (s) 239.97
Current children cumulated vsize (Kb) 31456

[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 9881 0 0 0 24974 24 0 0 25 0 1 0 21852871 32481280 6910 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 7930 6910 364 364 0 7566 0
[pid=8715] vsize: 31720
Current children cumulated CPU time (s) 249.98
Current children cumulated vsize (Kb) 31720

[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 9989 0 0 0 25974 24 0 0 25 0 1 0 21852871 32751616 7016 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 7996 7016 364 364 0 7632 0
[pid=8715] vsize: 31984
Current children cumulated CPU time (s) 259.98
Current children cumulated vsize (Kb) 31984

[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 10096 0 0 0 26973 25 0 0 25 0 1 0 21852871 33021952 7121 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 8062 7121 364 364 0 7698 0
[pid=8715] vsize: 32248
Current children cumulated CPU time (s) 269.98
Current children cumulated vsize (Kb) 32248

[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 10199 0 0 0 27973 25 0 0 25 0 1 0 21852871 33292288 7223 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 8128 7223 364 364 0 7764 0
[pid=8715] vsize: 32512
Current children cumulated CPU time (s) 279.98
Current children cumulated vsize (Kb) 32512

[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 10301 0 0 0 28973 25 0 0 25 0 1 0 21852871 33562624 7323 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 8194 7323 364 364 0 7830 0
[pid=8715] vsize: 32776
Current children cumulated CPU time (s) 289.98
Current children cumulated vsize (Kb) 32776

[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 10404 0 0 0 29973 25 0 0 25 0 1 0 21852871 33832960 7424 4294967295 134512640 135987407 3221224560 3221221832 134635479 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 8260 7424 364 364 0 7896 0
[pid=8715] vsize: 33040
Current children cumulated CPU time (s) 299.98
Current children cumulated vsize (Kb) 33040

[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 10503 0 0 0 30972 25 0 0 25 0 1 0 21852871 34103296 7522 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 8326 7522 364 364 0 7962 0
[pid=8715] vsize: 33304
Current children cumulated CPU time (s) 309.97
Current children cumulated vsize (Kb) 33304

[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 10601 0 0 0 31972 26 0 0 25 0 1 0 21852871 34373632 7618 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 8392 7618 364 364 0 8028 0
[pid=8715] vsize: 33568
Current children cumulated CPU time (s) 319.98
Current children cumulated vsize (Kb) 33568

[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 10697 0 0 0 32972 26 0 0 25 0 1 0 21852871 34643968 7713 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 8458 7713 364 364 0 8094 0
[pid=8715] vsize: 33832
Current children cumulated CPU time (s) 329.98
Current children cumulated vsize (Kb) 33832

[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 10793 0 0 0 33971 27 0 0 25 0 1 0 21852871 34914304 7807 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 8524 7807 364 364 0 8160 0
[pid=8715] vsize: 34096
Current children cumulated CPU time (s) 339.98
Current children cumulated vsize (Kb) 34096

[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 10885 0 0 0 34971 27 0 0 25 0 1 0 21852871 35049472 7898 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 8557 7898 364 364 0 8193 0
[pid=8715] vsize: 34228
Current children cumulated CPU time (s) 349.98
Current children cumulated vsize (Kb) 34228

[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 10979 0 0 0 35971 27 0 0 25 0 1 0 21852871 35319808 7990 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 8623 7990 364 364 0 8259 0
[pid=8715] vsize: 34492
Current children cumulated CPU time (s) 359.98
Current children cumulated vsize (Kb) 34492

[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 11071 0 0 0 36970 27 0 0 25 0 1 0 21852871 35590144 8081 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 8689 8081 364 364 0 8325 0
[pid=8715] vsize: 34756
Current children cumulated CPU time (s) 369.97
Current children cumulated vsize (Kb) 34756

[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 11162 0 0 0 37970 28 0 0 25 0 1 0 21852871 35860480 8170 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 8755 8170 364 364 0 8391 0
[pid=8715] vsize: 35020
Current children cumulated CPU time (s) 379.98
Current children cumulated vsize (Kb) 35020

[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 11250 0 0 0 38970 28 0 0 25 0 1 0 21852871 35995648 8257 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 8788 8257 364 364 0 8424 0
[pid=8715] vsize: 35152
Current children cumulated CPU time (s) 389.98
Current children cumulated vsize (Kb) 35152

[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 11338 0 0 0 39970 28 0 0 25 0 1 0 21852871 36265984 8343 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 8854 8343 364 364 0 8490 0
[pid=8715] vsize: 35416
Current children cumulated CPU time (s) 399.98
Current children cumulated vsize (Kb) 35416

[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 11425 0 0 0 40969 29 0 0 25 0 1 0 21852871 36536320 8429 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 8920 8429 364 364 0 8556 0
[pid=8715] vsize: 35680
Current children cumulated CPU time (s) 409.98
Current children cumulated vsize (Kb) 35680

[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 11511 0 0 0 41969 30 0 0 25 0 1 0 21852871 36671488 8514 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 8953 8514 364 364 0 8589 0
[pid=8715] vsize: 35812
Current children cumulated CPU time (s) 419.99
Current children cumulated vsize (Kb) 35812

[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 11595 0 0 0 42968 30 0 0 25 0 1 0 21852871 36941824 8596 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 9019 8596 364 364 0 8655 0
[pid=8715] vsize: 36076
Current children cumulated CPU time (s) 429.98
Current children cumulated vsize (Kb) 36076

[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 11681 0 0 0 43968 30 0 0 25 0 1 0 21852871 37076992 8681 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 9052 8681 364 364 0 8688 0
[pid=8715] vsize: 36208
Current children cumulated CPU time (s) 439.98
Current children cumulated vsize (Kb) 36208

[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 11766 0 0 0 44967 30 0 0 25 0 1 0 21852871 37347328 8764 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 9118 8764 364 364 0 8754 0
[pid=8715] vsize: 36472
Current children cumulated CPU time (s) 449.97
Current children cumulated vsize (Kb) 36472

[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 11847 0 0 0 45967 30 0 0 25 0 1 0 21852871 37617664 8844 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 9184 8844 364 364 0 8820 0
[pid=8715] vsize: 36736
Current children cumulated CPU time (s) 459.97
Current children cumulated vsize (Kb) 36736

[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 11929 0 0 0 46967 31 0 0 25 0 1 0 21852871 37752832 8925 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 9217 8925 364 364 0 8853 0
[pid=8715] vsize: 36868
Current children cumulated CPU time (s) 469.98
Current children cumulated vsize (Kb) 36868

[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 16477 0 0 0 47957 40 0 0 25 0 1 0 21852871 55775232 10525 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 13617 10525 364 364 0 13253 0
[pid=8715] vsize: 54468
Current children cumulated CPU time (s) 479.97
Current children cumulated vsize (Kb) 54468

[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 16507 0 0 0 48956 40 0 0 25 0 1 0 21852871 55775232 10553 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 13617 10553 364 364 0 13253 0
[pid=8715] vsize: 54468
Current children cumulated CPU time (s) 489.96
Current children cumulated vsize (Kb) 54468

[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 16535 0 0 0 49956 41 0 0 25 0 1 0 21852871 55775232 10580 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 13617 10580 364 364 0 13253 0
[pid=8715] vsize: 54468
Current children cumulated CPU time (s) 499.97
Current children cumulated vsize (Kb) 54468

[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 16566 0 0 0 50956 41 0 0 25 0 1 0 21852871 55775232 10610 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 13617 10610 364 364 0 13253 0
[pid=8715] vsize: 54468
Current children cumulated CPU time (s) 509.97
Current children cumulated vsize (Kb) 54468

[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 16594 0 0 0 51956 41 0 0 25 0 1 0 21852871 55775232 10637 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 13617 10637 364 364 0 13253 0
[pid=8715] vsize: 54468
Current children cumulated CPU time (s) 519.97
Current children cumulated vsize (Kb) 54468

[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 16623 0 0 0 52956 41 0 0 25 0 1 0 21852871 55775232 10664 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 13617 10664 364 364 0 13253 0
[pid=8715] vsize: 54468
Current children cumulated CPU time (s) 529.97
Current children cumulated vsize (Kb) 54468

[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 16650 0 0 0 53956 42 0 0 25 0 1 0 21852871 55775232 10690 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 13617 10690 364 364 0 13253 0
[pid=8715] vsize: 54468
Current children cumulated CPU time (s) 539.98
Current children cumulated vsize (Kb) 54468

[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 16708 0 0 0 54956 42 0 0 25 0 1 0 21852871 55910400 10747 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 13650 10747 364 364 0 13286 0
[pid=8715] vsize: 54600
Current children cumulated CPU time (s) 549.98
Current children cumulated vsize (Kb) 54600

[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 16774 0 0 0 55956 42 0 0 25 0 1 0 21852871 56045568 10812 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 13683 10812 364 364 0 13319 0
[pid=8715] vsize: 54732
Current children cumulated CPU time (s) 559.98
Current children cumulated vsize (Kb) 54732

[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 16839 0 0 0 56955 42 0 0 25 0 1 0 21852871 56180736 10875 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 13716 10875 364 364 0 13352 0
[pid=8715] vsize: 54864
Current children cumulated CPU time (s) 569.97
Current children cumulated vsize (Kb) 54864

[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 16904 0 0 0 57955 42 0 0 25 0 1 0 21852871 56315904 10939 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 13749 10939 364 364 0 13385 0
[pid=8715] vsize: 54996
Current children cumulated CPU time (s) 579.97
Current children cumulated vsize (Kb) 54996

[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 16969 0 0 0 58955 43 0 0 25 0 1 0 21852871 56451072 11003 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 13782 11003 364 364 0 13418 0
[pid=8715] vsize: 55128
Current children cumulated CPU time (s) 589.98
Current children cumulated vsize (Kb) 55128

[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 17031 0 0 0 59955 43 0 0 25 0 1 0 21852871 56586240 11064 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 13815 11064 364 364 0 13451 0
[pid=8715] vsize: 55260
Current children cumulated CPU time (s) 599.98
Current children cumulated vsize (Kb) 55260

[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 17093 0 0 0 60955 43 0 0 25 0 1 0 21852871 56721408 11125 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 13848 11125 364 364 0 13484 0
[pid=8715] vsize: 55392
Current children cumulated CPU time (s) 609.98
Current children cumulated vsize (Kb) 55392

[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 17154 0 0 0 61955 43 0 0 25 0 1 0 21852871 56856576 11185 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 13881 11185 364 364 0 13517 0
[pid=8715] vsize: 55524
Current children cumulated CPU time (s) 619.98
Current children cumulated vsize (Kb) 55524

[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 17217 0 0 0 62954 44 0 0 25 0 1 0 21852871 57126912 11246 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 13947 11246 364 364 0 13583 0
[pid=8715] vsize: 55788
Current children cumulated CPU time (s) 629.98
Current children cumulated vsize (Kb) 55788

[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 17278 0 0 0 63954 44 0 0 25 0 1 0 21852871 57262080 11306 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 13980 11306 364 364 0 13616 0
[pid=8715] vsize: 55920
Current children cumulated CPU time (s) 639.98
Current children cumulated vsize (Kb) 55920

[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 17337 0 0 0 64954 44 0 0 25 0 1 0 21852871 57397248 11364 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 14013 11364 364 364 0 13649 0
[pid=8715] vsize: 56052
Current children cumulated CPU time (s) 649.98
Current children cumulated vsize (Kb) 56052

[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 17398 0 0 0 65954 44 0 0 25 0 1 0 21852871 57532416 11424 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 14046 11424 364 364 0 13682 0
[pid=8715] vsize: 56184
Current children cumulated CPU time (s) 659.98
Current children cumulated vsize (Kb) 56184

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

[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 39258 0 0 0 67905 91 0 0 25 0 1 0 21852871 128479232 25275 4294967295 134512640 135987407 3221224560 3220462940 134637002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 31367 25275 364 364 0 31003 0
[pid=8715] vsize: 125468
Current children cumulated CPU time (s) 679.96
Current children cumulated vsize (Kb) 125468

[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 64895 0 0 0 68850 144 0 0 25 0 1 0 21852871 206938112 41472 4294967295 134512640 135987407 3221224560 3220611356 134669203 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 50522 41472 364 364 0 50158 0
[pid=8715] vsize: 202088
Current children cumulated CPU time (s) 689.94
Current children cumulated vsize (Kb) 202088

[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 103054 0 0 0 69764 229 0 0 25 0 1 0 21852871 317321216 57423 4294967295 134512640 135987407 3221224560 3220643344 134639016 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 77471 57423 364 364 0 77107 0
[pid=8715] vsize: 309884
Current children cumulated CPU time (s) 699.93
Current children cumulated vsize (Kb) 309884

[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 116979 0 0 0 70733 260 0 0 25 0 1 0 21852871 355336192 71121 4294967295 134512640 135987407 3221224560 3220460928 134639896 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 86752 71121 364 364 0 86388 0
[pid=8715] vsize: 347008
Current children cumulated CPU time (s) 709.93
Current children cumulated vsize (Kb) 347008

[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 158867 0 0 0 71641 348 0 0 25 0 1 0 21852871 484765696 93389 4294967295 134512640 135987407 3221224560 3220294932 135478476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 118351 93389 364 364 0 117987 0
[pid=8715] vsize: 473404
Current children cumulated CPU time (s) 719.89
Current children cumulated vsize (Kb) 473404

[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 196214 0 0 0 72559 429 0 0 25 0 1 0 21852871 588537856 105947 4294967295 134512640 135987407 3221224560 3220342048 134560508 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 143686 105947 364 364 0 143322 0
[pid=8715] vsize: 574744
Current children cumulated CPU time (s) 729.88
Current children cumulated vsize (Kb) 574744

[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 209344 0 0 0 73529 459 0 0 25 0 1 0 21852871 625336320 118860 4294967295 134512640 135987407 3221224560 3220448048 134866017 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 152670 118860 364 364 0 152306 0
[pid=8715] vsize: 610680
Current children cumulated CPU time (s) 739.88
Current children cumulated vsize (Kb) 610680

[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 224441 0 0 0 74493 494 0 0 25 0 1 0 21852871 629256192 133708 4294967295 134512640 135987407 3221224560 3220500944 134537491 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 153627 133708 364 364 0 153263 0
[pid=8715] vsize: 614508
Current children cumulated CPU time (s) 749.87
Current children cumulated vsize (Kb) 614508

[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) R 8714 8715 4060 0 -1 0 237109 0 0 0 75466 521 0 0 25 0 1 0 21852871 685264896 146178 4294967295 134512640 135987407 3221224560 3220532208 134537412 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8715/statm): 167301 146178 364 364 0 166937 0
[pid=8715] vsize: 669204
Current children cumulated CPU time (s) 759.87
Current children cumulated vsize (Kb) 669204



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+764.77 s]
Raw data (loadavg): 0.99 0.97 0.94 1/55 8715
Raw data (/proc/8715/stat): 8715 (pb2sat) T 8714 8715 4060 0 -1 0 244948 0 0 0 75922 538 0 0 25 0 1 0 21852871 977510400 153908 4294967295 134512640 135987407 3221224560 3220418320 135544035 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8715/statm): 238650 153908 364 364 0 238286 0
[pid=8715] vsize: 954600
Current children cumulated CPU time (s) 764.6
Current children cumulated vsize (Kb) 954600

Sending SIGTERM to -8715
Sleeping 2 seconds
Sending SIGKILL to -8715
One traced child (pid=8715) 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): 767.092
CPU time (s): 765.142
CPU user time (s): 759.436
CPU system time (s): 5.70613
CPU usage (%): 99.7458
Max. virtual memory (cumulated for all children) (Kb): 954600

Verifier Data

ERROR: no interpretation found !