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-n370b.opb
MD5SUM8298f3392c738b735ea9c7e42f541654
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 29694485111877
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 29694485111877
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 10152

Launcher Data

LAUNCH ON wulflinc23 THE 2005-09-23 17:08:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8892 boxname=wulflinc23 idbench=688 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8298f3392c738b735ea9c7e42f541654  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-n370b.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-n370b.opb
IDLAUNCH: 8892
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.185
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.185
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:        895512 kB
Buffers:         14752 kB
Cached:         105540 kB
SwapCached:          0 kB
Active:          70984 kB
Inactive:        52228 kB
HighTotal:      131008 kB
HighFree:        25284 kB
LowTotal:       903652 kB
LowFree:        870228 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10320 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:20:48 (client local time) WITH STATUS 0 IN 739.187 SECONDS
stats: 8892 7 739.187 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/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21865035 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 373 2 364 364 0 9 0
[pid=9357] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-n370b.opb

[startup+10.0017 s]
Raw data (loadavg): 0.94 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 2543 0 0 0 991 7 0 0 25 0 1 0 21865035 9502720 1856 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 2320 1856 364 364 0 1956 0
[pid=9357] vsize: 9280
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 9280

[startup+20.0024 s]
Raw data (loadavg): 0.95 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 4189 0 0 0 1987 11 0 0 25 0 1 0 21865035 15224832 2754 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 3717 2754 364 364 0 3353 0
[pid=9357] vsize: 14868
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 14868

[startup+30.002 s]
Raw data (loadavg): 0.95 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 4468 0 0 0 2986 12 0 0 25 0 1 0 21865035 15900672 3027 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 3882 3027 364 364 0 3518 0
[pid=9357] vsize: 15528
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 15528

[startup+40.0027 s]
Raw data (loadavg): 0.96 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 4754 0 0 0 3985 13 0 0 25 0 1 0 21865035 16576512 3309 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 4047 3309 364 364 0 3683 0
[pid=9357] vsize: 16188
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 16188

[startup+50.0033 s]
Raw data (loadavg): 0.97 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 5018 0 0 0 4984 14 0 0 25 0 1 0 21865035 17252352 3568 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 4212 3568 364 364 0 3848 0
[pid=9357] vsize: 16848
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 16848

[startup+60.0039 s]
Raw data (loadavg): 0.97 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 5252 0 0 0 5983 14 0 0 25 0 1 0 21865035 17793024 3799 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 4344 3799 364 364 0 3980 0
[pid=9357] vsize: 17376
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 17376

[startup+70.0046 s]
Raw data (loadavg): 0.97 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 5465 0 0 0 6983 15 0 0 25 0 1 0 21865035 18333696 4008 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 4476 4008 364 364 0 4112 0
[pid=9357] vsize: 17904
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 17904

