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/miplib/normalized-mps-v2-20-10-fixnet3.opb
MD5SUM349f4f626fe64dc0e2f8461de6820c95
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 563784272
Optimality of the best value was proved NO
Number of terms in the objective function 13946
Biggest coefficient in the objective function 53687091200
Number of bits for the biggest coefficient in the objective function 36
Sum of the numbers in the objective function 23716479945956
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 53687091200
Number of bits of the biggest number in a constraint 36
Biggest sum of numbers in a constraint 23716479945956
Number of bits of the biggest sum of numbers45
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1242.41
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 10020

Launcher Data

LAUNCH ON wulflinc13 THE 2005-09-23 16:17:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8713 boxname=wulflinc13 idbench=509 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  349f4f626fe64dc0e2f8461de6820c95  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-fixnet3.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-fixnet3.opb
IDLAUNCH: 8713
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.180
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.180
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:        918448 kB
Buffers:         14064 kB
Cached:          83516 kB
SwapCached:          0 kB
Active:          45588 kB
Inactive:        54900 kB
HighTotal:      131008 kB
HighFree:        43820 kB
LowTotal:       903652 kB
LowFree:        874628 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10124 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 16:37:31 (client local time) WITH STATUS 0 IN 1210.23 SECONDS
stats: 8713 7 1210.23 0

Solver Data

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

c Decision: 604210/1600889	Time: 96.9983/86400
c Decision: 604212/1600889	Time: 211.272/86400
c Decision: 604234/1600889	Time: 410.465/86400
c Decision: 604234/1600889	Time: 475.554/86400
c Decision: 604234/1600889	Time: 531.566/86400
c Decision: 604234/1600889	Time: 585.18/86400
c Decision: 604234/1600889	Time: 617.161/86400
c Decision: 604237/1600889	Time: 644.975/86400
c Decision: 604240/1600889	Time: 685.777/86400
c Decision: 604240/1600889	Time: 707.681/86400
c Decision: 604240/1600889	Time: 733.948/86400
c Decision: 604240/1600889	Time: 756.076/86400
c Decision: 604244/1600889	Time: 780.11/86400
c Decision: 604244/1600889	Time: 804.469/86400
c Decision: 604244/1600889	Time: 828.071/86400
c Decision: 604249/1600889	Time: 859.35/86400
c Decision: 604249/1600889	Time: 883.455/86400
c Decision: 604249/1600889	Time: 904.65/86400
c Decision: 604253/1600889	Time: 937.579/86400
c Decision: 604253/1600889	Time: 960.006/86400
c Decision: 604253/1600889	Time: 983.895/86400
c Decision: 604253/1600889	Time: 1004.9/86400
c Decision: 604253/1600889	Time: 1028.17/86400
c Decision: 604253/1600889	Time: 1050.53/86400
c Decision: 604253/1600889	Time: 1073.25/86400
c Decision: 604253/1600889	Time: 1101.69/86400
c Decision: 604253/1600889	Time: 1126.23/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/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 21560582 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 373 2 364 364 0 9 0
[pid=7944] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-fixnet3.opb

[startup+10.0022 s]
Raw data (loadavg): 0.91 0.92 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 24777 0 0 0 937 59 0 0 25 0 1 0 21560582 76357632 13655 4294967295 134512640 135987407 3221224560 3220929196 134856649 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 18642 13655 364 364 0 18278 0
[pid=7944] vsize: 74568
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 74568

[startup+20.0039 s]
Raw data (loadavg): 0.93 0.92 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 53159 0 0 0 1866 129 0 0 25 0 1 0 21560582 164487168 30801 4294967295 134512640 135987407 3221224560 3220895072 135486820 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 40158 30801 364 364 0 39794 0
[pid=7944] vsize: 160632
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 160632

[startup+30.0046 s]
Raw data (loadavg): 0.94 0.92 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 93776 0 0 0 2775 218 0 0 25 0 1 0 21560582 280682496 49191 4294967295 134512640 135987407 3221224560 3221086864 134878068 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 68526 49191 364 364 0 68162 0
[pid=7944] vsize: 274104
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 274104

[startup+40.0042 s]
Raw data (loadavg): 0.95 0.93 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 109564 0 0 0 3735 259 0 0 25 0 1 0 21560582 319438848 64722 4294967295 134512640 135987407 3221224560 3220990880 134887302 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 77988 64722 364 364 0 77624 0
[pid=7944] vsize: 311952
Current children cumulated CPU time (s) 39.94
Current children cumulated vsize (Kb) 311952

[startup+50.0049 s]
Raw data (loadavg): 0.95 0.93 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 151728 0 0 0 4641 347 0 0 25 0 1 0 21560582 517603328 105683 4294967295 134512640 135987407 3221224560 3221027712 134861485 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 126368 105683 364 364 0 126004 0
[pid=7944] vsize: 505472
Current children cumulated CPU time (s) 49.88
Current children cumulated vsize (Kb) 505472

