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-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet6.opb
MD5SUM1b379137169731592d0d61cac8bf57af
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5123480
Optimality of the best value was proved NO
Number of terms in the objective function 8282
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 524133752
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 1048576
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 524133752
Number of bits of the biggest sum of numbers29
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1228.32
Number of variables9890
Total number of constraints978
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)378
Number of constraints which are nor clauses,nor cardinality constraints600
Minimum length of a constraint1
Maximum length of a constraint1072

Trace number 10402

Launcher Data

LAUNCH ON wulflinc18 THE 2005-09-23 17:53:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9099 boxname=wulflinc18 idbench=895 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  1b379137169731592d0d61cac8bf57af  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-fixnet6.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-fixnet6.opb
IDLAUNCH: 9099
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 3
cpu MHz		: 451.061
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:        922892 kB
Buffers:         15464 kB
Cached:          76404 kB
SwapCached:          0 kB
Active:          46216 kB
Inactive:        48544 kB
HighTotal:      131008 kB
HighFree:        50232 kB
LowTotal:       903652 kB
LowFree:        872660 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11364 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 18:14:05 (client local time) WITH STATUS 0 IN 1209.24 SECONDS
stats: 9099 7 1209.24 0

Solver Data

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

c Decision: 321681/1103678	Time: 218.569/86400
c Decision: 321681/1103678	Time: 247.926/86400
c Decision: 321681/1103678	Time: 274.29/86400
c Decision: 321681/1103678	Time: 301.751/86400
c Decision: 321681/1103678	Time: 327.818/86400
c Decision: 321681/1103678	Time: 352.172/86400
c Decision: 321681/1103678	Time: 373.389/86400
c Decision: 321681/1103678	Time: 401.802/86400
c Decision: 321681/1103678	Time: 429.637/86400
c Decision: 321681/1103678	Time: 458.067/86400
c Decision: 321681/1103678	Time: 491.087/86400
c Decision: 321681/1103678	Time: 515.568/86400
c Decision: 321681/1103678	Time: 546.116/86400
c Decision: 321681/1103678	Time: 574.84/86400
c Decision: 321681/1103678	Time: 600.219/86400
c Decision: 321681/1103678	Time: 629.365/86400
c Decision: 321681/1103678	Time: 653.552/86400
c Decision: 321681/1103678	Time: 678.16/86400
c Decision: 321681/1103678	Time: 701.823/86400
c Decision: 321681/1103678	Time: 725.699/86400
c Decision: 321681/1103678	Time: 753.539/86400
c Decision: 321681/1103678	Time: 776.75/86400
c Decision: 321681/1103678	Time: 799.633/86400
c Decision: 321681/1103678	Time: 819.822/86400
c Decision: 321681/1103678	Time: 839.829/86400
c Decision: 321681/1103678	Time: 861.182/86400
c Decision: 321681/1103678	Time: 879.251/86400
c Decision: 321681/1103678	Time: 903.332/86400
c Decision: 321681/1103678	Time: 922.623/86400
c Decision: 321681/1103678	Time: 951.005/86400
c Decision: 321681/1103678	Time: 979.286/86400
c Decision: 321681/1103678	Time: 998.899/86400
c Decision: 321681/1103678	Time: 1016.39/86400
c Decision: 321681/1103678	Time: 1032.94/86400
c Decision: 321681/1103678	Time: 1050.23/86400
c Decision: 321681/1103678	Time: 1072.75/86400
c Decision: 321681/1103678	Time: 1091.26/86400
c Decision: 321681/1103678	Time: 1115.73/86400
c Decision: 321681/1103678	Time: 1132.74/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/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22141640 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 373 2 364 364 0 9 0
[pid=9078] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-fixnet6.opb

