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-n370a.opb
MD5SUMc6fa043dbbb5b108d149e4ec9ce5fa2c
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 29637219205243
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 29637219205243
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 10186

Launcher Data

LAUNCH ON wulflinc22 THE 2005-09-23 17:19:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8911 boxname=wulflinc22 idbench=707 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c6fa043dbbb5b108d149e4ec9ce5fa2c  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-n370a.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-n370a.opb
IDLAUNCH: 8911
/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:        907028 kB
Buffers:         12272 kB
Cached:          97752 kB
SwapCached:          0 kB
Active:          56520 kB
Inactive:        56424 kB
HighTotal:      131008 kB
HighFree:        32872 kB
LowTotal:       903652 kB
LowFree:        874156 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             9032 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 17:31:48 (client local time) WITH STATUS 0 IN 765.534 SECONDS
stats: 8911 7 765.534 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/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21930851 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 373 2 364 364 0 9 0
[pid=8827] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-n370a.opb

[startup+10.0023 s]
Raw data (loadavg): 0.93 0.96 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 2515 0 0 0 993 6 0 0 25 0 1 0 21930851 9367552 1829 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 2287 1829 364 364 0 1923 0
[pid=8827] vsize: 9148
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 9148

[startup+20.003 s]
Raw data (loadavg): 0.94 0.96 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 3009 0 0 0 1991 7 0 0 25 0 1 0 21930851 10719232 2315 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 2617 2315 364 364 0 2253 0
[pid=8827] vsize: 10468
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 10468

[startup+30.0037 s]
Raw data (loadavg): 0.95 0.96 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 4383 0 0 0 2989 10 0 0 25 0 1 0 21930851 15630336 2944 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 3816 2944 364 364 0 3452 0
[pid=8827] vsize: 15264
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 15264

[startup+40.0044 s]
Raw data (loadavg): 0.96 0.96 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 4648 0 0 0 3988 10 0 0 25 0 1 0 21930851 16306176 3204 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 3981 3204 364 364 0 3617 0
[pid=8827] vsize: 15924
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 15924

[startup+50.0061 s]
Raw data (loadavg): 0.96 0.96 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 4902 0 0 0 4987 11 0 0 25 0 1 0 21930851 16982016 3454 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 4146 3454 364 364 0 3782 0
[pid=8827] vsize: 16584
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 16584

