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-n3709.opb
MD5SUMbd3b7059f5a46c39741d1666410238f7
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 29610373267604
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 29610373267604
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 10149

Launcher Data

LAUNCH ON wulflinc9 THE 2005-09-23 17:07:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8891 boxname=wulflinc9 idbench=687 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  bd3b7059f5a46c39741d1666410238f7  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-n3709.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-n3709.opb
IDLAUNCH: 8891
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        897876 kB
Buffers:         12936 kB
Cached:         106200 kB
SwapCached:          0 kB
Active:          63360 kB
Inactive:        58672 kB
HighTotal:      131008 kB
HighFree:        21672 kB
LowTotal:       903652 kB
LowFree:        876204 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             9188 kB
Committed_AS:    63644 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:19:57 (client local time) WITH STATUS 0 IN 754.242 SECONDS
stats: 8891 7 754.242 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/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21865607 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 373 2 364 364 0 9 0
[pid=10366] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-n3709.opb

[startup+10.0027 s]
Raw data (loadavg): 0.94 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 2542 0 0 0 992 6 0 0 25 0 1 0 21865607 9502720 1855 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 2320 1855 364 364 0 1956 0
[pid=10366] vsize: 9280
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 9280

[startup+20.0034 s]
Raw data (loadavg): 0.95 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 4178 0 0 0 1990 9 0 0 25 0 1 0 21865607 15224832 2744 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 3717 2744 364 364 0 3353 0
[pid=10366] vsize: 14868
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 14868

[startup+30.0032 s]
Raw data (loadavg): 0.95 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 4426 0 0 0 2989 10 0 0 25 0 1 0 21865607 15765504 2986 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 3849 2986 364 364 0 3485 0
[pid=10366] vsize: 15396
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 15396

[startup+40.004 s]
Raw data (loadavg): 0.96 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 4696 0 0 0 3987 11 0 0 25 0 1 0 21865607 16441344 3252 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 4014 3252 364 364 0 3650 0
[pid=10366] vsize: 16056
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 16056