[startup+60.0045 s]
Raw data (loadavg): 0.96 0.93 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 188848 0 0 0 5551 436 0 0 25 0 1 0 21560582 587816960 99602 4294967295 134512640 135987407 3221224560 3220901152 134537491 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 143510 99602 364 364 0 143146 0
[pid=7944] vsize: 574040
Current children cumulated CPU time (s) 59.87
Current children cumulated vsize (Kb) 574040

[startup+70.0062 s]
Raw data (loadavg): 0.97 0.93 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 205020 0 0 0 6515 473 0 0 25 0 1 0 21560582 592277504 115508 4294967295 134512640 135987407 3221224560 3221221744 134536109 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 144599 115508 364 364 0 144235 0
[pid=7944] vsize: 578396
Current children cumulated CPU time (s) 69.88
Current children cumulated vsize (Kb) 578396

[startup+80.0069 s]
Raw data (loadavg): 0.97 0.93 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 216610 0 0 0 7484 503 0 0 25 0 1 0 21560582 608485376 123694 4294967295 134512640 135987407 3221224560 3221223152 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 148556 123694 364 364 0 148192 0
[pid=7944] vsize: 594224
Current children cumulated CPU time (s) 79.87
Current children cumulated vsize (Kb) 594224

[startup+90.0065 s]
Raw data (loadavg): 0.97 0.93 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 221950 0 0 0 8444 524 0 0 25 0 1 0 21560582 630415360 128264 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 153910 128264 364 364 0 153546 0
[pid=7944] vsize: 615640
Current children cumulated CPU time (s) 89.68
Current children cumulated vsize (Kb) 615640

[startup+100.007 s]
Raw data (loadavg): 0.98 0.94 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 223383 0 0 0 9420 534 0 0 25 0 1 0 21560582 637104128 129631 4294967295 134512640 135987407 3221224560 3221223376 134824216 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 155543 129631 364 364 0 155179 0
[pid=7944] vsize: 622172
Current children cumulated CPU time (s) 99.54
Current children cumulated vsize (Kb) 622172

[startup+110.008 s]
Raw data (loadavg): 0.98 0.94 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 225157 0 0 0 10393 544 0 0 25 0 1 0 21560582 645365760 131274 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 157560 131274 364 364 0 157196 0
[pid=7944] vsize: 630240
Current children cumulated CPU time (s) 109.37
Current children cumulated vsize (Kb) 630240

[startup+120.008 s]
Raw data (loadavg): 0.98 0.94 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 226276 0 0 0 11378 551 0 0 25 0 1 0 21560582 650924032 132327 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 158917 132327 364 364 0 158553 0
[pid=7944] vsize: 635668
Current children cumulated CPU time (s) 119.29
Current children cumulated vsize (Kb) 635668

[startup+130.009 s]
Raw data (loadavg): 0.99 0.94 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 227379 0 0 0 12364 557 0 0 25 0 1 0 21560582 656310272 133364 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 160232 133364 364 364 0 159868 0
[pid=7944] vsize: 640928
Current children cumulated CPU time (s) 129.21
Current children cumulated vsize (Kb) 640928

[startup+140.01 s]
Raw data (loadavg): 0.99 0.94 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 227729 0 0 0 13354 561 0 0 25 0 1 0 21560582 658116608 133714 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 160673 133714 364 364 0 160309 0
[pid=7944] vsize: 642692
Current children cumulated CPU time (s) 139.15
Current children cumulated vsize (Kb) 642692

[startup+150.01 s]
Raw data (loadavg): 0.99 0.94 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 228052 0 0 0 14350 563 0 0 25 0 1 0 21560582 659320832 133938 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 160967 133938 364 364 0 160603 0
[pid=7944] vsize: 643868
Current children cumulated CPU time (s) 149.13
Current children cumulated vsize (Kb) 643868

