Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

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

Trace number 10511

Launcher Data

LAUNCH ON wulflinc14 THE 2005-09-23 18:25:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9215 boxname=wulflinc14 idbench=1011 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5efced6eaf647505ade406591fd69d4e  /oldhome/oroussel/tmp/wulflinc14/normalized-mps-v2-13-7-fixnet6.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc14/normalized-mps-v2-13-7-fixnet6.opb
IDLAUNCH: 9215
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.058
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.058
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:        981008 kB
Buffers:          2924 kB
Cached:          33388 kB
SwapCached:          0 kB
Active:          17832 kB
Inactive:        21336 kB
HighTotal:      131008 kB
HighFree:        93408 kB
LowTotal:       903652 kB
LowFree:        887600 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             8784 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:45:42 (client local time) WITH STATUS 0 IN 1209.14 SECONDS
stats: 9215 7 1209.14 0

Solver Data

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

c Decision: 321681/1103678	Time: 219.558/86400
c Decision: 321681/1103678	Time: 249.093/86400
c Decision: 321681/1103678	Time: 275.438/86400
c Decision: 321681/1103678	Time: 303.013/86400
c Decision: 321681/1103678	Time: 329.217/86400
c Decision: 321681/1103678	Time: 353.813/86400
c Decision: 321681/1103678	Time: 375.26/86400
c Decision: 321681/1103678	Time: 403.922/86400
c Decision: 321681/1103678	Time: 431.949/86400
c Decision: 321681/1103678	Time: 460.372/86400
c Decision: 321681/1103678	Time: 493.586/86400
c Decision: 321681/1103678	Time: 518.358/86400
c Decision: 321681/1103678	Time: 549.249/86400
c Decision: 321681/1103678	Time: 578.141/86400
c Decision: 321681/1103678	Time: 603.841/86400
c Decision: 321681/1103678	Time: 633.186/86400
c Decision: 321681/1103678	Time: 657.535/86400
c Decision: 321681/1103678	Time: 682.272/86400
c Decision: 321681/1103678	Time: 705.943/86400
c Decision: 321681/1103678	Time: 729.717/86400
c Decision: 321681/1103678	Time: 757.818/86400
c Decision: 321681/1103678	Time: 781.351/86400
c Decision: 321681/1103678	Time: 804.308/86400
c Decision: 321681/1103678	Time: 824.606/86400
c Decision: 321681/1103678	Time: 844.828/86400
c Decision: 321681/1103678	Time: 866.226/86400
c Decision: 321681/1103678	Time: 884.343/86400
c Decision: 321681/1103678	Time: 908.471/86400
c Decision: 321681/1103678	Time: 927.932/86400
c Decision: 321681/1103678	Time: 956.453/86400
c Decision: 321681/1103678	Time: 984.952/86400
c Decision: 321681/1103678	Time: 1004.56/86400
c Decision: 321681/1103678	Time: 1022.04/86400
c Decision: 321681/1103678	Time: 1038.67/86400
c Decision: 321681/1103678	Time: 1056.04/86400
c Decision: 321681/1103678	Time: 1078.71/86400
c Decision: 321681/1103678	Time: 1097.31/86400
c Decision: 321681/1103678	Time: 1121.91/86400
c Decision: 321681/1103678	Time: 1139.16/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/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22329710 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10244/statm): 373 2 364 364 0 9 0
[pid=10244] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc14/normalized-mps-v2-13-7-fixnet6.opb

[startup+10.0023 s]
Raw data (loadavg): 0.84 0.92 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 27608 0 0 0 935 61 0 0 25 0 1 0 22329710 85331968 16442 4294967295 134512640 135987407 3221224560 3221210656 134558658 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10244/statm): 20833 16442 364 364 0 20469 0
[pid=10244] vsize: 83332
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 83332

[startup+20.004 s]
Raw data (loadavg): 0.87 0.92 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 55534 0 0 0 1868 127 0 0 25 0 1 0 22329710 161964032 33125 4294967295 134512640 135987407 3221224560 3221039232 134636919 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10244/statm): 39542 33125 364 364 0 39178 0
[pid=10244] vsize: 158168
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 158168

[startup+30.0047 s]
Raw data (loadavg): 0.89 0.92 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 95829 0 0 0 2779 214 0 0 25 0 1 0 22329710 314335232 51211 4294967295 134512640 135987407 3221224560 3220894044 135480533 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10244/statm): 76742 51211 364 364 0 76378 0
[pid=10244] vsize: 306968
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 306968

[startup+40.0053 s]
Raw data (loadavg): 0.90 0.92 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 112369 0 0 0 3737 255 0 0 25 0 1 0 22329710 318660608 67477 4294967295 134512640 135987407 3221224560 3220976032 134878536 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10244/statm): 77798 67477 364 364 0 77434 0
[pid=10244] vsize: 311192
Current children cumulated CPU time (s) 39.92
Current children cumulated vsize (Kb) 311192

[startup+50.006 s]
Raw data (loadavg): 0.92 0.92 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 168986 0 0 0 4613 375 0 0 25 0 1 0 22329710 648204288 104484 4294967295 134512640 135987407 3221224560 3221191168 134887487 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 158253 104488 364 364 0 157889 0
[pid=10244] vsize: 633012
Current children cumulated CPU time (s) 49.88
Current children cumulated vsize (Kb) 633012

