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/miplib2003/normalized-mps-v2-20-10-fixnet6.opb
MD5SUM86988185dc943ce56e28aece7fb5e3af
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 48669340
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 benchmark1206.79
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 10120

Launcher Data

LAUNCH ON wulflinc15 THE 2005-09-23 16:44:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8814 boxname=wulflinc15 idbench=610 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  86988185dc943ce56e28aece7fb5e3af  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-fixnet6.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-fixnet6.opb
IDLAUNCH: 8814
/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:        899860 kB
Buffers:          4056 kB
Cached:         110592 kB
SwapCached:          0 kB
Active:          17412 kB
Inactive:       100148 kB
HighTotal:      131008 kB
HighFree:        82152 kB
LowTotal:       903652 kB
LowFree:        817708 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            11624 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:04:53 (client local time) WITH STATUS 0 IN 1206.38 SECONDS
stats: 8814 7 1206.38 0

Solver Data

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

c Decision: 604200/1600883	Time: 113.932/86400
c Decision: 604210/1600883	Time: 203.662/86400
c Decision: 604218/1600883	Time: 291.48/86400
c Decision: 604222/1600883	Time: 336.279/86400
c Decision: 604222/1600883	Time: 367.683/86400
c Decision: 604222/1600883	Time: 405.754/86400
c Decision: 604229/1600883	Time: 457.403/86400
c Decision: 604229/1600883	Time: 511.819/86400
c Decision: 604229/1600883	Time: 545.983/86400
c Decision: 604232/1600883	Time: 605.297/86400
c Decision: 604232/1600883	Time: 653.227/86400
c Decision: 604232/1600883	Time: 687.177/86400
c Decision: 604232/1600883	Time: 720.988/86400
c Decision: 604237/1600883	Time: 776.591/86400
c Decision: 604237/1600883	Time: 823.212/86400
c Decision: 604237/1600883	Time: 865.481/86400
c Decision: 604237/1600883	Time: 900.588/86400
c Decision: 604237/1600883	Time: 935.086/86400
c Decision: 604237/1600883	Time: 961.467/86400
c Decision: 604237/1600883	Time: 996.659/86400
c Decision: 604237/1600883	Time: 1032.32/86400
c Decision: 604237/1600883	Time: 1058.54/86400
c Decision: 604237/1600883	Time: 1086.36/86400
c Decision: 604237/1600883	Time: 1110.61/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/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 21723121 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 373 2 364 364 0 9 0
[pid=7715] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-fixnet6.opb

[startup+10.0016 s]
Raw data (loadavg): 0.95 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 26158 0 0 0 935 61 0 0 25 0 1 0 21723121 84631552 15016 4294967295 134512640 135987407 3221224560 3221148256 134864401 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 20662 15016 364 364 0 20298 0
[pid=7715] vsize: 82648
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 82648

[startup+20.0024 s]
Raw data (loadavg): 0.95 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 55344 0 0 0 1867 127 0 0 25 0 1 0 21723121 167227392 32964 4294967295 134512640 135987407 3221224560 3221067808 134559659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 40827 32964 364 364 0 40463 0
[pid=7715] vsize: 163308
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 163308

[startup+30.0033 s]
Raw data (loadavg): 0.96 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 95660 0 0 0 2780 212 0 0 25 0 1 0 21723121 317517824 51059 4294967295 134512640 135987407 3221224560 3220771936 134877726 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 77519 51059 364 364 0 77155 0
[pid=7715] vsize: 310076
Current children cumulated CPU time (s) 29.92
Current children cumulated vsize (Kb) 310076

[startup+40.0031 s]
Raw data (loadavg): 0.97 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 111654 0 0 0 3748 243 0 0 25 0 1 0 21723121 321708032 66790 4294967295 134512640 135987407 3221224560 3221130976 134537491 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 78542 66790 364 364 0 78178 0
[pid=7715] vsize: 314168
Current children cumulated CPU time (s) 39.91
Current children cumulated vsize (Kb) 314168

[startup+50.0039 s]
Raw data (loadavg): 0.97 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 153538 0 0 0 4655 333 0 0 25 0 1 0 21723121 449785856 89043 4294967295 134512640 135987407 3221224560 3220909424 134863107 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 109811 89043 364 364 0 109447 0
[pid=7715] vsize: 439244
Current children cumulated CPU time (s) 49.88
Current children cumulated vsize (Kb) 439244

[startup+60.0047 s]
Raw data (loadavg): 0.97 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 190096 0 0 0 5571 416 0 0 25 0 1 0 21723121 587382784 100826 4294967295 134512640 135987407 3221224560 3221215780 135499872 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 143404 100826 364 364 0 143040 0
[pid=7715] vsize: 573616
Current children cumulated CPU time (s) 59.87
Current children cumulated vsize (Kb) 573616

[startup+70.0055 s]
Raw data (loadavg): 0.98 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 206746 0 0 0 6531 456 0 0 25 0 1 0 21723121 592113664 117200 4294967295 134512640 135987407 3221224560 3221065612 134637029 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 144559 117200 364 364 0 144195 0
[pid=7715] vsize: 578236
Current children cumulated CPU time (s) 69.87
Current children cumulated vsize (Kb) 578236

[startup+80.0063 s]
Raw data (loadavg): 0.98 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 219271 0 0 0 7497 487 0 0 25 0 1 0 21723121 618053632 125556 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 150892 125556 364 364 0 150528 0
[pid=7715] vsize: 603568
Current children cumulated CPU time (s) 79.84
Current children cumulated vsize (Kb) 603568

