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/unibo/normalized-mps-v2-20-10-CMS750_4.opb
MD5SUM7cb58e3aea22e107ecbc4e74969c24f1
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 877568
Optimality of the best value was proved NO
Number of terms in the objective function 780
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1074509823
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2147731454
Number of bits of the biggest sum of numbers32
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark
Number of variables142226
Total number of constraints28077
Number of constraints which are clauses2438
Number of constraints which are cardinality constraints (but not clauses)7196
Number of constraints which are nor clauses,nor cardinality constraints18443
Minimum length of a constraint1
Maximum length of a constraint61

Trace number 10320

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        898308 kB
Buffers:         12400 kB
Cached:         106464 kB
SwapCached:          0 kB
Active:          65820 kB
Inactive:        55944 kB
HighTotal:      131008 kB
HighFree:        24192 kB
LowTotal:       903652 kB
LowFree:        874116 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8964 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 17:52:15 (client local time) WITH STATUS 0 IN 899.261 SECONDS
stats: 8959 7 899.261 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 35704/1969421	Time: 167.05/86400
c Decision: 36183/1969421	Time: 421.988/86400s 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/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22035846 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 373 2 364 364 0 9 0
[pid=9162] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-CMS750_4.opb

[startup+10.0019 s]
Raw data (loadavg): 0.88 0.93 0.91 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 17970 0 0 0 952 44 0 0 25 0 1 0 22035846 54808576 11475 4294967295 134512640 135987407 3221224560 3221214496 134856467 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 13381 11475 364 364 0 13017 0
[pid=9162] vsize: 53524
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 53524

[startup+20.0026 s]
Raw data (loadavg): 0.90 0.94 0.91 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 40042 0 0 0 1893 100 0 0 25 0 1 0 22035846 124751872 23883 4294967295 134512640 135987407 3221224560 3221214352 134887887 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 30457 23883 364 364 0 30093 0
[pid=9162] vsize: 121828
Current children cumulated CPU time (s) 19.93
Current children cumulated vsize (Kb) 121828

[startup+30.0023 s]
Raw data (loadavg): 0.91 0.94 0.91 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 70322 0 0 0 2827 163 0 0 25 0 1 0 22035846 229584896 38126 4294967295 134512640 135987407 3221224560 3221219868 135480478 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 56051 38127 364 364 0 55687 0
[pid=9162] vsize: 224204
Current children cumulated CPU time (s) 29.9
Current children cumulated vsize (Kb) 224204

[startup+40.002 s]
Raw data (loadavg): 0.93 0.94 0.91 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 82104 0 0 0 3796 193 0 0 25 0 1 0 22035846 233234432 49693 4294967295 134512640 135987407 3221224560 3221220816 134854923 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 56942 49693 364 364 0 56578 0
[pid=9162] vsize: 227768
Current children cumulated CPU time (s) 39.89
Current children cumulated vsize (Kb) 227768