[startup+10.0021 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 27391 0 0 0 932 63 0 0 25 0 1 0 22141640 85196800 16228 4294967295 134512640 135987407 3221224560 3221166940 134636994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 20800 16228 364 364 0 20436 0
[pid=9078] vsize: 83200
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 83200

[startup+20.004 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 55242 0 0 0 1873 121 0 0 25 0 1 0 22141640 161964032 32838 4294967295 134512640 135987407 3221224560 3221008160 134856581 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 39542 32838 364 364 0 39178 0
[pid=9078] vsize: 158168
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 158168

[startup+30.0049 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 95401 0 0 0 2786 205 0 0 25 0 1 0 22141640 314335232 50791 4294967295 134512640 135987407 3221224560 3221221312 134892758 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 76742 50791 364 364 0 76378 0
[pid=9078] vsize: 306968
Current children cumulated CPU time (s) 29.91
Current children cumulated vsize (Kb) 306968

[startup+40.0048 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 111751 0 0 0 3746 244 0 0 25 0 1 0 22141640 318660608 66870 4294967295 134512640 135987407 3221224560 3221221776 134975580 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 77798 66870 364 364 0 77434 0
[pid=9078] vsize: 311192
Current children cumulated CPU time (s) 39.9
Current children cumulated vsize (Kb) 311192

[startup+50.0058 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 161031 0 0 0 4640 345 0 0 25 0 1 0 22141640 648204288 96529 4294967295 134512640 135987407 3221224560 3221191168 134887487 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 158253 96529 364 364 0 157889 0
[pid=9078] vsize: 633012
Current children cumulated CPU time (s) 49.85
Current children cumulated vsize (Kb) 633012

[startup+60.0067 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 186707 0 0 0 5578 403 0 0 25 0 1 0 22141640 567873536 94892 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 138641 94892 364 364 0 138277 0
[pid=9078] vsize: 554564
Current children cumulated CPU time (s) 59.81
Current children cumulated vsize (Kb) 554564

[startup+70.0086 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 189222 0 0 0 6556 414 0 0 25 0 1 0 22141640 579534848 97268 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9078/statm): 141488 97268 364 364 0 141124 0
[pid=9078] vsize: 565952
Current children cumulated CPU time (s) 69.7
Current children cumulated vsize (Kb) 565952

[startup+80.0096 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 190884 0 0 0 7532 424 0 0 25 0 1 0 22141640 587603968 98930 4294967295 134512640 135987407 3221224560 3221223248 134811873 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 143458 98930 364 364 0 143094 0
[pid=9078] vsize: 573832
Current children cumulated CPU time (s) 79.56
Current children cumulated vsize (Kb) 573832

[startup+90.0095 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 191920 0 0 0 8522 429 0 0 25 0 1 0 22141640 592617472 99966 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 144682 99966 364 364 0 144318 0
[pid=9078] vsize: 578728
Current children cumulated CPU time (s) 89.51
Current children cumulated vsize (Kb) 578728

[startup+100.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 192696 0 0 0 9514 433 0 0 25 0 1 0 22141640 595750912 100577 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 145447 100577 364 364 0 145083 0
[pid=9078] vsize: 581788
Current children cumulated CPU time (s) 99.47
Current children cumulated vsize (Kb) 581788

[startup+110.011 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 193177 0 0 0 10506 436 0 0 25 0 1 0 22141640 597950464 100992 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9078/statm): 145984 100992 364 364 0 145620 0
[pid=9078] vsize: 583936
Current children cumulated CPU time (s) 109.42
Current children cumulated vsize (Kb) 583936

[startup+120.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 193807 0 0 0 11497 440 0 0 25 0 1 0 22141640 600948736 101524 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 146716 101524 364 364 0 146352 0
[pid=9078] vsize: 586864
Current children cumulated CPU time (s) 119.37
Current children cumulated vsize (Kb) 586864

[startup+130.013 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 194277 0 0 0 12483 445 0 0 25 0 1 0 22141640 603684864 101961 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9078/statm): 147384 101961 364 364 0 147020 0
[pid=9078] vsize: 589536
Current children cumulated CPU time (s) 129.28
Current children cumulated vsize (Kb) 589536

[startup+140.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 194369 0 0 0 13471 448 0 0 25 0 1 0 22141640 603815936 102020 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 147416 102020 364 364 0 147052 0
[pid=9078] vsize: 589664
Current children cumulated CPU time (s) 139.19
Current children cumulated vsize (Kb) 589664

[startup+150.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 194450 0 0 0 14460 452 0 0 25 0 1 0 22141640 604209152 102101 4294967295 134512640 135987407 3221224560 3221223388 134812256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 147512 102101 364 364 0 147148 0
[pid=9078] vsize: 590048
Current children cumulated CPU time (s) 149.12
Current children cumulated vsize (Kb) 590048

[startup+160.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 194613 0 0 0 15448 456 0 0 25 0 1 0 22141640 605081600 102264 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 147725 102264 364 364 0 147361 0
[pid=9078] vsize: 590900
Current children cumulated CPU time (s) 159.04
Current children cumulated vsize (Kb) 590900

[startup+170.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 194667 0 0 0 16438 461 0 0 25 0 1 0 22141640 605351936 102318 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 147791 102318 364 364 0 147427 0
[pid=9078] vsize: 591164
Current children cumulated CPU time (s) 168.99
Current children cumulated vsize (Kb) 591164

[startup+180.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 194736 0 0 0 17427 464 0 0 25 0 1 0 22141640 605622272 102387 4294967295 134512640 135987407 3221224560 3221223424 134812600 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 147857 102387 364 364 0 147493 0
[pid=9078] vsize: 591428
Current children cumulated CPU time (s) 178.91
Current children cumulated vsize (Kb) 591428

[startup+190.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 194760 0 0 0 18421 467 0 0 25 0 1 0 22141640 605622272 102411 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 147857 102411 364 364 0 147493 0
[pid=9078] vsize: 591428
Current children cumulated CPU time (s) 188.88
Current children cumulated vsize (Kb) 591428

[startup+200.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 194846 0 0 0 19414 469 0 0 25 0 1 0 22141640 606027776 102497 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 147956 102497 364 364 0 147592 0
[pid=9078] vsize: 591824
Current children cumulated CPU time (s) 198.83
Current children cumulated vsize (Kb) 591824

[startup+210.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 194858 0 0 0 20404 472 0 0 25 0 1 0 22141640 606027776 102509 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 147956 102509 364 364 0 147592 0
[pid=9078] vsize: 591824
Current children cumulated CPU time (s) 208.76
Current children cumulated vsize (Kb) 591824

[startup+220.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 194874 0 0 0 21396 475 0 0 25 0 1 0 22141640 606027776 102525 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 147956 102525 364 364 0 147592 0
[pid=9078] vsize: 591824
Current children cumulated CPU time (s) 218.71
Current children cumulated vsize (Kb) 591824

[startup+230.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 194976 0 0 0 22385 479 0 0 25 0 1 0 22141640 606433280 102627 4294967295 134512640 135987407 3221224560 3221223136 134788831 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 148055 102627 364 364 0 147691 0
[pid=9078] vsize: 592220
Current children cumulated CPU time (s) 228.64
Current children cumulated vsize (Kb) 592220

[startup+240.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 195158 0 0 0 23373 483 0 0 25 0 1 0 22141640 607379456 102809 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 148286 102809 364 364 0 147922 0
[pid=9078] vsize: 593144
Current children cumulated CPU time (s) 238.56
Current children cumulated vsize (Kb) 593144

[startup+250.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 195192 0 0 0 24359 487 0 0 25 0 1 0 22141640 607514624 102843 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 148319 102843 364 364 0 147955 0
[pid=9078] vsize: 593276
Current children cumulated CPU time (s) 248.46
Current children cumulated vsize (Kb) 593276

[startup+260.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 195209 0 0 0 25349 490 0 0 25 0 1 0 22141640 607514624 102860 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 148319 102860 364 364 0 147955 0
[pid=9078] vsize: 593276
Current children cumulated CPU time (s) 258.39
Current children cumulated vsize (Kb) 593276

[startup+270.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 197376 0 0 0 26340 497 0 0 25 0 1 0 22141640 607514624 102871 4294967295 134512640 135987407 3221224560 3221223372 134876997 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 148319 102871 364 364 0 147955 0
[pid=9078] vsize: 593276
Current children cumulated CPU time (s) 268.37
Current children cumulated vsize (Kb) 593276

[startup+280.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 197414 0 0 0 27327 503 0 0 25 0 1 0 22141640 607649792 102909 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 148352 102909 364 364 0 147988 0
[pid=9078] vsize: 593408
Current children cumulated CPU time (s) 278.3
Current children cumulated vsize (Kb) 593408

[startup+290.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 197459 0 0 0 28311 509 0 0 25 0 1 0 22141640 607920128 102954 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 148418 102954 364 364 0 148054 0
[pid=9078] vsize: 593672
Current children cumulated CPU time (s) 288.2
Current children cumulated vsize (Kb) 593672

[startup+300.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 199653 0 0 0 29297 518 0 0 25 0 1 0 22141640 616886272 105148 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 150607 105148 364 364 0 150243 0
[pid=9078] vsize: 602428
Current children cumulated CPU time (s) 298.15
Current children cumulated vsize (Kb) 602428

[startup+310.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 199717 0 0 0 30284 523 0 0 25 0 1 0 22141640 608460800 103056 4294967295 134512640 135987407 3221224560 3221223344 134812268 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 148550 103056 364 364 0 148186 0
[pid=9078] vsize: 594200
Current children cumulated CPU time (s) 308.07
Current children cumulated vsize (Kb) 594200

[startup+320.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 199784 0 0 0 31270 527 0 0 25 0 1 0 22141640 608866304 103123 4294967295 134512640 135987407 3221224560 3221223380 134812452 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 148649 103123 364 364 0 148285 0
[pid=9078] vsize: 594596
Current children cumulated CPU time (s) 317.97
Current children cumulated vsize (Kb) 594596

[startup+330.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 201958 0 0 0 32255 536 0 0 25 0 1 0 22141640 609001472 103141 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 148682 103141 364 364 0 148318 0
[pid=9078] vsize: 594728
Current children cumulated CPU time (s) 327.91
Current children cumulated vsize (Kb) 594728

[startup+340.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 202049 0 0 0 33240 540 0 0 25 0 1 0 22141640 609542144 103232 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 148814 103232 364 364 0 148450 0
[pid=9078] vsize: 595256
Current children cumulated CPU time (s) 337.8
Current children cumulated vsize (Kb) 595256

[startup+350.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 202099 0 0 0 34229 545 0 0 25 0 1 0 22141640 609812480 103282 4294967295 134512640 135987407 3221224560 3221223408 134790088 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 148880 103282 364 364 0 148516 0
[pid=9078] vsize: 595520
Current children cumulated CPU time (s) 347.74
Current children cumulated vsize (Kb) 595520

[startup+360.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 204256 0 0 0 35216 554 0 0 25 0 1 0 22141640 609812480 103283 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 148880 103283 364 364 0 148516 0
[pid=9078] vsize: 595520
Current children cumulated CPU time (s) 357.7
Current children cumulated vsize (Kb) 595520

[startup+370.029 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 204260 0 0 0 36203 558 0 0 25 0 1 0 22141640 609812480 103287 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9078/statm): 148880 103287 364 364 0 148516 0
[pid=9078] vsize: 595520
Current children cumulated CPU time (s) 367.61
Current children cumulated vsize (Kb) 595520

[startup+380.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 9078
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 204262 0 0 0 37190 563 0 0 25 0 1 0 22141640 609812480 103289 4294967295 134512640 135987407 3221224560 3221223200 134789464 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 148880 103289 364 364 0 148516 0
[pid=9078] vsize: 595520
Current children cumulated CPU time (s) 377.53
Current children cumulated vsize (Kb) 595520

[startup+390.03 s]
Raw data (loadavg): 1.07 0.99 0.92 2/55 9133
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 206443 0 0 0 38172 573 0 0 25 0 1 0 22141640 609947648 103314 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 148913 103314 364 364 0 148549 0
[pid=9078] vsize: 595652
Current children cumulated CPU time (s) 387.45
Current children cumulated vsize (Kb) 595652

[startup+400.031 s]
Raw data (loadavg): 1.06 0.99 0.92 2/55 9133
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 206612 0 0 0 39160 577 0 0 25 0 1 0 22141640 610750464 103417 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149109 103417 364 364 0 148745 0
[pid=9078] vsize: 596436
Current children cumulated CPU time (s) 397.37
Current children cumulated vsize (Kb) 596436

[startup+410.031 s]
Raw data (loadavg): 1.05 0.99 0.92 2/55 9133
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 208769 0 0 0 40149 585 0 0 25 0 1 0 22141640 610750464 103418 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149109 103418 364 364 0 148745 0
[pid=9078] vsize: 596436
Current children cumulated CPU time (s) 407.34
Current children cumulated vsize (Kb) 596436

[startup+420.031 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 9133
Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 208772 0 0 0 41137 588 0 0 25 0 1 0 22141640 610750464 103421 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149109 103421 364 364 0 148745 0
[pid=9078] vsize: 596436
Current children cumulated CPU time (s) 417.25
Current children cumulated vsize (Kb) 596436

[startup+430.032 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 9133
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 210936 0 0 0 42122 597 0 0 25 0 1 0 22141640 610750464 103429 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149109 103429 364 364 0 148745 0
[pid=9078] vsize: 596436
Current children cumulated CPU time (s) 427.19
Current children cumulated vsize (Kb) 596436

[startup+440.032 s]
Raw data (loadavg): 1.11 1.00 0.93 3/57 9135
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 210968 0 0 0 43103 604 0 0 25 0 1 0 22141640 610885632 103461 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149142 103461 364 364 0 148778 0
[pid=9078] vsize: 596568
Current children cumulated CPU time (s) 437.07
Current children cumulated vsize (Kb) 596568

[startup+450.033 s]
Raw data (loadavg): 1.09 1.00 0.93 2/55 9137
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 211103 0 0 0 44089 610 0 0 25 0 1 0 22141640 611422208 103563 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149273 103563 364 364 0 148909 0
[pid=9078] vsize: 597092
Current children cumulated CPU time (s) 446.99
Current children cumulated vsize (Kb) 597092

[startup+460.033 s]
Raw data (loadavg): 1.08 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 213278 0 0 0 45073 618 0 0 25 0 1 0 22141640 611557376 103582 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149306 103582 364 364 0 148942 0
[pid=9078] vsize: 597224
Current children cumulated CPU time (s) 456.91
Current children cumulated vsize (Kb) 597224

[startup+470.033 s]
Raw data (loadavg): 1.06 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 213290 0 0 0 46057 624 0 0 25 0 1 0 22141640 611557376 103594 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149306 103594 364 364 0 148942 0
[pid=9078] vsize: 597224
Current children cumulated CPU time (s) 466.81
Current children cumulated vsize (Kb) 597224

[startup+480.033 s]
Raw data (loadavg): 1.05 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 213312 0 0 0 47041 630 0 0 25 0 1 0 22141640 611692544 103616 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 149339 103616 364 364 0 148975 0
[pid=9078] vsize: 597356
Current children cumulated CPU time (s) 476.71
Current children cumulated vsize (Kb) 597356

[startup+490.034 s]
Raw data (loadavg): 1.05 1.00 0.93 1/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 215495 0 0 0 48028 637 0 0 25 0 1 0 22141640 611827712 103643 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9078/statm): 149372 103643 364 364 0 149008 0
[pid=9078] vsize: 597488
Current children cumulated CPU time (s) 486.65
Current children cumulated vsize (Kb) 597488

[startup+500.035 s]
Raw data (loadavg): 1.04 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 215511 0 0 0 49009 644 0 0 25 0 1 0 22141640 611827712 103659 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 149372 103659 364 364 0 149008 0
[pid=9078] vsize: 597488
Current children cumulated CPU time (s) 496.53
Current children cumulated vsize (Kb) 597488

[startup+510.036 s]
Raw data (loadavg): 1.03 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 215517 0 0 0 49984 652 0 0 25 0 1 0 22141640 611827712 103665 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 149372 103665 364 364 0 149008 0
[pid=9078] vsize: 597488
Current children cumulated CPU time (s) 506.36
Current children cumulated vsize (Kb) 597488

[startup+520.035 s]
Raw data (loadavg): 1.03 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 217729 0 0 0 50966 662 0 0 25 0 1 0 22141640 612098048 103721 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 149438 103721 364 364 0 149074 0
[pid=9078] vsize: 597752
Current children cumulated CPU time (s) 516.28
Current children cumulated vsize (Kb) 597752

[startup+530.036 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 217764 0 0 0 51947 669 0 0 25 0 1 0 22141640 612233216 103756 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 149471 103756 364 364 0 149107 0
[pid=9078] vsize: 597884
Current children cumulated CPU time (s) 526.16
Current children cumulated vsize (Kb) 597884

[startup+540.036 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 217769 0 0 0 52924 676 0 0 25 0 1 0 22141640 612233216 103761 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149471 103761 364 364 0 149107 0
[pid=9078] vsize: 597884
Current children cumulated CPU time (s) 536
Current children cumulated vsize (Kb) 597884

[startup+550.037 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 219926 0 0 0 53912 683 0 0 25 0 1 0 22141640 612233216 103762 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149471 103762 364 364 0 149107 0
[pid=9078] vsize: 597884
Current children cumulated CPU time (s) 545.95
Current children cumulated vsize (Kb) 597884

[startup+560.038 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 219953 0 0 0 54889 690 0 0 25 0 1 0 22141640 612368384 103789 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149504 103789 364 364 0 149140 0
[pid=9078] vsize: 598016
Current children cumulated CPU time (s) 555.79
Current children cumulated vsize (Kb) 598016

[startup+570.038 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 222113 0 0 0 55865 701 0 0 25 0 1 0 22141640 621199360 105949 4294967295 134512640 135987407 3221224560 3221222944 134829253 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 151660 105949 364 364 0 151296 0
[pid=9078] vsize: 606640
Current children cumulated CPU time (s) 565.66
Current children cumulated vsize (Kb) 606640

[startup+580.038 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 222160 0 0 0 56843 709 0 0 25 0 1 0 22141640 612499456 103807 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149536 103807 364 364 0 149172 0
[pid=9078] vsize: 598144
Current children cumulated CPU time (s) 575.52
Current children cumulated vsize (Kb) 598144

[startup+590.038 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 222182 0 0 0 57822 717 0 0 25 0 1 0 22141640 612634624 103829 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149569 103829 364 364 0 149205 0
[pid=9078] vsize: 598276
Current children cumulated CPU time (s) 585.39
Current children cumulated vsize (Kb) 598276

[startup+600.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 222258 0 0 0 58802 723 0 0 25 0 1 0 22141640 613040128 103905 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149668 103905 364 364 0 149304 0
[pid=9078] vsize: 598672
Current children cumulated CPU time (s) 595.25
Current children cumulated vsize (Kb) 598672

[startup+610.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 224418 0 0 0 59780 734 0 0 25 0 1 0 22141640 613040128 103909 4294967295 134512640 135987407 3221224560 3221223300 135478563 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 149668 103909 364 364 0 149304 0
[pid=9078] vsize: 598672
Current children cumulated CPU time (s) 605.14
Current children cumulated vsize (Kb) 598672

[startup+620.039 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 224432 0 0 0 60759 741 0 0 25 0 1 0 22141640 613040128 103923 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9078/statm): 149668 103923 364 364 0 149304 0
[pid=9078] vsize: 598672
Current children cumulated CPU time (s) 615
Current children cumulated vsize (Kb) 598672

[startup+630.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 226619 0 0 0 61738 751 0 0 25 0 1 0 22141640 622006272 106110 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 151857 106110 364 364 0 151493 0
[pid=9078] vsize: 607428
Current children cumulated CPU time (s) 624.89
Current children cumulated vsize (Kb) 607428

[startup+640.04 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 226651 0 0 0 62721 757 0 0 25 0 1 0 22141640 613310464 103986 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149734 103986 364 364 0 149370 0
[pid=9078] vsize: 598936
Current children cumulated CPU time (s) 634.78
Current children cumulated vsize (Kb) 598936

[startup+650.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 226685 0 0 0 63699 766 0 0 25 0 1 0 22141640 613445632 104020 4294967295 134512640 135987407 3221224560 3221223392 134812778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149767 104020 364 364 0 149403 0
[pid=9078] vsize: 599068
Current children cumulated CPU time (s) 644.65
Current children cumulated vsize (Kb) 599068

[startup+660.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 228861 0 0 0 64682 774 0 0 25 0 1 0 22141640 613580800 104040 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149800 104040 364 364 0 149436 0
[pid=9078] vsize: 599200
Current children cumulated CPU time (s) 654.56
Current children cumulated vsize (Kb) 599200

[startup+670.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 228870 0 0 0 65659 783 0 0 25 0 1 0 22141640 613580800 104049 4294967295 134512640 135987407 3221224560 3221223344 134812447 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149800 104049 364 364 0 149436 0
[pid=9078] vsize: 599200
Current children cumulated CPU time (s) 664.42
Current children cumulated vsize (Kb) 599200

[startup+680.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 228875 0 0 0 66633 791 0 0 25 0 1 0 22141640 613580800 104054 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149800 104054 364 364 0 149436 0
[pid=9078] vsize: 599200
Current children cumulated CPU time (s) 674.24
Current children cumulated vsize (Kb) 599200

[startup+690.041 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 231053 0 0 0 67623 798 0 0 25 0 1 0 22141640 613715968 104076 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149833 104076 364 364 0 149469 0
[pid=9078] vsize: 599332
Current children cumulated CPU time (s) 684.21
Current children cumulated vsize (Kb) 599332

[startup+700.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 231077 0 0 0 68601 805 0 0 25 0 1 0 22141640 613851136 104100 4294967295 134512640 135987407 3221224560 3221223344 134812319 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149866 104100 364 364 0 149502 0
[pid=9078] vsize: 599464
Current children cumulated CPU time (s) 694.06
Current children cumulated vsize (Kb) 599464

[startup+710.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 233236 0 0 0 69574 817 0 0 25 0 1 0 22141640 622682112 106259 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 152022 106259 364 364 0 151658 0
[pid=9078] vsize: 608088
Current children cumulated CPU time (s) 703.91
Current children cumulated vsize (Kb) 608088

[startup+720.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 233239 0 0 0 70556 823 0 0 25 0 1 0 22141640 613851136 104106 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149866 104106 364 364 0 149502 0
[pid=9078] vsize: 599464
Current children cumulated CPU time (s) 713.79
Current children cumulated vsize (Kb) 599464

[startup+730.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 233250 0 0 0 71531 832 0 0 25 0 1 0 22141640 613851136 104117 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 149866 104117 364 364 0 149502 0
[pid=9078] vsize: 599464
Current children cumulated CPU time (s) 723.63
Current children cumulated vsize (Kb) 599464

[startup+740.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9139
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 235409 0 0 0 72511 842 0 0 25 0 1 0 22141640 613851136 104120 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149866 104120 364 364 0 149502 0
[pid=9078] vsize: 599464
Current children cumulated CPU time (s) 733.53
Current children cumulated vsize (Kb) 599464

[startup+750.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 235415 0 0 0 73483 852 0 0 25 0 1 0 22141640 613851136 104126 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 149866 104126 364 364 0 149502 0
[pid=9078] vsize: 599464
Current children cumulated CPU time (s) 743.35
Current children cumulated vsize (Kb) 599464

[startup+760.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 237608 0 0 0 74461 863 0 0 25 0 1 0 22141640 622817280 106319 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 152055 106319 364 364 0 151691 0
[pid=9078] vsize: 608220
Current children cumulated CPU time (s) 753.24
Current children cumulated vsize (Kb) 608220

[startup+770.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 237615 0 0 0 75440 871 0 0 25 0 1 0 22141640 613986304 104170 4294967295 134512640 135987407 3221224560 3221223376 134815381 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 149899 104170 364 364 0 149535 0
[pid=9078] vsize: 599596
Current children cumulated CPU time (s) 763.11
Current children cumulated vsize (Kb) 599596

[startup+780.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 237621 0 0 0 76416 878 0 0 25 0 1 0 22141640 613986304 104176 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 149899 104176 364 364 0 149535 0
[pid=9078] vsize: 599596
Current children cumulated CPU time (s) 772.94
Current children cumulated vsize (Kb) 599596

[startup+790.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 239835 0 0 0 77398 888 0 0 25 0 1 0 22141640 614391808 104234 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149998 104234 364 364 0 149634 0
[pid=9078] vsize: 599992
Current children cumulated CPU time (s) 782.86
Current children cumulated vsize (Kb) 599992

[startup+800.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 239843 0 0 0 78379 893 0 0 25 0 1 0 22141640 614391808 104242 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 149998 104242 364 364 0 149634 0
[pid=9078] vsize: 599992
Current children cumulated CPU time (s) 792.72
Current children cumulated vsize (Kb) 599992

[startup+810.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 242003 0 0 0 79364 903 0 0 25 0 1 0 22141640 614391808 104246 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149998 104246 364 364 0 149634 0
[pid=9078] vsize: 599992
Current children cumulated CPU time (s) 802.67
Current children cumulated vsize (Kb) 599992

[startup+820.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 242007 0 0 0 80347 908 0 0 25 0 1 0 22141640 614391808 104250 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149998 104250 364 364 0 149634 0
[pid=9078] vsize: 599992
Current children cumulated CPU time (s) 812.55
Current children cumulated vsize (Kb) 599992

[startup+830.047 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 242009 0 0 0 81324 916 0 0 25 0 1 0 22141640 614391808 104252 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149998 104252 364 364 0 149634 0
[pid=9078] vsize: 599992
Current children cumulated CPU time (s) 822.4
Current children cumulated vsize (Kb) 599992

[startup+840.047 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 244166 0 0 0 82306 925 0 0 25 0 1 0 22141640 614391808 104253 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149998 104253 364 364 0 149634 0
[pid=9078] vsize: 599992
Current children cumulated CPU time (s) 832.31
Current children cumulated vsize (Kb) 599992

[startup+850.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 244171 0 0 0 83286 933 0 0 25 0 1 0 22141640 614391808 104258 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 149998 104258 364 364 0 149634 0
[pid=9078] vsize: 599992
Current children cumulated CPU time (s) 842.19
Current children cumulated vsize (Kb) 599992

[startup+860.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 246331 0 0 0 84265 944 0 0 25 0 1 0 22141640 614391808 104262 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 149998 104262 364 364 0 149634 0
[pid=9078] vsize: 599992
Current children cumulated CPU time (s) 852.09
Current children cumulated vsize (Kb) 599992

[startup+870.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 246339 0 0 0 85241 952 0 0 25 0 1 0 22141640 614391808 104270 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149998 104270 364 364 0 149634 0
[pid=9078] vsize: 599992
Current children cumulated CPU time (s) 861.93
Current children cumulated vsize (Kb) 599992

[startup+880.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 248500 0 0 0 86222 963 0 0 25 0 1 0 22141640 623222784 106431 4294967295 134512640 135987407 3221224560 3221223024 134831702 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 152154 106431 364 364 0 151790 0
[pid=9078] vsize: 608616
Current children cumulated CPU time (s) 871.85
Current children cumulated vsize (Kb) 608616

[startup+890.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 248507 0 0 0 87195 973 0 0 25 0 1 0 22141640 614391808 104282 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 149998 104282 364 364 0 149634 0
[pid=9078] vsize: 599992
Current children cumulated CPU time (s) 881.68
Current children cumulated vsize (Kb) 599992

[startup+900.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 250669 0 0 0 88173 984 0 0 25 0 1 0 22141640 623222784 106444 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 152154 106444 364 364 0 151790 0
[pid=9078] vsize: 608616
Current children cumulated CPU time (s) 891.57
Current children cumulated vsize (Kb) 608616

[startup+910.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 250683 0 0 0 89158 990 0 0 25 0 1 0 22141640 614391808 104302 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 149998 104302 364 364 0 149634 0
[pid=9078] vsize: 599992
Current children cumulated CPU time (s) 901.48
Current children cumulated vsize (Kb) 599992

[startup+920.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 252843 0 0 0 90141 1000 0 0 25 0 1 0 22141640 614391808 104306 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 149998 104306 364 364 0 149634 0
[pid=9078] vsize: 599992
Current children cumulated CPU time (s) 911.41
Current children cumulated vsize (Kb) 599992

[startup+930.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 252845 0 0 0 91129 1005 0 0 25 0 1 0 22141640 614391808 104308 4294967295 134512640 135987407 3221224560 3221223408 134790016 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 149998 104308 364 364 0 149634 0
[pid=9078] vsize: 599992
Current children cumulated CPU time (s) 921.34
Current children cumulated vsize (Kb) 599992

[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 255039 0 0 0 92114 1013 0 0 25 0 1 0 22141640 623493120 106502 4294967295 134512640 135987407 3221224560 3221223024 134831702 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 152220 106502 364 364 0 151856 0
[pid=9078] vsize: 608880
Current children cumulated CPU time (s) 931.27
Current children cumulated vsize (Kb) 608880

[startup+950.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 255041 0 0 0 93091 1023 0 0 25 0 1 0 22141640 614662144 104348 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 150064 104348 364 364 0 149700 0
[pid=9078] vsize: 600256
Current children cumulated CPU time (s) 941.14
Current children cumulated vsize (Kb) 600256

[startup+960.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 255080 0 0 0 94065 1031 0 0 25 0 1 0 22141640 614932480 104387 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 150130 104387 364 364 0 149766 0
[pid=9078] vsize: 600520
Current children cumulated CPU time (s) 950.96
Current children cumulated vsize (Kb) 600520

[startup+970.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 257240 0 0 0 95046 1041 0 0 25 0 1 0 22141640 614932480 104391 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 150130 104391 364 364 0 149766 0
[pid=9078] vsize: 600520
Current children cumulated CPU time (s) 960.87
Current children cumulated vsize (Kb) 600520

[startup+980.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 257267 0 0 0 96018 1050 0 0 25 0 1 0 22141640 615067648 104418 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 150163 104418 364 364 0 149799 0
[pid=9078] vsize: 600652
Current children cumulated CPU time (s) 970.68
Current children cumulated vsize (Kb) 600652

[startup+990.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 259466 0 0 0 97001 1059 0 0 25 0 1 0 22141640 615337984 104461 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 150229 104461 364 364 0 149865 0
[pid=9078] vsize: 600916
Current children cumulated CPU time (s) 980.6
Current children cumulated vsize (Kb) 600916

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 259556 0 0 0 97983 1066 0 0 25 0 1 0 22141640 615878656 104551 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 150361 104551 364 364 0 149997 0
[pid=9078] vsize: 601444
Current children cumulated CPU time (s) 990.49
Current children cumulated vsize (Kb) 601444

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 259657 0 0 0 98964 1072 0 0 25 0 1 0 22141640 616554496 104652 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 150526 104652 364 364 0 150162 0
[pid=9078] vsize: 602104
Current children cumulated CPU time (s) 1000.36
Current children cumulated vsize (Kb) 602104

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 261836 0 0 0 99940 1085 0 0 25 0 1 0 22141640 616689664 104675 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9078/statm): 150559 104675 364 364 0 150195 0
[pid=9078] vsize: 602236
Current children cumulated CPU time (s) 1010.25
Current children cumulated vsize (Kb) 602236

[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 261842 0 0 0 100910 1095 0 0 25 0 1 0 22141640 616689664 104681 4294967295 134512640 135987407 3221224560 3221223424 134812612 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 150559 104681 364 364 0 150195 0
[pid=9078] vsize: 602236
Current children cumulated CPU time (s) 1020.05
Current children cumulated vsize (Kb) 602236

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 263999 0 0 0 101892 1105 0 0 25 0 1 0 22141640 616689664 104682 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 150559 104682 364 364 0 150195 0
[pid=9078] vsize: 602236
Current children cumulated CPU time (s) 1029.97
Current children cumulated vsize (Kb) 602236

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 264001 0 0 0 102866 1115 0 0 25 0 1 0 22141640 616689664 104684 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9078/statm): 150559 104684 364 364 0 150195 0
[pid=9078] vsize: 602236
Current children cumulated CPU time (s) 1039.81
Current children cumulated vsize (Kb) 602236

[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 266160 0 0 0 103835 1128 0 0 25 0 1 0 22141640 625520640 106843 4294967295 134512640 135987407 3221224560 3221222944 134828937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 152715 106843 364 364 0 152351 0
[pid=9078] vsize: 610860
Current children cumulated CPU time (s) 1049.63
Current children cumulated vsize (Kb) 610860

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 266162 0 0 0 104810 1136 0 0 25 0 1 0 22141640 616689664 104689 4294967295 134512640 135987407 3221224560 3221223248 134811835 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 150559 104689 364 364 0 150195 0
[pid=9078] vsize: 602236
Current children cumulated CPU time (s) 1059.46
Current children cumulated vsize (Kb) 602236

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 268320 0 0 0 105787 1148 0 0 25 0 1 0 22141640 616689664 104691 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 150559 104691 364 364 0 150195 0
[pid=9078] vsize: 602236
Current children cumulated CPU time (s) 1069.35
Current children cumulated vsize (Kb) 602236

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 268322 0 0 0 106759 1158 0 0 25 0 1 0 22141640 616689664 104693 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 150559 104693 364 364 0 150195 0
[pid=9078] vsize: 602236
Current children cumulated CPU time (s) 1079.17
Current children cumulated vsize (Kb) 602236

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 268325 0 0 0 107728 1169 0 0 25 0 1 0 22141640 616689664 104696 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 150559 104696 364 364 0 150195 0
[pid=9078] vsize: 602236
Current children cumulated CPU time (s) 1088.97
Current children cumulated vsize (Kb) 602236

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 268331 0 0 0 108699 1179 0 0 25 0 1 0 22141640 616689664 104702 4294967295 134512640 135987407 3221224560 3221223280 134814307 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 150559 104702 364 364 0 150195 0
[pid=9078] vsize: 602236
Current children cumulated CPU time (s) 1098.78
Current children cumulated vsize (Kb) 602236

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 270492 0 0 0 109679 1190 0 0 25 0 1 0 22141640 616689664 104707 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 150559 104707 364 364 0 150195 0
[pid=9078] vsize: 602236
Current children cumulated CPU time (s) 1108.69
Current children cumulated vsize (Kb) 602236

[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 270498 0 0 0 110654 1197 0 0 25 0 1 0 22141640 616689664 104713 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 150559 104713 364 364 0 150195 0
[pid=9078] vsize: 602236
Current children cumulated CPU time (s) 1118.51
Current children cumulated vsize (Kb) 602236

[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 272655 0 0 0 111639 1207 0 0 25 0 1 0 22141640 616689664 104714 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 150559 104714 364 364 0 150195 0
[pid=9078] vsize: 602236
Current children cumulated CPU time (s) 1128.46
Current children cumulated vsize (Kb) 602236

[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 272661 0 0 0 112606 1216 0 0 25 0 1 0 22141640 616689664 104720 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 150559 104720 364 364 0 150195 0
[pid=9078] vsize: 602236
Current children cumulated CPU time (s) 1138.22
Current children cumulated vsize (Kb) 602236

[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 274821 0 0 0 113586 1226 0 0 25 0 1 0 22141640 616689664 104724 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9078/statm): 150559 104724 364 364 0 150195 0
[pid=9078] vsize: 602236
Current children cumulated CPU time (s) 1148.12
Current children cumulated vsize (Kb) 602236

[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 274829 0 0 0 114566 1234 0 0 25 0 1 0 22141640 616689664 104732 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 150559 104732 364 364 0 150195 0
[pid=9078] vsize: 602236
Current children cumulated CPU time (s) 1158
Current children cumulated vsize (Kb) 602236

[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 276988 0 0 0 115542 1246 0 0 25 0 1 0 22141640 616689664 104735 4294967295 134512640 135987407 3221224560 3221223200 134789622 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 150559 104735 364 364 0 150195 0
[pid=9078] vsize: 602236
Current children cumulated CPU time (s) 1167.88
Current children cumulated vsize (Kb) 602236

[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) T 9077 9078 4060 0 -1 0 276996 0 0 0 116516 1254 0 0 25 0 1 0 22141640 616689664 104743 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9078/statm): 150559 104743 364 364 0 150195 0
[pid=9078] vsize: 602236
Current children cumulated CPU time (s) 1177.7
Current children cumulated vsize (Kb) 602236

[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 277004 0 0 0 117491 1262 0 0 25 0 1 0 22141640 616689664 104751 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 150559 104751 364 364 0 150195 0
[pid=9078] vsize: 602236
Current children cumulated CPU time (s) 1187.53
Current children cumulated vsize (Kb) 602236

[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 277010 0 0 0 118469 1270 0 0 25 0 1 0 22141640 616689664 104757 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 150559 104757 364 364 0 150195 0
[pid=9078] vsize: 602236
Current children cumulated CPU time (s) 1197.39
Current children cumulated vsize (Kb) 602236

[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 277052 0 0 0 119451 1275 0 0 25 0 1 0 22141640 616960000 104799 4294967295 134512640 135987407 3221224560 3221223344 134812296 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 150625 104799 364 364 0 150261 0
[pid=9078] vsize: 602500
Current children cumulated CPU time (s) 1207.26
Current children cumulated vsize (Kb) 602500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 9141
Raw data (/proc/9078/stat): 9078 (pb2sat) R 9077 9078 4060 0 -1 0 277052 0 0 0 119451 1275 0 0 25 0 1 0 22141640 616960000 104799 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9078/statm): 150625 104799 364 364 0 150261 0
[pid=9078] vsize: 602500
Current children cumulated CPU time (s) 1207.26
Current children cumulated vsize (Kb) 602500

Sending SIGTERM to -9078
Sleeping 2 seconds
One traced child (pid=9078) exited with status: 0
All traced children have exited ! Game is over.

Child status: 0
Real time (s): 1222.06
CPU time (s): 1209.24
CPU user time (s): 1196.28
CPU system time (s): 12.962
CPU usage (%): 98.9511
Max. virtual memory (cumulated for all children) (Kb): 633012

Verifier Data

ERROR: no interpretation found !