[startup+90.0062 s]
Raw data (loadavg): 0.98 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 222291 0 0 0 8462 502 0 0 25 0 1 0 21723121 632283136 128543 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 154366 128543 364 364 0 154002 0
[pid=7715] vsize: 617464
Current children cumulated CPU time (s) 89.64
Current children cumulated vsize (Kb) 617464

[startup+100.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 224291 0 0 0 9427 516 0 0 25 0 1 0 21723121 641630208 130543 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 156648 130543 364 364 0 156284 0
[pid=7715] vsize: 626592
Current children cumulated CPU time (s) 99.43
Current children cumulated vsize (Kb) 626592

[startup+110.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 224913 0 0 0 10415 521 0 0 25 0 1 0 21723121 644628480 131165 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 157380 131165 364 364 0 157016 0
[pid=7715] vsize: 629520
Current children cumulated CPU time (s) 109.36
Current children cumulated vsize (Kb) 629520

[startup+120.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 225267 0 0 0 11410 523 0 0 25 0 1 0 21723121 646287360 131486 4294967295 134512640 135987407 3221224560 3221223408 134790007 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 157785 131486 364 364 0 157421 0
[pid=7715] vsize: 631140
Current children cumulated CPU time (s) 119.33
Current children cumulated vsize (Kb) 631140

[startup+130.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 226581 0 0 0 12381 536 0 0 25 0 1 0 21723121 652185600 132734 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 159225 132734 364 364 0 158861 0
[pid=7715] vsize: 636900
Current children cumulated CPU time (s) 129.17
Current children cumulated vsize (Kb) 636900

[startup+140.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 227373 0 0 0 13362 543 0 0 25 0 1 0 21723121 656113664 133526 4294967295 134512640 135987407 3221224560 3221223424 134812629 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 160184 133526 364 364 0 159820 0
[pid=7715] vsize: 640736
Current children cumulated CPU time (s) 139.05
Current children cumulated vsize (Kb) 640736

[startup+150.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 228189 0 0 0 14342 550 0 0 25 0 1 0 21723121 660033536 134276 4294967295 134512640 135987407 3221224560 3221223248 134811950 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 161141 134276 364 364 0 160777 0
[pid=7715] vsize: 644564
Current children cumulated CPU time (s) 148.92
Current children cumulated vsize (Kb) 644564

[startup+160.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 228637 0 0 0 15314 559 0 0 25 0 1 0 21723121 662409216 134724 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 161721 134724 364 364 0 161357 0
[pid=7715] vsize: 646884
Current children cumulated CPU time (s) 158.73
Current children cumulated vsize (Kb) 646884

[startup+170.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 228867 0 0 0 16291 568 0 0 25 0 1 0 21723121 663592960 134954 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 162010 134954 364 364 0 161646 0
[pid=7715] vsize: 648040
Current children cumulated CPU time (s) 168.59
Current children cumulated vsize (Kb) 648040

[startup+180.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 232283 0 0 0 17267 580 0 0 25 0 1 0 21723121 677797888 138370 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 165478 138370 364 364 0 165114 0
[pid=7715] vsize: 661912
Current children cumulated CPU time (s) 178.47
Current children cumulated vsize (Kb) 661912

[startup+190.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 232561 0 0 0 18256 584 0 0 25 0 1 0 21723121 666271744 135497 4294967295 134512640 135987407 3221224560 3221223248 134812000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 162664 135497 364 364 0 162300 0
[pid=7715] vsize: 650656
Current children cumulated CPU time (s) 188.4
Current children cumulated vsize (Kb) 650656

[startup+200.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 233089 0 0 0 19215 598 0 0 25 0 1 0 21723121 668938240 136025 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 163315 136025 364 364 0 162951 0
[pid=7715] vsize: 653260
Current children cumulated CPU time (s) 198.13
Current children cumulated vsize (Kb) 653260

[startup+210.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 233874 0 0 0 20177 613 0 0 25 0 1 0 21723121 672960512 136810 4294967295 134512640 135987407 3221224560 3221223344 134812355 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 164297 136810 364 364 0 163933 0
[pid=7715] vsize: 657188
Current children cumulated CPU time (s) 207.9
Current children cumulated vsize (Kb) 657188

[startup+220.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 234531 0 0 0 21144 624 0 0 25 0 1 0 21723121 676147200 137467 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 165075 137467 364 364 0 164711 0
[pid=7715] vsize: 660300
Current children cumulated CPU time (s) 217.68
Current children cumulated vsize (Kb) 660300

[startup+230.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 235665 0 0 0 22122 633 0 0 25 0 1 0 21723121 681062400 138403 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 166275 138403 364 364 0 165911 0
[pid=7715] vsize: 665100
Current children cumulated CPU time (s) 227.55
Current children cumulated vsize (Kb) 665100

[startup+240.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 236299 0 0 0 23107 640 0 0 25 0 1 0 21723121 683917312 138938 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 166972 138938 364 364 0 166608 0
[pid=7715] vsize: 667888
Current children cumulated CPU time (s) 237.47
Current children cumulated vsize (Kb) 667888

[startup+250.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 236791 0 0 0 24094 646 0 0 25 0 1 0 21723121 685916160 139298 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 167460 139298 364 364 0 167096 0
[pid=7715] vsize: 669840
Current children cumulated CPU time (s) 247.4
Current children cumulated vsize (Kb) 669840

[startup+260.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 237024 0 0 0 25089 648 0 0 25 0 1 0 21723121 686444544 139432 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 167589 139432 364 364 0 167225 0
[pid=7715] vsize: 670356
Current children cumulated CPU time (s) 257.37
Current children cumulated vsize (Kb) 670356

[startup+270.015 s]
Raw data (loadavg): 0.99 0.99 0.99 1/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) T 7714 7715 4057 0 -1 0 237762 0 0 0 26082 651 0 0 25 0 1 0 21723121 689246208 139906 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7715/statm): 168273 139906 364 364 0 167909 0
[pid=7715] vsize: 673092
Current children cumulated CPU time (s) 267.33
Current children cumulated vsize (Kb) 673092

[startup+280.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 241000 0 0 0 27069 661 0 0 25 0 1 0 21723121 689786880 140017 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 168405 140017 364 364 0 168041 0
[pid=7715] vsize: 673620
Current children cumulated CPU time (s) 277.3
Current children cumulated vsize (Kb) 673620

[startup+290.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 241374 0 0 0 28040 671 0 0 25 0 1 0 21723121 691814400 140391 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 168900 140391 364 364 0 168536 0
[pid=7715] vsize: 675600
Current children cumulated CPU time (s) 287.11
Current children cumulated vsize (Kb) 675600

[startup+300.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 241811 0 0 0 29013 681 0 0 25 0 1 0 21723121 694517760 140828 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 169560 140828 364 364 0 169196 0
[pid=7715] vsize: 678240
Current children cumulated CPU time (s) 296.94
Current children cumulated vsize (Kb) 678240

[startup+310.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 242139 0 0 0 29989 689 0 0 25 0 1 0 21723121 695992320 141107 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 169920 141107 364 364 0 169556 0
[pid=7715] vsize: 679680
Current children cumulated CPU time (s) 306.78
Current children cumulated vsize (Kb) 679680

[startup+320.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 242359 0 0 0 30969 696 0 0 25 0 1 0 21723121 696987648 141294 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 170163 141294 364 364 0 169799 0
[pid=7715] vsize: 680652
Current children cumulated CPU time (s) 316.65
Current children cumulated vsize (Kb) 680652

[startup+330.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 242583 0 0 0 31951 703 0 0 25 0 1 0 21723121 697929728 141485 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 170393 141485 364 364 0 170029 0
[pid=7715] vsize: 681572
Current children cumulated CPU time (s) 326.54
Current children cumulated vsize (Kb) 681572

[startup+340.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 242775 0 0 0 32933 710 0 0 25 0 1 0 21723121 698736640 141644 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 170590 141644 364 364 0 170226 0
[pid=7715] vsize: 682360
Current children cumulated CPU time (s) 336.43
Current children cumulated vsize (Kb) 682360

[startup+350.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 243174 0 0 0 33908 719 0 0 25 0 1 0 21723121 700481536 141944 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 171016 141944 364 364 0 170652 0
[pid=7715] vsize: 684064
Current children cumulated CPU time (s) 346.27
Current children cumulated vsize (Kb) 684064

[startup+360.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 243343 0 0 0 34891 725 0 0 25 0 1 0 21723121 701153280 142080 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 171180 142080 364 364 0 170816 0
[pid=7715] vsize: 684720
Current children cumulated CPU time (s) 356.16
Current children cumulated vsize (Kb) 684720

[startup+370.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 246473 0 0 0 35868 737 0 0 25 0 1 0 21723121 701153280 142083 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 171180 142083 364 364 0 170816 0
[pid=7715] vsize: 684720
Current children cumulated CPU time (s) 366.05
Current children cumulated vsize (Kb) 684720

[startup+380.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 246679 0 0 0 36832 749 0 0 22 0 1 0 21723121 702234624 142289 4294967295 134512640 135987407 3221224560 3221223424 134812689 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 171444 142289 364 364 0 171080 0
[pid=7715] vsize: 685776
Current children cumulated CPU time (s) 375.81
Current children cumulated vsize (Kb) 685776

[startup+390.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 246889 0 0 0 37809 757 0 0 25 0 1 0 21723121 703311872 142466 4294967295 134512640 135987407 3221224560 3221223248 134811988 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 171707 142467 364 364 0 171343 0
[pid=7715] vsize: 686828
Current children cumulated CPU time (s) 385.66
Current children cumulated vsize (Kb) 686828

[startup+400.022 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 247058 0 0 0 38798 760 0 0 25 0 1 0 21723121 703983616 142602 4294967295 134512640 135987407 3221224560 3221223376 134824256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 171871 142602 364 364 0 171507 0
[pid=7715] vsize: 687484
Current children cumulated CPU time (s) 395.58
Current children cumulated vsize (Kb) 687484

[startup+410.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 250258 0 0 0 39782 770 0 0 25 0 1 0 21723121 717058048 145769 4294967295 134512640 135987407 3221224560 3221222944 134829311 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 175063 145769 364 364 0 174699 0
[pid=7715] vsize: 700252
Current children cumulated CPU time (s) 405.52
Current children cumulated vsize (Kb) 700252

[startup+420.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 250336 0 0 0 40762 778 0 0 25 0 1 0 21723121 704516096 142687 4294967295 134512640 135987407 3221224560 3221223248 134812141 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 172001 142687 364 364 0 171637 0
[pid=7715] vsize: 688004
Current children cumulated CPU time (s) 415.4
Current children cumulated vsize (Kb) 688004

[startup+430.022 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 250382 0 0 0 41750 782 0 0 25 0 1 0 21723121 704647168 142700 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 172033 142700 364 364 0 171669 0
[pid=7715] vsize: 688132
Current children cumulated CPU time (s) 425.32
Current children cumulated vsize (Kb) 688132

[startup+440.022 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 250407 0 0 0 42737 787 0 0 25 0 1 0 21723121 704782336 142725 4294967295 134512640 135987407 3221224560 3221223200 134789452 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 172066 142725 364 364 0 171702 0
[pid=7715] vsize: 688264
Current children cumulated CPU time (s) 435.24
Current children cumulated vsize (Kb) 688264

[startup+450.023 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 253590 0 0 0 43717 798 0 0 25 0 1 0 21723121 705114112 142781 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 172147 142781 364 364 0 171783 0
[pid=7715] vsize: 688588
Current children cumulated CPU time (s) 445.15
Current children cumulated vsize (Kb) 688588

[startup+460.024 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 253710 0 0 0 44699 804 0 0 25 0 1 0 21723121 705789952 142901 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 172312 142901 364 364 0 171948 0
[pid=7715] vsize: 689248
Current children cumulated CPU time (s) 455.03
Current children cumulated vsize (Kb) 689248

[startup+470.023 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 253753 0 0 0 45684 810 0 0 25 0 1 0 21723121 705925120 142944 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 172345 142944 364 364 0 171981 0
[pid=7715] vsize: 689380
Current children cumulated CPU time (s) 464.94
Current children cumulated vsize (Kb) 689380

[startup+480.024 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 256882 0 0 0 46676 818 0 0 25 0 1 0 21723121 705925120 142946 4294967295 134512640 135987407 3221224560 3221223376 134876840 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 172345 142946 364 364 0 171981 0
[pid=7715] vsize: 689380
Current children cumulated CPU time (s) 474.94
Current children cumulated vsize (Kb) 689380

[startup+490.024 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 257129 0 0 0 47652 826 0 0 25 0 1 0 21723121 707125248 143160 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 172638 143160 364 364 0 172274 0
[pid=7715] vsize: 690552
Current children cumulated CPU time (s) 484.78
Current children cumulated vsize (Kb) 690552

[startup+500.025 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 257211 0 0 0 48626 837 0 0 25 0 1 0 21723121 707530752 143242 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 172737 143242 364 364 0 172373 0
[pid=7715] vsize: 690948
Current children cumulated CPU time (s) 494.63
Current children cumulated vsize (Kb) 690948

[startup+510.025 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 257306 0 0 0 49601 845 0 0 25 0 1 0 21723121 708071424 143337 4294967295 134512640 135987407 3221224560 3221223088 134775168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 172869 143337 364 364 0 172505 0
[pid=7715] vsize: 691476
Current children cumulated CPU time (s) 504.46
Current children cumulated vsize (Kb) 691476

[startup+520.025 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 257361 0 0 0 50582 852 0 0 25 0 1 0 21723121 708341760 143392 4294967295 134512640 135987407 3221224560 3221223424 134812620 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 172935 143392 364 364 0 172571 0
[pid=7715] vsize: 691740
Current children cumulated CPU time (s) 514.34
Current children cumulated vsize (Kb) 691740

[startup+530.026 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 257475 0 0 0 51566 858 0 0 25 0 1 0 21723121 708943872 143506 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 173082 143506 364 364 0 172718 0
[pid=7715] vsize: 692328
Current children cumulated CPU time (s) 524.24
Current children cumulated vsize (Kb) 692328

[startup+540.026 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 260603 0 0 0 52544 872 0 0 25 0 1 0 21723121 708943872 143507 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 173082 143507 364 364 0 172718 0
[pid=7715] vsize: 692328
Current children cumulated CPU time (s) 534.16
Current children cumulated vsize (Kb) 692328

[startup+550.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) T 7714 7715 4057 0 -1 0 261211 0 0 0 53512 883 0 0 25 0 1 0 21723121 712019968 144049 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7715/statm): 173833 144049 364 364 0 173469 0
[pid=7715] vsize: 695332
Current children cumulated CPU time (s) 543.95
Current children cumulated vsize (Kb) 695332

[startup+560.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 261405 0 0 0 54491 890 0 0 25 0 1 0 21723121 712949760 144210 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 174060 144210 364 364 0 173696 0
[pid=7715] vsize: 696240
Current children cumulated CPU time (s) 553.81
Current children cumulated vsize (Kb) 696240

[startup+570.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 261447 0 0 0 55469 897 0 0 25 0 1 0 21723121 713220096 144252 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 174126 144252 364 364 0 173762 0
[pid=7715] vsize: 696504
Current children cumulated CPU time (s) 563.66
Current children cumulated vsize (Kb) 696504

[startup+580.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 261638 0 0 0 56447 904 0 0 25 0 1 0 21723121 714571776 144443 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 174456 144443 364 364 0 174092 0
[pid=7715] vsize: 697824
Current children cumulated CPU time (s) 573.51
Current children cumulated vsize (Kb) 697824

[startup+590.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 264828 0 0 0 57432 913 0 0 25 0 1 0 21723121 714842112 144506 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 174522 144506 364 364 0 174158 0
[pid=7715] vsize: 698088
Current children cumulated CPU time (s) 583.45
Current children cumulated vsize (Kb) 698088

[startup+600.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 264851 0 0 0 58411 921 0 0 25 0 1 0 21723121 714977280 144529 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 174555 144529 364 364 0 174191 0
[pid=7715] vsize: 698220
Current children cumulated CPU time (s) 593.32
Current children cumulated vsize (Kb) 698220

[startup+610.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 264873 0 0 0 59388 927 0 0 25 0 1 0 21723121 715112448 144551 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 174588 144551 364 364 0 174224 0
[pid=7715] vsize: 698352
Current children cumulated CPU time (s) 603.15
Current children cumulated vsize (Kb) 698352

[startup+620.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 264874 0 0 0 60372 933 0 0 25 0 1 0 21723121 715112448 144552 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 174588 144552 364 364 0 174224 0
[pid=7715] vsize: 698352
Current children cumulated CPU time (s) 613.05
Current children cumulated vsize (Kb) 698352

[startup+630.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 268065 0 0 0 61350 946 0 0 25 0 1 0 21723121 715517952 144616 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 174687 144616 364 364 0 174323 0
[pid=7715] vsize: 698748
Current children cumulated CPU time (s) 622.96
Current children cumulated vsize (Kb) 698748

[startup+640.029 s]
Raw data (loadavg): 1.07 1.01 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 268111 0 0 0 62331 953 0 0 25 0 1 0 21723121 715788288 144662 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 174753 144662 364 364 0 174389 0
[pid=7715] vsize: 699012
Current children cumulated CPU time (s) 632.84
Current children cumulated vsize (Kb) 699012

[startup+650.03 s]
Raw data (loadavg): 1.06 1.01 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 268180 0 0 0 63306 962 0 0 25 0 1 0 21723121 716193792 144731 4294967295 134512640 135987407 3221224560 3221223344 134812310 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 174852 144731 364 364 0 174488 0
[pid=7715] vsize: 699408
Current children cumulated CPU time (s) 642.68
Current children cumulated vsize (Kb) 699408

[startup+660.03 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 268189 0 0 0 64283 970 0 0 25 0 1 0 21723121 716193792 144740 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 174852 144740 364 364 0 174488 0
[pid=7715] vsize: 699408
Current children cumulated CPU time (s) 652.53
Current children cumulated vsize (Kb) 699408

[startup+670.031 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 268247 0 0 0 65259 979 0 0 25 0 1 0 21723121 716599296 144798 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 174951 144798 364 364 0 174587 0
[pid=7715] vsize: 699804
Current children cumulated CPU time (s) 662.38
Current children cumulated vsize (Kb) 699804

[startup+680.032 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 268335 0 0 0 66240 986 0 0 25 0 1 0 21723121 717004800 144886 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 175050 144886 364 364 0 174686 0
[pid=7715] vsize: 700200
Current children cumulated CPU time (s) 672.26
Current children cumulated vsize (Kb) 700200

[startup+690.031 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 271483 0 0 0 67216 999 0 0 25 0 1 0 21723121 717139968 144907 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 175083 144907 364 364 0 174719 0
[pid=7715] vsize: 700332
Current children cumulated CPU time (s) 682.15
Current children cumulated vsize (Kb) 700332

[startup+700.032 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 271584 0 0 0 68190 1009 0 0 25 0 1 0 21723121 717680640 145008 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 175215 145008 364 364 0 174851 0
[pid=7715] vsize: 700860
Current children cumulated CPU time (s) 691.99
Current children cumulated vsize (Kb) 700860

[startup+710.033 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 271656 0 0 0 69165 1017 0 0 25 0 1 0 21723121 718082048 145080 4294967295 134512640 135987407 3221224560 3221223248 134811995 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 175313 145080 364 364 0 174949 0
[pid=7715] vsize: 701252
Current children cumulated CPU time (s) 701.82
Current children cumulated vsize (Kb) 701252

[startup+720.033 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 271657 0 0 0 70133 1028 0 0 25 0 1 0 21723121 718082048 145081 4294967295 134512640 135987407 3221224560 3221223248 134812152 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 175313 145081 364 364 0 174949 0
[pid=7715] vsize: 701252
Current children cumulated CPU time (s) 711.61
Current children cumulated vsize (Kb) 701252

[startup+730.034 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 274784 0 0 0 71122 1036 0 0 25 0 1 0 21723121 718082048 145081 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 175313 145081 364 364 0 174949 0
[pid=7715] vsize: 701252
Current children cumulated CPU time (s) 721.58
Current children cumulated vsize (Kb) 701252

[startup+740.034 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 274788 0 0 0 72104 1041 0 0 25 0 1 0 21723121 718082048 145085 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 175313 145085 364 364 0 174949 0
[pid=7715] vsize: 701252
Current children cumulated CPU time (s) 731.45
Current children cumulated vsize (Kb) 701252

[startup+750.035 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 274793 0 0 0 73076 1051 0 0 25 0 1 0 21723121 718082048 145090 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 175313 145090 364 364 0 174949 0
[pid=7715] vsize: 701252
Current children cumulated CPU time (s) 741.27
Current children cumulated vsize (Kb) 701252

[startup+760.036 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 274872 0 0 0 74050 1061 0 0 25 0 1 0 21723121 718487552 145169 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 175412 145169 364 364 0 175048 0
[pid=7715] vsize: 701648
Current children cumulated CPU time (s) 751.11
Current children cumulated vsize (Kb) 701648

[startup+770.036 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) T 7714 7715 4057 0 -1 0 278000 0 0 0 75032 1072 0 0 25 0 1 0 21723121 718487552 145170 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7715/statm): 175412 145170 364 364 0 175048 0
[pid=7715] vsize: 701648
Current children cumulated CPU time (s) 761.04
Current children cumulated vsize (Kb) 701648

[startup+780.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 278004 0 0 0 75998 1082 0 0 25 0 1 0 21723121 718487552 145174 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 175412 145174 364 364 0 175048 0
[pid=7715] vsize: 701648
Current children cumulated CPU time (s) 770.8
Current children cumulated vsize (Kb) 701648

[startup+790.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 278028 0 0 0 76971 1092 0 0 25 0 1 0 21723121 718622720 145198 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 175445 145198 364 364 0 175081 0
[pid=7715] vsize: 701780
Current children cumulated CPU time (s) 780.63
Current children cumulated vsize (Kb) 701780

[startup+800.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 281277 0 0 0 77947 1105 0 0 25 0 1 0 21723121 731971584 148447 4294967295 134512640 135987407 3221224560 3221222976 134827705 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 178704 148447 364 364 0 178340 0
[pid=7715] vsize: 714816
Current children cumulated CPU time (s) 790.52
Current children cumulated vsize (Kb) 714816

[startup+810.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 281320 0 0 0 78925 1113 0 0 25 0 1 0 21723121 719433728 145363 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 175643 145363 364 364 0 175279 0
[pid=7715] vsize: 702572
Current children cumulated CPU time (s) 800.38
Current children cumulated vsize (Kb) 702572

[startup+820.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 281361 0 0 0 79896 1124 0 0 25 0 1 0 21723121 719704064 145404 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 175709 145404 364 364 0 175345 0
[pid=7715] vsize: 702836
Current children cumulated CPU time (s) 810.2
Current children cumulated vsize (Kb) 702836

[startup+830.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 281565 0 0 0 80873 1131 0 0 25 0 1 0 21723121 721055744 145608 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 176039 145608 364 364 0 175675 0
[pid=7715] vsize: 704156
Current children cumulated CPU time (s) 820.04
Current children cumulated vsize (Kb) 704156

[startup+840.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 281727 0 0 0 81849 1139 0 0 25 0 1 0 21723121 721862656 145737 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 176236 145737 364 364 0 175872 0
[pid=7715] vsize: 704944
Current children cumulated CPU time (s) 829.88
Current children cumulated vsize (Kb) 704944

[startup+850.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 281747 0 0 0 82824 1148 0 0 25 0 1 0 21723121 721997824 145757 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 176269 145757 364 364 0 175905 0
[pid=7715] vsize: 705076
Current children cumulated CPU time (s) 839.72
Current children cumulated vsize (Kb) 705076

[startup+860.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 284879 0 0 0 83804 1161 0 0 25 0 1 0 21723121 721997824 145762 4294967295 134512640 135987407 3221224560 3221223424 134812644 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 176269 145762 364 364 0 175905 0
[pid=7715] vsize: 705076
Current children cumulated CPU time (s) 849.65
Current children cumulated vsize (Kb) 705076

[startup+870.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 284906 0 0 0 84771 1173 0 0 25 0 1 0 21723121 722132992 145789 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 176302 145789 364 364 0 175938 0
[pid=7715] vsize: 705208
Current children cumulated CPU time (s) 859.44
Current children cumulated vsize (Kb) 705208

[startup+880.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 284939 0 0 0 85741 1185 0 0 25 0 1 0 21723121 722268160 145822 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 176335 145822 364 364 0 175971 0
[pid=7715] vsize: 705340
Current children cumulated CPU time (s) 869.26
Current children cumulated vsize (Kb) 705340

[startup+890.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 285012 0 0 0 86715 1194 0 0 25 0 1 0 21723121 722673664 145895 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 176434 145895 364 364 0 176070 0
[pid=7715] vsize: 705736
Current children cumulated CPU time (s) 879.09
Current children cumulated vsize (Kb) 705736

[startup+900.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 285224 0 0 0 87691 1204 0 0 25 0 1 0 21723121 723480576 146074 4294967295 134512640 135987407 3221224560 3221223280 134813711 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 176631 146074 364 364 0 176267 0
[pid=7715] vsize: 706524
Current children cumulated CPU time (s) 888.95
Current children cumulated vsize (Kb) 706524

[startup+910.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 288353 0 0 0 88673 1214 0 0 25 0 1 0 21723121 723480576 146076 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 176631 146076 364 364 0 176267 0
[pid=7715] vsize: 706524
Current children cumulated CPU time (s) 898.87
Current children cumulated vsize (Kb) 706524

[startup+920.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 288365 0 0 0 89651 1220 0 0 25 0 1 0 21723121 723480576 146088 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 176631 146088 364 364 0 176267 0
[pid=7715] vsize: 706524
Current children cumulated CPU time (s) 908.71
Current children cumulated vsize (Kb) 706524

[startup+930.045 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 7715
Raw data (/proc/7715/stat): 7715 (pb2sat) T 7714 7715 4057 0 -1 0 288377 0 0 0 90627 1229 0 0 21 0 1 0 21723121 723480576 146100 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7715/statm): 176631 146100 364 364 0 176267 0
[pid=7715] vsize: 706524
Current children cumulated CPU time (s) 918.56
Current children cumulated vsize (Kb) 706524

[startup+940.046 s]
Raw data (loadavg): 1.16 1.03 1.01 2/55 7770
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 291589 0 0 0 91601 1244 0 0 25 0 1 0 21723121 736829440 149312 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 179890 149312 364 364 0 179526 0
[pid=7715] vsize: 719560
Current children cumulated CPU time (s) 928.45
Current children cumulated vsize (Kb) 719560

[startup+950.047 s]
Raw data (loadavg): 1.13 1.03 1.01 2/55 7770
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 291589 0 0 0 92596 1246 0 0 25 0 1 0 21723121 724021248 146185 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 176763 146185 364 364 0 176399 0
[pid=7715] vsize: 707052
Current children cumulated CPU time (s) 938.42
Current children cumulated vsize (Kb) 707052

[startup+960.047 s]
Raw data (loadavg): 1.11 1.03 1.01 2/55 7770
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 291593 0 0 0 93578 1252 0 0 25 0 1 0 21723121 724021248 146189 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 176763 146189 364 364 0 176399 0
[pid=7715] vsize: 707052
Current children cumulated CPU time (s) 948.3
Current children cumulated vsize (Kb) 707052

[startup+970.047 s]
Raw data (loadavg): 1.10 1.03 1.01 2/55 7770
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 291634 0 0 0 94555 1260 0 0 25 0 1 0 21723121 724291584 146230 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 176829 146230 364 364 0 176465 0
[pid=7715] vsize: 707316
Current children cumulated CPU time (s) 958.15
Current children cumulated vsize (Kb) 707316

[startup+980.048 s]
Raw data (loadavg): 1.08 1.03 1.01 2/55 7770
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 291664 0 0 0 95535 1266 0 0 25 0 1 0 21723121 724426752 146260 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 176862 146260 364 364 0 176498 0
[pid=7715] vsize: 707448
Current children cumulated CPU time (s) 968.01
Current children cumulated vsize (Kb) 707448

[startup+990.048 s]
Raw data (loadavg): 1.07 1.03 1.01 1/57 7772
Raw data (/proc/7715/stat): 7715 (pb2sat) T 7714 7715 4057 0 -1 0 294813 0 0 0 96508 1280 0 0 25 0 1 0 21723121 724561920 146282 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7715/statm): 176895 146282 364 364 0 176531 0
[pid=7715] vsize: 707580
Current children cumulated CPU time (s) 977.88
Current children cumulated vsize (Kb) 707580

[startup+1000.05 s]
Raw data (loadavg): 1.13 1.04 1.01 2/55 7772
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 294861 0 0 0 97482 1290 0 0 25 0 1 0 21723121 724697088 146330 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 176928 146330 364 364 0 176564 0
[pid=7715] vsize: 707712
Current children cumulated CPU time (s) 987.72
Current children cumulated vsize (Kb) 707712

[startup+1010.05 s]
Raw data (loadavg): 1.11 1.04 1.01 2/55 7774
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 294893 0 0 0 98453 1299 0 0 25 0 1 0 21723121 724832256 146362 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 176961 146362 364 364 0 176597 0
[pid=7715] vsize: 707844
Current children cumulated CPU time (s) 997.52
Current children cumulated vsize (Kb) 707844

[startup+1020.05 s]
Raw data (loadavg): 1.09 1.04 1.01 2/55 7776
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 298030 0 0 0 99432 1310 0 0 25 0 1 0 21723121 724832256 146372 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 176961 146372 364 364 0 176597 0
[pid=7715] vsize: 707844
Current children cumulated CPU time (s) 1007.42
Current children cumulated vsize (Kb) 707844

[startup+1030.05 s]
Raw data (loadavg): 1.08 1.04 1.01 2/55 7776
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 298035 0 0 0 100396 1324 0 0 25 0 1 0 21723121 724832256 146377 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 176961 146377 364 364 0 176597 0
[pid=7715] vsize: 707844
Current children cumulated CPU time (s) 1017.2
Current children cumulated vsize (Kb) 707844

[startup+1040.05 s]
Raw data (loadavg): 1.07 1.03 1.01 2/55 7776
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 298049 0 0 0 101371 1332 0 0 25 0 1 0 21723121 724832256 146391 4294967295 134512640 135987407 3221224560 3221223280 134813747 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 176961 146391 364 364 0 176597 0
[pid=7715] vsize: 707844
Current children cumulated CPU time (s) 1027.03
Current children cumulated vsize (Kb) 707844

[startup+1050.05 s]
Raw data (loadavg): 1.06 1.03 1.01 2/55 7776
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 301180 0 0 0 102352 1344 0 0 25 0 1 0 21723121 724832256 146395 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 176961 146395 364 364 0 176597 0
[pid=7715] vsize: 707844
Current children cumulated CPU time (s) 1036.96
Current children cumulated vsize (Kb) 707844

[startup+1060.05 s]
Raw data (loadavg): 1.05 1.03 1.00 2/55 7776
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 301202 0 0 0 103321 1354 0 0 25 0 1 0 21723121 724832256 146417 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 176961 146417 364 364 0 176597 0
[pid=7715] vsize: 707844
Current children cumulated CPU time (s) 1046.75
Current children cumulated vsize (Kb) 707844

[startup+1070.05 s]
Raw data (loadavg): 1.04 1.03 1.00 2/55 7776
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 301207 0 0 0 104292 1365 0 0 25 0 1 0 21723121 724832256 146422 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 176961 146422 364 364 0 176597 0
[pid=7715] vsize: 707844
Current children cumulated CPU time (s) 1056.57
Current children cumulated vsize (Kb) 707844

[startup+1080.06 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 7776
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 304374 0 0 0 105269 1377 0 0 25 0 1 0 21723121 737906688 149589 4294967295 134512640 135987407 3221224560 3221222924 134827506 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 180153 149589 364 364 0 179789 0
[pid=7715] vsize: 720612
Current children cumulated CPU time (s) 1066.46
Current children cumulated vsize (Kb) 720612

[startup+1090.06 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 7776
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 304423 0 0 0 106238 1389 0 0 25 0 1 0 21723121 725368832 146511 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 177092 146511 364 364 0 176728 0
[pid=7715] vsize: 708368
Current children cumulated CPU time (s) 1076.27
Current children cumulated vsize (Kb) 708368

[startup+1100.06 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 7776
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 304443 0 0 0 107204 1401 0 0 25 0 1 0 21723121 725368832 146531 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 177092 146531 364 364 0 176728 0
[pid=7715] vsize: 708368
Current children cumulated CPU time (s) 1086.05
Current children cumulated vsize (Kb) 708368

[startup+1110.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 7776
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 307574 0 0 0 108181 1414 0 0 25 0 1 0 21723121 738177024 149662 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 180219 149662 364 364 0 179855 0
[pid=7715] vsize: 720876
Current children cumulated CPU time (s) 1095.95
Current children cumulated vsize (Kb) 720876

[startup+1120.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 7776
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 307574 0 0 0 109175 1416 0 0 25 0 1 0 21723121 725368832 146535 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 177092 146535 364 364 0 176728 0
[pid=7715] vsize: 708368
Current children cumulated CPU time (s) 1105.91
Current children cumulated vsize (Kb) 708368

[startup+1130.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 7776
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 307576 0 0 0 110145 1426 0 0 18 0 1 0 21723121 725368832 146537 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 177092 146537 364 364 0 176728 0
[pid=7715] vsize: 708368
Current children cumulated CPU time (s) 1115.71
Current children cumulated vsize (Kb) 708368

[startup+1140.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 7776
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 307588 0 0 0 111118 1435 0 0 25 0 1 0 21723121 725368832 146549 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 177092 146549 364 364 0 176728 0
[pid=7715] vsize: 708368
Current children cumulated CPU time (s) 1125.53
Current children cumulated vsize (Kb) 708368

[startup+1150.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 7776
Raw data (/proc/7715/stat): 7715 (pb2sat) T 7714 7715 4057 0 -1 0 310747 0 0 0 112093 1448 0 0 25 0 1 0 21723121 725504000 146581 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7715/statm): 177125 146581 364 364 0 176761 0
[pid=7715] vsize: 708500
Current children cumulated CPU time (s) 1135.41
Current children cumulated vsize (Kb) 708500

[startup+1160.06 s]
Raw data (loadavg): 1.01 1.02 1.00 1/55 7776
Raw data (/proc/7715/stat): 7715 (pb2sat) T 7714 7715 4057 0 -1 0 310748 0 0 0 113061 1459 0 0 25 0 1 0 21723121 725504000 146582 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/7715/statm): 177125 146582 364 364 0 176761 0
[pid=7715] vsize: 708500
Current children cumulated CPU time (s) 1145.2
Current children cumulated vsize (Kb) 708500

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 7776
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 313880 0 0 0 114032 1473 0 0 25 0 1 0 21723121 738312192 149714 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 180252 149714 364 364 0 179888 0
[pid=7715] vsize: 721008
Current children cumulated CPU time (s) 1155.05
Current children cumulated vsize (Kb) 721008

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 7776
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 313882 0 0 0 115011 1482 0 0 25 0 1 0 21723121 725504000 146589 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 177125 146589 364 364 0 176761 0
[pid=7715] vsize: 708500
Current children cumulated CPU time (s) 1164.93
Current children cumulated vsize (Kb) 708500

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.02 1.00 1/55 7776
Raw data (/proc/7715/stat): 7715 (pb2sat) T 7714 7715 4057 0 -1 0 313889 0 0 0 115976 1493 0 0 25 0 1 0 21723121 725504000 146596 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/7715/statm): 177125 146596 364 364 0 176761 0
[pid=7715] vsize: 708500
Current children cumulated CPU time (s) 1174.69
Current children cumulated vsize (Kb) 708500

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 7776
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 317017 0 0 0 116953 1505 0 0 24 0 1 0 21723121 725504000 146597 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7715/statm): 177125 146597 364 364 0 176761 0
[pid=7715] vsize: 708500
Current children cumulated CPU time (s) 1184.58
Current children cumulated vsize (Kb) 708500

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 7776
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 317024 0 0 0 117919 1516 0 0 25 0 1 0 21723121 725504000 146604 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 177125 146604 364 364 0 176761 0
[pid=7715] vsize: 708500
Current children cumulated CPU time (s) 1194.35
Current children cumulated vsize (Kb) 708500

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 7776
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 320154 0 0 0 118893 1530 0 0 25 0 1 0 21723121 738312192 149734 4294967295 134512640 135987407 3221224560 3221222976 134827649 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 180252 149734 364 364 0 179888 0
[pid=7715] vsize: 721008
Current children cumulated CPU time (s) 1204.23
Current children cumulated vsize (Kb) 721008



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 7776
Raw data (/proc/7715/stat): 7715 (pb2sat) R 7714 7715 4057 0 -1 0 320154 0 0 0 118893 1530 0 0 25 0 1 0 21723121 738312192 149734 4294967295 134512640 135987407 3221224560 3221222976 134827649 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7715/statm): 180252 149734 364 364 0 179888 0
[pid=7715] vsize: 721008
Current children cumulated CPU time (s) 1204.23
Current children cumulated vsize (Kb) 721008

Sending SIGTERM to -7715
Sleeping 2 seconds
Sending SIGKILL to -7715
One traced child (pid=7715) 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.22
CPU time (s): 1206.38
CPU user time (s): 1190.76
CPU system time (s): 15.6146
CPU usage (%): 98.7039
Max. virtual memory (cumulated for all children) (Kb): 721008

Verifier Data

ERROR: no interpretation found !