[startup+50.0017 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 105411 0 0 0 4736 251 0 0 25 0 1 0 22035846 324419584 60529 4294967295 134512640 135987407 3221224560 3221215888 134878092 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 79204 60529 364 364 0 78840 0
[pid=9162] vsize: 316816
Current children cumulated CPU time (s) 49.87
Current children cumulated vsize (Kb) 316816

[startup+60.0014 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 143393 0 0 0 5654 330 0 0 25 0 1 0 22035846 446414848 78912 4294967295 134512640 135987407 3221224560 3221221952 134616115 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 108988 78912 364 364 0 108624 0
[pid=9162] vsize: 435952
Current children cumulated CPU time (s) 59.84
Current children cumulated vsize (Kb) 435952

[startup+70.0011 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 154313 0 0 0 6624 357 0 0 25 0 1 0 22035846 450334720 89635 4294967295 134512640 135987407 3221224560 3221215552 134878060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 109945 89635 364 364 0 109581 0
[pid=9162] vsize: 439780
Current children cumulated CPU time (s) 69.81
Current children cumulated vsize (Kb) 439780

[startup+80.0019 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 188004 0 0 0 7540 440 0 0 25 0 1 0 22035846 554917888 98587 4294967295 134512640 135987407 3221224560 3221221952 134616367 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 135478 98587 364 364 0 135114 0
[pid=9162] vsize: 541912
Current children cumulated CPU time (s) 79.8
Current children cumulated vsize (Kb) 541912

[startup+90.0016 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 197232 0 0 0 8512 466 0 0 25 0 1 0 22035846 592121856 107650 4294967295 134512640 135987407 3221224560 3221218144 134877726 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 144561 107650 364 364 0 144197 0
[pid=9162] vsize: 578244
Current children cumulated CPU time (s) 89.78
Current children cumulated vsize (Kb) 578244

[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 207762 0 0 0 9481 495 0 0 25 0 1 0 22035846 596717568 117994 4294967295 134512640 135987407 3221224560 3221221744 134536228 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 145683 117994 364 364 0 145319 0
[pid=9162] vsize: 582732
Current children cumulated CPU time (s) 99.76
Current children cumulated vsize (Kb) 582732

[startup+110.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 223928 0 0 0 10436 540 0 0 25 0 1 0 22035846 631881728 134010 4294967295 134512640 135987407 3221224560 3221223096 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 154268 134010 364 364 0 153904 0
[pid=9162] vsize: 617072
Current children cumulated CPU time (s) 109.76
Current children cumulated vsize (Kb) 617072

[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 227066 0 0 0 11404 555 0 0 25 0 1 0 22035846 628932608 132976 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 153548 132976 364 364 0 153184 0
[pid=9162] vsize: 614192
Current children cumulated CPU time (s) 119.59
Current children cumulated vsize (Kb) 614192

[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 232038 0 0 0 12359 578 0 0 25 0 1 0 22035846 643960832 136089 4294967295 134512640 135987407 3221224560 3221223424 134812582 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 157217 136089 364 364 0 156853 0
[pid=9162] vsize: 628868
Current children cumulated CPU time (s) 129.37
Current children cumulated vsize (Kb) 628868

[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.91 1/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 235995 0 0 0 13328 592 0 0 25 0 1 0 22035846 653987840 138374 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9162/statm): 159665 138374 364 364 0 159301 0
[pid=9162] vsize: 638660
Current children cumulated CPU time (s) 139.2
Current children cumulated vsize (Kb) 638660

[startup+150.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 240144 0 0 0 14262 617 0 0 22 0 1 0 22035846 668385280 141056 4294967295 134512640 135987407 3221224560 3221223136 135486786 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 163180 141056 364 364 0 162816 0
[pid=9162] vsize: 652720
Current children cumulated CPU time (s) 148.79
Current children cumulated vsize (Kb) 652720

[startup+160.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 241806 0 0 0 14881 744 0 0 21 0 1 0 22035846 675184640 142619 4294967295 134512640 135987407 3221224560 3221223376 134815442 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 164840 142619 364 364 0 164476 0
[pid=9162] vsize: 659360
Current children cumulated CPU time (s) 156.25
Current children cumulated vsize (Kb) 659360

[startup+170.002 s]
Raw data (loadavg): 0.99 0.95 0.91 1/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 242712 0 0 0 15549 852 0 0 17 0 1 0 22035846 678748160 143460 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9162/statm): 165710 143460 364 364 0 165346 0
[pid=9162] vsize: 662840
Current children cumulated CPU time (s) 164.01
Current children cumulated vsize (Kb) 662840

[startup+180.003 s]
Raw data (loadavg): 0.99 0.95 0.91 1/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 242999 0 0 0 16177 972 0 0 18 0 1 0 22035846 679944192 143747 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9162/statm): 166002 143747 364 364 0 165638 0
[pid=9162] vsize: 664008
Current children cumulated CPU time (s) 171.49
Current children cumulated vsize (Kb) 664008

[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 1/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 243154 0 0 0 16804 1090 0 0 18 0 1 0 22035846 680480768 143902 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9162/statm): 166133 143902 364 364 0 165769 0
[pid=9162] vsize: 664532
Current children cumulated CPU time (s) 178.94
Current children cumulated vsize (Kb) 664532

[startup+200.003 s]
Raw data (loadavg): 1.07 0.97 0.91 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 243284 0 0 0 17497 1188 0 0 18 0 1 0 22035846 681009152 144032 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 166262 144032 364 364 0 165898 0
[pid=9162] vsize: 665048
Current children cumulated CPU time (s) 186.85
Current children cumulated vsize (Kb) 665048

[startup+210.004 s]
Raw data (loadavg): 1.06 0.97 0.91 1/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 243372 0 0 0 18205 1282 0 0 19 0 1 0 22035846 681402368 144120 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9162/statm): 166358 144120 364 364 0 165994 0
[pid=9162] vsize: 665432
Current children cumulated CPU time (s) 194.87
Current children cumulated vsize (Kb) 665432

[startup+220.005 s]
Raw data (loadavg): 1.05 0.97 0.91 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 243601 0 0 0 18814 1405 0 0 17 0 1 0 22035846 682332160 144349 4294967295 134512640 135987407 3221224560 3221223376 134815444 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 166585 144349 364 364 0 166221 0
[pid=9162] vsize: 666340
Current children cumulated CPU time (s) 202.19
Current children cumulated vsize (Kb) 666340

[startup+230.006 s]
Raw data (loadavg): 1.04 0.97 0.91 1/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 243788 0 0 0 19459 1515 0 0 17 0 1 0 22035846 683130880 144536 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9162/statm): 166780 144536 364 364 0 166416 0
[pid=9162] vsize: 667120
Current children cumulated CPU time (s) 209.74
Current children cumulated vsize (Kb) 667120

[startup+240.005 s]
Raw data (loadavg): 1.03 0.97 0.91 1/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 243901 0 0 0 20086 1631 0 0 18 0 1 0 22035846 683528192 144649 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9162/statm): 166877 144649 364 364 0 166513 0
[pid=9162] vsize: 667508
Current children cumulated CPU time (s) 217.17
Current children cumulated vsize (Kb) 667508

[startup+250.005 s]
Raw data (loadavg): 1.03 0.97 0.91 1/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 244014 0 0 0 20729 1746 0 0 17 0 1 0 22035846 684060672 144762 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9162/statm): 167007 144762 364 364 0 166643 0
[pid=9162] vsize: 668028
Current children cumulated CPU time (s) 224.75
Current children cumulated vsize (Kb) 668028

[startup+260.006 s]
Raw data (loadavg): 1.10 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 244236 0 0 0 21308 1882 0 0 17 0 1 0 22035846 684986368 144984 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 167233 144984 364 364 0 166869 0
[pid=9162] vsize: 668932
Current children cumulated CPU time (s) 231.9
Current children cumulated vsize (Kb) 668932

[startup+270.005 s]
Raw data (loadavg): 1.09 0.99 0.92 1/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 244384 0 0 0 21936 2000 0 0 18 0 1 0 22035846 685514752 145132 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9162/statm): 167362 145132 364 364 0 166998 0
[pid=9162] vsize: 669448
Current children cumulated CPU time (s) 239.36
Current children cumulated vsize (Kb) 669448

[startup+280.006 s]
Raw data (loadavg): 1.07 0.99 0.92 1/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 244489 0 0 0 22560 2121 0 0 24 0 1 0 22035846 685912064 145237 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9162/statm): 167459 145237 364 364 0 167095 0
[pid=9162] vsize: 669836
Current children cumulated CPU time (s) 246.81
Current children cumulated vsize (Kb) 669836

[startup+290.007 s]
Raw data (loadavg): 1.06 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 244857 0 0 0 23322 2195 0 0 25 0 1 0 22035846 687882240 145605 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 167940 145605 364 364 0 167576 0
[pid=9162] vsize: 671760
Current children cumulated CPU time (s) 255.17
Current children cumulated vsize (Kb) 671760

[startup+300.007 s]
Raw data (loadavg): 1.05 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 248833 0 0 0 24300 2210 0 0 25 0 1 0 22035846 704270336 149581 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 171941 149581 364 364 0 171577 0
[pid=9162] vsize: 687764
Current children cumulated CPU time (s) 265.1
Current children cumulated vsize (Kb) 687764

[startup+310.007 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 249125 0 0 0 25292 2213 0 0 25 0 1 0 22035846 689401856 145928 4294967295 134512640 135987407 3221224560 3221223312 134801245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 168311 145928 364 364 0 167947 0
[pid=9162] vsize: 673244
Current children cumulated CPU time (s) 275.05
Current children cumulated vsize (Kb) 673244

[startup+320.007 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 251682 0 0 0 26279 2222 0 0 25 0 1 0 22035846 696102912 147021 4294967295 134512640 135987407 3221224560 3221223248 134811765 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 169947 147021 364 364 0 169583 0
[pid=9162] vsize: 679788
Current children cumulated CPU time (s) 285.01
Current children cumulated vsize (Kb) 679788

[startup+330.008 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 254733 0 0 0 27253 2235 0 0 25 0 1 0 22035846 704892928 148229 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 172093 148229 364 364 0 171729 0
[pid=9162] vsize: 688372
Current children cumulated CPU time (s) 294.88
Current children cumulated vsize (Kb) 688372

[startup+340.008 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 256704 0 0 0 28224 2247 0 0 25 0 1 0 22035846 709681152 149298 4294967295 134512640 135987407 3221224560 3221223344 134812339 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 173262 149298 364 364 0 172898 0
[pid=9162] vsize: 693048
Current children cumulated CPU time (s) 304.71
Current children cumulated vsize (Kb) 693048

[startup+350.008 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 260461 0 0 0 29209 2256 0 0 25 0 1 0 22035846 719413248 151025 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 175638 151025 364 364 0 175274 0
[pid=9162] vsize: 702552
Current children cumulated CPU time (s) 314.65
Current children cumulated vsize (Kb) 702552

[startup+360.009 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 263873 0 0 0 30200 2264 0 0 25 0 1 0 22035846 729407488 152410 4294967295 134512640 135987407 3221224560 3221223344 134812398 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 178078 152410 364 364 0 177714 0
[pid=9162] vsize: 712312
Current children cumulated CPU time (s) 324.64
Current children cumulated vsize (Kb) 712312

[startup+370.009 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 266125 0 0 0 31188 2271 0 0 25 0 1 0 22035846 736243712 153152 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 179747 153152 364 364 0 179383 0
[pid=9162] vsize: 718988
Current children cumulated CPU time (s) 334.59
Current children cumulated vsize (Kb) 718988

[startup+380.009 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 267681 0 0 0 32104 2298 0 0 25 0 1 0 22035846 741343232 154040 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 180992 154040 364 364 0 180628 0
[pid=9162] vsize: 723968
Current children cumulated CPU time (s) 344.02
Current children cumulated vsize (Kb) 723968

[startup+390.01 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 269071 0 0 0 33001 2336 0 0 23 0 1 0 22035846 745394176 154824 4294967295 134512640 135987407 3221224560 3221223344 134812398 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 181981 154824 364 364 0 181617 0
[pid=9162] vsize: 727924
Current children cumulated CPU time (s) 353.37
Current children cumulated vsize (Kb) 727924

[startup+400.01 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 273515 0 0 0 33967 2354 0 0 25 0 1 0 22035846 756740096 156719 4294967295 134512640 135987407 3221224560 3221223320 134812118 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 184751 156719 364 364 0 184387 0
[pid=9162] vsize: 739004
Current children cumulated CPU time (s) 363.21
Current children cumulated vsize (Kb) 739004

[startup+410.01 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 274157 0 0 0 34962 2356 0 0 25 0 1 0 22035846 758190080 157071 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 185105 157071 364 364 0 184741 0
[pid=9162] vsize: 740420
Current children cumulated CPU time (s) 373.18
Current children cumulated vsize (Kb) 740420

[startup+420.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 274511 0 0 0 35943 2363 0 0 25 0 1 0 22035846 759656448 157343 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 185463 157343 364 364 0 185099 0
[pid=9162] vsize: 741852
Current children cumulated CPU time (s) 383.06
Current children cumulated vsize (Kb) 741852

[startup+430.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 275406 0 0 0 36936 2366 0 0 25 0 1 0 22035846 762089472 157787 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 186057 157787 364 364 0 185693 0
[pid=9162] vsize: 744228
Current children cumulated CPU time (s) 393.02
Current children cumulated vsize (Kb) 744228

[startup+440.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 280002 0 0 0 37918 2378 0 0 25 0 1 0 22035846 775737344 159202 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 189389 159202 364 364 0 189025 0
[pid=9162] vsize: 757556
Current children cumulated CPU time (s) 402.96
Current children cumulated vsize (Kb) 757556

[startup+450.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 285184 0 0 0 38891 2393 0 0 25 0 1 0 22035846 789889024 161224 4294967295 134512640 135987407 3221224560 3221223344 134812398 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 192844 161224 364 364 0 192480 0
[pid=9162] vsize: 771376
Current children cumulated CPU time (s) 412.84
Current children cumulated vsize (Kb) 771376

[startup+460.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 287337 0 0 0 39880 2400 0 0 25 0 1 0 22035846 796729344 161804 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 194514 161804 364 364 0 194150 0
[pid=9162] vsize: 778056
Current children cumulated CPU time (s) 422.8
Current children cumulated vsize (Kb) 778056

[startup+470.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 287362 0 0 0 40860 2406 0 0 25 0 1 0 22035846 796925952 161829 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 194562 161829 364 364 0 194198 0
[pid=9162] vsize: 778248
Current children cumulated CPU time (s) 432.66
Current children cumulated vsize (Kb) 778248

[startup+480.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 288015 0 0 0 41797 2427 0 0 19 0 1 0 22035846 799182848 162302 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 195113 162302 364 364 0 194749 0
[pid=9162] vsize: 780452
Current children cumulated CPU time (s) 442.24
Current children cumulated vsize (Kb) 780452

[startup+490.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 289640 0 0 0 42771 2437 0 0 25 0 1 0 22035846 803422208 163117 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 196148 163117 364 364 0 195784 0
[pid=9162] vsize: 784592
Current children cumulated CPU time (s) 452.08
Current children cumulated vsize (Kb) 784592

[startup+500.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 291107 0 0 0 43735 2450 0 0 25 0 1 0 22035846 807362560 163747 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 197110 163747 364 364 0 196746 0
[pid=9162] vsize: 788440
Current children cumulated CPU time (s) 461.85
Current children cumulated vsize (Kb) 788440

[startup+510.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 292737 0 0 0 44730 2453 0 0 25 0 1 0 22035846 810516480 164732 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 197880 164732 364 364 0 197516 0
[pid=9162] vsize: 791520
Current children cumulated CPU time (s) 471.83
Current children cumulated vsize (Kb) 791520

[startup+520.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 293566 0 0 0 45722 2457 0 0 25 0 1 0 22035846 813166592 165288 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 198527 165288 364 364 0 198163 0
[pid=9162] vsize: 794108
Current children cumulated CPU time (s) 481.79
Current children cumulated vsize (Kb) 794108

[startup+530.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 293754 0 0 0 46721 2457 0 0 25 0 1 0 22035846 813166592 165476 4294967295 134512640 135987407 3221224560 3221223248 134811995 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 198527 165476 364 364 0 198163 0
[pid=9162] vsize: 794108
Current children cumulated CPU time (s) 491.78
Current children cumulated vsize (Kb) 794108

[startup+540.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 293754 0 0 0 47718 2458 0 0 25 0 1 0 22035846 813166592 165476 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 198527 165476 364 364 0 198163 0
[pid=9162] vsize: 794108
Current children cumulated CPU time (s) 501.76
Current children cumulated vsize (Kb) 794108

[startup+550.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 293870 0 0 0 48694 2466 0 0 25 0 1 0 22035846 813953024 165592 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 198719 165592 364 364 0 198355 0
[pid=9162] vsize: 794876
Current children cumulated CPU time (s) 511.6
Current children cumulated vsize (Kb) 794876

[startup+560.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 293883 0 0 0 49620 2490 0 0 25 0 1 0 22035846 813953024 165605 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 198719 165605 364 364 0 198355 0
[pid=9162] vsize: 794876
Current children cumulated CPU time (s) 521.1
Current children cumulated vsize (Kb) 794876

[startup+570.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 298712 0 0 0 50602 2504 0 0 25 0 1 0 22035846 816168960 166103 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 199260 166103 364 364 0 198896 0
[pid=9162] vsize: 797040
Current children cumulated CPU time (s) 531.06
Current children cumulated vsize (Kb) 797040

[startup+580.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 306507 0 0 0 51573 2523 0 0 25 0 1 0 22035846 833507328 169928 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 203493 169928 364 364 0 203129 0
[pid=9162] vsize: 813972
Current children cumulated CPU time (s) 540.96
Current children cumulated vsize (Kb) 813972

[startup+590.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 310273 0 0 0 52513 2548 0 0 25 0 1 0 22035846 841641984 171758 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 205479 171758 364 364 0 205115 0
[pid=9162] vsize: 821916
Current children cumulated CPU time (s) 550.61
Current children cumulated vsize (Kb) 821916

[startup+600.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 314027 0 0 0 53444 2575 0 0 21 0 1 0 22035846 849944576 173581 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 207506 173581 364 364 0 207142 0
[pid=9162] vsize: 830024
Current children cumulated CPU time (s) 560.19
Current children cumulated vsize (Kb) 830024

[startup+610.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 314452 0 0 0 54409 2587 0 0 25 0 1 0 22035846 851464192 173832 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 207877 173832 364 364 0 207513 0
[pid=9162] vsize: 831508
Current children cumulated CPU time (s) 569.96
Current children cumulated vsize (Kb) 831508

[startup+620.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 314594 0 0 0 55324 2615 0 0 25 0 1 0 22035846 851861504 173909 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 207974 173909 364 364 0 207610 0
[pid=9162] vsize: 831896
Current children cumulated CPU time (s) 579.39
Current children cumulated vsize (Kb) 831896

[startup+630.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 314936 0 0 0 56253 2639 0 0 23 0 1 0 22035846 853082112 174137 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 208272 174137 364 364 0 207908 0
[pid=9162] vsize: 833088
Current children cumulated CPU time (s) 588.92
Current children cumulated vsize (Kb) 833088

[startup+640.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 314978 0 0 0 57190 2659 0 0 25 0 1 0 22035846 853217280 174179 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 208305 174179 364 364 0 207941 0
[pid=9162] vsize: 833220
Current children cumulated CPU time (s) 598.49
Current children cumulated vsize (Kb) 833220

[startup+650.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 315712 0 0 0 58147 2673 0 0 25 0 1 0 22035846 855535616 174585 4294967295 134512640 135987407 3221224560 3221223128 134801602 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 208871 174585 364 364 0 208507 0
[pid=9162] vsize: 835484
Current children cumulated CPU time (s) 608.2
Current children cumulated vsize (Kb) 835484

[startup+660.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 315831 0 0 0 59099 2688 0 0 25 0 1 0 22035846 855797760 174639 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 208935 174639 364 364 0 208571 0
[pid=9162] vsize: 835740
Current children cumulated CPU time (s) 617.87
Current children cumulated vsize (Kb) 835740

[startup+670.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 315960 0 0 0 60053 2704 0 0 25 0 1 0 22035846 856387584 174768 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 209079 174768 364 364 0 208715 0
[pid=9162] vsize: 836316
Current children cumulated CPU time (s) 627.57
Current children cumulated vsize (Kb) 836316

[startup+680.02 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 316076 0 0 0 61022 2713 0 0 25 0 1 0 22035846 856801280 174851 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9162/statm): 209180 174851 364 364 0 208816 0
[pid=9162] vsize: 836720
Current children cumulated CPU time (s) 637.35
Current children cumulated vsize (Kb) 836720

[startup+690.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 317736 0 0 0 62015 2717 0 0 25 0 1 0 22035846 863092736 174972 4294967295 134512640 135987407 3221224560 3221223380 135479922 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 210716 174972 364 364 0 210352 0
[pid=9162] vsize: 842864
Current children cumulated CPU time (s) 647.32
Current children cumulated vsize (Kb) 842864

[startup+700.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 318963 0 0 0 62998 2723 0 0 25 0 1 0 22035846 867287040 175173 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 211740 175173 364 364 0 211376 0
[pid=9162] vsize: 846960
Current children cumulated CPU time (s) 657.21
Current children cumulated vsize (Kb) 846960

[startup+710.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 318994 0 0 0 63959 2737 0 0 25 0 1 0 22035846 867426304 175204 4294967295 134512640 135987407 3221224560 3221223248 134811988 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 211774 175204 364 364 0 211410 0
[pid=9162] vsize: 847096
Current children cumulated CPU time (s) 666.96
Current children cumulated vsize (Kb) 847096

[startup+720.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 320007 0 0 0 64952 2741 0 0 25 0 1 0 22035846 869654528 175668 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 212318 175668 364 364 0 211954 0
[pid=9162] vsize: 849272
Current children cumulated CPU time (s) 676.93
Current children cumulated vsize (Kb) 849272

[startup+730.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 325224 0 0 0 65936 2751 0 0 25 0 1 0 22035846 880664576 178178 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 215006 178178 364 364 0 214642 0
[pid=9162] vsize: 860024
Current children cumulated CPU time (s) 686.87
Current children cumulated vsize (Kb) 860024

[startup+740.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 327261 0 0 0 66922 2759 0 0 25 0 1 0 22035846 885362688 179199 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 216153 179199 364 364 0 215789 0
[pid=9162] vsize: 864612
Current children cumulated CPU time (s) 696.81
Current children cumulated vsize (Kb) 864612

[startup+750.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 330476 0 0 0 67905 2769 0 0 25 0 1 0 22035846 893784064 180799 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 218209 180799 364 364 0 217845 0
[pid=9162] vsize: 872836
Current children cumulated CPU time (s) 706.74
Current children cumulated vsize (Kb) 872836

[startup+760.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 332630 0 0 0 68888 2776 0 0 25 0 1 0 22035846 898375680 181889 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 219330 181889 364 364 0 218966 0
[pid=9162] vsize: 877320
Current children cumulated CPU time (s) 716.64
Current children cumulated vsize (Kb) 877320

[startup+770.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 333973 0 0 0 69878 2782 0 0 25 0 1 0 22035846 901390336 182589 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 220066 182589 364 364 0 219702 0
[pid=9162] vsize: 880264
Current children cumulated CPU time (s) 726.6
Current children cumulated vsize (Kb) 880264

[startup+780.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 336092 0 0 0 70867 2788 0 0 25 0 1 0 22035846 906133504 183740 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 221224 183740 364 364 0 220860 0
[pid=9162] vsize: 884896
Current children cumulated CPU time (s) 736.55
Current children cumulated vsize (Kb) 884896

[startup+790.024 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 338991 0 0 0 71860 2794 0 0 25 0 1 0 22035846 912707584 185186 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 222829 185186 364 364 0 222465 0
[pid=9162] vsize: 891316
Current children cumulated CPU time (s) 746.54
Current children cumulated vsize (Kb) 891316

[startup+800.024 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 339129 0 0 0 72858 2795 0 0 25 0 1 0 22035846 913240064 185258 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 222959 185258 364 364 0 222595 0
[pid=9162] vsize: 891836
Current children cumulated CPU time (s) 756.53
Current children cumulated vsize (Kb) 891836

[startup+810.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 339133 0 0 0 73857 2795 0 0 25 0 1 0 22035846 913240064 185262 4294967295 134512640 135987407 3221224560 3221223248 134812021 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 222959 185262 364 364 0 222595 0
[pid=9162] vsize: 891836
Current children cumulated CPU time (s) 766.52
Current children cumulated vsize (Kb) 891836

[startup+820.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 340191 0 0 0 74849 2799 0 0 25 0 1 0 22035846 915742720 185803 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 223570 185803 364 364 0 223206 0
[pid=9162] vsize: 894280
Current children cumulated CPU time (s) 776.48
Current children cumulated vsize (Kb) 894280

[startup+830.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 340198 0 0 0 75847 2799 0 0 25 0 1 0 22035846 915742720 185810 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 223570 185810 364 364 0 223206 0
[pid=9162] vsize: 894280
Current children cumulated CPU time (s) 786.46
Current children cumulated vsize (Kb) 894280

[startup+840.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 340224 0 0 0 76842 2801 0 0 25 0 1 0 22035846 915877888 185836 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 223603 185836 364 364 0 223239 0
[pid=9162] vsize: 894412
Current children cumulated CPU time (s) 796.43
Current children cumulated vsize (Kb) 894412

[startup+850.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 340227 0 0 0 77841 2802 0 0 25 0 1 0 22035846 915877888 185839 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 223603 185839 364 364 0 223239 0
[pid=9162] vsize: 894412
Current children cumulated CPU time (s) 806.43
Current children cumulated vsize (Kb) 894412

[startup+860.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 340230 0 0 0 78840 2802 0 0 25 0 1 0 22035846 915877888 185842 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9162/statm): 223603 185842 364 364 0 223239 0
[pid=9162] vsize: 894412
Current children cumulated CPU time (s) 816.42
Current children cumulated vsize (Kb) 894412

[startup+870.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 340230 0 0 0 79838 2802 0 0 25 0 1 0 22035846 915877888 185842 4294967295 134512640 135987407 3221224560 3221223424 134812787 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 223603 185842 364 364 0 223239 0
[pid=9162] vsize: 894412
Current children cumulated CPU time (s) 826.4
Current children cumulated vsize (Kb) 894412

[startup+880.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 340230 0 0 0 80837 2803 0 0 25 0 1 0 22035846 915877888 185842 4294967295 134512640 135987407 3221224560 3221223248 134811988 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 223603 185842 364 364 0 223239 0
[pid=9162] vsize: 894412
Current children cumulated CPU time (s) 836.4
Current children cumulated vsize (Kb) 894412

[startup+890.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 342914 0 0 0 81826 2810 0 0 25 0 1 0 22035846 921649152 187140 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 225012 187140 364 364 0 224648 0
[pid=9162] vsize: 900048
Current children cumulated CPU time (s) 846.36
Current children cumulated vsize (Kb) 900048

[startup+900.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 345762 0 0 0 82820 2816 0 0 25 0 1 0 22035846 927952896 188536 4294967295 134512640 135987407 3221224560 3221223376 134812261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 226551 188536 364 364 0 226187 0
[pid=9162] vsize: 906204
Current children cumulated CPU time (s) 856.36
Current children cumulated vsize (Kb) 906204

[startup+910.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 346724 0 0 0 83815 2819 0 0 25 0 1 0 22035846 930054144 189014 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 227064 189014 364 364 0 226700 0
[pid=9162] vsize: 908256
Current children cumulated CPU time (s) 866.34
Current children cumulated vsize (Kb) 908256

[startup+920.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 348491 0 0 0 84807 2824 0 0 25 0 1 0 22035846 933859328 189879 4294967295 134512640 135987407 3221224560 3221223344 134812377 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 227993 189879 364 364 0 227629 0
[pid=9162] vsize: 911972
Current children cumulated CPU time (s) 876.31
Current children cumulated vsize (Kb) 911972

[startup+930.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) R 9161 9162 4060 0 -1 0 350358 0 0 0 85802 2828 0 0 25 0 1 0 22035846 937926656 190778 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9162/statm): 228986 190778 364 364 0 228622 0
[pid=9162] vsize: 915944
Current children cumulated CPU time (s) 886.3
Current children cumulated vsize (Kb) 915944

[startup+940.029 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 350402 0 0 0 86726 2854 0 0 21 0 1 0 22035846 938196992 190822 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9162/statm): 229052 190822 364 364 0 228688 0
[pid=9162] vsize: 916208
Current children cumulated CPU time (s) 895.8
Current children cumulated vsize (Kb) 916208



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+942.96 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 9162
Raw data (/proc/9162/stat): 9162 (pb2sat) T 9161 9162 4060 0 -1 0 350402 0 0 0 87012 2856 0 0 25 0 1 0 22035846 953954304 190822 4294967295 134512640 135987407 3221224560 3221222896 135544035 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9162/statm): 232899 190822 364 364 0 232535 0
[pid=9162] vsize: 931596
Current children cumulated CPU time (s) 898.68
Current children cumulated vsize (Kb) 931596

Sending SIGTERM to -9162
Sleeping 2 seconds
Sending SIGKILL to -9162
One traced child (pid=9162) 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): 945.348
CPU time (s): 899.261
CPU user time (s): 870.314
CPU system time (s): 28.9476
CPU usage (%): 95.1249
Max. virtual memory (cumulated for all children) (Kb): 931596

Verifier Data

ERROR: no interpretation found !