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/MIPLIB/miplib3/normalized-mps-v2-20-10-fixnet6.opb
MD5SUM1eea2f19d665ab2eda88d95b10eac4ce
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 48386177
Optimality of the best value was proved NO
Number of terms in the objective function 11714
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 513431911800
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 513431911800
Number of bits of the biggest sum of numbers39
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1233.44
Number of variables14036
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 constraint1523

Trace number 10128

Launcher Data

LAUNCH ON wulflinc11 THE 2005-09-23 16:48:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8831 boxname=wulflinc11 idbench=627 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  1eea2f19d665ab2eda88d95b10eac4ce  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-fixnet6.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-fixnet6.opb
IDLAUNCH: 8831
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.045
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	: 2
cpu MHz		: 451.045
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        907848 kB
Buffers:          9108 kB
Cached:          92348 kB
SwapCached:          0 kB
Active:          57404 kB
Inactive:        53604 kB
HighTotal:      131008 kB
HighFree:        36372 kB
LowTotal:       903652 kB
LowFree:        871476 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10128 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:09:14 (client local time) WITH STATUS 0 IN 1209.91 SECONDS
stats: 8831 7 1209.91 0

Solver Data

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

c Decision: 604203/1600883	Time: 351.389/86400
c Decision: 604205/1600883	Time: 401.606/86400
c Decision: 604208/1600883	Time: 507.127/86400
c Decision: 604208/1600883	Time: 577.627/86400
c Decision: 604216/1600883	Time: 663.487/86400
c Decision: 604216/1600883	Time: 719.281/86400
c Decision: 604233/1600883	Time: 780.484/86400
c Decision: 604236/1600883	Time: 828.881/86400
c Decision: 604241/1600883	Time: 891.262/86400
c Decision: 604241/1600883	Time: 922.522/86400
c Decision: 604241/1600883	Time: 965.59/86400
c Decision: 604241/1600883	Time: 999.694/86400
c Decision: 604241/1600883	Time: 1032.06/86400
c Decision: 604241/1600883	Time: 1060.13/86400
c Decision: 604241/1600883	Time: 1083.44/86400
c Decision: 604245/1600883	Time: 1120.59/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/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21752294 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 373 2 364 364 0 9 0
[pid=10156] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-fixnet6.opb

[startup+10.0021 s]
Raw data (loadavg): 0.86 0.96 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 26126 0 0 0 937 59 0 0 25 0 1 0 21752294 85282816 14987 4294967295 134512640 135987407 3221224560 3221110124 134637035 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 20821 14987 364 364 0 20457 0
[pid=10156] vsize: 83284
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 83284

[startup+20.0029 s]
Raw data (loadavg): 0.88 0.96 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 54808 0 0 0 1872 122 0 0 25 0 1 0 21752294 164483072 32425 4294967295 134512640 135987407 3221224560 3221037760 134856438 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 40157 32425 364 364 0 39793 0
[pid=10156] vsize: 160628
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 160628

[startup+30.0027 s]
Raw data (loadavg): 0.90 0.96 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 94865 0 0 0 2784 209 0 0 25 0 1 0 21752294 314368000 50266 4294967295 134512640 135987407 3221224560 3220902608 134877710 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 76750 50266 364 364 0 76386 0
[pid=10156] vsize: 307000
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 307000

[startup+40.0035 s]
Raw data (loadavg): 0.91 0.96 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 112099 0 0 0 3742 249 0 0 25 0 1 0 21752294 322002944 67228 4294967295 134512640 135987407 3221224560 3221162408 134866210 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 78614 67228 364 364 0 78250 0
[pid=10156] vsize: 314456
Current children cumulated CPU time (s) 39.91
Current children cumulated vsize (Kb) 314456

[startup+50.0042 s]
Raw data (loadavg): 0.93 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 158380 0 0 0 4644 343 0 0 25 0 1 0 21752294 651546624 93880 4294967295 134512640 135987407 3221224560 3221124976 134887487 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 159069 93880 364 364 0 158705 0
[pid=10156] vsize: 636276
Current children cumulated CPU time (s) 49.87
Current children cumulated vsize (Kb) 636276

[startup+60.005 s]
Raw data (loadavg): 0.94 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 191391 0 0 0 5567 419 0 0 25 0 1 0 21752294 588488704 102107 4294967295 134512640 135987407 3221224560 3221057904 134556271 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 143674 102107 364 364 0 143310 0
[pid=10156] vsize: 574696
Current children cumulated CPU time (s) 59.86
Current children cumulated vsize (Kb) 574696

[startup+70.0058 s]
Raw data (loadavg): 0.95 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 207143 0 0 0 6533 453 0 0 25 0 1 0 21752294 592138240 117594 4294967295 134512640 135987407 3221224560 3221179132 135499903 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 144565 117594 364 364 0 144201 0
[pid=10156] vsize: 578260
Current children cumulated CPU time (s) 69.86
Current children cumulated vsize (Kb) 578260

[startup+80.0056 s]
Raw data (loadavg): 0.95 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 218642 0 0 0 7503 482 0 0 25 0 1 0 21752294 615399424 124960 4294967295 134512640 135987407 3221224560 3221223248 134811735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 150244 124960 364 364 0 149880 0
[pid=10156] vsize: 600976
Current children cumulated CPU time (s) 79.85
Current children cumulated vsize (Kb) 600976

