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-n370d.opb
MD5SUMc845e5aae635eb663462a0603eb54605
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 29652813254765
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 29652813254765
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 10159

Launcher Data

LAUNCH ON wulflinc7 THE 2005-09-23 17:09:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8894 boxname=wulflinc7 idbench=690 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c845e5aae635eb663462a0603eb54605  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-n370d.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-n370d.opb
IDLAUNCH: 8894
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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:        908524 kB
Buffers:         12724 kB
Cached:          95940 kB
SwapCached:          0 kB
Active:          57236 kB
Inactive:        54364 kB
HighTotal:      131008 kB
HighFree:        34776 kB
LowTotal:       903652 kB
LowFree:        873748 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             8980 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:22:10 (client local time) WITH STATUS 0 IN 755.852 SECONDS
stats: 8894 7 755.852 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/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21890192 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 373 2 364 364 0 9 0
[pid=10473] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-n370d.opb

[startup+10.0017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 2545 0 0 0 992 6 0 0 25 0 1 0 21890192 9502720 1858 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 2320 1858 364 364 0 1956 0
[pid=10473] vsize: 9280
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 9280

[startup+20.0023 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 4177 0 0 0 1989 9 0 0 25 0 1 0 21890192 15224832 2743 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 3717 2743 364 364 0 3353 0
[pid=10473] vsize: 14868
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 14868

[startup+30.0029 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 4428 0 0 0 2988 9 0 0 25 0 1 0 21890192 15765504 2988 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 3849 2988 364 364 0 3485 0
[pid=10473] vsize: 15396
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 15396

[startup+40.0036 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 4704 0 0 0 3988 10 0 0 25 0 1 0 21890192 16441344 3259 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 4014 3259 364 364 0 3650 0
[pid=10473] vsize: 16056
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 16056

[startup+50.0042 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 4957 0 0 0 4987 11 0 0 25 0 1 0 21890192 17117184 3508 4294967295 134512640 135987407 3221224560 3221221600 134931334 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 4179 3508 364 364 0 3815 0
[pid=10473] vsize: 16716
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 16716

[startup+60.0048 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 5184 0 0 0 5986 11 0 0 25 0 1 0 21890192 17657856 3732 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 4311 3732 364 364 0 3947 0
[pid=10473] vsize: 17244
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 17244

[startup+70.0045 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 5392 0 0 0 6986 12 0 0 25 0 1 0 21890192 18198528 3936 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 4443 3936 364 364 0 4079 0
[pid=10473] vsize: 17772
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 17772

[startup+80.0051 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 5587 0 0 0 7985 12 0 0 25 0 1 0 21890192 18739200 4128 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 4575 4128 364 364 0 4211 0
[pid=10473] vsize: 18300
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 18300

[startup+90.0057 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 5772 0 0 0 8985 13 0 0 25 0 1 0 21890192 19144704 4310 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 4674 4310 364 364 0 4310 0
[pid=10473] vsize: 18696
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 18696

[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 5946 0 0 0 9984 13 0 0 25 0 1 0 21890192 19685376 4481 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 4806 4481 364 364 0 4442 0
[pid=10473] vsize: 19224
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 19224

[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 8303 0 0 0 10978 19 0 0 25 0 1 0 21890192 28696576 5361 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 7006 5361 364 364 0 6642 0
[pid=10473] vsize: 28024
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 28024

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 8361 0 0 0 11978 19 0 0 25 0 1 0 21890192 28696576 5416 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 7006 5416 364 364 0 6642 0
[pid=10473] vsize: 28024
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 28024

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 8480 0 0 0 12978 20 0 0 25 0 1 0 21890192 28966912 5533 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 7072 5533 364 364 0 6708 0
[pid=10473] vsize: 28288
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 28288

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 8608 0 0 0 13978 20 0 0 25 0 1 0 21890192 29372416 5658 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 7171 5658 364 364 0 6807 0
[pid=10473] vsize: 28684
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 28684

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 8730 0 0 0 14977 20 0 0 25 0 1 0 21890192 29642752 5778 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 7237 5778 364 364 0 6873 0
[pid=10473] vsize: 28948
Current children cumulated CPU time (s) 149.97
Current children cumulated vsize (Kb) 28948

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 8851 0 0 0 15977 21 0 0 25 0 1 0 21890192 29913088 5897 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 7303 5897 364 364 0 6939 0
[pid=10473] 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.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 8965 0 0 0 16977 21 0 0 25 0 1 0 21890192 30183424 6009 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 7369 6009 364 364 0 7005 0
[pid=10473] vsize: 29476
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 29476

[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 9090 0 0 0 17976 22 0 0 25 0 1 0 21890192 30453760 6132 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 7435 6132 364 364 0 7071 0
[pid=10473] vsize: 29740
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (Kb) 29740

[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 9215 0 0 0 18976 22 0 0 25 0 1 0 21890192 30724096 6255 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 7501 6255 364 364 0 7137 0
[pid=10473] vsize: 30004
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 30004

[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 9338 0 0 0 19975 23 0 0 25 0 1 0 21890192 31129600 6376 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 7600 6376 364 364 0 7236 0
[pid=10473] vsize: 30400
Current children cumulated CPU time (s) 199.98
Current children cumulated vsize (Kb) 30400

[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 9458 0 0 0 20975 23 0 0 25 0 1 0 21890192 31399936 6494 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 7666 6494 364 364 0 7302 0
[pid=10473] vsize: 30664
Current children cumulated CPU time (s) 209.98
Current children cumulated vsize (Kb) 30664

[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 9577 0 0 0 21975 23 0 0 25 0 1 0 21890192 31670272 6611 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 7732 6611 364 364 0 7368 0
[pid=10473] vsize: 30928
Current children cumulated CPU time (s) 219.98
Current children cumulated vsize (Kb) 30928

[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 9692 0 0 0 22974 24 0 0 25 0 1 0 21890192 32075776 6724 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 7831 6724 364 364 0 7467 0
[pid=10473] vsize: 31324
Current children cumulated CPU time (s) 229.98
Current children cumulated vsize (Kb) 31324

[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 9804 0 0 0 23974 25 0 0 25 0 1 0 21890192 32346112 6834 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 7897 6834 364 364 0 7533 0
[pid=10473] vsize: 31588
Current children cumulated CPU time (s) 239.99
Current children cumulated vsize (Kb) 31588

[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 9916 0 0 0 24974 25 0 0 25 0 1 0 21890192 32616448 6944 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 7963 6944 364 364 0 7599 0
[pid=10473] vsize: 31852
Current children cumulated CPU time (s) 249.99
Current children cumulated vsize (Kb) 31852

[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 10024 0 0 0 25973 25 0 0 25 0 1 0 21890192 32886784 7051 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 8029 7051 364 364 0 7665 0
[pid=10473] vsize: 32116
Current children cumulated CPU time (s) 259.98
Current children cumulated vsize (Kb) 32116

[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 10130 0 0 0 26973 26 0 0 25 0 1 0 21890192 33157120 7155 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 8095 7155 364 364 0 7731 0
[pid=10473] vsize: 32380
Current children cumulated CPU time (s) 269.99
Current children cumulated vsize (Kb) 32380

[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 10237 0 0 0 27973 26 0 0 25 0 1 0 21890192 33427456 7260 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 8161 7260 364 364 0 7797 0
[pid=10473] vsize: 32644
Current children cumulated CPU time (s) 279.99
Current children cumulated vsize (Kb) 32644

[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 10340 0 0 0 28972 26 0 0 25 0 1 0 21890192 33697792 7362 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 8227 7362 364 364 0 7863 0
[pid=10473] vsize: 32908
Current children cumulated CPU time (s) 289.98
Current children cumulated vsize (Kb) 32908

[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 10441 0 0 0 29972 27 0 0 25 0 1 0 21890192 33968128 7461 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 8293 7461 364 364 0 7929 0
[pid=10473] vsize: 33172
Current children cumulated CPU time (s) 299.99
Current children cumulated vsize (Kb) 33172

[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 10543 0 0 0 30972 27 0 0 25 0 1 0 21890192 34238464 7561 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 8359 7561 364 364 0 7995 0
[pid=10473] 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.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 10641 0 0 0 31971 27 0 0 25 0 1 0 21890192 34508800 7658 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 8425 7658 364 364 0 8061 0
[pid=10473] vsize: 33700
Current children cumulated CPU time (s) 319.98
Current children cumulated vsize (Kb) 33700

[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 10737 0 0 0 32971 28 0 0 25 0 1 0 21890192 34643968 7752 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 8458 7752 364 364 0 8094 0
[pid=10473] vsize: 33832
Current children cumulated CPU time (s) 329.99
Current children cumulated vsize (Kb) 33832

[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 10833 0 0 0 33970 29 0 0 25 0 1 0 21890192 34914304 7847 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 8524 7847 364 364 0 8160 0
[pid=10473] vsize: 34096
Current children cumulated CPU time (s) 339.99
Current children cumulated vsize (Kb) 34096

[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 10929 0 0 0 34970 29 0 0 25 0 1 0 21890192 35184640 7941 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 8590 7941 364 364 0 8226 0
[pid=10473] vsize: 34360
Current children cumulated CPU time (s) 349.99
Current children cumulated vsize (Kb) 34360

[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 11023 0 0 0 35970 29 0 0 25 0 1 0 21890192 35454976 8033 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 8656 8033 364 364 0 8292 0
[pid=10473] 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.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 11115 0 0 0 36970 29 0 0 25 0 1 0 21890192 35725312 8124 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 8722 8124 364 364 0 8358 0
[pid=10473] 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.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 11204 0 0 0 37969 30 0 0 25 0 1 0 21890192 35860480 8212 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 8755 8212 364 364 0 8391 0
[pid=10473] vsize: 35020
Current children cumulated CPU time (s) 379.99
Current children cumulated vsize (Kb) 35020

[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 11294 0 0 0 38969 30 0 0 25 0 1 0 21890192 36130816 8300 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 8821 8300 364 364 0 8457 0
[pid=10473] vsize: 35284
Current children cumulated CPU time (s) 389.99
Current children cumulated vsize (Kb) 35284

[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 11383 0 0 0 39969 30 0 0 25 0 1 0 21890192 36401152 8388 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 8887 8388 364 364 0 8523 0
[pid=10473] vsize: 35548
Current children cumulated CPU time (s) 399.99
Current children cumulated vsize (Kb) 35548

[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 11471 0 0 0 40969 31 0 0 25 0 1 0 21890192 36536320 8474 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10473/statm): 8920 8474 364 364 0 8556 0
[pid=10473] vsize: 35680
Current children cumulated CPU time (s) 410
Current children cumulated vsize (Kb) 35680

[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 11556 0 0 0 41969 31 0 0 25 0 1 0 21890192 36806656 8558 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10473/statm): 8986 8558 364 364 0 8622 0
[pid=10473] vsize: 35944
Current children cumulated CPU time (s) 420
Current children cumulated vsize (Kb) 35944

[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 11642 0 0 0 42968 31 0 0 25 0 1 0 21890192 37076992 8642 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10473/statm): 9052 8642 364 364 0 8688 0
[pid=10473] vsize: 36208
Current children cumulated CPU time (s) 429.99
Current children cumulated vsize (Kb) 36208

[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 11725 0 0 0 43968 32 0 0 25 0 1 0 21890192 37212160 8724 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10473/statm): 9085 8724 364 364 0 8721 0
[pid=10473] vsize: 36340
Current children cumulated CPU time (s) 440
Current children cumulated vsize (Kb) 36340

[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 11809 0 0 0 44968 32 0 0 25 0 1 0 21890192 37482496 8807 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10473/statm): 9151 8807 364 364 0 8787 0
[pid=10473] vsize: 36604
Current children cumulated CPU time (s) 450
Current children cumulated vsize (Kb) 36604

[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 11890 0 0 0 45968 32 0 0 25 0 1 0 21890192 37617664 8886 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 9184 8886 364 364 0 8820 0
[pid=10473] vsize: 36736
Current children cumulated CPU time (s) 460
Current children cumulated vsize (Kb) 36736

[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 11973 0 0 0 46968 32 0 0 25 0 1 0 21890192 37888000 8968 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 9250 8968 364 364 0 8886 0
[pid=10473] vsize: 37000
Current children cumulated CPU time (s) 470
Current children cumulated vsize (Kb) 37000

[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 16494 0 0 0 47959 41 0 0 25 0 1 0 21890192 55775232 10541 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 13617 10541 364 364 0 13253 0
[pid=10473] vsize: 54468
Current children cumulated CPU time (s) 480
Current children cumulated vsize (Kb) 54468

[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 16523 0 0 0 48959 41 0 0 25 0 1 0 21890192 55775232 10569 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 13617 10569 364 364 0 13253 0
[pid=10473] vsize: 54468
Current children cumulated CPU time (s) 490
Current children cumulated vsize (Kb) 54468

[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 16553 0 0 0 49959 41 0 0 25 0 1 0 21890192 55775232 10597 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 13617 10597 364 364 0 13253 0
[pid=10473] vsize: 54468
Current children cumulated CPU time (s) 500
Current children cumulated vsize (Kb) 54468

[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 16584 0 0 0 50959 42 0 0 25 0 1 0 21890192 55775232 10627 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 13617 10627 364 364 0 13253 0
[pid=10473] vsize: 54468
Current children cumulated CPU time (s) 510.01
Current children cumulated vsize (Kb) 54468

[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 16612 0 0 0 51959 42 0 0 25 0 1 0 21890192 55775232 10654 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 13617 10654 364 364 0 13253 0
[pid=10473] vsize: 54468
Current children cumulated CPU time (s) 520.01
Current children cumulated vsize (Kb) 54468

[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 16640 0 0 0 52959 42 0 0 25 0 1 0 21890192 55775232 10681 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 13617 10681 364 364 0 13253 0
[pid=10473] vsize: 54468
Current children cumulated CPU time (s) 530.01
Current children cumulated vsize (Kb) 54468

[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 16686 0 0 0 53958 42 0 0 25 0 1 0 21890192 55775232 10725 4294967295 134512640 135987407 3221224560 3221221792 134534646 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 13617 10725 364 364 0 13253 0
[pid=10473] vsize: 54468
Current children cumulated CPU time (s) 540
Current children cumulated vsize (Kb) 54468

[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 16750 0 0 0 54958 42 0 0 25 0 1 0 21890192 55910400 10788 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 13650 10788 364 364 0 13286 0
[pid=10473] vsize: 54600
Current children cumulated CPU time (s) 550
Current children cumulated vsize (Kb) 54600

[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 16817 0 0 0 55958 42 0 0 25 0 1 0 21890192 56180736 10854 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 13716 10854 364 364 0 13352 0
[pid=10473] vsize: 54864
Current children cumulated CPU time (s) 560
Current children cumulated vsize (Kb) 54864

[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 16882 0 0 0 56958 43 0 0 25 0 1 0 21890192 56315904 10918 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 13749 10918 364 364 0 13385 0
[pid=10473] vsize: 54996
Current children cumulated CPU time (s) 570.01
Current children cumulated vsize (Kb) 54996

[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 16946 0 0 0 57958 43 0 0 25 0 1 0 21890192 56451072 10980 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 13782 10980 364 364 0 13418 0
[pid=10473] vsize: 55128
Current children cumulated CPU time (s) 580.01
Current children cumulated vsize (Kb) 55128

[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 17011 0 0 0 58957 44 0 0 25 0 1 0 21890192 56586240 11044 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 13815 11044 364 364 0 13451 0
[pid=10473] vsize: 55260
Current children cumulated CPU time (s) 590.01
Current children cumulated vsize (Kb) 55260

[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 17075 0 0 0 59957 44 0 0 25 0 1 0 21890192 56721408 11107 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 13848 11107 364 364 0 13484 0
[pid=10473] vsize: 55392
Current children cumulated CPU time (s) 600.01
Current children cumulated vsize (Kb) 55392

[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 17138 0 0 0 60957 44 0 0 25 0 1 0 21890192 56856576 11169 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 13881 11169 364 364 0 13517 0
[pid=10473] vsize: 55524
Current children cumulated CPU time (s) 610.01
Current children cumulated vsize (Kb) 55524

[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 17200 0 0 0 61957 44 0 0 25 0 1 0 21890192 56991744 11230 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 13914 11230 364 364 0 13550 0
[pid=10473] vsize: 55656
Current children cumulated CPU time (s) 620.01
Current children cumulated vsize (Kb) 55656

[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 17261 0 0 0 62957 44 0 0 25 0 1 0 21890192 57126912 11290 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 13947 11290 364 364 0 13583 0
[pid=10473] vsize: 55788
Current children cumulated CPU time (s) 630.01
Current children cumulated vsize (Kb) 55788

[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 17323 0 0 0 63957 44 0 0 25 0 1 0 21890192 57262080 11350 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 13980 11350 364 364 0 13616 0
[pid=10473] 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.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 17385 0 0 0 64956 45 0 0 25 0 1 0 21890192 57397248 11411 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 14013 11411 364 364 0 13649 0
[pid=10473] vsize: 56052
Current children cumulated CPU time (s) 650.01
Current children cumulated vsize (Kb) 56052

[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 17444 0 0 0 65956 45 0 0 25 0 1 0 21890192 57532416 11469 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 14046 11469 364 364 0 13682 0
[pid=10473] vsize: 56184
Current children cumulated CPU time (s) 660.01
Current children cumulated vsize (Kb) 56184

[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 29577 0 0 0 66928 72 0 0 25 0 1 0 21890192 97845248 20494 4294967295 134512640 135987407 3221224560 3220396688 134878389 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 23888 20494 364 364 0 23524 0
[pid=10473] vsize: 95552
Current children cumulated CPU time (s) 670
Current children cumulated vsize (Kb) 95552

[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 61879 0 0 0 67856 142 0 0 25 0 1 0 21890192 187187200 38497 4294967295 134512640 135987407 3221224560 3220541596 134637002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 45700 38497 364 364 0 45336 0
[pid=10473] vsize: 182800
Current children cumulated CPU time (s) 679.98
Current children cumulated vsize (Kb) 182800

[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 89217 0 0 0 68799 196 0 0 25 0 1 0 21890192 266719232 55901 4294967295 134512640 135987407 3221224560 3220501200 134862195 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 65117 55901 364 364 0 64753 0
[pid=10473] vsize: 260468
Current children cumulated CPU time (s) 689.95
Current children cumulated vsize (Kb) 260468

[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 115325 0 0 0 69736 259 0 0 25 0 1 0 21890192 356147200 69502 4294967295 134512640 135987407 3221224560 3220544316 134669200 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 86950 69502 364 364 0 86586 0
[pid=10473] vsize: 347800
Current children cumulated CPU time (s) 699.95
Current children cumulated vsize (Kb) 347800

[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 156679 0 0 0 70645 345 0 0 25 0 1 0 21890192 484495360 91238 4294967295 134512640 135987407 3221224560 3220440464 134537491 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 118285 91238 364 364 0 117921 0
[pid=10473] vsize: 473140
Current children cumulated CPU time (s) 709.9
Current children cumulated vsize (Kb) 473140

[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 194291 0 0 0 71561 428 0 0 25 0 1 0 21890192 588537856 104058 4294967295 134512640 135987407 3221224560 3220275984 134876504 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 143686 104058 364 364 0 143322 0
[pid=10473] vsize: 574744
Current children cumulated CPU time (s) 719.89
Current children cumulated vsize (Kb) 574744

[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 207753 0 0 0 72532 457 0 0 25 0 1 0 21890192 625471488 117298 4294967295 134512640 135987407 3221224560 3220391760 134802871 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 152703 117298 364 364 0 152339 0
[pid=10473] vsize: 610812
Current children cumulated CPU time (s) 729.89
Current children cumulated vsize (Kb) 610812

[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 223518 0 0 0 73497 492 0 0 25 0 1 0 21890192 630743040 132808 4294967295 134512640 135987407 3221224560 3220622912 134537352 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 153990 132808 364 364 0 153626 0
[pid=10473] vsize: 615960
Current children cumulated CPU time (s) 739.89
Current children cumulated vsize (Kb) 615960

[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) R 10472 10473 4059 0 -1 0 236250 0 0 0 74469 519 0 0 25 0 1 0 21890192 685940736 145337 4294967295 134512640 135987407 3221224560 3220669640 134537543 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10473/statm): 167466 145337 364 364 0 167102 0
[pid=10473] vsize: 669864
Current children cumulated CPU time (s) 749.88
Current children cumulated vsize (Kb) 669864



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+755.477 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10473
Raw data (/proc/10473/stat): 10473 (pb2sat) T 10472 10473 4059 0 -1 0 245186 0 0 0 74994 538 0 0 25 0 1 0 21890192 978456576 154146 4294967295 134512640 135987407 3221224560 3220470064 135544035 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10473/statm): 238881 154146 364 364 0 238517 0
[pid=10473] vsize: 955524
Current children cumulated CPU time (s) 755.32
Current children cumulated vsize (Kb) 955524

Sending SIGTERM to -10473
Sleeping 2 seconds
Sending SIGKILL to -10473
One traced child (pid=10473) 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.796
CPU time (s): 755.852
CPU user time (s): 750.157
CPU system time (s): 5.69513
CPU usage (%): 99.7435
Max. virtual memory (cumulated for all children) (Kb): 955524

Verifier Data

ERROR: no interpretation found !