[startup+80.0042 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 5665 0 0 0 7981 16 0 0 25 0 1 0 21865035 18874368 4205 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 4608 4205 364 364 0 4244 0
[pid=9357] vsize: 18432
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 18432

[startup+90.0049 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 5851 0 0 0 8980 18 0 0 25 0 1 0 21865035 19415040 4388 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 4740 4388 364 364 0 4376 0
[pid=9357] vsize: 18960
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 18960

[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 6028 0 0 0 9980 18 0 0 25 0 1 0 21865035 19820544 4562 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 4839 4562 364 364 0 4475 0
[pid=9357] vsize: 19356
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 19356

[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 8333 0 0 0 10975 22 0 0 25 0 1 0 21865035 28696576 5389 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 7006 5389 364 364 0 6642 0
[pid=9357] vsize: 28024
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 28024

[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 8418 0 0 0 11975 23 0 0 25 0 1 0 21865035 28831744 5472 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 7039 5472 364 364 0 6675 0
[pid=9357] vsize: 28156
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 28156

[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 8548 0 0 0 12974 23 0 0 25 0 1 0 21865035 29237248 5600 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 7138 5600 364 364 0 6774 0
[pid=9357] vsize: 28552
Current children cumulated CPU time (s) 129.97
Current children cumulated vsize (Kb) 28552

[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 8677 0 0 0 13974 24 0 0 25 0 1 0 21865035 29507584 5726 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 7204 5726 364 364 0 6840 0
[pid=9357] vsize: 28816
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 28816

[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 8801 0 0 0 14973 24 0 0 25 0 1 0 21865035 29777920 5848 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 7270 5848 364 364 0 6906 0
[pid=9357] vsize: 29080
Current children cumulated CPU time (s) 149.97
Current children cumulated vsize (Kb) 29080

[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 8920 0 0 0 15973 25 0 0 25 0 1 0 21865035 30048256 5965 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 7336 5965 364 364 0 6972 0
[pid=9357] vsize: 29344
Current children cumulated CPU time (s) 159.98
Current children cumulated vsize (Kb) 29344

[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 9040 0 0 0 16972 25 0 0 25 0 1 0 21865035 30318592 6083 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 7402 6083 364 364 0 7038 0
[pid=9357] vsize: 29608
Current children cumulated CPU time (s) 169.97
Current children cumulated vsize (Kb) 29608

[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 9171 0 0 0 17971 26 0 0 25 0 1 0 21865035 30724096 6211 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 7501 6211 364 364 0 7137 0
[pid=9357] vsize: 30004
Current children cumulated CPU time (s) 179.97
Current children cumulated vsize (Kb) 30004

[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 9298 0 0 0 18971 26 0 0 25 0 1 0 21865035 30994432 6336 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 7567 6336 364 364 0 7203 0
[pid=9357] vsize: 30268
Current children cumulated CPU time (s) 189.97
Current children cumulated vsize (Kb) 30268

[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 9423 0 0 0 19971 26 0 0 25 0 1 0 21865035 31264768 6459 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 7633 6459 364 364 0 7269 0
[pid=9357] vsize: 30532
Current children cumulated CPU time (s) 199.97
Current children cumulated vsize (Kb) 30532

[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 9544 0 0 0 20970 27 0 0 25 0 1 0 21865035 31670272 6578 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 7732 6578 364 364 0 7368 0
[pid=9357] vsize: 30928
Current children cumulated CPU time (s) 209.97
Current children cumulated vsize (Kb) 30928

[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 9662 0 0 0 21969 28 0 0 25 0 1 0 21865035 31940608 6694 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 7798 6694 364 364 0 7434 0
[pid=9357] vsize: 31192
Current children cumulated CPU time (s) 219.97
Current children cumulated vsize (Kb) 31192

[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 9778 0 0 0 22969 28 0 0 25 0 1 0 21865035 32210944 6809 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 7864 6809 364 364 0 7500 0
[pid=9357] vsize: 31456
Current children cumulated CPU time (s) 229.97
Current children cumulated vsize (Kb) 31456

[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 9894 0 0 0 23969 28 0 0 25 0 1 0 21865035 32481280 6923 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 7930 6923 364 364 0 7566 0
[pid=9357] vsize: 31720
Current children cumulated CPU time (s) 239.97
Current children cumulated vsize (Kb) 31720

[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 10006 0 0 0 24969 29 0 0 25 0 1 0 21865035 32886784 7033 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 8029 7033 364 364 0 7665 0
[pid=9357] vsize: 32116
Current children cumulated CPU time (s) 249.98
Current children cumulated vsize (Kb) 32116

[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 10116 0 0 0 25968 29 0 0 25 0 1 0 21865035 33157120 7141 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 8095 7141 364 364 0 7731 0
[pid=9357] vsize: 32380
Current children cumulated CPU time (s) 259.97
Current children cumulated vsize (Kb) 32380

[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 10224 0 0 0 26968 29 0 0 25 0 1 0 21865035 33427456 7247 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 8161 7247 364 364 0 7797 0
[pid=9357] vsize: 32644
Current children cumulated CPU time (s) 269.97
Current children cumulated vsize (Kb) 32644

[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 10330 0 0 0 27967 30 0 0 25 0 1 0 21865035 33697792 7352 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 8227 7352 364 364 0 7863 0
[pid=9357] vsize: 32908
Current children cumulated CPU time (s) 279.97
Current children cumulated vsize (Kb) 32908

[startup+290.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 10434 0 0 0 28967 31 0 0 25 0 1 0 21865035 33968128 7454 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 8293 7454 364 364 0 7929 0
[pid=9357] vsize: 33172
Current children cumulated CPU time (s) 289.98
Current children cumulated vsize (Kb) 33172

[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 10537 0 0 0 29966 31 0 0 25 0 1 0 21865035 34238464 7555 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 8359 7555 364 364 0 7995 0
[pid=9357] vsize: 33436
Current children cumulated CPU time (s) 299.97
Current children cumulated vsize (Kb) 33436

[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 10637 0 0 0 30966 31 0 0 25 0 1 0 21865035 34508800 7654 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 8425 7654 364 364 0 8061 0
[pid=9357] vsize: 33700
Current children cumulated CPU time (s) 309.97
Current children cumulated vsize (Kb) 33700

[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 10737 0 0 0 31966 32 0 0 25 0 1 0 21865035 34643968 7752 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 8458 7752 364 364 0 8094 0
[pid=9357] vsize: 33832
Current children cumulated CPU time (s) 319.98
Current children cumulated vsize (Kb) 33832

[startup+330.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 10835 0 0 0 32965 32 0 0 25 0 1 0 21865035 34914304 7849 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 8524 7849 364 364 0 8160 0
[pid=9357] vsize: 34096
Current children cumulated CPU time (s) 329.97
Current children cumulated vsize (Kb) 34096

[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 10932 0 0 0 33965 32 0 0 25 0 1 0 21865035 35184640 7944 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 8590 7944 364 364 0 8226 0
[pid=9357] vsize: 34360
Current children cumulated CPU time (s) 339.97
Current children cumulated vsize (Kb) 34360

[startup+350.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 11027 0 0 0 34965 33 0 0 25 0 1 0 21865035 35454976 8037 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 8656 8037 364 364 0 8292 0
[pid=9357] vsize: 34624
Current children cumulated CPU time (s) 349.98
Current children cumulated vsize (Kb) 34624

[startup+360.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 11121 0 0 0 35965 33 0 0 25 0 1 0 21865035 35725312 8130 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 8722 8130 364 364 0 8358 0
[pid=9357] vsize: 34888
Current children cumulated CPU time (s) 359.98
Current children cumulated vsize (Kb) 34888

[startup+370.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 11214 0 0 0 36964 33 0 0 25 0 1 0 21865035 35995648 8221 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 8788 8221 364 364 0 8424 0
[pid=9357] vsize: 35152
Current children cumulated CPU time (s) 369.97
Current children cumulated vsize (Kb) 35152

[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 11307 0 0 0 37964 34 0 0 25 0 1 0 21865035 36130816 8313 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 8821 8313 364 364 0 8457 0
[pid=9357] vsize: 35284
Current children cumulated CPU time (s) 379.98
Current children cumulated vsize (Kb) 35284

[startup+390.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 11397 0 0 0 38963 34 0 0 25 0 1 0 21865035 36401152 8401 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 8887 8401 364 364 0 8523 0
[pid=9357] vsize: 35548
Current children cumulated CPU time (s) 389.97
Current children cumulated vsize (Kb) 35548

[startup+400.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 11486 0 0 0 39963 35 0 0 25 0 1 0 21865035 36671488 8489 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 8953 8489 364 364 0 8589 0
[pid=9357] vsize: 35812
Current children cumulated CPU time (s) 399.98
Current children cumulated vsize (Kb) 35812

[startup+410.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 11574 0 0 0 40963 35 0 0 25 0 1 0 21865035 36806656 8576 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 8986 8576 364 364 0 8622 0
[pid=9357] vsize: 35944
Current children cumulated CPU time (s) 409.98
Current children cumulated vsize (Kb) 35944

[startup+420.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 11662 0 0 0 41962 35 0 0 25 0 1 0 21865035 37076992 8662 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 9052 8662 364 364 0 8688 0
[pid=9357] vsize: 36208
Current children cumulated CPU time (s) 419.97
Current children cumulated vsize (Kb) 36208

[startup+430.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 11748 0 0 0 42962 36 0 0 25 0 1 0 21865035 37347328 8747 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 9118 8747 364 364 0 8754 0
[pid=9357] vsize: 36472
Current children cumulated CPU time (s) 429.98
Current children cumulated vsize (Kb) 36472

[startup+440.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 11834 0 0 0 43962 36 0 0 25 0 1 0 21865035 37482496 8831 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 9151 8831 364 364 0 8787 0
[pid=9357] vsize: 36604
Current children cumulated CPU time (s) 439.98
Current children cumulated vsize (Kb) 36604

[startup+450.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 11920 0 0 0 44961 37 0 0 25 0 1 0 21865035 37752832 8916 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 9217 8916 364 364 0 8853 0
[pid=9357] vsize: 36868
Current children cumulated CPU time (s) 449.98
Current children cumulated vsize (Kb) 36868

[startup+460.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16474 0 0 0 45952 46 0 0 25 0 1 0 21865035 55775232 10522 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 13617 10522 364 364 0 13253 0
[pid=9357] vsize: 54468
Current children cumulated CPU time (s) 459.98
Current children cumulated vsize (Kb) 54468

[startup+470.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16505 0 0 0 46952 46 0 0 25 0 1 0 21865035 55775232 10551 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 13617 10551 364 364 0 13253 0
[pid=9357] vsize: 54468
Current children cumulated CPU time (s) 469.98
Current children cumulated vsize (Kb) 54468

[startup+480.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16535 0 0 0 47952 46 0 0 25 0 1 0 21865035 55775232 10580 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 13617 10580 364 364 0 13253 0
[pid=9357] vsize: 54468
Current children cumulated CPU time (s) 479.98
Current children cumulated vsize (Kb) 54468

[startup+490.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16566 0 0 0 48952 46 0 0 25 0 1 0 21865035 55775232 10610 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 13617 10610 364 364 0 13253 0
[pid=9357] vsize: 54468
Current children cumulated CPU time (s) 489.98
Current children cumulated vsize (Kb) 54468

[startup+500.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16596 0 0 0 49952 46 0 0 25 0 1 0 21865035 55775232 10638 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 13617 10638 364 364 0 13253 0
[pid=9357] vsize: 54468
Current children cumulated CPU time (s) 499.98
Current children cumulated vsize (Kb) 54468

[startup+510.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16625 0 0 0 50952 46 0 0 25 0 1 0 21865035 55775232 10666 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 13617 10666 364 364 0 13253 0
[pid=9357] vsize: 54468
Current children cumulated CPU time (s) 509.98
Current children cumulated vsize (Kb) 54468

[startup+520.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16655 0 0 0 51952 46 0 0 25 0 1 0 21865035 55775232 10695 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 13617 10695 364 364 0 13253 0
[pid=9357] vsize: 54468
Current children cumulated CPU time (s) 519.98
Current children cumulated vsize (Kb) 54468

[startup+530.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16718 0 0 0 52952 46 0 0 25 0 1 0 21865035 55910400 10757 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 13650 10757 364 364 0 13286 0
[pid=9357] vsize: 54600
Current children cumulated CPU time (s) 529.98
Current children cumulated vsize (Kb) 54600

[startup+540.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16787 0 0 0 53952 46 0 0 25 0 1 0 21865035 56045568 10824 4294967295 134512640 135987407 3221224560 3221221792 134534646 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 13683 10824 364 364 0 13319 0
[pid=9357] vsize: 54732
Current children cumulated CPU time (s) 539.98
Current children cumulated vsize (Kb) 54732

[startup+550.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16853 0 0 0 54952 47 0 0 25 0 1 0 21865035 56180736 10889 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 13716 10889 364 364 0 13352 0
[pid=9357] vsize: 54864
Current children cumulated CPU time (s) 549.99
Current children cumulated vsize (Kb) 54864

[startup+560.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16921 0 0 0 55952 47 0 0 25 0 1 0 21865035 56315904 10956 4294967295 134512640 135987407 3221224560 3221221596 134860968 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 13749 10956 364 364 0 13385 0
[pid=9357] vsize: 54996
Current children cumulated CPU time (s) 559.99
Current children cumulated vsize (Kb) 54996

[startup+570.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16985 0 0 0 56952 47 0 0 25 0 1 0 21865035 56586240 11019 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 13815 11019 364 364 0 13451 0
[pid=9357] vsize: 55260
Current children cumulated CPU time (s) 569.99
Current children cumulated vsize (Kb) 55260

[startup+580.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 17052 0 0 0 57952 47 0 0 25 0 1 0 21865035 56721408 11084 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 13848 11084 364 364 0 13484 0
[pid=9357] vsize: 55392
Current children cumulated CPU time (s) 579.99
Current children cumulated vsize (Kb) 55392

[startup+590.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 17116 0 0 0 58951 47 0 0 25 0 1 0 21865035 56856576 11147 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 13881 11147 364 364 0 13517 0
[pid=9357] vsize: 55524
Current children cumulated CPU time (s) 589.98
Current children cumulated vsize (Kb) 55524

[startup+600.018 s]
Raw data (loadavg): 0.99 0.98 0.92 3/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 17180 0 0 0 59951 48 0 0 25 0 1 0 21865035 56991744 11210 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 13914 11210 364 364 0 13550 0
[pid=9357] vsize: 55656
Current children cumulated CPU time (s) 599.99
Current children cumulated vsize (Kb) 55656

[startup+610.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 17244 0 0 0 60951 48 0 0 25 0 1 0 21865035 57126912 11273 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 13947 11273 364 364 0 13583 0
[pid=9357] vsize: 55788
Current children cumulated CPU time (s) 609.99
Current children cumulated vsize (Kb) 55788

[startup+620.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 17306 0 0 0 61951 48 0 0 25 0 1 0 21865035 57262080 11334 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 13980 11334 364 364 0 13616 0
[pid=9357] vsize: 55920
Current children cumulated CPU time (s) 619.99
Current children cumulated vsize (Kb) 55920

[startup+630.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 17367 0 0 0 62950 49 0 0 25 0 1 0 21865035 57397248 11394 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 14013 11394 364 364 0 13649 0
[pid=9357] vsize: 56052
Current children cumulated CPU time (s) 629.99
Current children cumulated vsize (Kb) 56052

[startup+640.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 17430 0 0 0 63950 49 0 0 25 0 1 0 21865035 57532416 11455 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 14046 11455 364 364 0 13682 0
[pid=9357] vsize: 56184
Current children cumulated CPU time (s) 639.99
Current children cumulated vsize (Kb) 56184

[startup+650.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 22358 0 0 0 64938 59 0 0 25 0 1 0 21865035 74006528 15632 4294967295 134512640 135987407 3221224560 3220309136 134559291 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 18068 15632 364 364 0 17704 0
[pid=9357] vsize: 72272
Current children cumulated CPU time (s) 649.97
Current children cumulated vsize (Kb) 72272

[startup+660.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 52311 0 0 0 65873 123 0 0 25 0 1 0 21865035 160399360 35126 4294967295 134512640 135987407 3221224560 3220315980 135499901 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 39160 35126 364 364 0 38796 0
[pid=9357] vsize: 156640
Current children cumulated CPU time (s) 659.96
Current children cumulated vsize (Kb) 156640

[startup+670.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 85467 0 0 0 66801 193 0 0 25 0 1 0 21865035 266989568 52218 4294967295 134512640 135987407 3221224560 3220366172 134637002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 65183 52218 364 364 0 64819 0
[pid=9357] vsize: 260732
Current children cumulated CPU time (s) 669.94
Current children cumulated vsize (Kb) 260732

[startup+680.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 111318 0 0 0 67744 250 0 0 25 0 1 0 21865035 355741696 65563 4294967295 134512640 135987407 3221224560 3220406148 135478472 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 86851 65563 364 364 0 86487 0
[pid=9357] vsize: 347404
Current children cumulated CPU time (s) 679.94
Current children cumulated vsize (Kb) 347404

[startup+690.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 133686 0 0 0 68698 294 0 0 25 0 1 0 21865035 516059136 87414 4294967295 134512640 135987407 3221224560 3220529804 135482121 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 125991 87414 364 364 0 125627 0
[pid=9357] vsize: 503964
Current children cumulated CPU time (s) 689.92
Current children cumulated vsize (Kb) 503964

[startup+700.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 183364 0 0 0 69595 394 0 0 25 0 1 0 21865035 688123904 117768 4294967295 134512640 135987407 3221224560 3220385776 134887489 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 167999 117768 364 364 0 167635 0
[pid=9357] vsize: 671996
Current children cumulated CPU time (s) 699.89
Current children cumulated vsize (Kb) 671996

[startup+710.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 203208 0 0 0 70545 444 0 0 25 0 1 0 21865035 624795648 112830 4294967295 134512640 135987407 3221224560 3220484832 134637036 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 152538 112830 364 364 0 152174 0
[pid=9357] vsize: 610152
Current children cumulated CPU time (s) 709.89
Current children cumulated vsize (Kb) 610152

[startup+720.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 218941 0 0 0 71507 481 0 0 25 0 1 0 21865035 629932032 128309 4294967295 134512640 135987407 3221224560 3220692768 135293379 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 153792 128309 364 364 0 153428 0
[pid=9357] vsize: 615168
Current children cumulated CPU time (s) 719.88
Current children cumulated vsize (Kb) 615168

[startup+730.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 233563 0 0 0 72477 512 0 0 25 0 1 0 21865035 632635392 142684 4294967295 134512640 135987407 3221224560 3220401696 134931253 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 154452 142684 364 364 0 154088 0
[pid=9357] vsize: 617808
Current children cumulated CPU time (s) 729.89
Current children cumulated vsize (Kb) 617808



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+738.797 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 9357
Raw data (/proc/9357/stat): 9357 (pb2sat) T 9356 9357 4060 0 -1 0 245125 0 0 0 73329 536 0 0 25 0 1 0 21865035 978186240 154085 4294967295 134512640 135987407 3221224560 3220412944 135544035 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9357/statm): 238815 154085 364 364 0 238451 0
[pid=9357] vsize: 955260
Current children cumulated CPU time (s) 738.65
Current children cumulated vsize (Kb) 955260

Sending SIGTERM to -9357
Sleeping 2 seconds

[startup+740.022 s]
Raw data (loadavg): 0.99 0.98 0.92 1/56 9358
Raw data (/proc/9357/stat): 9357 (pb2sat) S 9356 9357 4060 0 -1 0 245126 0 0 0 73350 536 0 0 25 0 1 0 21865035 978186240 154086 4294967295 134512640 135987407 3221224560 3220411496 135549753 0 16384 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9357/statm): 238815 154086 364 364 0 238451 0
[pid=9357] vsize: 955260
Current children cumulated CPU time (s) 738.86
Current children cumulated vsize (Kb) 955260
Sending SIGKILL to -9357
One traced child (pid=9357) 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): 741.119
CPU time (s): 739.187
CPU user time (s): 733.504
CPU system time (s): 5.68314
CPU usage (%): 99.7393
Max. virtual memory (cumulated for all children) (Kb): 955260

Verifier Data

ERROR: no interpretation found !