[startup+90.0064 s]
Raw data (loadavg): 0.96 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 222029 0 0 0 8475 495 0 0 25 0 1 0 21752294 631373824 128344 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 154144 128344 364 364 0 153780 0
[pid=10156] vsize: 616576
Current children cumulated CPU time (s) 89.7
Current children cumulated vsize (Kb) 616576

[startup+100.006 s]
Raw data (loadavg): 0.97 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 223612 0 0 0 9455 504 0 0 25 0 1 0 21752294 638996480 129896 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 156005 129896 364 364 0 155641 0
[pid=10156] vsize: 624020
Current children cumulated CPU time (s) 99.59
Current children cumulated vsize (Kb) 624020

[startup+110.007 s]
Raw data (loadavg): 0.97 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 224111 0 0 0 10452 506 0 0 25 0 1 0 21752294 641224704 130346 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 156549 130346 364 364 0 156185 0
[pid=10156] vsize: 626196
Current children cumulated CPU time (s) 109.58
Current children cumulated vsize (Kb) 626196

[startup+120.008 s]
Raw data (loadavg): 0.97 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 224629 0 0 0 11448 508 0 0 25 0 1 0 21752294 643432448 130732 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 157088 130732 364 364 0 156724 0
[pid=10156] vsize: 628352
Current children cumulated CPU time (s) 119.56
Current children cumulated vsize (Kb) 628352