[startup+50.0048 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 4952 0 0 0 4987 12 0 0 25 0 1 0 21865607 17117184 3503 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 4179 3503 364 364 0 3815 0
[pid=10366] vsize: 16716
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 16716

[startup+60.0055 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 5184 0 0 0 5986 13 0 0 25 0 1 0 21865607 17657856 3732 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 4311 3732 364 364 0 3947 0
[pid=10366] vsize: 17244
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 17244

[startup+70.0053 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 5402 0 0 0 6986 13 0 0 25 0 1 0 21865607 18198528 3946 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 4443 3946 364 364 0 4079 0
[pid=10366] vsize: 17772
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 17772

[startup+80.0061 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 5602 0 0 0 7985 14 0 0 25 0 1 0 21865607 18739200 4143 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 4575 4143 364 364 0 4211 0
[pid=10366] vsize: 18300
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 18300

[startup+90.0069 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 5789 0 0 0 8984 15 0 0 25 0 1 0 21865607 19279872 4327 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 4707 4327 364 364 0 4343 0
[pid=10366] vsize: 18828
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 18828

[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 5964 0 0 0 9984 15 0 0 25 0 1 0 21865607 19685376 4499 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 4806 4499 364 364 0 4442 0
[pid=10366] vsize: 19224
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 19224

[startup+110.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 8310 0 0 0 10979 20 0 0 25 0 1 0 21865607 28696576 5367 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 7006 5367 364 364 0 6642 0
[pid=10366] vsize: 28024
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 28024

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 8368 0 0 0 11979 20 0 0 25 0 1 0 21865607 28696576 5423 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 7006 5423 364 364 0 6642 0
[pid=10366] vsize: 28024
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 28024

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 8494 0 0 0 12978 20 0 0 25 0 1 0 21865607 29102080 5547 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 7105 5547 364 364 0 6741 0
[pid=10366] vsize: 28420
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 28420

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 8622 0 0 0 13978 21 0 0 25 0 1 0 21865607 29372416 5672 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 7171 5672 364 364 0 6807 0
[pid=10366] vsize: 28684
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 28684

[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 8744 0 0 0 14978 21 0 0 25 0 1 0 21865607 29642752 5792 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 7237 5792 364 364 0 6873 0
[pid=10366] vsize: 28948
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 28948

[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 8863 0 0 0 15977 21 0 0 25 0 1 0 21865607 29913088 5909 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 7303 5909 364 364 0 6939 0
[pid=10366] vsize: 29212
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 29212

[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 8978 0 0 0 16977 22 0 0 25 0 1 0 21865607 30183424 6022 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 7369 6022 364 364 0 7005 0
[pid=10366] vsize: 29476
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 29476

[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 9105 0 0 0 17977 22 0 0 25 0 1 0 21865607 30453760 6146 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 7435 6146 364 364 0 7071 0
[pid=10366] vsize: 29740
Current children cumulated CPU time (s) 179.99
Current children cumulated vsize (Kb) 29740

[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 9230 0 0 0 18976 23 0 0 25 0 1 0 21865607 30859264 6269 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 7534 6269 364 364 0 7170 0
[pid=10366] vsize: 30136
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 30136

[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 9353 0 0 0 19976 23 0 0 25 0 1 0 21865607 31129600 6390 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 7600 6390 364 364 0 7236 0
[pid=10366] vsize: 30400
Current children cumulated CPU time (s) 199.99
Current children cumulated vsize (Kb) 30400

[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 9473 0 0 0 20975 24 0 0 25 0 1 0 21865607 31399936 6509 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 7666 6509 364 364 0 7302 0
[pid=10366] vsize: 30664
Current children cumulated CPU time (s) 209.99
Current children cumulated vsize (Kb) 30664

[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 9591 0 0 0 21974 24 0 0 25 0 1 0 21865607 31805440 6625 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10366/statm): 7765 6625 364 364 0 7401 0
[pid=10366] vsize: 31060
Current children cumulated CPU time (s) 219.98
Current children cumulated vsize (Kb) 31060

[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 9706 0 0 0 22974 25 0 0 25 0 1 0 21865607 32075776 6738 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10366/statm): 7831 6738 364 364 0 7467 0
[pid=10366] vsize: 31324
Current children cumulated CPU time (s) 229.99
Current children cumulated vsize (Kb) 31324

[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 9817 0 0 0 23973 26 0 0 25 0 1 0 21865607 32346112 6847 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10366/statm): 7897 6847 364 364 0 7533 0
[pid=10366] vsize: 31588
Current children cumulated CPU time (s) 239.99
Current children cumulated vsize (Kb) 31588

[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 9926 0 0 0 24973 26 0 0 25 0 1 0 21865607 32616448 6954 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10366/statm): 7963 6954 364 364 0 7599 0
[pid=10366] vsize: 31852
Current children cumulated CPU time (s) 249.99
Current children cumulated vsize (Kb) 31852

[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 10037 0 0 0 25972 26 0 0 25 0 1 0 21865607 32886784 7063 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 8029 7063 364 364 0 7665 0
[pid=10366] vsize: 32116
Current children cumulated CPU time (s) 259.98
Current children cumulated vsize (Kb) 32116

[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 10143 0 0 0 26972 26 0 0 25 0 1 0 21865607 33157120 7168 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 8095 7168 364 364 0 7731 0
[pid=10366] vsize: 32380
Current children cumulated CPU time (s) 269.98
Current children cumulated vsize (Kb) 32380

[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 10250 0 0 0 27972 27 0 0 25 0 1 0 21865607 33427456 7273 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 8161 7273 364 364 0 7797 0
[pid=10366] vsize: 32644
Current children cumulated CPU time (s) 279.99
Current children cumulated vsize (Kb) 32644

[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 10352 0 0 0 28971 27 0 0 25 0 1 0 21865607 33697792 7373 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 8227 7373 364 364 0 7863 0
[pid=10366] vsize: 32908
Current children cumulated CPU time (s) 289.98
Current children cumulated vsize (Kb) 32908

[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 10454 0 0 0 29971 28 0 0 25 0 1 0 21865607 33968128 7474 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 8293 7474 364 364 0 7929 0
[pid=10366] vsize: 33172
Current children cumulated CPU time (s) 299.99
Current children cumulated vsize (Kb) 33172

[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 10553 0 0 0 30971 28 0 0 25 0 1 0 21865607 34238464 7571 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 8359 7571 364 364 0 7995 0
[pid=10366] vsize: 33436
Current children cumulated CPU time (s) 309.99
Current children cumulated vsize (Kb) 33436

[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 10653 0 0 0 31971 28 0 0 25 0 1 0 21865607 34508800 7669 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 8425 7669 364 364 0 8061 0
[pid=10366] vsize: 33700
Current children cumulated CPU time (s) 319.99
Current children cumulated vsize (Kb) 33700

[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 10750 0 0 0 32970 28 0 0 25 0 1 0 21865607 34779136 7765 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 8491 7765 364 364 0 8127 0
[pid=10366] vsize: 33964
Current children cumulated CPU time (s) 329.98
Current children cumulated vsize (Kb) 33964

[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 10845 0 0 0 33970 29 0 0 25 0 1 0 21865607 35049472 7858 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 8557 7858 364 364 0 8193 0
[pid=10366] vsize: 34228
Current children cumulated CPU time (s) 339.99
Current children cumulated vsize (Kb) 34228

[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 10939 0 0 0 34970 29 0 0 25 0 1 0 21865607 35184640 7951 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 8590 7951 364 364 0 8226 0
[pid=10366] vsize: 34360
Current children cumulated CPU time (s) 349.99
Current children cumulated vsize (Kb) 34360

[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 11033 0 0 0 35970 29 0 0 25 0 1 0 21865607 35454976 8043 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 8656 8043 364 364 0 8292 0
[pid=10366] vsize: 34624
Current children cumulated CPU time (s) 359.99
Current children cumulated vsize (Kb) 34624

[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 11125 0 0 0 36969 30 0 0 25 0 1 0 21865607 35725312 8134 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 8722 8134 364 364 0 8358 0
[pid=10366] vsize: 34888
Current children cumulated CPU time (s) 369.99
Current children cumulated vsize (Kb) 34888

[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 11216 0 0 0 37969 30 0 0 25 0 1 0 21865607 35995648 8223 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 8788 8223 364 364 0 8424 0
[pid=10366] vsize: 35152
Current children cumulated CPU time (s) 379.99
Current children cumulated vsize (Kb) 35152

[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 11306 0 0 0 38969 30 0 0 25 0 1 0 21865607 36130816 8312 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 8821 8312 364 364 0 8457 0
[pid=10366] vsize: 35284
Current children cumulated CPU time (s) 389.99
Current children cumulated vsize (Kb) 35284

[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 11394 0 0 0 39969 30 0 0 25 0 1 0 21865607 36401152 8398 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 8887 8398 364 364 0 8523 0
[pid=10366] vsize: 35548
Current children cumulated CPU time (s) 399.99
Current children cumulated vsize (Kb) 35548

[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 11481 0 0 0 40969 31 0 0 25 0 1 0 21865607 36671488 8484 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 8953 8484 364 364 0 8589 0
[pid=10366] vsize: 35812
Current children cumulated CPU time (s) 410
Current children cumulated vsize (Kb) 35812

[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 11569 0 0 0 41968 31 0 0 25 0 1 0 21865607 36806656 8571 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 8986 8571 364 364 0 8622 0
[pid=10366] vsize: 35944
Current children cumulated CPU time (s) 419.99
Current children cumulated vsize (Kb) 35944

[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 11653 0 0 0 42968 31 0 0 25 0 1 0 21865607 37076992 8653 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 9052 8653 364 364 0 8688 0
[pid=10366] vsize: 36208
Current children cumulated CPU time (s) 429.99
Current children cumulated vsize (Kb) 36208

[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 11739 0 0 0 43968 32 0 0 25 0 1 0 21865607 37347328 8738 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 9118 8738 364 364 0 8754 0
[pid=10366] vsize: 36472
Current children cumulated CPU time (s) 440
Current children cumulated vsize (Kb) 36472

[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 11821 0 0 0 44968 32 0 0 25 0 1 0 21865607 37482496 8819 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 9151 8819 364 364 0 8787 0
[pid=10366] vsize: 36604
Current children cumulated CPU time (s) 450
Current children cumulated vsize (Kb) 36604

[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 11905 0 0 0 45968 32 0 0 25 0 1 0 21865607 37752832 8901 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 9217 8901 364 364 0 8853 0
[pid=10366] vsize: 36868
Current children cumulated CPU time (s) 460
Current children cumulated vsize (Kb) 36868

[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 16470 0 0 0 46958 42 0 0 25 0 1 0 21865607 55775232 10518 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 13617 10518 364 364 0 13253 0
[pid=10366] vsize: 54468
Current children cumulated CPU time (s) 470
Current children cumulated vsize (Kb) 54468

[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 16499 0 0 0 47958 42 0 0 25 0 1 0 21865607 55775232 10546 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 13617 10546 364 364 0 13253 0
[pid=10366] vsize: 54468
Current children cumulated CPU time (s) 480
Current children cumulated vsize (Kb) 54468

[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 16529 0 0 0 48958 42 0 0 25 0 1 0 21865607 55775232 10574 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 13617 10574 364 364 0 13253 0
[pid=10366] vsize: 54468
Current children cumulated CPU time (s) 490
Current children cumulated vsize (Kb) 54468

[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 16558 0 0 0 49958 42 0 0 25 0 1 0 21865607 55775232 10602 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 13617 10602 364 364 0 13253 0
[pid=10366] vsize: 54468
Current children cumulated CPU time (s) 500
Current children cumulated vsize (Kb) 54468

[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 16588 0 0 0 50958 42 0 0 25 0 1 0 21865607 55775232 10631 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 13617 10631 364 364 0 13253 0
[pid=10366] vsize: 54468
Current children cumulated CPU time (s) 510
Current children cumulated vsize (Kb) 54468

[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 16616 0 0 0 51958 42 0 0 25 0 1 0 21865607 55775232 10658 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 13617 10658 364 364 0 13253 0
[pid=10366] vsize: 54468
Current children cumulated CPU time (s) 520
Current children cumulated vsize (Kb) 54468

[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 16646 0 0 0 52958 42 0 0 25 0 1 0 21865607 55775232 10686 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 13617 10686 364 364 0 13253 0
[pid=10366] vsize: 54468
Current children cumulated CPU time (s) 530
Current children cumulated vsize (Kb) 54468

[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 16696 0 0 0 53958 43 0 0 25 0 1 0 21865607 55910400 10735 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 13650 10735 364 364 0 13286 0
[pid=10366] vsize: 54600
Current children cumulated CPU time (s) 540.01
Current children cumulated vsize (Kb) 54600

[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 16762 0 0 0 54957 43 0 0 25 0 1 0 21865607 56045568 10800 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 13683 10800 364 364 0 13319 0
[pid=10366] vsize: 54732
Current children cumulated CPU time (s) 550
Current children cumulated vsize (Kb) 54732

[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 16828 0 0 0 55957 43 0 0 25 0 1 0 21865607 56180736 10865 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 13716 10865 364 364 0 13352 0
[pid=10366] vsize: 54864
Current children cumulated CPU time (s) 560
Current children cumulated vsize (Kb) 54864

[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 16894 0 0 0 56957 44 0 0 25 0 1 0 21865607 56315904 10929 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 13749 10929 364 364 0 13385 0
[pid=10366] vsize: 54996
Current children cumulated CPU time (s) 570.01
Current children cumulated vsize (Kb) 54996

[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 16959 0 0 0 57957 44 0 0 25 0 1 0 21865607 56451072 10993 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 13782 10993 364 364 0 13418 0
[pid=10366] vsize: 55128
Current children cumulated CPU time (s) 580.01
Current children cumulated vsize (Kb) 55128

[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 17023 0 0 0 58956 44 0 0 25 0 1 0 21865607 56586240 11056 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 13815 11056 364 364 0 13451 0
[pid=10366] vsize: 55260
Current children cumulated CPU time (s) 590
Current children cumulated vsize (Kb) 55260

[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 17086 0 0 0 59956 44 0 0 25 0 1 0 21865607 56721408 11118 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 13848 11118 364 364 0 13484 0
[pid=10366] vsize: 55392
Current children cumulated CPU time (s) 600
Current children cumulated vsize (Kb) 55392

[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 17149 0 0 0 60956 44 0 0 25 0 1 0 21865607 56856576 11180 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 13881 11180 364 364 0 13517 0
[pid=10366] vsize: 55524
Current children cumulated CPU time (s) 610
Current children cumulated vsize (Kb) 55524

[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 17213 0 0 0 61956 45 0 0 25 0 1 0 21865607 56991744 11242 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 13914 11242 364 364 0 13550 0
[pid=10366] vsize: 55656
Current children cumulated CPU time (s) 620.01
Current children cumulated vsize (Kb) 55656

[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 17273 0 0 0 62956 45 0 0 25 0 1 0 21865607 57262080 11301 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 13980 11301 364 364 0 13616 0
[pid=10366] vsize: 55920
Current children cumulated CPU time (s) 630.01
Current children cumulated vsize (Kb) 55920

[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 17335 0 0 0 63956 45 0 0 25 0 1 0 21865607 57397248 11362 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 14013 11362 364 364 0 13649 0
[pid=10366] vsize: 56052
Current children cumulated CPU time (s) 640.01
Current children cumulated vsize (Kb) 56052

[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 17394 0 0 0 64956 45 0 0 25 0 1 0 21865607 57532416 11420 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 14046 11420 364 364 0 13682 0
[pid=10366] vsize: 56184
Current children cumulated CPU time (s) 650.01
Current children cumulated vsize (Kb) 56184

[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 17455 0 0 0 65956 45 0 0 25 0 1 0 21865607 57667584 11480 4294967295 134512640 135987407 3221224560 3221221744 134536157 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 14079 11480 364 364 0 13715 0
[pid=10366] vsize: 56316
Current children cumulated CPU time (s) 660.01
Current children cumulated vsize (Kb) 56316

[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 38880 0 0 0 66908 90 0 0 25 0 1 0 21865607 127938560 24901 4294967295 134512640 135987407 3221224560 3220469292 135486712 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 31235 24901 364 364 0 30871 0
[pid=10366] vsize: 124940
Current children cumulated CPU time (s) 669.98
Current children cumulated vsize (Kb) 124940

[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 64093 0 0 0 67850 147 0 0 25 0 1 0 21865607 205316096 40676 4294967295 134512640 135987407 3221224560 3220236400 135477280 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 50126 40676 364 364 0 49762 0
[pid=10366] vsize: 200504
Current children cumulated CPU time (s) 679.97
Current children cumulated vsize (Kb) 200504

[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 103896 0 0 0 68766 228 0 0 25 0 1 0 21865607 319754240 58261 4294967295 134512640 135987407 3221224560 3220753612 135479970 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 78065 58261 364 364 0 77701 0
[pid=10366] vsize: 312260
Current children cumulated CPU time (s) 689.94
Current children cumulated vsize (Kb) 312260

[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 118111 0 0 0 69734 260 0 0 25 0 1 0 21865607 358715392 72248 4294967295 134512640 135987407 3221224560 3220254496 134866002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 87577 72248 364 364 0 87213 0
[pid=10366] vsize: 350308
Current children cumulated CPU time (s) 699.94
Current children cumulated vsize (Kb) 350308

[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 159947 0 0 0 70645 346 0 0 25 0 1 0 21865607 486117376 94456 4294967295 134512640 135987407 3221224560 3220645776 134636923 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 118681 94456 364 364 0 118317 0
[pid=10366] vsize: 474724
Current children cumulated CPU time (s) 709.91
Current children cumulated vsize (Kb) 474724

[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 197638 0 0 0 71561 429 0 0 25 0 1 0 21865607 590430208 107356 4294967295 134512640 135987407 3221224560 3221221040 134636923 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 144148 107356 364 364 0 143784 0
[pid=10366] vsize: 576592
Current children cumulated CPU time (s) 719.9
Current children cumulated vsize (Kb) 576592

[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 210529 0 0 0 72531 459 0 0 25 0 1 0 21865607 626417664 120029 4294967295 134512640 135987407 3221224560 3220456252 134636971 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 152934 120029 364 364 0 152570 0
[pid=10366] vsize: 611736
Current children cumulated CPU time (s) 729.9
Current children cumulated vsize (Kb) 611736

[startup+740.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 225960 0 0 0 73498 492 0 0 25 0 1 0 21865607 630743040 135206 4294967295 134512640 135987407 3221224560 3220512868 134865147 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 153990 135206 364 364 0 153626 0
[pid=10366] vsize: 615960
Current children cumulated CPU time (s) 739.9
Current children cumulated vsize (Kb) 615960

[startup+750.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) R 10365 10366 4060 0 -1 0 238898 0 0 0 74469 519 0 0 25 0 1 0 21865607 687427584 147945 4294967295 134512640 135987407 3221224560 3220525760 134862192 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10366/statm): 167829 147945 364 364 0 167465 0
[pid=10366] vsize: 671316
Current children cumulated CPU time (s) 749.88
Current children cumulated vsize (Kb) 671316



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+753.873 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 10366
Raw data (/proc/10366/stat): 10366 (pb2sat) T 10365 10366 4060 0 -1 0 245409 0 0 0 74837 535 0 0 25 0 1 0 21865607 979402752 154369 4294967295 134512640 135987407 3221224560 3220311808 135544035 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10366/statm): 239112 154369 364 364 0 238748 0
[pid=10366] vsize: 956448
Current children cumulated CPU time (s) 753.72
Current children cumulated vsize (Kb) 956448

Sending SIGTERM to -10366
Sleeping 2 seconds
Sending SIGKILL to -10366
One traced child (pid=10366) 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): 756.192
CPU time (s): 754.242
CPU user time (s): 748.574
CPU system time (s): 5.66814
CPU usage (%): 99.7422
Max. virtual memory (cumulated for all children) (Kb): 956448

Verifier Data

ERROR: no interpretation found !