[startup+160.01 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 228533 0 0 0 15345 565 0 0 25 0 1 0 21560582 661471232 134320 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 161492 134320 364 364 0 161128 0
[pid=7944] vsize: 645968
Current children cumulated CPU time (s) 159.1
Current children cumulated vsize (Kb) 645968

[startup+170.011 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 231660 0 0 0 16336 574 0 0 25 0 1 0 21560582 661471232 134320 4294967295 134512640 135987407 3221224560 3221223376 134876845 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 161492 134320 364 364 0 161128 0
[pid=7944] vsize: 645968
Current children cumulated CPU time (s) 169.1
Current children cumulated vsize (Kb) 645968

[startup+180.011 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 233035 0 0 0 17315 583 0 0 25 0 1 0 21560582 667377664 135399 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 162934 135399 364 364 0 162570 0
[pid=7944] vsize: 651736
Current children cumulated CPU time (s) 178.98
Current children cumulated vsize (Kb) 651736

[startup+190.011 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 234336 0 0 0 18284 595 0 0 25 0 1 0 21560582 673419264 136552 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 164409 136552 364 364 0 164045 0
[pid=7944] vsize: 657636
Current children cumulated CPU time (s) 188.79
Current children cumulated vsize (Kb) 657636

[startup+200.012 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 235112 0 0 0 19262 603 0 0 25 0 1 0 21560582 676626432 137163 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 165192 137163 364 364 0 164828 0
[pid=7944] vsize: 660768
Current children cumulated CPU time (s) 198.65
Current children cumulated vsize (Kb) 660768

[startup+210.012 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 236044 0 0 0 20239 612 0 0 25 0 1 0 21560582 681213952 138095 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 166312 138095 364 364 0 165948 0
[pid=7944] vsize: 665248
Current children cumulated CPU time (s) 208.51
Current children cumulated vsize (Kb) 665248

[startup+220.013 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 236605 0 0 0 21218 620 0 0 25 0 1 0 21560582 684482560 138656 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 167110 138656 364 364 0 166746 0
[pid=7944] vsize: 668440
Current children cumulated CPU time (s) 218.38
Current children cumulated vsize (Kb) 668440

[startup+230.014 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 237215 0 0 0 22205 625 0 0 25 0 1 0 21560582 687480832 139167 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 167842 139167 364 364 0 167478 0
[pid=7944] vsize: 671368
Current children cumulated CPU time (s) 228.3
Current children cumulated vsize (Kb) 671368

[startup+240.013 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 237912 0 0 0 23192 630 0 0 25 0 1 0 21560582 690708480 139733 4294967295 134512640 135987407 3221224560 3221223248 134811756 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 168630 139733 364 364 0 168266 0
[pid=7944] vsize: 674520
Current children cumulated CPU time (s) 238.22
Current children cumulated vsize (Kb) 674520

[startup+250.014 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 238585 0 0 0 24180 635 0 0 25 0 1 0 21560582 692969472 140110 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 169182 140110 364 364 0 168818 0
[pid=7944] vsize: 676728
Current children cumulated CPU time (s) 248.15
Current children cumulated vsize (Kb) 676728

[startup+260.015 s]
Raw data (loadavg): 0.99 0.95 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 239043 0 0 0 25167 640 0 0 25 0 1 0 21560582 695287808 140535 4294967295 134512640 135987407 3221224560 3221223100 135481306 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 169748 140535 364 364 0 169384 0
[pid=7944] vsize: 678992
Current children cumulated CPU time (s) 258.07
Current children cumulated vsize (Kb) 678992

[startup+270.015 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 239917 0 0 0 26151 647 0 0 25 0 1 0 21560582 699297792 141178 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 170727 141178 364 364 0 170363 0
[pid=7944] vsize: 682908
Current children cumulated CPU time (s) 267.98
Current children cumulated vsize (Kb) 682908

[startup+280.016 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 240078 0 0 0 27137 651 0 0 25 0 1 0 21560582 700108800 141339 4294967295 134512640 135987407 3221224560 3221223248 134812033 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 170925 141339 364 364 0 170561 0
[pid=7944] vsize: 683700
Current children cumulated CPU time (s) 277.88
Current children cumulated vsize (Kb) 683700

[startup+290.016 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 243236 0 0 0 28118 664 0 0 25 0 1 0 21560582 700243968 141370 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 170958 141370 364 364 0 170594 0
[pid=7944] vsize: 683832
Current children cumulated CPU time (s) 287.82
Current children cumulated vsize (Kb) 683832

[startup+300.016 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 244104 0 0 0 29086 675 0 0 25 0 1 0 21560582 703729664 142007 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 171809 142007 364 364 0 171445 0
[pid=7944] vsize: 687236
Current children cumulated CPU time (s) 297.61
Current children cumulated vsize (Kb) 687236

[startup+310.016 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 244606 0 0 0 30060 685 0 0 25 0 1 0 21560582 706220032 142476 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 172417 142476 364 364 0 172053 0
[pid=7944] vsize: 689668
Current children cumulated CPU time (s) 307.45
Current children cumulated vsize (Kb) 689668

[startup+320.018 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 244944 0 0 0 31042 692 0 0 25 0 1 0 21560582 707956736 142748 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 172841 142748 364 364 0 172477 0
[pid=7944] vsize: 691364
Current children cumulated CPU time (s) 317.34
Current children cumulated vsize (Kb) 691364

[startup+330.018 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 245146 0 0 0 32025 697 0 0 25 0 1 0 21560582 708902912 142950 4294967295 134512640 135987407 3221224560 3221223364 135368735 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 173072 142950 364 364 0 172708 0
[pid=7944] vsize: 692288
Current children cumulated CPU time (s) 327.22
Current children cumulated vsize (Kb) 692288

[startup+340.018 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 245891 0 0 0 33020 700 0 0 25 0 1 0 21560582 711303168 143431 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 173658 143431 364 364 0 173294 0
[pid=7944] vsize: 694632
Current children cumulated CPU time (s) 337.2
Current children cumulated vsize (Kb) 694632

[startup+350.019 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 246028 0 0 0 34007 705 0 0 25 0 1 0 21560582 711979008 143568 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 173823 143568 364 364 0 173459 0
[pid=7944] vsize: 695292
Current children cumulated CPU time (s) 347.12
Current children cumulated vsize (Kb) 695292

[startup+360.018 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 246402 0 0 0 34991 711 0 0 25 0 1 0 21560582 713453568 143843 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 174183 143843 364 364 0 173819 0
[pid=7944] vsize: 696732
Current children cumulated CPU time (s) 357.02
Current children cumulated vsize (Kb) 696732

[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 246523 0 0 0 35978 716 0 0 25 0 1 0 21560582 714129408 143964 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 174348 143964 364 364 0 173984 0
[pid=7944] vsize: 697392
Current children cumulated CPU time (s) 366.94
Current children cumulated vsize (Kb) 697392

[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 246592 0 0 0 36960 722 0 0 25 0 1 0 21560582 714395648 144000 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 174413 144000 364 364 0 174049 0
[pid=7944] vsize: 697652
Current children cumulated CPU time (s) 376.82
Current children cumulated vsize (Kb) 697652

[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 246743 0 0 0 37947 728 0 0 25 0 1 0 21560582 715067392 144118 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 174577 144118 364 364 0 174213 0
[pid=7944] vsize: 698308
Current children cumulated CPU time (s) 386.75
Current children cumulated vsize (Kb) 698308

[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 246961 0 0 0 38934 733 0 0 25 0 1 0 21560582 716140544 144303 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 174839 144303 364 364 0 174475 0
[pid=7944] vsize: 699356
Current children cumulated CPU time (s) 396.67
Current children cumulated vsize (Kb) 699356

[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 247131 0 0 0 39922 738 0 0 25 0 1 0 21560582 716668928 144374 4294967295 134512640 135987407 3221224560 3221223248 134811756 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 174968 144374 364 364 0 174604 0
[pid=7944] vsize: 699872
Current children cumulated CPU time (s) 406.6
Current children cumulated vsize (Kb) 699872

[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 247214 0 0 0 40909 741 0 0 25 0 1 0 21560582 717074432 144457 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 175067 144457 364 364 0 174703 0
[pid=7944] vsize: 700268
Current children cumulated CPU time (s) 416.5
Current children cumulated vsize (Kb) 700268

[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 247462 0 0 0 41894 747 0 0 25 0 1 0 21560582 718004224 144606 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 175294 144606 364 364 0 174930 0
[pid=7944] vsize: 701176
Current children cumulated CPU time (s) 426.41
Current children cumulated vsize (Kb) 701176

[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 247639 0 0 0 42881 752 0 0 25 0 1 0 21560582 718815232 144750 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 175492 144750 364 364 0 175128 0
[pid=7944] vsize: 701968
Current children cumulated CPU time (s) 436.33
Current children cumulated vsize (Kb) 701968

[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 247726 0 0 0 43868 757 0 0 25 0 1 0 21560582 719081472 144804 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 175557 144804 364 364 0 175193 0
[pid=7944] vsize: 702228
Current children cumulated CPU time (s) 446.25
Current children cumulated vsize (Kb) 702228

[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 247911 0 0 0 44851 763 0 0 25 0 1 0 21560582 719749120 144923 4294967295 134512640 135987407 3221224560 3221223344 134812339 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 175720 144923 364 364 0 175356 0
[pid=7944] vsize: 702880
Current children cumulated CPU time (s) 456.14
Current children cumulated vsize (Kb) 702880

[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 248055 0 0 0 45836 769 0 0 25 0 1 0 21560582 720420864 145034 4294967295 134512640 135987407 3221224560 3221223344 134812377 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 175884 145034 364 364 0 175520 0
[pid=7944] vsize: 703536
Current children cumulated CPU time (s) 466.05
Current children cumulated vsize (Kb) 703536

[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 248212 0 0 0 46820 773 0 0 25 0 1 0 21560582 720556032 145191 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 175917 145191 364 364 0 175553 0
[pid=7944] vsize: 703668
Current children cumulated CPU time (s) 475.93
Current children cumulated vsize (Kb) 703668

[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 251353 0 0 0 47802 785 0 0 25 0 1 0 21560582 720556032 145205 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 175917 145205 364 364 0 175553 0
[pid=7944] vsize: 703668
Current children cumulated CPU time (s) 485.87
Current children cumulated vsize (Kb) 703668

[startup+500.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 251645 0 0 0 48778 793 0 0 25 0 1 0 21560582 721764352 145431 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 176212 145431 364 364 0 175848 0
[pid=7944] vsize: 704848
Current children cumulated CPU time (s) 495.71
Current children cumulated vsize (Kb) 704848

[startup+510.026 s]
Raw data (loadavg): 1.07 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 252057 0 0 0 49754 802 0 0 25 0 1 0 21560582 723783680 145777 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 176705 145777 364 364 0 176341 0
[pid=7944] vsize: 706820
Current children cumulated CPU time (s) 505.56
Current children cumulated vsize (Kb) 706820

[startup+520.027 s]
Raw data (loadavg): 1.06 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 252601 0 0 0 50735 809 0 0 25 0 1 0 21560582 725925888 146156 4294967295 134512640 135987407 3221224560 3221223424 134812623 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 177228 146156 364 364 0 176864 0
[pid=7944] vsize: 708912
Current children cumulated CPU time (s) 515.44
Current children cumulated vsize (Kb) 708912

[startup+530.028 s]
Raw data (loadavg): 1.05 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 253058 0 0 0 51712 817 0 0 25 0 1 0 21560582 728002560 146514 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 177735 146514 364 364 0 177371 0
[pid=7944] vsize: 710940
Current children cumulated CPU time (s) 525.29
Current children cumulated vsize (Kb) 710940

[startup+540.027 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 253392 0 0 0 52692 824 0 0 25 0 1 0 21560582 729616384 146782 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 178129 146782 364 364 0 177765 0
[pid=7944] vsize: 712516
Current children cumulated CPU time (s) 535.16
Current children cumulated vsize (Kb) 712516

[startup+550.028 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 253560 0 0 0 53676 830 0 0 25 0 1 0 21560582 730148864 146884 4294967295 134512640 135987407 3221224560 3221223200 134789444 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 178259 146884 364 364 0 177895 0
[pid=7944] vsize: 713036
Current children cumulated CPU time (s) 545.06
Current children cumulated vsize (Kb) 713036

[startup+560.029 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 256731 0 0 0 54652 844 0 0 25 0 1 0 21560582 730419200 146928 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 178325 146928 364 364 0 177961 0
[pid=7944] vsize: 713300
Current children cumulated CPU time (s) 554.96
Current children cumulated vsize (Kb) 713300

[startup+570.029 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 256915 0 0 0 55625 854 0 0 25 0 1 0 21560582 731496448 147112 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 178588 147112 364 364 0 178224 0
[pid=7944] vsize: 714352
Current children cumulated CPU time (s) 564.79
Current children cumulated vsize (Kb) 714352

[startup+580.03 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 257333 0 0 0 56602 862 0 0 25 0 1 0 21560582 732823552 147332 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 178912 147332 364 364 0 178548 0
[pid=7944] vsize: 715648
Current children cumulated CPU time (s) 574.64
Current children cumulated vsize (Kb) 715648

[startup+590.029 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 257556 0 0 0 57585 867 0 0 25 0 1 0 21560582 733622272 147456 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179107 147456 364 364 0 178743 0
[pid=7944] vsize: 716428
Current children cumulated CPU time (s) 584.52
Current children cumulated vsize (Kb) 716428

[startup+600.03 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 257614 0 0 0 58559 876 0 0 25 0 1 0 21560582 733892608 147514 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179173 147514 364 364 0 178809 0
[pid=7944] vsize: 716692
Current children cumulated CPU time (s) 594.35
Current children cumulated vsize (Kb) 716692

[startup+610.031 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 260789 0 0 0 59542 886 0 0 25 0 1 0 21560582 746971136 150689 4294967295 134512640 135987407 3221224560 3221222944 134828861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 182366 150689 364 364 0 182002 0
[pid=7944] vsize: 729464
Current children cumulated CPU time (s) 604.28
Current children cumulated vsize (Kb) 729464

[startup+620.031 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 260961 0 0 0 60525 893 0 0 25 0 1 0 21560582 734826496 147668 4294967295 134512640 135987407 3221224560 3221223424 134812582 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179401 147668 364 364 0 179037 0
[pid=7944] vsize: 717604
Current children cumulated CPU time (s) 614.18
Current children cumulated vsize (Kb) 717604

[startup+630.032 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 260974 0 0 0 61498 903 0 0 25 0 1 0 21560582 734826496 147681 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179401 147681 364 364 0 179037 0
[pid=7944] vsize: 717604
Current children cumulated CPU time (s) 624.01
Current children cumulated vsize (Kb) 717604

[startup+640.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 261075 0 0 0 62476 910 0 0 25 0 1 0 21560582 735227904 147749 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179499 147749 364 364 0 179135 0
[pid=7944] vsize: 717996
Current children cumulated CPU time (s) 633.86
Current children cumulated vsize (Kb) 717996

[startup+650.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 261139 0 0 0 63455 916 0 0 25 0 1 0 21560582 735498240 147813 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179565 147813 364 364 0 179201 0
[pid=7944] vsize: 718260
Current children cumulated CPU time (s) 643.71
Current children cumulated vsize (Kb) 718260

[startup+660.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 264345 0 0 0 64439 927 0 0 25 0 1 0 21560582 735895552 147859 4294967295 134512640 135987407 3221224560 3221223376 134876926 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179662 147859 364 364 0 179298 0
[pid=7944] vsize: 718648
Current children cumulated CPU time (s) 653.66
Current children cumulated vsize (Kb) 718648

[startup+670.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 264347 0 0 0 65423 933 0 0 25 0 1 0 21560582 735895552 147861 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 179662 147861 364 364 0 179298 0
[pid=7944] vsize: 718648
Current children cumulated CPU time (s) 663.56
Current children cumulated vsize (Kb) 718648

[startup+680.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 264349 0 0 0 66404 940 0 0 25 0 1 0 21560582 735895552 147863 4294967295 134512640 135987407 3221224560 3221223424 134812650 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 179662 147863 364 364 0 179298 0
[pid=7944] vsize: 718648
Current children cumulated CPU time (s) 673.44
Current children cumulated vsize (Kb) 718648

[startup+690.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 264485 0 0 0 67377 949 0 0 25 0 1 0 21560582 736428032 147933 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179792 147933 364 364 0 179428 0
[pid=7944] vsize: 719168
Current children cumulated CPU time (s) 683.26
Current children cumulated vsize (Kb) 719168

[startup+700.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 267613 0 0 0 68360 960 0 0 25 0 1 0 21560582 736428032 147934 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179792 147934 364 364 0 179428 0
[pid=7944] vsize: 719168
Current children cumulated CPU time (s) 693.2
Current children cumulated vsize (Kb) 719168

[startup+710.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 267659 0 0 0 69346 965 0 0 25 0 1 0 21560582 736563200 147980 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179825 147980 364 364 0 179461 0
[pid=7944] vsize: 719300
Current children cumulated CPU time (s) 703.11
Current children cumulated vsize (Kb) 719300

[startup+720.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 267678 0 0 0 70332 969 0 0 25 0 1 0 21560582 736698368 147999 4294967295 134512640 135987407 3221224560 3221223280 134814275 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179858 147999 364 364 0 179494 0
[pid=7944] vsize: 719432
Current children cumulated CPU time (s) 713.01
Current children cumulated vsize (Kb) 719432

[startup+730.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 270806 0 0 0 71315 981 0 0 25 0 1 0 21560582 736698368 148000 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179858 148000 364 364 0 179494 0
[pid=7944] vsize: 719432
Current children cumulated CPU time (s) 722.96
Current children cumulated vsize (Kb) 719432

[startup+740.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 270807 0 0 0 72290 988 0 0 25 0 1 0 21560582 736698368 148001 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179858 148001 364 364 0 179494 0
[pid=7944] vsize: 719432
Current children cumulated CPU time (s) 732.78
Current children cumulated vsize (Kb) 719432

[startup+750.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 270809 0 0 0 73268 995 0 0 25 0 1 0 21560582 736698368 148003 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179858 148003 364 364 0 179494 0
[pid=7944] vsize: 719432
Current children cumulated CPU time (s) 742.63
Current children cumulated vsize (Kb) 719432

[startup+760.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 270818 0 0 0 74247 1002 0 0 25 0 1 0 21560582 736698368 148012 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179858 148012 364 364 0 179494 0
[pid=7944] vsize: 719432
Current children cumulated CPU time (s) 752.49
Current children cumulated vsize (Kb) 719432

[startup+770.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 273948 0 0 0 75234 1012 0 0 25 0 1 0 21560582 736698368 148015 4294967295 134512640 135987407 3221224560 3221223248 134811962 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179858 148015 364 364 0 179494 0
[pid=7944] vsize: 719432
Current children cumulated CPU time (s) 762.46
Current children cumulated vsize (Kb) 719432

[startup+780.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 273958 0 0 0 76221 1016 0 0 25 0 1 0 21560582 736698368 148025 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 179858 148025 364 364 0 179494 0
[pid=7944] vsize: 719432
Current children cumulated CPU time (s) 772.37
Current children cumulated vsize (Kb) 719432

[startup+790.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 277105 0 0 0 77207 1027 0 0 25 0 1 0 21560582 736833536 148045 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179891 148045 364 364 0 179527 0
[pid=7944] vsize: 719564
Current children cumulated CPU time (s) 782.34
Current children cumulated vsize (Kb) 719564

[startup+800.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 277115 0 0 0 78189 1033 0 0 25 0 1 0 21560582 736833536 148055 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179891 148055 364 364 0 179527 0
[pid=7944] vsize: 719564
Current children cumulated CPU time (s) 792.22
Current children cumulated vsize (Kb) 719564

[startup+810.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 280247 0 0 0 79177 1043 0 0 25 0 1 0 21560582 736833536 148060 4294967295 134512640 135987407 3221224560 3221223376 134876929 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179891 148060 364 364 0 179527 0
[pid=7944] vsize: 719564
Current children cumulated CPU time (s) 802.2
Current children cumulated vsize (Kb) 719564

[startup+820.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 280248 0 0 0 80166 1047 0 0 25 0 1 0 21560582 736833536 148061 4294967295 134512640 135987407 3221224560 3221223408 134790002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 179891 148061 364 364 0 179527 0
[pid=7944] vsize: 719564
Current children cumulated CPU time (s) 812.13
Current children cumulated vsize (Kb) 719564

[startup+830.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 280251 0 0 0 81150 1053 0 0 25 0 1 0 21560582 736833536 148064 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179891 148064 364 364 0 179527 0
[pid=7944] vsize: 719564
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (Kb) 719564

[startup+840.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 283379 0 0 0 82135 1064 0 0 25 0 1 0 21560582 736833536 148065 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179891 148065 364 364 0 179527 0
[pid=7944] vsize: 719564
Current children cumulated CPU time (s) 831.99
Current children cumulated vsize (Kb) 719564

[startup+850.041 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 283382 0 0 0 83113 1072 0 0 25 0 1 0 21560582 736833536 148068 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7944/statm): 179891 148068 364 364 0 179527 0
[pid=7944] vsize: 719564
Current children cumulated CPU time (s) 841.85
Current children cumulated vsize (Kb) 719564

[startup+860.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 286510 0 0 0 84097 1083 0 0 25 0 1 0 21560582 749641728 151196 4294967295 134512640 135987407 3221224560 3221222928 134827569 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 183018 151196 364 364 0 182654 0
[pid=7944] vsize: 732072
Current children cumulated CPU time (s) 851.8
Current children cumulated vsize (Kb) 732072

[startup+870.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 286538 0 0 0 85083 1087 0 0 25 0 1 0 21560582 736968704 148097 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179924 148097 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 861.7
Current children cumulated vsize (Kb) 719696

[startup+880.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 286540 0 0 0 86060 1094 0 0 25 0 1 0 21560582 736968704 148099 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179924 148099 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 871.54
Current children cumulated vsize (Kb) 719696

[startup+890.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 289669 0 0 0 87043 1105 0 0 25 0 1 0 21560582 736968704 148101 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179924 148101 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 881.48
Current children cumulated vsize (Kb) 719696

[startup+900.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 289678 0 0 0 88027 1110 0 0 25 0 1 0 21560582 736968704 148110 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179924 148110 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 891.37
Current children cumulated vsize (Kb) 719696

[startup+910.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 292809 0 0 0 89013 1119 0 0 25 0 1 0 21560582 749776896 151241 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 183051 151241 364 364 0 182687 0
[pid=7944] vsize: 732204
Current children cumulated CPU time (s) 901.32
Current children cumulated vsize (Kb) 732204

[startup+920.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 292816 0 0 0 89987 1128 0 0 25 0 1 0 21560582 736968704 148121 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179924 148121 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 911.15
Current children cumulated vsize (Kb) 719696

[startup+930.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 292825 0 0 0 90970 1134 0 0 25 0 1 0 21560582 736968704 148130 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 179924 148130 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 921.04
Current children cumulated vsize (Kb) 719696

[startup+940.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 295953 0 0 0 91962 1142 0 0 25 0 1 0 21560582 736968704 148131 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 179924 148131 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 931.04
Current children cumulated vsize (Kb) 719696

[startup+950.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 295955 0 0 0 92940 1149 0 0 25 0 1 0 21560582 736968704 148133 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 179924 148133 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 940.89
Current children cumulated vsize (Kb) 719696

[startup+960.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 295957 0 0 0 93916 1158 0 0 25 0 1 0 21560582 736968704 148135 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 179924 148135 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 950.74
Current children cumulated vsize (Kb) 719696

[startup+970.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 299085 0 0 0 94898 1170 0 0 19 0 1 0 21560582 736968704 148136 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7944/statm): 179924 148136 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 960.68
Current children cumulated vsize (Kb) 719696

[startup+980.045 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 299098 0 0 0 95891 1173 0 0 25 0 1 0 21560582 736968704 148149 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179924 148149 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 970.64
Current children cumulated vsize (Kb) 719696

[startup+990.045 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 302227 0 0 0 96872 1185 0 0 25 0 1 0 21560582 736968704 148151 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179924 148151 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 980.57
Current children cumulated vsize (Kb) 719696

[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 302235 0 0 0 97849 1192 0 0 25 0 1 0 21560582 736968704 148159 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179924 148159 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 990.41
Current children cumulated vsize (Kb) 719696

[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 302242 0 0 0 98818 1203 0 0 25 0 1 0 21560582 736968704 148166 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179924 148166 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 1000.21
Current children cumulated vsize (Kb) 719696

[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 305373 0 0 0 99797 1215 0 0 25 0 1 0 21560582 749776896 151297 4294967295 134512640 135987407 3221224560 3221222944 134829261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 183051 151297 364 364 0 182687 0
[pid=7944] vsize: 732204
Current children cumulated CPU time (s) 1010.12
Current children cumulated vsize (Kb) 732204

[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 305379 0 0 0 100774 1224 0 0 25 0 1 0 21560582 736968704 148176 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179924 148176 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 1019.98
Current children cumulated vsize (Kb) 719696

[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 305926 0 0 0 101752 1232 0 0 25 0 1 0 21560582 749776896 148723 4294967295 134512640 135987407 3221224560 3221223152 134828101 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 183051 148723 364 364 0 182687 0
[pid=7944] vsize: 732204
Current children cumulated CPU time (s) 1029.84
Current children cumulated vsize (Kb) 732204

[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 308521 0 0 0 102739 1241 0 0 25 0 1 0 21560582 736968704 148191 4294967295 134512640 135987407 3221224560 3221223408 134790066 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179924 148191 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 1039.8
Current children cumulated vsize (Kb) 719696

[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 311656 0 0 0 103722 1252 0 0 25 0 1 0 21560582 749776896 151326 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 183051 151326 364 364 0 182687 0
[pid=7944] vsize: 732204
Current children cumulated CPU time (s) 1049.74
Current children cumulated vsize (Kb) 732204

[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 311656 0 0 0 104714 1254 0 0 25 0 1 0 21560582 736968704 148199 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179924 148199 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 1059.68
Current children cumulated vsize (Kb) 719696

[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 311659 0 0 0 105695 1261 0 0 25 0 1 0 21560582 736968704 148202 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179924 148202 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 1069.56
Current children cumulated vsize (Kb) 719696

[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 314787 0 0 0 106679 1271 0 0 25 0 1 0 21560582 736968704 148203 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179924 148203 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 1079.5
Current children cumulated vsize (Kb) 719696

[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 314794 0 0 0 107660 1277 0 0 25 0 1 0 21560582 736968704 148210 4294967295 134512640 135987407 3221224560 3221223376 134816510 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179924 148210 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 1089.37
Current children cumulated vsize (Kb) 719696

[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 317927 0 0 0 108641 1289 0 0 25 0 1 0 21560582 749776896 151343 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 183051 151343 364 364 0 182687 0
[pid=7944] vsize: 732204
Current children cumulated CPU time (s) 1099.3
Current children cumulated vsize (Kb) 732204

[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 317940 0 0 0 109622 1298 0 0 25 0 1 0 21560582 736968704 148229 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179924 148229 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 1109.2
Current children cumulated vsize (Kb) 719696

[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 317946 0 0 0 110601 1305 0 0 25 0 1 0 21560582 736968704 148235 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179924 148235 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 1119.06
Current children cumulated vsize (Kb) 719696

[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 321076 0 0 0 111580 1318 0 0 25 0 1 0 21560582 736968704 148238 4294967295 134512640 135987407 3221224560 3221223248 134812129 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179924 148238 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 1128.98
Current children cumulated vsize (Kb) 719696

[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 321082 0 0 0 112555 1326 0 0 25 0 1 0 21560582 736968704 148244 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179924 148244 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 1138.81
Current children cumulated vsize (Kb) 719696

[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 324212 0 0 0 113538 1337 0 0 25 0 1 0 21560582 736968704 148247 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179924 148247 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 1148.75
Current children cumulated vsize (Kb) 719696

[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 324220 0 0 0 114516 1344 0 0 25 0 1 0 21560582 736968704 148255 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179924 148255 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 1158.6
Current children cumulated vsize (Kb) 719696

[startup+1180.05 s]
Raw data (loadavg): 1.07 1.00 0.93 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 327351 0 0 0 115498 1354 0 0 25 0 1 0 21560582 749776896 151386 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 183051 151386 364 364 0 182687 0
[pid=7944] vsize: 732204
Current children cumulated CPU time (s) 1168.52
Current children cumulated vsize (Kb) 732204

[startup+1190.05 s]
Raw data (loadavg): 1.06 1.00 0.93 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 327352 0 0 0 116490 1357 0 0 25 0 1 0 21560582 736968704 148260 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179924 148260 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 1178.47
Current children cumulated vsize (Kb) 719696

[startup+1200.05 s]
Raw data (loadavg): 1.05 1.00 0.93 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 327364 0 0 0 117471 1363 0 0 25 0 1 0 21560582 736968704 148272 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 179924 148272 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 1188.34
Current children cumulated vsize (Kb) 719696

[startup+1210.05 s]
Raw data (loadavg): 1.04 1.00 0.93 2/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) R 7943 7944 4060 0 -1 0 330493 0 0 0 118447 1377 0 0 25 0 1 0 21560582 749776896 151401 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7944/statm): 183051 151401 364 364 0 182687 0
[pid=7944] vsize: 732204
Current children cumulated CPU time (s) 1198.24
Current children cumulated vsize (Kb) 732204

[startup+1220.05 s]
Raw data (loadavg): 1.04 1.00 0.93 1/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 330500 0 0 0 119421 1387 0 0 25 0 1 0 21560582 736968704 148281 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7944/statm): 179924 148281 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 1208.08
Current children cumulated vsize (Kb) 719696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.05 s]
Raw data (loadavg): 1.04 1.00 0.93 1/55 7944
Raw data (/proc/7944/stat): 7944 (pb2sat) T 7943 7944 4060 0 -1 0 330500 0 0 0 119421 1387 0 0 25 0 1 0 21560582 736968704 148281 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7944/statm): 179924 148281 364 364 0 179560 0
[pid=7944] vsize: 719696
Current children cumulated CPU time (s) 1208.08
Current children cumulated vsize (Kb) 719696

Sending SIGTERM to -7944
Sleeping 2 seconds
Sending SIGKILL to -7944
One traced child (pid=7944) 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): 1210.23
CPU user time (s): 1196.04
CPU system time (s): 14.1888
CPU usage (%): 99.0196
Max. virtual memory (cumulated for all children) (Kb): 732204

Verifier Data

ERROR: no interpretation found !