[startup+60.0058 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 5134 0 0 0 5986 12 0 0 25 0 1 0 21930851 17522688 3682 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 4278 3682 364 364 0 3914 0
[pid=8827] vsize: 17112
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 17112

[startup+70.0055 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 5349 0 0 0 6986 12 0 0 25 0 1 0 21930851 18063360 3894 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 4410 3894 364 364 0 4046 0
[pid=8827] vsize: 17640
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 17640

[startup+80.0063 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 5549 0 0 0 7986 13 0 0 25 0 1 0 21930851 18604032 4091 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 4542 4091 364 364 0 4178 0
[pid=8827] vsize: 18168
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 18168

[startup+90.006 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 5738 0 0 0 8985 14 0 0 25 0 1 0 21930851 19144704 4277 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 4674 4277 364 364 0 4310 0
[pid=8827] vsize: 18696
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 18696

[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 5916 0 0 0 9984 14 0 0 25 0 1 0 21930851 19550208 4452 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 4773 4452 364 364 0 4409 0
[pid=8827] vsize: 19092
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 19092

[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 8292 0 0 0 10978 20 0 0 25 0 1 0 21930851 28696576 5350 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 7006 5350 364 364 0 6642 0
[pid=8827] vsize: 28024
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 28024

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 8350 0 0 0 11978 21 0 0 25 0 1 0 21930851 28696576 5406 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 7006 5406 364 364 0 6642 0
[pid=8827] vsize: 28024
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 28024

[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 8454 0 0 0 12978 21 0 0 25 0 1 0 21930851 28966912 5507 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 7072 5507 364 364 0 6708 0
[pid=8827] vsize: 28288
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 28288

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 8582 0 0 0 13977 21 0 0 25 0 1 0 21930851 29237248 5633 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 7138 5633 364 364 0 6774 0
[pid=8827] vsize: 28552
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 28552

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 8702 0 0 0 14977 21 0 0 25 0 1 0 21930851 29507584 5751 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 7204 5751 364 364 0 6840 0
[pid=8827] vsize: 28816
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 28816

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 8820 0 0 0 15977 22 0 0 25 0 1 0 21930851 29777920 5867 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 7270 5867 364 364 0 6906 0
[pid=8827] vsize: 29080
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 29080

[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 8937 0 0 0 16977 22 0 0 25 0 1 0 21930851 30048256 5981 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 7336 5981 364 364 0 6972 0
[pid=8827] vsize: 29344
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 29344

[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 9053 0 0 0 17977 22 0 0 25 0 1 0 21930851 30318592 6095 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 7402 6095 364 364 0 7038 0
[pid=8827] vsize: 29608
Current children cumulated CPU time (s) 179.99
Current children cumulated vsize (Kb) 29608

[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 9180 0 0 0 18976 23 0 0 25 0 1 0 21930851 30724096 6220 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 7501 6220 364 364 0 7137 0
[pid=8827] vsize: 30004
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 30004

[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 9301 0 0 0 19976 23 0 0 25 0 1 0 21930851 30994432 6339 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 7567 6339 364 364 0 7203 0
[pid=8827] vsize: 30268
Current children cumulated CPU time (s) 199.99
Current children cumulated vsize (Kb) 30268

[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 9420 0 0 0 20975 23 0 0 25 0 1 0 21930851 31264768 6456 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 7633 6456 364 364 0 7269 0
[pid=8827] vsize: 30532
Current children cumulated CPU time (s) 209.98
Current children cumulated vsize (Kb) 30532

[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 9538 0 0 0 21975 24 0 0 25 0 1 0 21930851 31670272 6572 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 7732 6572 364 364 0 7368 0
[pid=8827] vsize: 30928
Current children cumulated CPU time (s) 219.99
Current children cumulated vsize (Kb) 30928

[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 9652 0 0 0 22975 24 0 0 25 0 1 0 21930851 31940608 6685 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 7798 6685 364 364 0 7434 0
[pid=8827] vsize: 31192
Current children cumulated CPU time (s) 229.99
Current children cumulated vsize (Kb) 31192

[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 9764 0 0 0 23974 25 0 0 25 0 1 0 21930851 32210944 6795 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 7864 6795 364 364 0 7500 0
[pid=8827] vsize: 31456
Current children cumulated CPU time (s) 239.99
Current children cumulated vsize (Kb) 31456

[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 9876 0 0 0 24973 25 0 0 25 0 1 0 21930851 32481280 6905 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 7930 6905 364 364 0 7566 0
[pid=8827] vsize: 31720
Current children cumulated CPU time (s) 249.98
Current children cumulated vsize (Kb) 31720

[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 9984 0 0 0 25973 26 0 0 25 0 1 0 21930851 32751616 7011 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 7996 7011 364 364 0 7632 0
[pid=8827] vsize: 31984
Current children cumulated CPU time (s) 259.99
Current children cumulated vsize (Kb) 31984

[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 10089 0 0 0 26973 26 0 0 25 0 1 0 21930851 33021952 7115 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 8062 7115 364 364 0 7698 0
[pid=8827] vsize: 32248
Current children cumulated CPU time (s) 269.99
Current children cumulated vsize (Kb) 32248

[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 10195 0 0 0 27972 26 0 0 25 0 1 0 21930851 33292288 7219 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 8128 7219 364 364 0 7764 0
[pid=8827] vsize: 32512
Current children cumulated CPU time (s) 279.98
Current children cumulated vsize (Kb) 32512

[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 10298 0 0 0 28972 27 0 0 25 0 1 0 21930851 33562624 7320 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 8194 7320 364 364 0 7830 0
[pid=8827] vsize: 32776
Current children cumulated CPU time (s) 289.99
Current children cumulated vsize (Kb) 32776

[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 10398 0 0 0 29972 27 0 0 25 0 1 0 21930851 33832960 7419 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 8260 7419 364 364 0 7896 0
[pid=8827] vsize: 33040
Current children cumulated CPU time (s) 299.99
Current children cumulated vsize (Kb) 33040

[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 10498 0 0 0 30972 27 0 0 25 0 1 0 21930851 34103296 7517 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 8326 7517 364 364 0 7962 0
[pid=8827] vsize: 33304
Current children cumulated CPU time (s) 309.99
Current children cumulated vsize (Kb) 33304

[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 10597 0 0 0 31972 28 0 0 25 0 1 0 21930851 34373632 7614 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 8392 7614 364 364 0 8028 0
[pid=8827] vsize: 33568
Current children cumulated CPU time (s) 320
Current children cumulated vsize (Kb) 33568

[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 10692 0 0 0 32971 28 0 0 25 0 1 0 21930851 34643968 7708 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 8458 7708 364 364 0 8094 0
[pid=8827] vsize: 33832
Current children cumulated CPU time (s) 329.99
Current children cumulated vsize (Kb) 33832

[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 10788 0 0 0 33971 28 0 0 25 0 1 0 21930851 34779136 7802 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 8491 7802 364 364 0 8127 0
[pid=8827] vsize: 33964
Current children cumulated CPU time (s) 339.99
Current children cumulated vsize (Kb) 33964

[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 10882 0 0 0 34971 28 0 0 25 0 1 0 21930851 35049472 7895 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 8557 7895 364 364 0 8193 0
[pid=8827] vsize: 34228
Current children cumulated CPU time (s) 349.99
Current children cumulated vsize (Kb) 34228

[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 10976 0 0 0 35970 29 0 0 25 0 1 0 21930851 35319808 7987 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 8623 7987 364 364 0 8259 0
[pid=8827] vsize: 34492
Current children cumulated CPU time (s) 359.99
Current children cumulated vsize (Kb) 34492

[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 11067 0 0 0 36969 30 0 0 25 0 1 0 21930851 35590144 8077 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 8689 8077 364 364 0 8325 0
[pid=8827] vsize: 34756
Current children cumulated CPU time (s) 369.99
Current children cumulated vsize (Kb) 34756

[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 11157 0 0 0 37969 30 0 0 25 0 1 0 21930851 35725312 8165 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 8722 8165 364 364 0 8358 0
[pid=8827] vsize: 34888
Current children cumulated CPU time (s) 379.99
Current children cumulated vsize (Kb) 34888

[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 11245 0 0 0 38969 31 0 0 25 0 1 0 21930851 35995648 8252 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 8788 8252 364 364 0 8424 0
[pid=8827] vsize: 35152
Current children cumulated CPU time (s) 390
Current children cumulated vsize (Kb) 35152

[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 11334 0 0 0 39968 32 0 0 25 0 1 0 21930851 36265984 8339 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 8854 8339 364 364 0 8490 0
[pid=8827] vsize: 35416
Current children cumulated CPU time (s) 400
Current children cumulated vsize (Kb) 35416

[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 11420 0 0 0 40968 32 0 0 25 0 1 0 21930851 36536320 8424 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 8920 8424 364 364 0 8556 0
[pid=8827] vsize: 35680
Current children cumulated CPU time (s) 410
Current children cumulated vsize (Kb) 35680

[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 11508 0 0 0 41968 32 0 0 25 0 1 0 21930851 36671488 8511 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 8953 8511 364 364 0 8589 0
[pid=8827] vsize: 35812
Current children cumulated CPU time (s) 420
Current children cumulated vsize (Kb) 35812

[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 11593 0 0 0 42967 32 0 0 25 0 1 0 21930851 36941824 8594 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 9019 8594 364 364 0 8655 0
[pid=8827] vsize: 36076
Current children cumulated CPU time (s) 429.99
Current children cumulated vsize (Kb) 36076

[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 11678 0 0 0 43967 33 0 0 25 0 1 0 21930851 37076992 8678 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 9052 8678 364 364 0 8688 0
[pid=8827] vsize: 36208
Current children cumulated CPU time (s) 440
Current children cumulated vsize (Kb) 36208

[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 11760 0 0 0 44967 33 0 0 25 0 1 0 21930851 37347328 8759 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 9118 8759 364 364 0 8754 0
[pid=8827] vsize: 36472
Current children cumulated CPU time (s) 450
Current children cumulated vsize (Kb) 36472

[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 11843 0 0 0 45966 33 0 0 25 0 1 0 21930851 37617664 8840 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 9184 8840 364 364 0 8820 0
[pid=8827] vsize: 36736
Current children cumulated CPU time (s) 459.99
Current children cumulated vsize (Kb) 36736

[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 11926 0 0 0 46966 34 0 0 25 0 1 0 21930851 37752832 8922 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 9217 8922 364 364 0 8853 0
[pid=8827] vsize: 36868
Current children cumulated CPU time (s) 470
Current children cumulated vsize (Kb) 36868

[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 16476 0 0 0 47957 42 0 0 25 0 1 0 21930851 55775232 10524 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 13617 10524 364 364 0 13253 0
[pid=8827] vsize: 54468
Current children cumulated CPU time (s) 479.99
Current children cumulated vsize (Kb) 54468

[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 16506 0 0 0 48957 42 0 0 25 0 1 0 21930851 55775232 10552 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 13617 10552 364 364 0 13253 0
[pid=8827] vsize: 54468
Current children cumulated CPU time (s) 489.99
Current children cumulated vsize (Kb) 54468

[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 16534 0 0 0 49957 42 0 0 25 0 1 0 21930851 55775232 10579 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 13617 10579 364 364 0 13253 0
[pid=8827] vsize: 54468
Current children cumulated CPU time (s) 499.99
Current children cumulated vsize (Kb) 54468

[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 16564 0 0 0 50957 42 0 0 25 0 1 0 21930851 55775232 10608 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 13617 10608 364 364 0 13253 0
[pid=8827] vsize: 54468
Current children cumulated CPU time (s) 509.99
Current children cumulated vsize (Kb) 54468

[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 16592 0 0 0 51957 43 0 0 25 0 1 0 21930851 55775232 10635 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 13617 10635 364 364 0 13253 0
[pid=8827] vsize: 54468
Current children cumulated CPU time (s) 520
Current children cumulated vsize (Kb) 54468

[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 16621 0 0 0 52957 43 0 0 25 0 1 0 21930851 55775232 10662 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 13617 10662 364 364 0 13253 0
[pid=8827] vsize: 54468
Current children cumulated CPU time (s) 530
Current children cumulated vsize (Kb) 54468

[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 16649 0 0 0 53957 43 0 0 25 0 1 0 21930851 55775232 10689 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 13617 10689 364 364 0 13253 0
[pid=8827] vsize: 54468
Current children cumulated CPU time (s) 540
Current children cumulated vsize (Kb) 54468

[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 16706 0 0 0 54957 43 0 0 25 0 1 0 21930851 55910400 10745 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 13650 10745 364 364 0 13286 0
[pid=8827] vsize: 54600
Current children cumulated CPU time (s) 550
Current children cumulated vsize (Kb) 54600

[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 16772 0 0 0 55956 43 0 0 25 0 1 0 21930851 56045568 10810 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 13683 10810 364 364 0 13319 0
[pid=8827] vsize: 54732
Current children cumulated CPU time (s) 559.99
Current children cumulated vsize (Kb) 54732

[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 16836 0 0 0 56956 43 0 0 25 0 1 0 21930851 56180736 10872 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 13716 10872 364 364 0 13352 0
[pid=8827] vsize: 54864
Current children cumulated CPU time (s) 569.99
Current children cumulated vsize (Kb) 54864

[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 16901 0 0 0 57956 43 0 0 25 0 1 0 21930851 56315904 10936 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 13749 10936 364 364 0 13385 0
[pid=8827] vsize: 54996
Current children cumulated CPU time (s) 579.99
Current children cumulated vsize (Kb) 54996

[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 16964 0 0 0 58956 43 0 0 25 0 1 0 21930851 56451072 10998 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 13782 10998 364 364 0 13418 0
[pid=8827] vsize: 55128
Current children cumulated CPU time (s) 589.99
Current children cumulated vsize (Kb) 55128

[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 17028 0 0 0 59956 43 0 0 25 0 1 0 21930851 56586240 11061 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 13815 11061 364 364 0 13451 0
[pid=8827] vsize: 55260
Current children cumulated CPU time (s) 599.99
Current children cumulated vsize (Kb) 55260

[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 17091 0 0 0 60956 44 0 0 25 0 1 0 21930851 56721408 11123 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 13848 11123 364 364 0 13484 0
[pid=8827] vsize: 55392
Current children cumulated CPU time (s) 610
Current children cumulated vsize (Kb) 55392

[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 17152 0 0 0 61956 44 0 0 25 0 1 0 21930851 56856576 11183 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 13881 11183 364 364 0 13517 0
[pid=8827] vsize: 55524
Current children cumulated CPU time (s) 620
Current children cumulated vsize (Kb) 55524

[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 17215 0 0 0 62957 44 0 0 25 0 1 0 21930851 57126912 11244 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 13947 11244 364 364 0 13583 0
[pid=8827] vsize: 55788
Current children cumulated CPU time (s) 630.01
Current children cumulated vsize (Kb) 55788

[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 17275 0 0 0 63957 44 0 0 25 0 1 0 21930851 57262080 11303 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 13980 11303 364 364 0 13616 0
[pid=8827] vsize: 55920
Current children cumulated CPU time (s) 640.01
Current children cumulated vsize (Kb) 55920

[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 17335 0 0 0 64957 44 0 0 25 0 1 0 21930851 57397248 11362 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 14013 11362 364 364 0 13649 0
[pid=8827] vsize: 56052
Current children cumulated CPU time (s) 650.01
Current children cumulated vsize (Kb) 56052

[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 17394 0 0 0 65956 44 0 0 25 0 1 0 21930851 57532416 11420 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 14046 11420 364 364 0 13682 0
[pid=8827] vsize: 56184
Current children cumulated CPU time (s) 660
Current children cumulated vsize (Kb) 56184

[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 17455 0 0 0 66956 44 0 0 25 0 1 0 21930851 57667584 11480 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 14079 11480 364 364 0 13715 0
[pid=8827] vsize: 56316
Current children cumulated CPU time (s) 670
Current children cumulated vsize (Kb) 56316

[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 38393 0 0 0 67911 87 0 0 25 0 1 0 21930851 144449536 29027 4294967295 134512640 135987407 3221224560 3220464212 134893008 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 35266 29027 364 364 0 34902 0
[pid=8827] vsize: 141064
Current children cumulated CPU time (s) 679.98
Current children cumulated vsize (Kb) 141064

[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 64040 0 0 0 68854 142 0 0 25 0 1 0 21930851 205721600 40627 4294967295 134512640 135987407 3221224560 3220599136 134887946 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 50225 40627 364 364 0 49861 0
[pid=8827] vsize: 200900
Current children cumulated CPU time (s) 689.96
Current children cumulated vsize (Kb) 200900

[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 101145 0 0 0 69778 217 0 0 25 0 1 0 21930851 367386624 67810 4294967295 134512640 135987407 3221224560 3220679744 134887487 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 89694 67810 364 364 0 89330 0
[pid=8827] vsize: 358776
Current children cumulated CPU time (s) 699.95
Current children cumulated vsize (Kb) 358776

[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 117782 0 0 0 70736 257 0 0 25 0 1 0 21930851 358850560 71927 4294967295 134512640 135987407 3221224560 3220730460 134669201 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 87610 71927 364 364 0 87246 0
[pid=8827] vsize: 350440
Current children cumulated CPU time (s) 709.93
Current children cumulated vsize (Kb) 350440

[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 158431 0 0 0 71649 340 0 0 25 0 1 0 21930851 485171200 92963 4294967295 134512640 135987407 3221224560 3220548032 134558562 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 118450 92963 364 364 0 118086 0
[pid=8827] vsize: 473800
Current children cumulated CPU time (s) 719.89
Current children cumulated vsize (Kb) 473800

[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 195718 0 0 0 72564 424 0 0 25 0 1 0 21930851 589484032 105464 4294967295 134512640 135987407 3221224560 3220243072 134931253 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 143917 105464 364 364 0 143553 0
[pid=8827] vsize: 575668
Current children cumulated CPU time (s) 729.88
Current children cumulated vsize (Kb) 575668

[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 208779 0 0 0 73533 455 0 0 25 0 1 0 21930851 625606656 118307 4294967295 134512640 135987407 3221224560 3220369728 134855001 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 152736 118307 364 364 0 152372 0
[pid=8827] vsize: 610944
Current children cumulated CPU time (s) 739.88
Current children cumulated vsize (Kb) 610944

[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 224264 0 0 0 74497 491 0 0 25 0 1 0 21930851 630743040 133540 4294967295 134512640 135987407 3221224560 3220627804 135480487 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 153990 133540 364 364 0 153626 0
[pid=8827] vsize: 615960
Current children cumulated CPU time (s) 749.88
Current children cumulated vsize (Kb) 615960

[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) R 8826 8827 4060 0 -1 0 236791 0 0 0 75471 517 0 0 25 0 1 0 21930851 686075904 145869 4294967295 134512640 135987407 3221224560 3220663100 135488081 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8827/statm): 167499 145869 364 364 0 167135 0
[pid=8827] vsize: 669996
Current children cumulated CPU time (s) 759.88
Current children cumulated vsize (Kb) 669996



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+765.151 s]
Raw data (loadavg): 0.99 0.97 0.93 1/55 8827
Raw data (/proc/8827/stat): 8827 (pb2sat) T 8826 8827 4060 0 -1 0 245205 0 0 0 75963 537 0 0 25 0 1 0 21930851 978591744 154165 4294967295 134512640 135987407 3221224560 3220426384 135544035 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8827/statm): 238914 154165 364 364 0 238550 0
[pid=8827] vsize: 955656
Current children cumulated CPU time (s) 765
Current children cumulated vsize (Kb) 955656

Sending SIGTERM to -8827
Sleeping 2 seconds
Sending SIGKILL to -8827
One traced child (pid=8827) 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.473
CPU time (s): 765.534
CPU user time (s): 759.845
CPU system time (s): 5.68913
CPU usage (%): 99.7473
Max. virtual memory (cumulated for all children) (Kb): 955656

Verifier Data

ERROR: no interpretation found !