[startup+130.008 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 225071 0 0 0 12444 510 0 0 25 0 1 0 21752294 645726208 131141 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 157648 131141 364 364 0 157284 0
[pid=10156] vsize: 630592
Current children cumulated CPU time (s) 129.54
Current children cumulated vsize (Kb) 630592

[startup+140.008 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 226755 0 0 0 13432 517 0 0 25 0 1 0 21752294 653029376 132521 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 159431 132521 364 364 0 159067 0
[pid=10156] vsize: 637724
Current children cumulated CPU time (s) 139.49
Current children cumulated vsize (Kb) 637724

[startup+150.009 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 227314 0 0 0 14416 524 0 0 25 0 1 0 21752294 655941632 133080 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10156/statm): 160142 133080 364 364 0 159778 0
[pid=10156] vsize: 640568
Current children cumulated CPU time (s) 149.4
Current children cumulated vsize (Kb) 640568

[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 227938 0 0 0 15411 527 0 0 25 0 1 0 21752294 658743296 133589 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10156/statm): 160826 133589 364 364 0 160462 0
[pid=10156] vsize: 643304
Current children cumulated CPU time (s) 159.38
Current children cumulated vsize (Kb) 643304

[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 228175 0 0 0 16409 528 0 0 25 0 1 0 21752294 659537920 133760 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10156/statm): 161020 133760 364 364 0 160656 0
[pid=10156] vsize: 644080
Current children cumulated CPU time (s) 169.37
Current children cumulated vsize (Kb) 644080

[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 228669 0 0 0 17405 530 0 0 25 0 1 0 21752294 661684224 134124 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10156/statm): 161544 134124 364 364 0 161180 0
[pid=10156] vsize: 646176
Current children cumulated CPU time (s) 179.35
Current children cumulated vsize (Kb) 646176

[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 229715 0 0 0 18380 541 0 0 25 0 1 0 21752294 666742784 135170 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10156/statm): 162779 135170 364 364 0 162415 0
[pid=10156] vsize: 651116
Current children cumulated CPU time (s) 189.21
Current children cumulated vsize (Kb) 651116

[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 230669 0 0 0 19362 548 0 0 25 0 1 0 21752294 671076352 135993 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 163837 135993 364 364 0 163473 0
[pid=10156] vsize: 655348
Current children cumulated CPU time (s) 199.1
Current children cumulated vsize (Kb) 655348

[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 231063 0 0 0 20355 551 0 0 25 0 1 0 21752294 672485376 136223 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 164181 136223 364 364 0 163817 0
[pid=10156] vsize: 656724
Current children cumulated CPU time (s) 209.06
Current children cumulated vsize (Kb) 656724

[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 231657 0 0 0 21343 556 0 0 25 0 1 0 21752294 675274752 136784 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 164862 136784 364 364 0 164498 0
[pid=10156] vsize: 659448
Current children cumulated CPU time (s) 218.99
Current children cumulated vsize (Kb) 659448

[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 232283 0 0 0 22331 560 0 0 25 0 1 0 21752294 678293504 137344 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 165599 137344 364 364 0 165235 0
[pid=10156] vsize: 662396
Current children cumulated CPU time (s) 228.91
Current children cumulated vsize (Kb) 662396

[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 232815 0 0 0 23315 565 0 0 25 0 1 0 21752294 680435712 137712 4294967295 134512640 135987407 3221224560 3221223376 134812261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10156/statm): 166122 137712 364 364 0 165758 0
[pid=10156] vsize: 664488
Current children cumulated CPU time (s) 238.8
Current children cumulated vsize (Kb) 664488

[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 233229 0 0 0 24303 570 0 0 25 0 1 0 21752294 682315776 138027 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10156/statm): 166581 138027 364 364 0 166217 0
[pid=10156] vsize: 666324
Current children cumulated CPU time (s) 248.73
Current children cumulated vsize (Kb) 666324

[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 233634 0 0 0 25292 573 0 0 25 0 1 0 21752294 684056576 138333 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 167006 138333 364 364 0 166642 0
[pid=10156] vsize: 668024
Current children cumulated CPU time (s) 258.65
Current children cumulated vsize (Kb) 668024

[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 234104 0 0 0 26277 579 0 0 25 0 1 0 21752294 685801472 138704 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 167432 138704 364 364 0 167068 0
[pid=10156] vsize: 669728
Current children cumulated CPU time (s) 268.56
Current children cumulated vsize (Kb) 669728

[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 234524 0 0 0 27264 583 0 0 25 0 1 0 21752294 687538176 138992 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 167856 138992 364 364 0 167492 0
[pid=10156] vsize: 671424
Current children cumulated CPU time (s) 278.47
Current children cumulated vsize (Kb) 671424

[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 234658 0 0 0 28248 589 0 0 25 0 1 0 21752294 688074752 139093 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 167987 139093 364 364 0 167623 0
[pid=10156] vsize: 671948
Current children cumulated CPU time (s) 288.37
Current children cumulated vsize (Kb) 671948

[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 234883 0 0 0 29233 594 0 0 25 0 1 0 21752294 689274880 139285 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 168280 139285 364 364 0 167916 0
[pid=10156] vsize: 673120
Current children cumulated CPU time (s) 298.27
Current children cumulated vsize (Kb) 673120

[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 235067 0 0 0 30219 600 0 0 25 0 1 0 21752294 690081792 139436 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 168477 139436 364 364 0 168113 0
[pid=10156] vsize: 673908
Current children cumulated CPU time (s) 308.19
Current children cumulated vsize (Kb) 673908

[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 235126 0 0 0 31203 606 0 0 25 0 1 0 21752294 690352128 139495 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 168543 139495 364 364 0 168179 0
[pid=10156] vsize: 674172
Current children cumulated CPU time (s) 318.09
Current children cumulated vsize (Kb) 674172

[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 235305 0 0 0 32183 613 0 0 25 0 1 0 21752294 691159040 139641 4294967295 134512640 135987407 3221224560 3221223248 134812046 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 168740 139641 364 364 0 168376 0
[pid=10156] vsize: 674960
Current children cumulated CPU time (s) 327.96
Current children cumulated vsize (Kb) 674960

[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 235418 0 0 0 33166 618 0 0 25 0 1 0 21752294 691834880 139754 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 168905 139754 364 364 0 168541 0
[pid=10156] vsize: 675620
Current children cumulated CPU time (s) 337.84
Current children cumulated vsize (Kb) 675620

[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 235608 0 0 0 34148 625 0 0 25 0 1 0 21752294 692641792 139911 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10156/statm): 169102 139911 364 364 0 168738 0
[pid=10156] vsize: 676408
Current children cumulated CPU time (s) 347.73
Current children cumulated vsize (Kb) 676408

[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 235862 0 0 0 35135 630 0 0 25 0 1 0 21752294 693710848 140099 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10156/statm): 169363 140099 364 364 0 168999 0
[pid=10156] vsize: 677452
Current children cumulated CPU time (s) 357.65
Current children cumulated vsize (Kb) 677452

[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 236090 0 0 0 36118 636 0 0 25 0 1 0 21752294 694644736 140228 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 169591 140228 364 364 0 169227 0
[pid=10156] vsize: 678364
Current children cumulated CPU time (s) 367.54
Current children cumulated vsize (Kb) 678364

[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 236254 0 0 0 37102 641 0 0 25 0 1 0 21752294 695177216 140326 4294967295 134512640 135987407 3221224560 3221223248 134812018 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 169721 140326 364 364 0 169357 0
[pid=10156] vsize: 678884
Current children cumulated CPU time (s) 377.43
Current children cumulated vsize (Kb) 678884

[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 236399 0 0 0 38083 648 0 0 25 0 1 0 21752294 695574528 140405 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 169818 140405 364 364 0 169454 0
[pid=10156] vsize: 679272
Current children cumulated CPU time (s) 387.31
Current children cumulated vsize (Kb) 679272

[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 236745 0 0 0 39067 655 0 0 25 0 1 0 21752294 697053184 140685 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 170179 140685 364 364 0 169815 0
[pid=10156] vsize: 680716
Current children cumulated CPU time (s) 397.22
Current children cumulated vsize (Kb) 680716

[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 236882 0 0 0 40054 658 0 0 25 0 1 0 21752294 697851904 140822 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 170374 140822 364 364 0 170010 0
[pid=10156] vsize: 681496
Current children cumulated CPU time (s) 407.12
Current children cumulated vsize (Kb) 681496

[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 240101 0 0 0 41041 668 0 0 25 0 1 0 21752294 711057408 144008 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 173598 144008 364 364 0 173234 0
[pid=10156] vsize: 694392
Current children cumulated CPU time (s) 417.09
Current children cumulated vsize (Kb) 694392

[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 240158 0 0 0 42034 670 0 0 25 0 1 0 21752294 698380288 140905 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 170503 140905 364 364 0 170139 0
[pid=10156] vsize: 682012
Current children cumulated CPU time (s) 427.04
Current children cumulated vsize (Kb) 682012

[startup+440.02 s]
Raw data (loadavg): 1.07 0.99 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 240238 0 0 0 43015 677 0 0 25 0 1 0 21752294 698646528 140952 4294967295 134512640 135987407 3221224560 3221223344 134812447 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10156/statm): 170568 140952 364 364 0 170204 0
[pid=10156] vsize: 682272
Current children cumulated CPU time (s) 436.92
Current children cumulated vsize (Kb) 682272

[startup+450.02 s]
Raw data (loadavg): 1.06 0.99 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 240414 0 0 0 43998 683 0 0 25 0 1 0 21752294 699310080 141062 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 170730 141062 364 364 0 170366 0
[pid=10156] vsize: 682920
Current children cumulated CPU time (s) 446.81
Current children cumulated vsize (Kb) 682920

[startup+460.021 s]
Raw data (loadavg): 1.05 0.99 0.94 1/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) T 10155 10156 4060 0 -1 0 240653 0 0 0 44982 689 0 0 25 0 1 0 21752294 700104704 141235 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10156/statm): 170924 141235 364 364 0 170560 0
[pid=10156] vsize: 683696
Current children cumulated CPU time (s) 456.71
Current children cumulated vsize (Kb) 683696

[startup+470.021 s]
Raw data (loadavg): 1.04 0.99 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 240683 0 0 0 45965 696 0 0 25 0 1 0 21752294 700239872 141265 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 170957 141265 364 364 0 170593 0
[pid=10156] vsize: 683828
Current children cumulated CPU time (s) 466.61
Current children cumulated vsize (Kb) 683828

[startup+480.021 s]
Raw data (loadavg): 1.03 0.99 0.94 1/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) T 10155 10156 4060 0 -1 0 243925 0 0 0 46947 707 0 0 25 0 1 0 21752294 700911616 141380 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10156/statm): 171121 141380 364 364 0 170757 0
[pid=10156] vsize: 684484
Current children cumulated CPU time (s) 476.54
Current children cumulated vsize (Kb) 684484

[startup+490.022 s]
Raw data (loadavg): 1.03 0.99 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 244138 0 0 0 47925 714 0 0 25 0 1 0 21752294 702124032 141560 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 171417 141560 364 364 0 171053 0
[pid=10156] vsize: 685668
Current children cumulated CPU time (s) 486.39
Current children cumulated vsize (Kb) 685668

[startup+500.023 s]
Raw data (loadavg): 1.02 0.99 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 244504 0 0 0 48900 722 0 0 25 0 1 0 21752294 703922176 141926 4294967295 134512640 135987407 3221224560 3221223308 134812115 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 171856 141926 364 364 0 171492 0
[pid=10156] vsize: 687424
Current children cumulated CPU time (s) 496.22
Current children cumulated vsize (Kb) 687424

[startup+510.024 s]
Raw data (loadavg): 1.02 0.99 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 244564 0 0 0 49885 728 0 0 25 0 1 0 21752294 704192512 141986 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10156/statm): 171922 141986 364 364 0 171558 0
[pid=10156] vsize: 687688
Current children cumulated CPU time (s) 506.13
Current children cumulated vsize (Kb) 687688

[startup+520.024 s]
Raw data (loadavg): 1.02 0.99 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 244567 0 0 0 50871 734 0 0 25 0 1 0 21752294 704192512 141989 4294967295 134512640 135987407 3221224560 3221223248 134811747 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 171922 141989 364 364 0 171558 0
[pid=10156] vsize: 687688
Current children cumulated CPU time (s) 516.05
Current children cumulated vsize (Kb) 687688

[startup+530.024 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 244725 0 0 0 51854 740 0 0 25 0 1 0 21752294 704864256 142114 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 172086 142114 364 364 0 171722 0
[pid=10156] vsize: 688344
Current children cumulated CPU time (s) 525.94
Current children cumulated vsize (Kb) 688344

[startup+540.025 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 244778 0 0 0 52834 748 0 0 25 0 1 0 21752294 705130496 142167 4294967295 134512640 135987407 3221224560 3221223300 135477963 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 172151 142167 364 364 0 171787 0
[pid=10156] vsize: 688604
Current children cumulated CPU time (s) 535.82
Current children cumulated vsize (Kb) 688604

[startup+550.026 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 244794 0 0 0 53819 753 0 0 25 0 1 0 21752294 705130496 142183 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 172151 142183 364 364 0 171787 0
[pid=10156] vsize: 688604
Current children cumulated CPU time (s) 545.72
Current children cumulated vsize (Kb) 688604

[startup+560.027 s]
Raw data (loadavg): 1.01 0.99 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 244892 0 0 0 54801 760 0 0 25 0 1 0 21752294 705536000 142281 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 172250 142281 364 364 0 171886 0
[pid=10156] vsize: 689000
Current children cumulated CPU time (s) 555.61
Current children cumulated vsize (Kb) 689000

[startup+570.027 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 245050 0 0 0 55785 766 0 0 25 0 1 0 21752294 705937408 142406 4294967295 134512640 135987407 3221224560 3221223308 134811686 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10156/statm): 172348 142406 364 364 0 171984 0
[pid=10156] vsize: 689392
Current children cumulated CPU time (s) 565.51
Current children cumulated vsize (Kb) 689392

[startup+580.027 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 248251 0 0 0 56766 778 0 0 25 0 1 0 21752294 719011840 145574 4294967295 134512640 135987407 3221224560 3221222976 134827638 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 175540 145574 364 364 0 175176 0
[pid=10156] vsize: 702160
Current children cumulated CPU time (s) 575.44
Current children cumulated vsize (Kb) 702160

[startup+590.028 s]
Raw data (loadavg): 1.00 0.99 0.94 1/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) T 10155 10156 4060 0 -1 0 248588 0 0 0 57746 786 0 0 25 0 1 0 21752294 707944448 142784 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10156/statm): 172838 142784 364 364 0 172474 0
[pid=10156] vsize: 691352
Current children cumulated CPU time (s) 585.32
Current children cumulated vsize (Kb) 691352

[startup+600.028 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 249336 0 0 0 58720 798 0 0 25 0 1 0 21752294 711426048 143400 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 173688 143400 364 364 0 173324 0
[pid=10156] vsize: 694752
Current children cumulated CPU time (s) 595.18
Current children cumulated vsize (Kb) 694752

[startup+610.029 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 249649 0 0 0 59692 809 0 0 25 0 1 0 21752294 712704000 143647 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 174000 143647 364 364 0 173636 0
[pid=10156] vsize: 696000
Current children cumulated CPU time (s) 605.01
Current children cumulated vsize (Kb) 696000

[startup+620.029 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 249963 0 0 0 60672 817 0 0 25 0 1 0 21752294 714338304 143928 4294967295 134512640 135987407 3221224560 3221223376 134824327 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 174399 143928 364 364 0 174035 0
[pid=10156] vsize: 697596
Current children cumulated CPU time (s) 614.89
Current children cumulated vsize (Kb) 697596

[startup+630.029 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 250170 0 0 0 61659 823 0 0 25 0 1 0 21752294 714866688 144036 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 174528 144036 364 364 0 174164 0
[pid=10156] vsize: 698112
Current children cumulated CPU time (s) 624.82
Current children cumulated vsize (Kb) 698112

[startup+640.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 250227 0 0 0 62642 830 0 0 25 0 1 0 21752294 714997760 144060 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 174560 144060 364 364 0 174196 0
[pid=10156] vsize: 698240
Current children cumulated CPU time (s) 634.72
Current children cumulated vsize (Kb) 698240

[startup+650.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 250286 0 0 0 63628 835 0 0 25 0 1 0 21752294 715264000 144119 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 174625 144119 364 364 0 174261 0
[pid=10156] vsize: 698500
Current children cumulated CPU time (s) 644.63
Current children cumulated vsize (Kb) 698500

[startup+660.03 s]
Raw data (loadavg): 1.08 1.00 0.95 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 253711 0 0 0 64608 848 0 0 25 0 1 0 21752294 716599296 144351 4294967295 134512640 135987407 3221224560 3221223096 135499869 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 174951 144351 364 364 0 174587 0
[pid=10156] vsize: 699804
Current children cumulated CPU time (s) 654.56
Current children cumulated vsize (Kb) 699804

[startup+670.031 s]
Raw data (loadavg): 1.07 1.00 0.95 2/55 10156
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 254154 0 0 0 65585 856 0 0 25 0 1 0 21752294 718692352 144794 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 175462 144794 364 364 0 175098 0
[pid=10156] vsize: 701848
Current children cumulated CPU time (s) 664.41
Current children cumulated vsize (Kb) 701848

[startup+680.031 s]
Raw data (loadavg): 1.13 1.02 0.95 2/55 10211
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 255053 0 0 0 66553 872 0 0 25 0 1 0 21752294 723124224 145594 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 176544 145594 364 364 0 176180 0
[pid=10156] vsize: 706176
Current children cumulated CPU time (s) 674.25
Current children cumulated vsize (Kb) 706176

[startup+690.032 s]
Raw data (loadavg): 1.11 1.02 0.95 2/55 10211
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 255135 0 0 0 67541 875 0 0 25 0 1 0 21752294 723390464 145643 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 176609 145643 364 364 0 176245 0
[pid=10156] vsize: 706436
Current children cumulated CPU time (s) 684.16
Current children cumulated vsize (Kb) 706436

[startup+700.032 s]
Raw data (loadavg): 1.09 1.02 0.95 2/55 10211
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 255270 0 0 0 68525 882 0 0 25 0 1 0 21752294 724127744 145778 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 176789 145778 364 364 0 176425 0
[pid=10156] vsize: 707156
Current children cumulated CPU time (s) 694.07
Current children cumulated vsize (Kb) 707156

[startup+710.032 s]
Raw data (loadavg): 1.08 1.02 0.95 2/55 10211
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 255363 0 0 0 69509 888 0 0 25 0 1 0 21752294 724529152 145838 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 176887 145838 364 364 0 176523 0
[pid=10156] vsize: 707548
Current children cumulated CPU time (s) 703.97
Current children cumulated vsize (Kb) 707548

[startup+720.033 s]
Raw data (loadavg): 1.07 1.01 0.95 2/55 10211
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 255367 0 0 0 70491 894 0 0 25 0 1 0 21752294 724529152 145842 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 176887 145842 364 364 0 176523 0
[pid=10156] vsize: 707548
Current children cumulated CPU time (s) 713.85
Current children cumulated vsize (Kb) 707548

[startup+730.034 s]
Raw data (loadavg): 1.14 1.03 0.96 2/57 10213
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 255390 0 0 0 71470 900 0 0 25 0 1 0 21752294 724664320 145865 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 176920 145865 364 364 0 176556 0
[pid=10156] vsize: 707680
Current children cumulated CPU time (s) 723.7
Current children cumulated vsize (Kb) 707680

[startup+740.035 s]
Raw data (loadavg): 1.11 1.03 0.96 2/55 10215
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 258536 0 0 0 72449 912 0 0 25 0 1 0 21752294 737607680 149011 4294967295 134512640 135987407 3221224560 3221222928 134829291 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 180080 149011 364 364 0 179716 0
[pid=10156] vsize: 720320
Current children cumulated CPU time (s) 733.61
Current children cumulated vsize (Kb) 720320

[startup+750.035 s]
Raw data (loadavg): 1.10 1.03 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 258685 0 0 0 73427 921 0 0 25 0 1 0 21752294 725745664 146033 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 177184 146033 364 364 0 176820 0
[pid=10156] vsize: 708736
Current children cumulated CPU time (s) 743.48
Current children cumulated vsize (Kb) 708736

[startup+760.036 s]
Raw data (loadavg): 1.08 1.03 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 258972 0 0 0 74403 929 0 0 25 0 1 0 21752294 727076864 146254 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 177509 146254 364 364 0 177145 0
[pid=10156] vsize: 710036
Current children cumulated CPU time (s) 753.32
Current children cumulated vsize (Kb) 710036

[startup+770.036 s]
Raw data (loadavg): 1.07 1.03 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 259028 0 0 0 75384 935 0 0 25 0 1 0 21752294 727343104 146310 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 177574 146310 364 364 0 177210 0
[pid=10156] vsize: 710296
Current children cumulated CPU time (s) 763.19
Current children cumulated vsize (Kb) 710296

[startup+780.036 s]
Raw data (loadavg): 1.06 1.02 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 259032 0 0 0 76361 942 0 0 25 0 1 0 21752294 727343104 146314 4294967295 134512640 135987407 3221224560 3221223424 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 177574 146314 364 364 0 177210 0
[pid=10156] vsize: 710296
Current children cumulated CPU time (s) 773.03
Current children cumulated vsize (Kb) 710296

[startup+790.037 s]
Raw data (loadavg): 1.05 1.02 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 262182 0 0 0 77341 955 0 0 25 0 1 0 21752294 740151296 149464 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 180701 149464 364 364 0 180337 0
[pid=10156] vsize: 722804
Current children cumulated CPU time (s) 782.96
Current children cumulated vsize (Kb) 722804

[startup+800.036 s]
Raw data (loadavg): 1.04 1.02 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 262193 0 0 0 78337 957 0 0 25 0 1 0 21752294 727539712 146348 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 177622 146348 364 364 0 177258 0
[pid=10156] vsize: 710488
Current children cumulated CPU time (s) 792.94
Current children cumulated vsize (Kb) 710488

[startup+810.037 s]
Raw data (loadavg): 1.03 1.02 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 262206 0 0 0 79315 965 0 0 25 0 1 0 21752294 727539712 146361 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10156/statm): 177622 146361 364 364 0 177258 0
[pid=10156] vsize: 710488
Current children cumulated CPU time (s) 802.8
Current children cumulated vsize (Kb) 710488

[startup+820.038 s]
Raw data (loadavg): 1.03 1.02 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 262253 0 0 0 80294 973 0 0 25 0 1 0 21752294 727810048 146408 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 177688 146408 364 364 0 177324 0
[pid=10156] vsize: 710752
Current children cumulated CPU time (s) 812.67
Current children cumulated vsize (Kb) 710752

[startup+830.038 s]
Raw data (loadavg): 1.02 1.02 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 262254 0 0 0 81276 979 0 0 25 0 1 0 21752294 727810048 146409 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 177688 146409 364 364 0 177324 0
[pid=10156] vsize: 710752
Current children cumulated CPU time (s) 822.55
Current children cumulated vsize (Kb) 710752

[startup+840.039 s]
Raw data (loadavg): 1.02 1.02 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 262255 0 0 0 82260 985 0 0 25 0 1 0 21752294 727810048 146410 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 177688 146410 364 364 0 177324 0
[pid=10156] vsize: 710752
Current children cumulated CPU time (s) 832.45
Current children cumulated vsize (Kb) 710752

[startup+850.039 s]
Raw data (loadavg): 1.02 1.02 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 262256 0 0 0 83243 991 0 0 25 0 1 0 21752294 727810048 146411 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 177688 146411 364 364 0 177324 0
[pid=10156] vsize: 710752
Current children cumulated CPU time (s) 842.34
Current children cumulated vsize (Kb) 710752

[startup+860.04 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 265388 0 0 0 84229 1001 0 0 25 0 1 0 21752294 727810048 146416 4294967295 134512640 135987407 3221224560 3221223200 134789619 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 177688 146416 364 364 0 177324 0
[pid=10156] vsize: 710752
Current children cumulated CPU time (s) 852.3
Current children cumulated vsize (Kb) 710752

[startup+870.041 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 265444 0 0 0 85206 1008 0 0 25 0 1 0 21752294 728215552 146472 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 177787 146472 364 364 0 177423 0
[pid=10156] vsize: 711148
Current children cumulated CPU time (s) 862.14
Current children cumulated vsize (Kb) 711148

[startup+880.041 s]
Raw data (loadavg): 1.01 1.02 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 265448 0 0 0 86184 1015 0 0 25 0 1 0 21752294 728215552 146476 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 177787 146476 364 364 0 177423 0
[pid=10156] vsize: 711148
Current children cumulated CPU time (s) 871.99
Current children cumulated vsize (Kb) 711148

[startup+890.042 s]
Raw data (loadavg): 1.01 1.01 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 265449 0 0 0 87163 1021 0 0 25 0 1 0 21752294 728215552 146477 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 177787 146477 364 364 0 177423 0
[pid=10156] vsize: 711148
Current children cumulated CPU time (s) 881.84
Current children cumulated vsize (Kb) 711148

[startup+900.041 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 265451 0 0 0 88143 1027 0 0 25 0 1 0 21752294 728215552 146479 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 177787 146479 364 364 0 177423 0
[pid=10156] vsize: 711148
Current children cumulated CPU time (s) 891.7
Current children cumulated vsize (Kb) 711148

[startup+910.042 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 268601 0 0 0 89133 1036 0 0 25 0 1 0 21752294 728350720 146502 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 177820 146502 364 364 0 177456 0
[pid=10156] vsize: 711280
Current children cumulated CPU time (s) 901.69
Current children cumulated vsize (Kb) 711280

[startup+920.043 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 268602 0 0 0 90113 1042 0 0 25 0 1 0 21752294 728350720 146503 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 177820 146503 364 364 0 177456 0
[pid=10156] vsize: 711280
Current children cumulated CPU time (s) 911.55
Current children cumulated vsize (Kb) 711280

[startup+930.043 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 268609 0 0 0 91093 1050 0 0 25 0 1 0 21752294 728350720 146510 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 177820 146510 364 364 0 177456 0
[pid=10156] vsize: 711280
Current children cumulated CPU time (s) 921.43
Current children cumulated vsize (Kb) 711280

[startup+940.043 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 268611 0 0 0 92066 1059 0 0 25 0 1 0 21752294 728350720 146512 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 177820 146512 364 364 0 177456 0
[pid=10156] vsize: 711280
Current children cumulated CPU time (s) 931.25
Current children cumulated vsize (Kb) 711280

[startup+950.043 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 268616 0 0 0 93045 1066 0 0 25 0 1 0 21752294 728350720 146517 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 177820 146517 364 364 0 177456 0
[pid=10156] vsize: 711280
Current children cumulated CPU time (s) 941.11
Current children cumulated vsize (Kb) 711280

[startup+960.044 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 268636 0 0 0 94022 1074 0 0 25 0 1 0 21752294 728547328 146537 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 177868 146537 364 364 0 177504 0
[pid=10156] vsize: 711472
Current children cumulated CPU time (s) 950.96
Current children cumulated vsize (Kb) 711472

[startup+970.045 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 271807 0 0 0 95002 1085 0 0 25 0 1 0 21752294 741490688 149708 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 181028 149708 364 364 0 180664 0
[pid=10156] vsize: 724112
Current children cumulated CPU time (s) 960.87
Current children cumulated vsize (Kb) 724112

[startup+980.045 s]
Raw data (loadavg): 1.00 1.01 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 271813 0 0 0 95984 1092 0 0 25 0 1 0 21752294 728682496 146587 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 177901 146587 364 364 0 177537 0
[pid=10156] vsize: 711604
Current children cumulated CPU time (s) 970.76
Current children cumulated vsize (Kb) 711604

[startup+990.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 271963 0 0 0 96968 1098 0 0 25 0 1 0 21752294 729075712 146638 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10156/statm): 177997 146638 364 364 0 177633 0
[pid=10156] vsize: 711988
Current children cumulated CPU time (s) 980.66
Current children cumulated vsize (Kb) 711988

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 272028 0 0 0 97953 1103 0 0 25 0 1 0 21752294 729341952 146703 4294967295 134512640 135987407 3221224560 3221223200 134789444 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 178062 146703 364 364 0 177698 0
[pid=10156] vsize: 712248
Current children cumulated CPU time (s) 990.56
Current children cumulated vsize (Kb) 712248

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 275177 0 0 0 98930 1116 0 0 25 0 1 0 21752294 729477120 146725 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 178095 146725 364 364 0 177731 0
[pid=10156] vsize: 712380
Current children cumulated CPU time (s) 1000.46
Current children cumulated vsize (Kb) 712380

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 275181 0 0 0 99902 1125 0 0 25 0 1 0 21752294 729477120 146729 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 178095 146729 364 364 0 177731 0
[pid=10156] vsize: 712380
Current children cumulated CPU time (s) 1010.27
Current children cumulated vsize (Kb) 712380

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10217
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 275183 0 0 0 100877 1134 0 0 25 0 1 0 21752294 729477120 146731 4294967295 134512640 135987407 3221224560 3221223248 134811962 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 178095 146731 364 364 0 177731 0
[pid=10156] vsize: 712380
Current children cumulated CPU time (s) 1020.11
Current children cumulated vsize (Kb) 712380

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10219
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 278397 0 0 0 101856 1147 0 0 25 0 1 0 21752294 742551552 149912 4294967295 134512640 135987407 3221224560 3221222920 134827485 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 181287 149912 364 364 0 180923 0
[pid=10156] vsize: 725148
Current children cumulated CPU time (s) 1030.03
Current children cumulated vsize (Kb) 725148

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10219
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 278397 0 0 0 102849 1150 0 0 25 0 1 0 21752294 729743360 146785 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 178160 146785 364 364 0 177796 0
[pid=10156] vsize: 712640
Current children cumulated CPU time (s) 1039.99
Current children cumulated vsize (Kb) 712640

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10219
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 278398 0 0 0 103824 1159 0 0 25 0 1 0 21752294 729743360 146786 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 178160 146786 364 364 0 177796 0
[pid=10156] vsize: 712640
Current children cumulated CPU time (s) 1049.83
Current children cumulated vsize (Kb) 712640

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 10219
Raw data (/proc/10156/stat): 10156 (pb2sat) T 10155 10156 4060 0 -1 0 278400 0 0 0 104797 1168 0 0 25 0 1 0 21752294 729743360 146788 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10156/statm): 178160 146788 364 364 0 177796 0
[pid=10156] vsize: 712640
Current children cumulated CPU time (s) 1059.65
Current children cumulated vsize (Kb) 712640

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10219
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 281528 0 0 0 105774 1180 0 0 25 0 1 0 21752294 742551552 149916 4294967295 134512640 135987407 3221224560 3221222944 134829261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 181287 149916 364 364 0 180923 0
[pid=10156] vsize: 725148
Current children cumulated CPU time (s) 1069.54
Current children cumulated vsize (Kb) 725148

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10219
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 281530 0 0 0 106754 1189 0 0 25 0 1 0 21752294 729743360 146791 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10156/statm): 178160 146791 364 364 0 177796 0
[pid=10156] vsize: 712640
Current children cumulated CPU time (s) 1079.43
Current children cumulated vsize (Kb) 712640

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10219
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 281531 0 0 0 107725 1198 0 0 25 0 1 0 21752294 729743360 146792 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10156/statm): 178160 146792 364 364 0 177796 0
[pid=10156] vsize: 712640
Current children cumulated CPU time (s) 1089.23
Current children cumulated vsize (Kb) 712640

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10219
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 281533 0 0 0 108702 1207 0 0 25 0 1 0 21752294 729743360 146794 4294967295 134512640 135987407 3221224560 3221223280 134814260 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 178160 146794 364 364 0 177796 0
[pid=10156] vsize: 712640
Current children cumulated CPU time (s) 1099.09
Current children cumulated vsize (Kb) 712640

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10219
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 284661 0 0 0 109684 1217 0 0 25 0 1 0 21752294 729743360 146795 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 178160 146795 364 364 0 177796 0
[pid=10156] vsize: 712640
Current children cumulated CPU time (s) 1109.01
Current children cumulated vsize (Kb) 712640

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10219
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 284663 0 0 0 110657 1225 0 0 25 0 1 0 21752294 729743360 146797 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 178160 146797 364 364 0 177796 0
[pid=10156] vsize: 712640
Current children cumulated CPU time (s) 1118.82
Current children cumulated vsize (Kb) 712640

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10219
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 287791 0 0 0 111632 1237 0 0 25 0 1 0 21752294 742551552 149925 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 181287 149925 364 364 0 180923 0
[pid=10156] vsize: 725148
Current children cumulated CPU time (s) 1128.69
Current children cumulated vsize (Kb) 725148

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10219
Raw data (/proc/10156/stat): 10156 (pb2sat) T 10155 10156 4060 0 -1 0 287792 0 0 0 112615 1244 0 0 25 0 1 0 21752294 729743360 146799 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10156/statm): 178160 146799 364 364 0 177796 0
[pid=10156] vsize: 712640
Current children cumulated CPU time (s) 1138.59
Current children cumulated vsize (Kb) 712640

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10219
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 287795 0 0 0 113589 1253 0 0 25 0 1 0 21752294 729743360 146802 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 178160 146802 364 364 0 177796 0
[pid=10156] vsize: 712640
Current children cumulated CPU time (s) 1148.42
Current children cumulated vsize (Kb) 712640

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10219
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 290922 0 0 0 114570 1264 0 0 25 0 1 0 21752294 729743360 146802 4294967295 134512640 135987407 3221224560 3221223248 134812033 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 178160 146802 364 364 0 177796 0
[pid=10156] vsize: 712640
Current children cumulated CPU time (s) 1158.34
Current children cumulated vsize (Kb) 712640

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10219
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 290942 0 0 0 115548 1274 0 0 25 0 1 0 21752294 729878528 146822 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 178193 146822 364 364 0 177829 0
[pid=10156] vsize: 712772
Current children cumulated CPU time (s) 1168.22
Current children cumulated vsize (Kb) 712772

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10219
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 290946 0 0 0 116522 1282 0 0 25 0 1 0 21752294 729878528 146826 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 178193 146826 364 364 0 177829 0
[pid=10156] vsize: 712772
Current children cumulated CPU time (s) 1178.04
Current children cumulated vsize (Kb) 712772

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10219
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 294074 0 0 0 117506 1292 0 0 25 0 1 0 21752294 729878528 146827 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10156/statm): 178193 146827 364 364 0 177829 0
[pid=10156] vsize: 712772
Current children cumulated CPU time (s) 1187.98
Current children cumulated vsize (Kb) 712772

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 10219
Raw data (/proc/10156/stat): 10156 (pb2sat) T 10155 10156 4060 0 -1 0 294096 0 0 0 118494 1297 0 0 25 0 1 0 21752294 730013696 146849 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10156/statm): 178226 146849 364 364 0 177862 0
[pid=10156] vsize: 712904
Current children cumulated CPU time (s) 1197.91
Current children cumulated vsize (Kb) 712904

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10219
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 294098 0 0 0 119471 1305 0 0 25 0 1 0 21752294 730013696 146851 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10156/statm): 178226 146851 364 364 0 177862 0
[pid=10156] vsize: 712904
Current children cumulated CPU time (s) 1207.76
Current children cumulated vsize (Kb) 712904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 10219
Raw data (/proc/10156/stat): 10156 (pb2sat) R 10155 10156 4060 0 -1 0 294098 0 0 0 119471 1305 0 0 25 0 1 0 21752294 730013696 146851 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10156/statm): 178226 146851 364 364 0 177862 0
[pid=10156] vsize: 712904
Current children cumulated CPU time (s) 1207.76
Current children cumulated vsize (Kb) 712904

Sending SIGTERM to -10156
Sleeping 2 seconds
Sending SIGKILL to -10156
One traced child (pid=10156) 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): 1222.21
CPU time (s): 1209.91
CPU user time (s): 1196.55
CPU system time (s): 13.362
CPU usage (%): 98.9933
Max. virtual memory (cumulated for all children) (Kb): 725148

Verifier Data

ERROR: no interpretation found !