[startup+60.0067 s]
Raw data (loadavg): 0.93 0.93 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 186834 0 0 0 5561 422 0 0 25 0 1 0 22329710 568455168 95019 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10244/statm): 138783 95019 364 364 0 138419 0
[pid=10244] vsize: 555132
Current children cumulated CPU time (s) 59.83
Current children cumulated vsize (Kb) 555132

[startup+70.0073 s]
Raw data (loadavg): 0.94 0.93 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 189350 0 0 0 6537 434 0 0 25 0 1 0 22329710 580202496 97396 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 141651 97396 364 364 0 141287 0
[pid=10244] vsize: 566604
Current children cumulated CPU time (s) 69.71
Current children cumulated vsize (Kb) 566604

[startup+80.008 s]
Raw data (loadavg): 0.95 0.93 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 190916 0 0 0 7513 444 0 0 25 0 1 0 22329710 587751424 98962 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 143494 98962 364 364 0 143130 0
[pid=10244] vsize: 573976
Current children cumulated CPU time (s) 79.57
Current children cumulated vsize (Kb) 573976

[startup+90.0076 s]
Raw data (loadavg): 0.96 0.93 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 191991 0 0 0 8501 450 0 0 25 0 1 0 22329710 592949248 100037 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 144763 100037 364 364 0 144399 0
[pid=10244] vsize: 579052
Current children cumulated CPU time (s) 89.51
Current children cumulated vsize (Kb) 579052

[startup+100.007 s]
Raw data (loadavg): 0.96 0.93 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 192696 0 0 0 9493 454 0 0 25 0 1 0 22329710 595750912 100577 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 145447 100577 364 364 0 145083 0
[pid=10244] vsize: 581788
Current children cumulated CPU time (s) 99.47
Current children cumulated vsize (Kb) 581788

