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-n3700.opb
MD5SUMbc3b48d8361bf44c5b17a3bc4d19364a
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 29631666774144
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 29631666774144
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 10137

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.055
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        900588 kB
Buffers:         11616 kB
Cached:         104868 kB
SwapCached:          0 kB
Active:          55772 kB
Inactive:        63588 kB
HighTotal:      131008 kB
HighFree:        31192 kB
LowTotal:       903652 kB
LowFree:        869396 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             9044 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 17:17:36 (client local time) WITH STATUS 0 IN 755.277 SECONDS
stats: 8882 7 755.277 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/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21812934 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 373 2 364 364 0 9 0
[pid=8621] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-n3700.opb

[startup+10.0017 s]
Raw data (loadavg): 0.93 0.97 0.92 2/55 8621
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 2569 0 0 0 990 8 0 0 25 0 1 0 21812934 9502720 1882 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 2320 1882 364 364 0 1956 0
[pid=8621] vsize: 9280
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 9280

[startup+20.0024 s]
Raw data (loadavg): 0.94 0.97 0.92 2/55 8621
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 4189 0 0 0 1986 12 0 0 25 0 1 0 21812934 15224832 2754 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 3717 2754 364 364 0 3353 0
[pid=8621] vsize: 14868
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 14868

[startup+30.0031 s]
Raw data (loadavg): 0.95 0.97 0.92 2/55 8621
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 4449 0 0 0 2985 13 0 0 25 0 1 0 21812934 15765504 3009 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 3849 3009 364 364 0 3485 0
[pid=8621] vsize: 15396
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 15396

[startup+40.0037 s]
Raw data (loadavg): 0.95 0.97 0.92 2/55 8621
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 4730 0 0 0 3984 14 0 0 25 0 1 0 21812934 16441344 3285 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 4014 3285 364 364 0 3650 0
[pid=8621] vsize: 16056
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 16056

[startup+50.0034 s]
Raw data (loadavg): 0.96 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 4978 0 0 0 4983 15 0 0 25 0 1 0 21812934 17117184 3529 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 4179 3529 364 364 0 3815 0
[pid=8621] vsize: 16716
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 16716

[startup+60.0041 s]
Raw data (loadavg): 0.97 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 5200 0 0 0 5982 16 0 0 25 0 1 0 21812934 17657856 3747 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 4311 3747 364 364 0 3947 0
[pid=8621] vsize: 17244
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 17244

[startup+70.0038 s]
Raw data (loadavg): 0.97 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 5402 0 0 0 6982 16 0 0 25 0 1 0 21812934 18198528 3946 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 4443 3946 364 364 0 4079 0
[pid=8621] vsize: 17772
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 17772

[startup+80.0045 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 5592 0 0 0 7981 17 0 0 25 0 1 0 21812934 18739200 4133 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 4575 4133 364 364 0 4211 0
[pid=8621] vsize: 18300
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 18300

[startup+90.0042 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 5774 0 0 0 8981 17 0 0 25 0 1 0 21812934 19144704 4312 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 4674 4312 364 364 0 4310 0
[pid=8621] vsize: 18696
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 18696

[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 5946 0 0 0 9980 18 0 0 25 0 1 0 21812934 19685376 4481 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 4806 4481 364 364 0 4442 0
[pid=8621] vsize: 19224
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 19224

[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 8303 0 0 0 10975 23 0 0 25 0 1 0 21812934 28696576 5361 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 7006 5361 364 364 0 6642 0
[pid=8621] vsize: 28024
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 28024

[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 8361 0 0 0 11975 23 0 0 25 0 1 0 21812934 28696576 5416 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 7006 5416 364 364 0 6642 0
[pid=8621] vsize: 28024
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 28024

[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 8483 0 0 0 12974 23 0 0 25 0 1 0 21812934 28966912 5536 4294967295 134512640 135987407 3221224560 3221221712 134663525 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 7072 5536 364 364 0 6708 0
[pid=8621] vsize: 28288
Current children cumulated CPU time (s) 129.97
Current children cumulated vsize (Kb) 28288

[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 8611 0 0 0 13974 24 0 0 25 0 1 0 21812934 29372416 5661 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 7171 5661 364 364 0 6807 0
[pid=8621] vsize: 28684
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 28684

[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 8733 0 0 0 14974 24 0 0 25 0 1 0 21812934 29642752 5781 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 7237 5781 364 364 0 6873 0
[pid=8621] vsize: 28948
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 28948

[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 8853 0 0 0 15973 25 0 0 25 0 1 0 21812934 29913088 5899 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 7303 5899 364 364 0 6939 0
[pid=8621] vsize: 29212
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 29212

[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 8967 0 0 0 16973 25 0 0 25 0 1 0 21812934 30183424 6011 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 7369 6011 364 364 0 7005 0
[pid=8621] vsize: 29476
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 29476

[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 9090 0 0 0 17973 25 0 0 25 0 1 0 21812934 30453760 6132 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 7435 6132 364 364 0 7071 0
[pid=8621] 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.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 9216 0 0 0 18972 25 0 0 25 0 1 0 21812934 30859264 6256 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 7534 6256 364 364 0 7170 0
[pid=8621] vsize: 30136
Current children cumulated CPU time (s) 189.97
Current children cumulated vsize (Kb) 30136

[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 9339 0 0 0 19972 26 0 0 25 0 1 0 21812934 31129600 6377 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 7600 6377 364 364 0 7236 0
[pid=8621] vsize: 30400
Current children cumulated CPU time (s) 199.98
Current children cumulated vsize (Kb) 30400

[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 9458 0 0 0 20972 26 0 0 25 0 1 0 21812934 31399936 6494 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 7666 6494 364 364 0 7302 0
[pid=8621] vsize: 30664
Current children cumulated CPU time (s) 209.98
Current children cumulated vsize (Kb) 30664

[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 9577 0 0 0 21971 26 0 0 25 0 1 0 21812934 31670272 6611 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 7732 6611 364 364 0 7368 0
[pid=8621] vsize: 30928
Current children cumulated CPU time (s) 219.97
Current children cumulated vsize (Kb) 30928

[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 9692 0 0 0 22971 27 0 0 25 0 1 0 21812934 32075776 6724 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 7831 6724 364 364 0 7467 0
[pid=8621] vsize: 31324
Current children cumulated CPU time (s) 229.98
Current children cumulated vsize (Kb) 31324

[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 9805 0 0 0 23971 27 0 0 25 0 1 0 21812934 32346112 6835 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 7897 6835 364 364 0 7533 0
[pid=8621] vsize: 31588
Current children cumulated CPU time (s) 239.98
Current children cumulated vsize (Kb) 31588

[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 9916 0 0 0 24971 27 0 0 25 0 1 0 21812934 32616448 6944 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 7963 6944 364 364 0 7599 0
[pid=8621] vsize: 31852
Current children cumulated CPU time (s) 249.98
Current children cumulated vsize (Kb) 31852

[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 10024 0 0 0 25971 28 0 0 25 0 1 0 21812934 32886784 7051 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 8029 7051 364 364 0 7665 0
[pid=8621] vsize: 32116
Current children cumulated CPU time (s) 259.99
Current children cumulated vsize (Kb) 32116

[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 10132 0 0 0 26970 28 0 0 25 0 1 0 21812934 33157120 7157 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 8095 7157 364 364 0 7731 0
[pid=8621] vsize: 32380
Current children cumulated CPU time (s) 269.98
Current children cumulated vsize (Kb) 32380

[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 10237 0 0 0 27970 28 0 0 25 0 1 0 21812934 33427456 7260 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 8161 7260 364 364 0 7797 0
[pid=8621] vsize: 32644
Current children cumulated CPU time (s) 279.98
Current children cumulated vsize (Kb) 32644

[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 10340 0 0 0 28969 29 0 0 25 0 1 0 21812934 33697792 7362 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 8227 7362 364 364 0 7863 0
[pid=8621] vsize: 32908
Current children cumulated CPU time (s) 289.98
Current children cumulated vsize (Kb) 32908

[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 10442 0 0 0 29969 30 0 0 25 0 1 0 21812934 33968128 7462 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 8293 7462 364 364 0 7929 0
[pid=8621] vsize: 33172
Current children cumulated CPU time (s) 299.99
Current children cumulated vsize (Kb) 33172

[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 10543 0 0 0 30969 30 0 0 25 0 1 0 21812934 34238464 7561 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 8359 7561 364 364 0 7995 0
[pid=8621] vsize: 33436
Current children cumulated CPU time (s) 309.99
Current children cumulated vsize (Kb) 33436

[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 10641 0 0 0 31969 30 0 0 25 0 1 0 21812934 34508800 7658 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 8425 7658 364 364 0 8061 0
[pid=8621] vsize: 33700
Current children cumulated CPU time (s) 319.99
Current children cumulated vsize (Kb) 33700

[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 10737 0 0 0 32969 30 0 0 25 0 1 0 21812934 34643968 7752 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 8458 7752 364 364 0 8094 0
[pid=8621] vsize: 33832
Current children cumulated CPU time (s) 329.99
Current children cumulated vsize (Kb) 33832

[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 10834 0 0 0 33969 30 0 0 25 0 1 0 21812934 34914304 7848 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 8524 7848 364 364 0 8160 0
[pid=8621] vsize: 34096
Current children cumulated CPU time (s) 339.99
Current children cumulated vsize (Kb) 34096

[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 10929 0 0 0 34968 31 0 0 25 0 1 0 21812934 35184640 7941 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 8590 7941 364 364 0 8226 0
[pid=8621] vsize: 34360
Current children cumulated CPU time (s) 349.99
Current children cumulated vsize (Kb) 34360

[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 11023 0 0 0 35969 31 0 0 25 0 1 0 21812934 35454976 8033 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 8656 8033 364 364 0 8292 0
[pid=8621] vsize: 34624
Current children cumulated CPU time (s) 360
Current children cumulated vsize (Kb) 34624

[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 11116 0 0 0 36968 31 0 0 25 0 1 0 21812934 35725312 8125 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 8722 8125 364 364 0 8358 0
[pid=8621] vsize: 34888
Current children cumulated CPU time (s) 369.99
Current children cumulated vsize (Kb) 34888

[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 11204 0 0 0 37968 32 0 0 25 0 1 0 21812934 35860480 8212 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 8755 8212 364 364 0 8391 0
[pid=8621] vsize: 35020
Current children cumulated CPU time (s) 380
Current children cumulated vsize (Kb) 35020

[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 11294 0 0 0 38967 32 0 0 25 0 1 0 21812934 36130816 8300 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 8821 8300 364 364 0 8457 0
[pid=8621] vsize: 35284
Current children cumulated CPU time (s) 389.99
Current children cumulated vsize (Kb) 35284

[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 11383 0 0 0 39966 33 0 0 25 0 1 0 21812934 36401152 8388 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 8887 8388 364 364 0 8523 0
[pid=8621] vsize: 35548
Current children cumulated CPU time (s) 399.99
Current children cumulated vsize (Kb) 35548

[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 11471 0 0 0 40966 33 0 0 25 0 1 0 21812934 36536320 8474 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 8920 8474 364 364 0 8556 0
[pid=8621] vsize: 35680
Current children cumulated CPU time (s) 409.99
Current children cumulated vsize (Kb) 35680

[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 11559 0 0 0 41966 33 0 0 25 0 1 0 21812934 36806656 8561 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 8986 8561 364 364 0 8622 0
[pid=8621] vsize: 35944
Current children cumulated CPU time (s) 419.99
Current children cumulated vsize (Kb) 35944

[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 11644 0 0 0 42966 34 0 0 25 0 1 0 21812934 37076992 8644 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 9052 8644 364 364 0 8688 0
[pid=8621] vsize: 36208
Current children cumulated CPU time (s) 430
Current children cumulated vsize (Kb) 36208

[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 11728 0 0 0 43966 34 0 0 25 0 1 0 21812934 37212160 8727 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 9085 8727 364 364 0 8721 0
[pid=8621] vsize: 36340
Current children cumulated CPU time (s) 440
Current children cumulated vsize (Kb) 36340

[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 11813 0 0 0 44965 34 0 0 25 0 1 0 21812934 37482496 8811 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 9151 8811 364 364 0 8787 0
[pid=8621] vsize: 36604
Current children cumulated CPU time (s) 449.99
Current children cumulated vsize (Kb) 36604

[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 11896 0 0 0 45965 35 0 0 25 0 1 0 21812934 37752832 8892 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 9217 8892 364 364 0 8853 0
[pid=8621] vsize: 36868
Current children cumulated CPU time (s) 460
Current children cumulated vsize (Kb) 36868

[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 11977 0 0 0 46965 35 0 0 25 0 1 0 21812934 37888000 8972 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 9250 8972 364 364 0 8886 0
[pid=8621] vsize: 37000
Current children cumulated CPU time (s) 470
Current children cumulated vsize (Kb) 37000

[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 16495 0 0 0 47956 44 0 0 25 0 1 0 21812934 55775232 10542 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 13617 10542 364 364 0 13253 0
[pid=8621] vsize: 54468
Current children cumulated CPU time (s) 480
Current children cumulated vsize (Kb) 54468

[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 16525 0 0 0 48956 44 0 0 25 0 1 0 21812934 55775232 10571 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 13617 10571 364 364 0 13253 0
[pid=8621] vsize: 54468
Current children cumulated CPU time (s) 490
Current children cumulated vsize (Kb) 54468

[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 16555 0 0 0 49955 45 0 0 25 0 1 0 21812934 55775232 10599 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 13617 10599 364 364 0 13253 0
[pid=8621] vsize: 54468
Current children cumulated CPU time (s) 500
Current children cumulated vsize (Kb) 54468

[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 16585 0 0 0 50955 45 0 0 25 0 1 0 21812934 55775232 10628 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 13617 10628 364 364 0 13253 0
[pid=8621] vsize: 54468
Current children cumulated CPU time (s) 510
Current children cumulated vsize (Kb) 54468

[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 16614 0 0 0 51955 45 0 0 25 0 1 0 21812934 55775232 10656 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 13617 10656 364 364 0 13253 0
[pid=8621] vsize: 54468
Current children cumulated CPU time (s) 520
Current children cumulated vsize (Kb) 54468

[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 16643 0 0 0 52955 45 0 0 25 0 1 0 21812934 55775232 10683 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 13617 10683 364 364 0 13253 0
[pid=8621] 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.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 16689 0 0 0 53955 45 0 0 25 0 1 0 21812934 55775232 10728 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 13617 10728 364 364 0 13253 0
[pid=8621] vsize: 54468
Current children cumulated CPU time (s) 540
Current children cumulated vsize (Kb) 54468

[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 16756 0 0 0 54955 46 0 0 25 0 1 0 21812934 56045568 10794 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 13683 10794 364 364 0 13319 0
[pid=8621] vsize: 54732
Current children cumulated CPU time (s) 550.01
Current children cumulated vsize (Kb) 54732

[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 16822 0 0 0 55955 46 0 0 25 0 1 0 21812934 56180736 10859 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 13716 10859 364 364 0 13352 0
[pid=8621] vsize: 54864
Current children cumulated CPU time (s) 560.01
Current children cumulated vsize (Kb) 54864

[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 16886 0 0 0 56954 46 0 0 25 0 1 0 21812934 56315904 10922 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 13749 10922 364 364 0 13385 0
[pid=8621] vsize: 54996
Current children cumulated CPU time (s) 570
Current children cumulated vsize (Kb) 54996

[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 16952 0 0 0 57954 47 0 0 25 0 1 0 21812934 56451072 10986 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 13782 10986 364 364 0 13418 0
[pid=8621] vsize: 55128
Current children cumulated CPU time (s) 580.01
Current children cumulated vsize (Kb) 55128

[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 17015 0 0 0 58954 47 0 0 25 0 1 0 21812934 56586240 11048 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 13815 11048 364 364 0 13451 0
[pid=8621] vsize: 55260
Current children cumulated CPU time (s) 590.01
Current children cumulated vsize (Kb) 55260

[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 17079 0 0 0 59954 47 0 0 25 0 1 0 21812934 56721408 11111 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 13848 11111 364 364 0 13484 0
[pid=8621] vsize: 55392
Current children cumulated CPU time (s) 600.01
Current children cumulated vsize (Kb) 55392

[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 17142 0 0 0 60954 47 0 0 25 0 1 0 21812934 56856576 11173 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 13881 11173 364 364 0 13517 0
[pid=8621] vsize: 55524
Current children cumulated CPU time (s) 610.01
Current children cumulated vsize (Kb) 55524

[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 17204 0 0 0 61954 47 0 0 25 0 1 0 21812934 56991744 11234 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 13914 11234 364 364 0 13550 0
[pid=8621] vsize: 55656
Current children cumulated CPU time (s) 620.01
Current children cumulated vsize (Kb) 55656

[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 17267 0 0 0 62953 48 0 0 25 0 1 0 21812934 57126912 11295 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 13947 11295 364 364 0 13583 0
[pid=8621] 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.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 17326 0 0 0 63953 48 0 0 25 0 1 0 21812934 57262080 11353 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 13980 11353 364 364 0 13616 0
[pid=8621] vsize: 55920
Current children cumulated CPU time (s) 640.01
Current children cumulated vsize (Kb) 55920

[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 17388 0 0 0 64953 49 0 0 25 0 1 0 21812934 57532416 11414 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 14046 11414 364 364 0 13682 0
[pid=8621] vsize: 56184
Current children cumulated CPU time (s) 650.02
Current children cumulated vsize (Kb) 56184

[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 17447 0 0 0 65953 49 0 0 25 0 1 0 21812934 57667584 11472 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 14079 11472 364 364 0 13715 0
[pid=8621] vsize: 56316
Current children cumulated CPU time (s) 660.02
Current children cumulated vsize (Kb) 56316

[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 31209 0 0 0 66922 79 0 0 25 0 1 0 21812934 100548608 22109 4294967295 134512640 135987407 3221224560 3220427344 134635350 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 24548 22109 364 364 0 24184 0
[pid=8621] vsize: 98192
Current children cumulated CPU time (s) 670.01
Current children cumulated vsize (Kb) 98192

[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 62500 0 0 0 67857 142 0 0 25 0 1 0 21812934 204775424 39110 4294967295 134512640 135987407 3221224560 3220539208 134930951 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 49994 39110 364 364 0 49630 0
[pid=8621] vsize: 199976
Current children cumulated CPU time (s) 679.99
Current children cumulated vsize (Kb) 199976

[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 90365 0 0 0 68799 198 0 0 25 0 1 0 21812934 267259904 57031 4294967295 134512640 135987407 3221224560 3220572752 134878366 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 65249 57031 364 364 0 64885 0
[pid=8621] vsize: 260996
Current children cumulated CPU time (s) 689.97
Current children cumulated vsize (Kb) 260996

[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 116427 0 0 0 69742 255 0 0 25 0 1 0 21812934 356282368 70585 4294967295 134512640 135987407 3221224560 3220634216 134856650 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 86983 70585 364 364 0 86619 0
[pid=8621] vsize: 347932
Current children cumulated CPU time (s) 699.97
Current children cumulated vsize (Kb) 347932

[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 157673 0 0 0 70653 339 0 0 25 0 1 0 21812934 483819520 92212 4294967295 134512640 135987407 3221224560 3220543472 134856581 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 118120 92212 364 364 0 117756 0
[pid=8621] vsize: 472480
Current children cumulated CPU time (s) 709.92
Current children cumulated vsize (Kb) 472480

[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 195761 0 0 0 71571 421 0 0 25 0 1 0 21812934 588673024 105504 4294967295 134512640 135987407 3221224560 3221221204 134562648 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 143719 105504 364 364 0 143355 0
[pid=8621] vsize: 574876
Current children cumulated CPU time (s) 719.92
Current children cumulated vsize (Kb) 574876

[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 208682 0 0 0 72543 449 0 0 25 0 1 0 21812934 625336320 118210 4294967295 134512640 135987407 3221224560 3220330864 134878087 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 152670 118210 364 364 0 152306 0
[pid=8621] vsize: 610680
Current children cumulated CPU time (s) 729.92
Current children cumulated vsize (Kb) 610680

[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 223877 0 0 0 73512 480 0 0 25 0 1 0 21812934 628715520 133152 4294967295 134512640 135987407 3221224560 3220465312 134537552 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 153495 133152 364 364 0 153131 0
[pid=8621] vsize: 613980
Current children cumulated CPU time (s) 739.92
Current children cumulated vsize (Kb) 613980

[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) R 8620 8621 4005 0 -1 0 236786 0 0 0 74487 505 0 0 25 0 1 0 21812934 684994560 145859 4294967295 134512640 135987407 3221224560 3220505680 134559311 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8621/statm): 167235 145859 364 364 0 166871 0
[pid=8621] vsize: 668940
Current children cumulated CPU time (s) 749.92
Current children cumulated vsize (Kb) 668940



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+754.871 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 8623
Raw data (/proc/8621/stat): 8621 (pb2sat) T 8620 8621 4005 0 -1 0 245219 0 0 0 74951 524 0 0 25 0 1 0 21812934 978591744 154179 4294967295 134512640 135987407 3221224560 3220385056 135544035 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8621/statm): 238914 154179 364 364 0 238550 0
[pid=8621] vsize: 955656
Current children cumulated CPU time (s) 754.75
Current children cumulated vsize (Kb) 955656

Sending SIGTERM to -8621
Sleeping 2 seconds
Sending SIGKILL to -8621
One traced child (pid=8621) 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): 757.19
CPU time (s): 755.277
CPU user time (s): 749.719
CPU system time (s): 5.55815
CPU usage (%): 99.7474
Max. virtual memory (cumulated for all children) (Kb): 955656

Verifier Data

ERROR: no interpretation found !