[startup+110.007 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 193178 0 0 0 10484 457 0 0 25 0 1 0 22329710 597950464 100993 4294967295 134512640 135987407 3221224560 3221223248 134811992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 145984 100993 364 364 0 145620 0
[pid=10244] vsize: 583936
Current children cumulated CPU time (s) 109.41
Current children cumulated vsize (Kb) 583936

[startup+120.008 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 193868 0 0 0 11474 461 0 0 25 0 1 0 22329710 601280512 101585 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 146797 101585 364 364 0 146433 0
[pid=10244] vsize: 587188
Current children cumulated CPU time (s) 119.35
Current children cumulated vsize (Kb) 587188

[startup+130.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 194292 0 0 0 12458 466 0 0 25 0 1 0 22329710 603684864 101976 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 147384 101976 364 364 0 147020 0
[pid=10244] vsize: 589536
Current children cumulated CPU time (s) 129.24
Current children cumulated vsize (Kb) 589536

[startup+140.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 194369 0 0 0 13446 470 0 0 25 0 1 0 22329710 603815936 102020 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 147416 102020 364 364 0 147052 0
[pid=10244] vsize: 589664
Current children cumulated CPU time (s) 139.16
Current children cumulated vsize (Kb) 589664

[startup+150.008 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 194450 0 0 0 14435 474 0 0 25 0 1 0 22329710 604209152 102101 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 147512 102101 364 364 0 147148 0
[pid=10244] vsize: 590048
Current children cumulated CPU time (s) 149.09
Current children cumulated vsize (Kb) 590048

[startup+160.007 s]
Raw data (loadavg): 0.98 0.94 0.91 1/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) T 10243 10244 4060 0 -1 0 194613 0 0 0 15423 479 0 0 25 0 1 0 22329710 605081600 102264 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10244/statm): 147725 102264 364 364 0 147361 0
[pid=10244] vsize: 590900
Current children cumulated CPU time (s) 159.02
Current children cumulated vsize (Kb) 590900

[startup+170.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 194667 0 0 0 16412 483 0 0 25 0 1 0 22329710 605351936 102318 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 147791 102318 364 364 0 147427 0
[pid=10244] vsize: 591164
Current children cumulated CPU time (s) 168.95
Current children cumulated vsize (Kb) 591164

[startup+180.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 194736 0 0 0 17402 486 0 0 25 0 1 0 22329710 605622272 102387 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 147857 102387 364 364 0 147493 0
[pid=10244] vsize: 591428
Current children cumulated CPU time (s) 178.88
Current children cumulated vsize (Kb) 591428

[startup+190.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 194760 0 0 0 18396 488 0 0 25 0 1 0 22329710 605622272 102411 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 147857 102411 364 364 0 147493 0
[pid=10244] vsize: 591428
Current children cumulated CPU time (s) 188.84
Current children cumulated vsize (Kb) 591428

[startup+200.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 194846 0 0 0 19388 491 0 0 25 0 1 0 22329710 606027776 102497 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10244/statm): 147956 102497 364 364 0 147592 0
[pid=10244] vsize: 591824
Current children cumulated CPU time (s) 198.79
Current children cumulated vsize (Kb) 591824

[startup+210.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 194858 0 0 0 20378 494 0 0 25 0 1 0 22329710 606027776 102509 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 147956 102509 364 364 0 147592 0
[pid=10244] vsize: 591824
Current children cumulated CPU time (s) 208.72
Current children cumulated vsize (Kb) 591824

[startup+220.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 194874 0 0 0 21370 496 0 0 25 0 1 0 22329710 606027776 102525 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 147956 102525 364 364 0 147592 0
[pid=10244] vsize: 591824
Current children cumulated CPU time (s) 218.66
Current children cumulated vsize (Kb) 591824

[startup+230.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 194976 0 0 0 22359 500 0 0 25 0 1 0 22329710 606433280 102627 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 148055 102627 364 364 0 147691 0
[pid=10244] vsize: 592220
Current children cumulated CPU time (s) 228.59
Current children cumulated vsize (Kb) 592220

[startup+240.009 s]
Raw data (loadavg): 0.99 0.95 0.91 1/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) T 10243 10244 4060 0 -1 0 195129 0 0 0 23347 504 0 0 25 0 1 0 22329710 607244288 102780 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10244/statm): 148253 102780 364 364 0 147889 0
[pid=10244] vsize: 593012
Current children cumulated CPU time (s) 238.51
Current children cumulated vsize (Kb) 593012

[startup+250.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 195191 0 0 0 24334 508 0 0 25 0 1 0 22329710 607514624 102842 4294967295 134512640 135987407 3221224560 3221223392 134812778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 148319 102842 364 364 0 147955 0
[pid=10244] vsize: 593276
Current children cumulated CPU time (s) 248.42
Current children cumulated vsize (Kb) 593276

[startup+260.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 195207 0 0 0 25323 512 0 0 25 0 1 0 22329710 607514624 102858 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 148319 102858 364 364 0 147955 0
[pid=10244] vsize: 593276
Current children cumulated CPU time (s) 258.35
Current children cumulated vsize (Kb) 593276

[startup+270.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 197376 0 0 0 26314 519 0 0 25 0 1 0 22329710 607514624 102871 4294967295 134512640 135987407 3221224560 3221223376 134876924 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 148319 102871 364 364 0 147955 0
[pid=10244] vsize: 593276
Current children cumulated CPU time (s) 268.33
Current children cumulated vsize (Kb) 593276

[startup+280.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 197413 0 0 0 27302 522 0 0 25 0 1 0 22329710 607649792 102908 4294967295 134512640 135987407 3221224560 3221223392 134812778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 148352 102908 364 364 0 147988 0
[pid=10244] vsize: 593408
Current children cumulated CPU time (s) 278.24
Current children cumulated vsize (Kb) 593408

[startup+290.009 s]
Raw data (loadavg): 0.99 0.96 0.91 1/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) T 10243 10244 4060 0 -1 0 197458 0 0 0 28286 528 0 0 25 0 1 0 22329710 607920128 102953 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10244/statm): 148418 102953 364 364 0 148054 0
[pid=10244] vsize: 593672
Current children cumulated CPU time (s) 288.14
Current children cumulated vsize (Kb) 593672

[startup+300.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 197497 0 0 0 29273 532 0 0 25 0 1 0 22329710 608055296 102992 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 148451 102992 364 364 0 148087 0
[pid=10244] vsize: 593804
Current children cumulated CPU time (s) 298.05
Current children cumulated vsize (Kb) 593804

[startup+310.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 199717 0 0 0 30256 541 0 0 25 0 1 0 22329710 608460800 103056 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 148550 103056 364 364 0 148186 0
[pid=10244] vsize: 594200
Current children cumulated CPU time (s) 307.97
Current children cumulated vsize (Kb) 594200

[startup+320.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 199784 0 0 0 31242 548 0 0 25 0 1 0 22329710 608866304 103123 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 148649 103123 364 364 0 148285 0
[pid=10244] vsize: 594596
Current children cumulated CPU time (s) 317.9
Current children cumulated vsize (Kb) 594596

[startup+330.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 201958 0 0 0 32227 557 0 0 25 0 1 0 22329710 609001472 103141 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10244/statm): 148682 103141 364 364 0 148318 0
[pid=10244] vsize: 594728
Current children cumulated CPU time (s) 327.84
Current children cumulated vsize (Kb) 594728

[startup+340.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 202049 0 0 0 33213 561 0 0 25 0 1 0 22329710 609542144 103232 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 148814 103232 364 364 0 148450 0
[pid=10244] vsize: 595256
Current children cumulated CPU time (s) 337.74
Current children cumulated vsize (Kb) 595256

[startup+350.01 s]
Raw data (loadavg): 0.99 0.96 0.91 1/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) T 10243 10244 4060 0 -1 0 202099 0 0 0 34201 565 0 0 25 0 1 0 22329710 609812480 103282 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10244/statm): 148880 103282 364 364 0 148516 0
[pid=10244] vsize: 595520
Current children cumulated CPU time (s) 347.66
Current children cumulated vsize (Kb) 595520

[startup+360.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 204256 0 0 0 35188 573 0 0 25 0 1 0 22329710 609812480 103283 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 148880 103283 364 364 0 148516 0
[pid=10244] vsize: 595520
Current children cumulated CPU time (s) 357.61
Current children cumulated vsize (Kb) 595520

[startup+370.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 204260 0 0 0 36172 578 0 0 25 0 1 0 22329710 609812480 103287 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 148880 103287 364 364 0 148516 0
[pid=10244] vsize: 595520
Current children cumulated CPU time (s) 367.5
Current children cumulated vsize (Kb) 595520

[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 204262 0 0 0 37156 583 0 0 25 0 1 0 22329710 609812480 103289 4294967295 134512640 135987407 3221224560 3221223280 134814249 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 148880 103289 364 364 0 148516 0
[pid=10244] vsize: 595520
Current children cumulated CPU time (s) 377.39
Current children cumulated vsize (Kb) 595520

[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 206443 0 0 0 38143 591 0 0 25 0 1 0 22329710 609947648 103314 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 148913 103314 364 364 0 148549 0
[pid=10244] vsize: 595652
Current children cumulated CPU time (s) 387.34
Current children cumulated vsize (Kb) 595652

[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) T 10243 10244 4060 0 -1 0 206612 0 0 0 39127 596 0 0 25 0 1 0 22329710 610750464 103417 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149109 103417 364 364 0 148745 0
[pid=10244] vsize: 596436
Current children cumulated CPU time (s) 397.23
Current children cumulated vsize (Kb) 596436

[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) T 10243 10244 4060 0 -1 0 208768 0 0 0 40116 603 0 0 25 0 1 0 22329710 610750464 103417 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149109 103417 364 364 0 148745 0
[pid=10244] vsize: 596436
Current children cumulated CPU time (s) 407.19
Current children cumulated vsize (Kb) 596436

[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 208772 0 0 0 41101 609 0 0 25 0 1 0 22329710 610750464 103421 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149109 103421 364 364 0 148745 0
[pid=10244] vsize: 596436
Current children cumulated CPU time (s) 417.1
Current children cumulated vsize (Kb) 596436

[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 210936 0 0 0 42085 619 0 0 25 0 1 0 22329710 610750464 103429 4294967295 134512640 135987407 3221224560 3221223200 134789619 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149109 103429 364 364 0 148745 0
[pid=10244] vsize: 596436
Current children cumulated CPU time (s) 427.04
Current children cumulated vsize (Kb) 596436

[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 210945 0 0 0 43066 626 0 0 25 0 1 0 22329710 610750464 103438 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149109 103438 364 364 0 148745 0
[pid=10244] vsize: 596436
Current children cumulated CPU time (s) 436.92
Current children cumulated vsize (Kb) 596436

[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 211100 0 0 0 44049 632 0 0 25 0 1 0 22329710 611422208 103560 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149273 103560 364 364 0 148909 0
[pid=10244] vsize: 597092
Current children cumulated CPU time (s) 446.81
Current children cumulated vsize (Kb) 597092

[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 213259 0 0 0 45035 641 0 0 25 0 1 0 22329710 611422208 103563 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149273 103563 364 364 0 148909 0
[pid=10244] vsize: 597092
Current children cumulated CPU time (s) 456.76
Current children cumulated vsize (Kb) 597092

[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 213290 0 0 0 46021 646 0 0 25 0 1 0 22329710 611557376 103594 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149306 103594 364 364 0 148942 0
[pid=10244] vsize: 597224
Current children cumulated CPU time (s) 466.67
Current children cumulated vsize (Kb) 597224

[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 213312 0 0 0 47005 652 0 0 25 0 1 0 22329710 611692544 103616 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149339 103616 364 364 0 148975 0
[pid=10244] vsize: 597356
Current children cumulated CPU time (s) 476.57
Current children cumulated vsize (Kb) 597356

[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 215493 0 0 0 47990 661 0 0 25 0 1 0 22329710 611827712 103641 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149372 103641 364 364 0 149008 0
[pid=10244] vsize: 597488
Current children cumulated CPU time (s) 486.51
Current children cumulated vsize (Kb) 597488

[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 215510 0 0 0 48971 666 0 0 25 0 1 0 22329710 611827712 103658 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149372 103658 364 364 0 149008 0
[pid=10244] vsize: 597488
Current children cumulated CPU time (s) 496.37
Current children cumulated vsize (Kb) 597488

[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 215516 0 0 0 49946 676 0 0 25 0 1 0 22329710 611827712 103664 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149372 103664 364 364 0 149008 0
[pid=10244] vsize: 597488
Current children cumulated CPU time (s) 506.22
Current children cumulated vsize (Kb) 597488

[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 217728 0 0 0 50928 687 0 0 25 0 1 0 22329710 612098048 103720 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149438 103720 364 364 0 149074 0
[pid=10244] vsize: 597752
Current children cumulated CPU time (s) 516.15
Current children cumulated vsize (Kb) 597752

[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 217732 0 0 0 51910 692 0 0 25 0 1 0 22329710 612098048 103724 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149438 103724 364 364 0 149074 0
[pid=10244] vsize: 597752
Current children cumulated CPU time (s) 526.02
Current children cumulated vsize (Kb) 597752

[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 217769 0 0 0 52891 698 0 0 25 0 1 0 22329710 612233216 103761 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149471 103761 364 364 0 149107 0
[pid=10244] vsize: 597884
Current children cumulated CPU time (s) 535.89
Current children cumulated vsize (Kb) 597884

[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 219926 0 0 0 53879 706 0 0 25 0 1 0 22329710 612233216 103762 4294967295 134512640 135987407 3221224560 3221223376 134812451 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149471 103762 364 364 0 149107 0
[pid=10244] vsize: 597884
Current children cumulated CPU time (s) 545.85
Current children cumulated vsize (Kb) 597884

[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 219953 0 0 0 54855 714 0 0 25 0 1 0 22329710 612368384 103789 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149504 103789 364 364 0 149140 0
[pid=10244] vsize: 598016
Current children cumulated CPU time (s) 555.69
Current children cumulated vsize (Kb) 598016

[startup+570.014 s]
Raw data (loadavg): 1.07 0.99 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 219956 0 0 0 55830 722 0 0 25 0 1 0 22329710 612368384 103792 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149504 103792 364 364 0 149140 0
[pid=10244] vsize: 598016
Current children cumulated CPU time (s) 565.52
Current children cumulated vsize (Kb) 598016

[startup+580.014 s]
Raw data (loadavg): 1.06 0.99 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 222158 0 0 0 56810 732 0 0 25 0 1 0 22329710 612499456 103805 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149536 103805 364 364 0 149172 0
[pid=10244] vsize: 598144
Current children cumulated CPU time (s) 575.42
Current children cumulated vsize (Kb) 598144

[startup+590.014 s]
Raw data (loadavg): 1.05 0.99 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 222182 0 0 0 57786 740 0 0 25 0 1 0 22329710 612634624 103829 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149569 103829 364 364 0 149205 0
[pid=10244] vsize: 598276
Current children cumulated CPU time (s) 585.26
Current children cumulated vsize (Kb) 598276

[startup+600.015 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 222257 0 0 0 58763 748 0 0 25 0 1 0 22329710 613040128 103904 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149668 103904 364 364 0 149304 0
[pid=10244] vsize: 598672
Current children cumulated CPU time (s) 595.11
Current children cumulated vsize (Kb) 598672

[startup+610.014 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 224415 0 0 0 59745 757 0 0 25 0 1 0 22329710 613040128 103906 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149668 103906 364 364 0 149304 0
[pid=10244] vsize: 598672
Current children cumulated CPU time (s) 605.02
Current children cumulated vsize (Kb) 598672

[startup+620.015 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 224427 0 0 0 60726 764 0 0 25 0 1 0 22329710 613040128 103918 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149668 103918 364 364 0 149304 0
[pid=10244] vsize: 598672
Current children cumulated CPU time (s) 614.9
Current children cumulated vsize (Kb) 598672

[startup+630.016 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 224460 0 0 0 61704 773 0 0 25 0 1 0 22329710 613175296 103951 4294967295 134512640 135987407 3221224560 3221223248 134812160 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149701 103951 364 364 0 149337 0
[pid=10244] vsize: 598804
Current children cumulated CPU time (s) 624.77
Current children cumulated vsize (Kb) 598804

[startup+640.015 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 226631 0 0 0 62685 784 0 0 25 0 1 0 22329710 613175296 103966 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149701 103966 364 364 0 149337 0
[pid=10244] vsize: 598804
Current children cumulated CPU time (s) 634.69
Current children cumulated vsize (Kb) 598804

[startup+650.015 s]
Raw data (loadavg): 1.02 0.99 0.92 1/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) T 10243 10244 4060 0 -1 0 226657 0 0 0 63663 791 0 0 25 0 1 0 22329710 613310464 103992 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149734 103992 364 364 0 149370 0
[pid=10244] vsize: 598936
Current children cumulated CPU time (s) 644.54
Current children cumulated vsize (Kb) 598936

[startup+660.015 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 228860 0 0 0 64644 802 0 0 25 0 1 0 22329710 622411776 106195 4294967295 134512640 135987407 3221224560 3221222920 134827505 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 151956 106195 364 364 0 151592 0
[pid=10244] vsize: 607824
Current children cumulated CPU time (s) 654.46
Current children cumulated vsize (Kb) 607824

[startup+670.016 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 228868 0 0 0 65628 807 0 0 25 0 1 0 22329710 613580800 104047 4294967295 134512640 135987407 3221224560 3221223300 135478204 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149800 104047 364 364 0 149436 0
[pid=10244] vsize: 599200
Current children cumulated CPU time (s) 664.35
Current children cumulated vsize (Kb) 599200

[startup+680.016 s]
Raw data (loadavg): 1.01 0.99 0.92 1/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) T 10243 10244 4060 0 -1 0 228873 0 0 0 66598 819 0 0 25 0 1 0 22329710 613580800 104052 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149800 104052 364 364 0 149436 0
[pid=10244] vsize: 599200
Current children cumulated CPU time (s) 674.17
Current children cumulated vsize (Kb) 599200

[startup+690.016 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 231031 0 0 0 67584 827 0 0 25 0 1 0 22329710 613580800 104054 4294967295 134512640 135987407 3221224560 3221223376 134876845 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10244/statm): 149800 104054 364 364 0 149436 0
[pid=10244] vsize: 599200
Current children cumulated CPU time (s) 684.11
Current children cumulated vsize (Kb) 599200

[startup+700.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) T 10243 10244 4060 0 -1 0 231055 0 0 0 68561 836 0 0 25 0 1 0 22329710 613715968 104078 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149833 104078 364 364 0 149469 0
[pid=10244] vsize: 599332
Current children cumulated CPU time (s) 693.97
Current children cumulated vsize (Kb) 599332

[startup+710.017 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) T 10243 10244 4060 0 -1 0 231080 0 0 0 69536 845 0 0 25 0 1 0 22329710 613851136 104103 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149866 104103 364 364 0 149502 0
[pid=10244] vsize: 599464
Current children cumulated CPU time (s) 703.81
Current children cumulated vsize (Kb) 599464

[startup+720.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 233238 0 0 0 70516 855 0 0 25 0 1 0 22329710 613851136 104105 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149866 104105 364 364 0 149502 0
[pid=10244] vsize: 599464
Current children cumulated CPU time (s) 713.71
Current children cumulated vsize (Kb) 599464

[startup+730.019 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) T 10243 10244 4060 0 -1 0 233246 0 0 0 71490 865 0 0 25 0 1 0 22329710 613851136 104113 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149866 104113 364 364 0 149502 0
[pid=10244] vsize: 599464
Current children cumulated CPU time (s) 723.55
Current children cumulated vsize (Kb) 599464

[startup+740.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 235407 0 0 0 72469 875 0 0 25 0 1 0 22329710 622682112 106274 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 152022 106274 364 364 0 151658 0
[pid=10244] vsize: 608088
Current children cumulated CPU time (s) 733.44
Current children cumulated vsize (Kb) 608088

[startup+750.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 235414 0 0 0 73444 883 0 0 25 0 1 0 22329710 613851136 104125 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149866 104125 364 364 0 149502 0
[pid=10244] vsize: 599464
Current children cumulated CPU time (s) 743.27
Current children cumulated vsize (Kb) 599464

[startup+760.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 235452 0 0 0 74418 891 0 0 25 0 1 0 22329710 613986304 104163 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149899 104163 364 364 0 149535 0
[pid=10244] vsize: 599596
Current children cumulated CPU time (s) 753.09
Current children cumulated vsize (Kb) 599596

[startup+770.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 237612 0 0 0 75400 901 0 0 25 0 1 0 22329710 613986304 104167 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10244/statm): 149899 104167 364 364 0 149535 0
[pid=10244] vsize: 599596
Current children cumulated CPU time (s) 763.01
Current children cumulated vsize (Kb) 599596

[startup+780.02 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) T 10243 10244 4060 0 -1 0 237619 0 0 0 76375 909 0 0 25 0 1 0 22329710 613986304 104174 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149899 104174 364 364 0 149535 0
[pid=10244] vsize: 599596
Current children cumulated CPU time (s) 772.84
Current children cumulated vsize (Kb) 599596

[startup+790.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 239779 0 0 0 77352 920 0 0 25 0 1 0 22329710 613986304 104178 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149899 104178 364 364 0 149535 0
[pid=10244] vsize: 599596
Current children cumulated CPU time (s) 782.72
Current children cumulated vsize (Kb) 599596

[startup+800.019 s]
Raw data (loadavg): 1.08 1.00 0.92 1/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) T 10243 10244 4060 0 -1 0 239839 0 0 0 78331 927 0 0 25 0 1 0 22329710 614391808 104238 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149998 104238 364 364 0 149634 0
[pid=10244] vsize: 599992
Current children cumulated CPU time (s) 792.58
Current children cumulated vsize (Kb) 599992

[startup+810.02 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 239847 0 0 0 79312 933 0 0 25 0 1 0 22329710 614391808 104246 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149998 104246 364 364 0 149634 0
[pid=10244] vsize: 599992
Current children cumulated CPU time (s) 802.45
Current children cumulated vsize (Kb) 599992

[startup+820.02 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 242004 0 0 0 80301 941 0 0 25 0 1 0 22329710 614391808 104247 4294967295 134512640 135987407 3221224560 3221223120 134788512 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149998 104247 364 364 0 149634 0
[pid=10244] vsize: 599992
Current children cumulated CPU time (s) 812.42
Current children cumulated vsize (Kb) 599992

[startup+830.02 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 242008 0 0 0 81279 948 0 0 25 0 1 0 22329710 614391808 104251 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149998 104251 364 364 0 149634 0
[pid=10244] vsize: 599992
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (Kb) 599992

[startup+840.02 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 244166 0 0 0 82261 958 0 0 25 0 1 0 22329710 623222784 106409 4294967295 134512640 135987407 3221224560 3221222944 134829282 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 152154 106409 364 364 0 151790 0
[pid=10244] vsize: 608616
Current children cumulated CPU time (s) 832.19
Current children cumulated vsize (Kb) 608616

[startup+850.02 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 244167 0 0 0 83240 965 0 0 25 0 1 0 22329710 614391808 104254 4294967295 134512640 135987407 3221224560 3221223344 134812301 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149998 104254 364 364 0 149634 0
[pid=10244] vsize: 599992
Current children cumulated CPU time (s) 842.05
Current children cumulated vsize (Kb) 599992

[startup+860.02 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 244175 0 0 0 84217 974 0 0 25 0 1 0 22329710 614391808 104262 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149998 104262 364 364 0 149634 0
[pid=10244] vsize: 599992
Current children cumulated CPU time (s) 851.91
Current children cumulated vsize (Kb) 599992

[startup+870.021 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 246336 0 0 0 85198 984 0 0 25 0 1 0 22329710 614391808 104267 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149998 104267 364 364 0 149634 0
[pid=10244] vsize: 599992
Current children cumulated CPU time (s) 861.82
Current children cumulated vsize (Kb) 599992

[startup+880.022 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 246344 0 0 0 86173 992 0 0 25 0 1 0 22329710 614391808 104275 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10244/statm): 149998 104275 364 364 0 149634 0
[pid=10244] vsize: 599992
Current children cumulated CPU time (s) 871.65
Current children cumulated vsize (Kb) 599992

[startup+890.021 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 248504 0 0 0 87154 1002 0 0 25 0 1 0 22329710 614391808 104279 4294967295 134512640 135987407 3221224560 3221223120 134788429 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149998 104279 364 364 0 149634 0
[pid=10244] vsize: 599992
Current children cumulated CPU time (s) 881.56
Current children cumulated vsize (Kb) 599992

[startup+900.022 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 248512 0 0 0 88125 1012 0 0 25 0 1 0 22329710 614391808 104287 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149998 104287 364 364 0 149634 0
[pid=10244] vsize: 599992
Current children cumulated CPU time (s) 891.37
Current children cumulated vsize (Kb) 599992

[startup+910.022 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 250675 0 0 0 89108 1022 0 0 20 0 1 0 22329710 614391808 104294 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10244/statm): 149998 104294 364 364 0 149634 0
[pid=10244] vsize: 599992
Current children cumulated CPU time (s) 901.3
Current children cumulated vsize (Kb) 599992

[startup+920.022 s]
Raw data (loadavg): 1.09 1.02 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 250687 0 0 0 90087 1029 0 0 25 0 1 0 22329710 614391808 104306 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149998 104306 364 364 0 149634 0
[pid=10244] vsize: 599992
Current children cumulated CPU time (s) 911.16
Current children cumulated vsize (Kb) 599992

[startup+930.023 s]
Raw data (loadavg): 1.07 1.02 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 252844 0 0 0 91076 1036 0 0 25 0 1 0 22329710 614391808 104307 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 149998 104307 364 364 0 149634 0
[pid=10244] vsize: 599992
Current children cumulated CPU time (s) 921.12
Current children cumulated vsize (Kb) 599992

[startup+940.023 s]
Raw data (loadavg): 1.06 1.01 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 252883 0 0 0 92060 1042 0 0 25 0 1 0 22329710 614662144 104346 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150064 104346 364 364 0 149700 0
[pid=10244] vsize: 600256
Current children cumulated CPU time (s) 931.02
Current children cumulated vsize (Kb) 600256

[startup+950.023 s]
Raw data (loadavg): 1.05 1.01 0.93 1/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) T 10243 10244 4060 0 -1 0 255040 0 0 0 93043 1052 0 0 25 0 1 0 22329710 614662144 104347 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150064 104347 364 364 0 149700 0
[pid=10244] vsize: 600256
Current children cumulated CPU time (s) 940.95
Current children cumulated vsize (Kb) 600256

[startup+960.023 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 255077 0 0 0 94017 1061 0 0 25 0 1 0 22329710 614932480 104384 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150130 104384 364 364 0 149766 0
[pid=10244] vsize: 600520
Current children cumulated CPU time (s) 950.78
Current children cumulated vsize (Kb) 600520

[startup+970.024 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 257237 0 0 0 94997 1071 0 0 25 0 1 0 22329710 614932480 104388 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150130 104388 364 364 0 149766 0
[pid=10244] vsize: 600520
Current children cumulated CPU time (s) 960.68
Current children cumulated vsize (Kb) 600520

[startup+980.024 s]
Raw data (loadavg): 1.03 1.01 0.93 1/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) T 10243 10244 4060 0 -1 0 257245 0 0 0 95972 1080 0 0 25 0 1 0 22329710 614932480 104396 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150130 104396 364 364 0 149766 0
[pid=10244] vsize: 600520
Current children cumulated CPU time (s) 970.52
Current children cumulated vsize (Kb) 600520

[startup+990.024 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 259423 0 0 0 96952 1090 0 0 25 0 1 0 22329710 615067648 104418 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150163 104418 364 364 0 149799 0
[pid=10244] vsize: 600652
Current children cumulated CPU time (s) 980.42
Current children cumulated vsize (Kb) 600652

[startup+1000.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 259488 0 0 0 97931 1098 0 0 25 0 1 0 22329710 615473152 104483 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150262 104483 364 364 0 149898 0
[pid=10244] vsize: 601048
Current children cumulated CPU time (s) 990.29
Current children cumulated vsize (Kb) 601048

[startup+1010.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 259613 0 0 0 98914 1103 0 0 25 0 1 0 22329710 616284160 104608 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150460 104608 364 364 0 150096 0
[pid=10244] vsize: 601840
Current children cumulated CPU time (s) 1000.17
Current children cumulated vsize (Kb) 601840

[startup+1020.02 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 261833 0 0 0 99895 1115 0 0 25 0 1 0 22329710 616689664 104672 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150559 104672 364 364 0 150195 0
[pid=10244] vsize: 602236
Current children cumulated CPU time (s) 1010.1
Current children cumulated vsize (Kb) 602236

[startup+1030.02 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 261839 0 0 0 100869 1125 0 0 25 0 1 0 22329710 616689664 104678 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10244/statm): 150559 104678 364 364 0 150195 0
[pid=10244] vsize: 602236
Current children cumulated CPU time (s) 1019.94
Current children cumulated vsize (Kb) 602236

[startup+1040.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 261843 0 0 0 101842 1135 0 0 25 0 1 0 22329710 616689664 104682 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150559 104682 364 364 0 150195 0
[pid=10244] vsize: 602236
Current children cumulated CPU time (s) 1029.77
Current children cumulated vsize (Kb) 602236

[startup+1050.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 264000 0 0 0 102827 1143 0 0 25 0 1 0 22329710 616689664 104683 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150559 104683 364 364 0 150195 0
[pid=10244] vsize: 602236
Current children cumulated CPU time (s) 1039.7
Current children cumulated vsize (Kb) 602236

[startup+1060.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 264003 0 0 0 103791 1156 0 0 25 0 1 0 22329710 616689664 104686 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10244/statm): 150559 104686 364 364 0 150195 0
[pid=10244] vsize: 602236
Current children cumulated CPU time (s) 1049.47
Current children cumulated vsize (Kb) 602236

[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 266160 0 0 0 104768 1168 0 0 19 0 1 0 22329710 616689664 104687 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10244/statm): 150559 104687 364 364 0 150195 0
[pid=10244] vsize: 602236
Current children cumulated CPU time (s) 1059.36
Current children cumulated vsize (Kb) 602236

[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 266163 0 0 0 105735 1180 0 0 25 0 1 0 22329710 616689664 104690 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150559 104690 364 364 0 150195 0
[pid=10244] vsize: 602236
Current children cumulated CPU time (s) 1069.15
Current children cumulated vsize (Kb) 602236

[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 268321 0 0 0 106714 1190 0 0 25 0 1 0 22329710 616689664 104692 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150559 104692 364 364 0 150195 0
[pid=10244] vsize: 602236
Current children cumulated CPU time (s) 1079.04
Current children cumulated vsize (Kb) 602236

[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 268323 0 0 0 107685 1200 0 0 25 0 1 0 22329710 616689664 104694 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150559 104694 364 364 0 150195 0
[pid=10244] vsize: 602236
Current children cumulated CPU time (s) 1088.85
Current children cumulated vsize (Kb) 602236

[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 268329 0 0 0 108654 1210 0 0 25 0 1 0 22329710 616689664 104700 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150559 104700 364 364 0 150195 0
[pid=10244] vsize: 602236
Current children cumulated CPU time (s) 1098.64
Current children cumulated vsize (Kb) 602236

[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 270487 0 0 0 109632 1221 0 0 25 0 1 0 22329710 616689664 104702 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10244/statm): 150559 104702 364 364 0 150195 0
[pid=10244] vsize: 602236
Current children cumulated CPU time (s) 1108.53
Current children cumulated vsize (Kb) 602236

[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 270495 0 0 0 110607 1231 0 0 25 0 1 0 22329710 616689664 104710 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150559 104710 364 364 0 150195 0
[pid=10244] vsize: 602236
Current children cumulated CPU time (s) 1118.38
Current children cumulated vsize (Kb) 602236

[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 272654 0 0 0 111589 1241 0 0 25 0 1 0 22329710 616689664 104713 4294967295 134512640 135987407 3221224560 3221223324 134882496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150559 104713 364 364 0 150195 0
[pid=10244] vsize: 602236
Current children cumulated CPU time (s) 1128.3
Current children cumulated vsize (Kb) 602236

[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 272656 0 0 0 112566 1248 0 0 25 0 1 0 22329710 616689664 104715 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150559 104715 364 364 0 150195 0
[pid=10244] vsize: 602236
Current children cumulated CPU time (s) 1138.14
Current children cumulated vsize (Kb) 602236

[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 274818 0 0 0 113541 1258 0 0 25 0 1 0 22329710 625520640 106877 4294967295 134512640 135987407 3221224560 3221222944 134828861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 152715 106877 364 364 0 152351 0
[pid=10244] vsize: 610860
Current children cumulated CPU time (s) 1147.99
Current children cumulated vsize (Kb) 610860

[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 274824 0 0 0 114523 1265 0 0 25 0 1 0 22329710 616689664 104727 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150559 104727 364 364 0 150195 0
[pid=10244] vsize: 602236
Current children cumulated CPU time (s) 1157.88
Current children cumulated vsize (Kb) 602236

[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 274831 0 0 0 115496 1274 0 0 25 0 1 0 22329710 616689664 104734 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150559 104734 364 364 0 150195 0
[pid=10244] vsize: 602236
Current children cumulated CPU time (s) 1167.7
Current children cumulated vsize (Kb) 602236

[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 276991 0 0 0 116472 1286 0 0 25 0 1 0 22329710 616689664 104738 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150559 104738 364 364 0 150195 0
[pid=10244] vsize: 602236
Current children cumulated CPU time (s) 1177.58
Current children cumulated vsize (Kb) 602236

[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 276999 0 0 0 117449 1293 0 0 25 0 1 0 22329710 616689664 104746 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150559 104746 364 364 0 150195 0
[pid=10244] vsize: 602236
Current children cumulated CPU time (s) 1187.42
Current children cumulated vsize (Kb) 602236

[startup+1210.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) R 10243 10244 4060 0 -1 0 277007 0 0 0 118427 1300 0 0 25 0 1 0 22329710 616689664 104754 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150559 104754 364 364 0 150195 0
[pid=10244] vsize: 602236
Current children cumulated CPU time (s) 1197.27
Current children cumulated vsize (Kb) 602236

[startup+1220.03 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) T 10243 10244 4060 0 -1 0 277012 0 0 0 119408 1306 0 0 25 0 1 0 22329710 616689664 104759 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150559 104759 364 364 0 150195 0
[pid=10244] vsize: 602236
Current children cumulated CPU time (s) 1207.14
Current children cumulated vsize (Kb) 602236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.03 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 10244
Raw data (/proc/10244/stat): 10244 (pb2sat) T 10243 10244 4060 0 -1 0 277012 0 0 0 119408 1306 0 0 25 0 1 0 22329710 616689664 104759 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10244/statm): 150559 104759 364 364 0 150195 0
[pid=10244] vsize: 602236
Current children cumulated CPU time (s) 1207.14
Current children cumulated vsize (Kb) 602236

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

Child status: 0
Real time (s): 1222.03
CPU time (s): 1209.14
CPU user time (s): 1195.86
CPU system time (s): 13.283
CPU usage (%): 98.9453
Max. virtual memory (cumulated for all children) (Kb): 633012

Verifier Data

ERROR: no interpretation found !