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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst1.opb
MD5SUM4ca22bc512e0c22cb7d573f87d47eeef
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1073741823
Optimality of the best value was proved NO
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 13958659059
Number of bits of the biggest sum of numbers34
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1259.03
Number of variables13806
Total number of constraints632
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)32
Number of constraints which are nor clauses,nor cardinality constraints600
Minimum length of a constraint1
Maximum length of a constraint390

Trace number 10308

Launcher Data

LAUNCH ON wulflinc4 THE 2005-09-23 17:30:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8947 boxname=wulflinc4 idbench=743 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4ca22bc512e0c22cb7d573f87d47eeef  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-bienst1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-bienst1.opb
IDLAUNCH: 8947
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        929444 kB
Buffers:         12640 kB
Cached:          75216 kB
SwapCached:          0 kB
Active:          45064 kB
Inactive:        45680 kB
HighTotal:      131008 kB
HighFree:        51408 kB
LowTotal:       903652 kB
LowFree:        878036 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8804 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:50:47 (client local time) WITH STATUS 0 IN 1204.09 SECONDS
stats: 8947 7 1204.09 0

Solver Data

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

c Decision: 452751/1260071	Time: 274.763/86400
c Decision: 452751/1260071	Time: 313.715/86400
c Decision: 452751/1260071	Time: 346.602/86400
c Decision: 452751/1260071	Time: 391.715/86400
c Decision: 452751/1260071	Time: 460.874/86400
c Decision: 452843/1260071	Time: 521.704/86400
c Decision: 452843/1260071	Time: 568.708/86400
c Decision: 452846/1260071	Time: 632.945/86400
c Decision: 452846/1260071	Time: 679.061/86400
c Decision: 452891/1260071	Time: 734.59/86400
c Decision: 452891/1260071	Time: 788.915/86400
c Decision: 452891/1260071	Time: 827.791/86400
c Decision: 452891/1260071	Time: 877.372/86400
c Decision: 452891/1260071	Time: 924.116/86400
c Decision: 452892/1260071	Time: 956.878/86400
c Decision: 453174/1260071	Time: 1041.91/86400
c Decision: 453174/1260071	Time: 1084.16/86400
c Decision: 453174/1260071	Time: 1142.27/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/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22019047 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 373 2 364 364 0 9 0
[pid=9806] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-bienst1.opb

[startup+10.0021 s]
Raw data (loadavg): 0.87 0.94 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 28899 0 0 0 925 72 0 0 25 0 1 0 22019047 80330752 17726 4294967295 134512640 135987407 3221224560 3221175776 134854956 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 19612 17726 364 364 0 19248 0
[pid=9806] vsize: 78448
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 78448

[startup+20.0039 s]
Raw data (loadavg): 0.89 0.94 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 57736 0 0 0 1858 137 0 0 25 0 1 0 22019047 158314496 35306 4294967295 134512640 135987407 3221224560 3221190588 135499903 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 38651 35306 364 364 0 38287 0
[pid=9806] vsize: 154604
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 154604

[startup+30.0048 s]
Raw data (loadavg): 0.90 0.94 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 97889 0 0 0 2768 225 0 0 25 0 1 0 22019047 308875264 53240 4294967295 134512640 135987407 3221224560 3221103472 134887302 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 75409 53240 364 364 0 75045 0
[pid=9806] vsize: 301636
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 301636

[startup+40.0056 s]
Raw data (loadavg): 0.92 0.94 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 115277 0 0 0 3724 269 0 0 25 0 1 0 22019047 314552320 70337 4294967295 134512640 135987407 3221224560 3221164364 135499903 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 76795 70337 364 364 0 76431 0
[pid=9806] vsize: 307180
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 307180

[startup+50.0065 s]
Raw data (loadavg): 0.93 0.94 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 180249 0 0 0 4580 408 0 0 25 0 1 0 22019047 544645120 91123 4294967295 134512640 135987407 3221224560 3221209296 134558761 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 132970 91123 364 364 0 132606 0
[pid=9806] vsize: 531880
Current children cumulated CPU time (s) 49.88
Current children cumulated vsize (Kb) 531880

[startup+60.0063 s]
Raw data (loadavg): 0.94 0.95 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 193621 0 0 0 5541 442 0 0 25 0 1 0 22019047 567107584 101449 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 138454 101449 364 364 0 138090 0
[pid=9806] vsize: 553816
Current children cumulated CPU time (s) 59.83
Current children cumulated vsize (Kb) 553816

[startup+70.0072 s]
Raw data (loadavg): 0.95 0.95 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 196161 0 0 0 6504 458 0 0 25 0 1 0 22019047 577642496 103378 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 141026 103378 364 364 0 140662 0
[pid=9806] vsize: 564104
Current children cumulated CPU time (s) 69.62
Current children cumulated vsize (Kb) 564104

[startup+80.0081 s]
Raw data (loadavg): 0.96 0.95 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 197773 0 0 0 7495 463 0 0 25 0 1 0 22019047 584204288 104471 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 142628 104471 364 364 0 142264 0
[pid=9806] vsize: 570512
Current children cumulated CPU time (s) 79.58
Current children cumulated vsize (Kb) 570512

[startup+90.0079 s]
Raw data (loadavg): 0.96 0.95 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 198269 0 0 0 8487 467 0 0 25 0 1 0 22019047 586334208 104802 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 143148 104802 364 364 0 142784 0
[pid=9806] vsize: 572592
Current children cumulated CPU time (s) 89.54
Current children cumulated vsize (Kb) 572592

[startup+100.009 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 199298 0 0 0 9475 472 0 0 25 0 1 0 22019047 590446592 105531 4294967295 134512640 135987407 3221224560 3221223244 135500012 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 144152 105531 364 364 0 143788 0
[pid=9806] vsize: 576608
Current children cumulated CPU time (s) 99.47
Current children cumulated vsize (Kb) 576608

[startup+110.01 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 201297 0 0 0 10464 479 0 0 25 0 1 0 22019047 597868544 106821 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 145964 106821 364 364 0 145600 0
[pid=9806] vsize: 583856
Current children cumulated CPU time (s) 109.43
Current children cumulated vsize (Kb) 583856

[startup+120.011 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 202028 0 0 0 11457 482 0 0 25 0 1 0 22019047 600117248 107189 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 146513 107189 364 364 0 146149 0
[pid=9806] vsize: 586052
Current children cumulated CPU time (s) 119.39
Current children cumulated vsize (Kb) 586052

[startup+130.01 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 202787 0 0 0 12450 485 0 0 25 0 1 0 22019047 603680768 107768 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 147383 107768 364 364 0 147019 0
[pid=9806] vsize: 589532
Current children cumulated CPU time (s) 129.35
Current children cumulated vsize (Kb) 589532

[startup+140.01 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 203685 0 0 0 13436 490 0 0 25 0 1 0 22019047 607506432 108468 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 148317 108468 364 364 0 147953 0
[pid=9806] vsize: 593268
Current children cumulated CPU time (s) 139.26
Current children cumulated vsize (Kb) 593268

[startup+150.011 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 204826 0 0 0 14429 493 0 0 25 0 1 0 22019047 611487744 109183 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 149289 109183 364 364 0 148925 0
[pid=9806] vsize: 597156
Current children cumulated CPU time (s) 149.22
Current children cumulated vsize (Kb) 597156

[startup+160.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 205243 0 0 0 15420 497 0 0 25 0 1 0 22019047 612683776 109436 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 149581 109436 364 364 0 149217 0
[pid=9806] vsize: 598324
Current children cumulated CPU time (s) 159.17
Current children cumulated vsize (Kb) 598324

[startup+170.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 205608 0 0 0 16413 499 0 0 25 0 1 0 22019047 614010880 109736 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 149905 109736 364 364 0 149541 0
[pid=9806] vsize: 599620
Current children cumulated CPU time (s) 169.12
Current children cumulated vsize (Kb) 599620

[startup+180.014 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 205934 0 0 0 17402 504 0 0 25 0 1 0 22019047 614838272 109875 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 150107 109875 364 364 0 149743 0
[pid=9806] vsize: 600428
Current children cumulated CPU time (s) 179.06
Current children cumulated vsize (Kb) 600428

[startup+190.014 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 206188 0 0 0 18393 507 0 0 25 0 1 0 22019047 615493632 109966 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 150267 109966 364 364 0 149903 0
[pid=9806] vsize: 601068
Current children cumulated CPU time (s) 189
Current children cumulated vsize (Kb) 601068

[startup+200.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 206219 0 0 0 19389 508 0 0 25 0 1 0 22019047 615493632 109997 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 150267 109997 364 364 0 149903 0
[pid=9806] vsize: 601068
Current children cumulated CPU time (s) 198.97
Current children cumulated vsize (Kb) 601068

[startup+210.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 206310 0 0 0 20385 510 0 0 25 0 1 0 22019047 615759872 110055 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 150332 110055 364 364 0 149968 0
[pid=9806] vsize: 601328
Current children cumulated CPU time (s) 208.95
Current children cumulated vsize (Kb) 601328

[startup+220.014 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 206337 0 0 0 21380 513 0 0 25 0 1 0 22019047 615759872 110082 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 150332 110082 364 364 0 149968 0
[pid=9806] vsize: 601328
Current children cumulated CPU time (s) 218.93
Current children cumulated vsize (Kb) 601328

[startup+230.015 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 206548 0 0 0 22376 514 0 0 25 0 1 0 22019047 616456192 110227 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 150502 110227 364 364 0 150138 0
[pid=9806] vsize: 602008
Current children cumulated CPU time (s) 228.9
Current children cumulated vsize (Kb) 602008

[startup+240.015 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 207389 0 0 0 23369 518 0 0 25 0 1 0 22019047 619229184 110645 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 151179 110645 364 364 0 150815 0
[pid=9806] vsize: 604716
Current children cumulated CPU time (s) 238.87
Current children cumulated vsize (Kb) 604716

[startup+250.015 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 207550 0 0 0 24362 521 0 0 25 0 1 0 22019047 620019712 110741 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 151372 110741 364 364 0 151008 0
[pid=9806] vsize: 605488
Current children cumulated CPU time (s) 248.83
Current children cumulated vsize (Kb) 605488

[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 207716 0 0 0 25355 523 0 0 25 0 1 0 22019047 620281856 110842 4294967295 134512640 135987407 3221224560 3221223408 134812761 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 151436 110842 364 364 0 151072 0
[pid=9806] vsize: 605744
Current children cumulated CPU time (s) 258.78
Current children cumulated vsize (Kb) 605744

[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 208082 0 0 0 26350 525 0 0 25 0 1 0 22019047 621330432 110948 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 151692 110948 364 364 0 151328 0
[pid=9806] vsize: 606768
Current children cumulated CPU time (s) 268.75
Current children cumulated vsize (Kb) 606768

[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) T 9805 9806 4060 0 -1 0 208845 0 0 0 27343 528 0 0 25 0 1 0 22019047 623984640 111351 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9806/statm): 152340 111351 364 364 0 151976 0
[pid=9806] vsize: 609360
Current children cumulated CPU time (s) 278.71
Current children cumulated vsize (Kb) 609360

[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 209553 0 0 0 28327 534 0 0 25 0 1 0 22019047 626511872 111863 4294967295 134512640 135987407 3221224560 3221223248 134811803 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 152957 111863 364 364 0 152593 0
[pid=9806] vsize: 611828
Current children cumulated CPU time (s) 288.61
Current children cumulated vsize (Kb) 611828

[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 210382 0 0 0 29316 538 0 0 25 0 1 0 22019047 629264384 112416 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 153629 112416 364 364 0 153265 0
[pid=9806] vsize: 614516
Current children cumulated CPU time (s) 298.54
Current children cumulated vsize (Kb) 614516

[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 211295 0 0 0 30309 541 0 0 25 0 1 0 22019047 631361536 112810 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 154141 112810 364 364 0 153777 0
[pid=9806] vsize: 616564
Current children cumulated CPU time (s) 308.5
Current children cumulated vsize (Kb) 616564

[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 211885 0 0 0 31302 544 0 0 25 0 1 0 22019047 633094144 113205 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 154564 113205 364 364 0 154200 0
[pid=9806] vsize: 618256
Current children cumulated CPU time (s) 318.46
Current children cumulated vsize (Kb) 618256

[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 214450 0 0 0 32294 551 0 0 25 0 1 0 22019047 633360384 113275 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 154629 113275 364 364 0 154265 0
[pid=9806] vsize: 618516
Current children cumulated CPU time (s) 328.45
Current children cumulated vsize (Kb) 618516

[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 214983 0 0 0 33287 554 0 0 25 0 1 0 22019047 634802176 113451 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 154981 113451 364 364 0 154617 0
[pid=9806] vsize: 619924
Current children cumulated CPU time (s) 338.41
Current children cumulated vsize (Kb) 619924

[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) T 9805 9806 4060 0 -1 0 215328 0 0 0 34264 562 0 0 25 0 1 0 22019047 636170240 113796 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9806/statm): 155315 113796 364 364 0 154951 0
[pid=9806] vsize: 621260
Current children cumulated CPU time (s) 348.26
Current children cumulated vsize (Kb) 621260

[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 216001 0 0 0 35253 566 0 0 25 0 1 0 22019047 638496768 114239 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 155883 114239 364 364 0 155519 0
[pid=9806] vsize: 623532
Current children cumulated CPU time (s) 358.19
Current children cumulated vsize (Kb) 623532

[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 219034 0 0 0 36243 574 0 0 25 0 1 0 22019047 640483328 114613 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 156368 114613 364 364 0 156004 0
[pid=9806] vsize: 625472
Current children cumulated CPU time (s) 368.17
Current children cumulated vsize (Kb) 625472

[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 219220 0 0 0 37226 580 0 0 25 0 1 0 22019047 641011712 114701 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 156497 114701 364 364 0 156133 0
[pid=9806] vsize: 625988
Current children cumulated CPU time (s) 378.06
Current children cumulated vsize (Kb) 625988

[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 219449 0 0 0 38206 588 0 0 25 0 1 0 22019047 641536000 114800 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 156625 114800 364 364 0 156261 0
[pid=9806] vsize: 626500
Current children cumulated CPU time (s) 387.94
Current children cumulated vsize (Kb) 626500

[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 222691 0 0 0 39189 599 0 0 25 0 1 0 22019047 653787136 117564 4294967295 134512640 135987407 3221224560 3221222920 134827502 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 159616 117564 364 364 0 159252 0
[pid=9806] vsize: 638464
Current children cumulated CPU time (s) 397.88
Current children cumulated vsize (Kb) 638464

[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 223384 0 0 0 40180 603 0 0 25 0 1 0 22019047 645816320 115535 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 157670 115535 364 364 0 157306 0
[pid=9806] vsize: 630680
Current children cumulated CPU time (s) 407.83
Current children cumulated vsize (Kb) 630680

[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) T 9805 9806 4060 0 -1 0 223702 0 0 0 41164 609 0 0 25 0 1 0 22019047 646766592 115659 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9806/statm): 157902 115659 364 364 0 157538 0
[pid=9806] vsize: 631608
Current children cumulated CPU time (s) 417.73
Current children cumulated vsize (Kb) 631608

[startup+430.026 s]
Raw data (loadavg): 1.07 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 224037 0 0 0 42139 618 0 0 25 0 1 0 22019047 648146944 115961 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 158239 115961 364 364 0 157875 0
[pid=9806] vsize: 632956
Current children cumulated CPU time (s) 427.57
Current children cumulated vsize (Kb) 632956

[startup+440.026 s]
Raw data (loadavg): 1.06 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 224641 0 0 0 43135 621 0 0 25 0 1 0 22019047 649719808 116176 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 158623 116176 364 364 0 158259 0
[pid=9806] vsize: 634492
Current children cumulated CPU time (s) 437.56
Current children cumulated vsize (Kb) 634492

[startup+450.027 s]
Raw data (loadavg): 1.05 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 224991 0 0 0 44126 623 0 0 25 0 1 0 22019047 650604544 116394 4294967295 134512640 135987407 3221224560 3221223248 134811950 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 158839 116394 364 364 0 158475 0
[pid=9806] vsize: 635356
Current children cumulated CPU time (s) 447.49
Current children cumulated vsize (Kb) 635356

[startup+460.028 s]
Raw data (loadavg): 1.04 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 225317 0 0 0 45116 626 0 0 25 0 1 0 22019047 651390976 116525 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 159031 116525 364 364 0 158667 0
[pid=9806] vsize: 636124
Current children cumulated CPU time (s) 457.42
Current children cumulated vsize (Kb) 636124

[startup+470.03 s]
Raw data (loadavg): 1.03 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 226007 0 0 0 46104 632 0 0 25 0 1 0 22019047 653361152 116858 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 159512 116858 364 364 0 159148 0
[pid=9806] vsize: 638048
Current children cumulated CPU time (s) 467.36
Current children cumulated vsize (Kb) 638048

[startup+480.031 s]
Raw data (loadavg): 1.03 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 226208 0 0 0 47096 635 0 0 25 0 1 0 22019047 653754368 116960 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 159608 116960 364 364 0 159244 0
[pid=9806] vsize: 638432
Current children cumulated CPU time (s) 477.31
Current children cumulated vsize (Kb) 638432

[startup+490.03 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 227110 0 0 0 48088 638 0 0 25 0 1 0 22019047 656121856 117405 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 160186 117405 364 364 0 159822 0
[pid=9806] vsize: 640744
Current children cumulated CPU time (s) 487.26
Current children cumulated vsize (Kb) 640744

[startup+500.031 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 227487 0 0 0 49077 642 0 0 25 0 1 0 22019047 657248256 117652 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 160461 117652 364 364 0 160097 0
[pid=9806] vsize: 641844
Current children cumulated CPU time (s) 497.19
Current children cumulated vsize (Kb) 641844

[startup+510.031 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 227779 0 0 0 50063 647 0 0 25 0 1 0 22019047 658173952 117815 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 160687 117815 364 364 0 160323 0
[pid=9806] vsize: 642748
Current children cumulated CPU time (s) 507.1
Current children cumulated vsize (Kb) 642748

[startup+520.032 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 230624 0 0 0 51052 655 0 0 25 0 1 0 22019047 659361792 118035 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 160977 118035 364 364 0 160613 0
[pid=9806] vsize: 643908
Current children cumulated CPU time (s) 517.07
Current children cumulated vsize (Kb) 643908

[startup+530.033 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 231079 0 0 0 52046 657 0 0 25 0 1 0 22019047 660676608 118229 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 161298 118229 364 364 0 160934 0
[pid=9806] vsize: 645192
Current children cumulated CPU time (s) 527.03
Current children cumulated vsize (Kb) 645192

[startup+540.034 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 231374 0 0 0 53034 662 0 0 25 0 1 0 22019047 661467136 118394 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 161491 118394 364 364 0 161127 0
[pid=9806] vsize: 645964
Current children cumulated CPU time (s) 536.96
Current children cumulated vsize (Kb) 645964

[startup+550.035 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 231378 0 0 0 54024 665 0 0 25 0 1 0 22019047 661467136 118398 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 161491 118398 364 364 0 161127 0
[pid=9806] vsize: 645964
Current children cumulated CPU time (s) 546.89
Current children cumulated vsize (Kb) 645964

[startup+560.034 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 231946 0 0 0 55012 670 0 0 25 0 1 0 22019047 663044096 118642 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 161876 118642 364 364 0 161512 0
[pid=9806] vsize: 647504
Current children cumulated CPU time (s) 556.82
Current children cumulated vsize (Kb) 647504

[startup+570.035 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 231951 0 0 0 56004 673 0 0 25 0 1 0 22019047 663044096 118647 4294967295 134512640 135987407 3221224560 3221223280 134814249 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 161876 118647 364 364 0 161512 0
[pid=9806] vsize: 647504
Current children cumulated CPU time (s) 566.77
Current children cumulated vsize (Kb) 647504

[startup+580.036 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 234413 0 0 0 56998 679 0 0 25 0 1 0 22019047 663044096 118647 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 161876 118647 364 364 0 161512 0
[pid=9806] vsize: 647504
Current children cumulated CPU time (s) 576.77
Current children cumulated vsize (Kb) 647504

[startup+590.036 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) T 9805 9806 4060 0 -1 0 234638 0 0 0 57982 685 0 0 25 0 1 0 22019047 663568384 118743 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9806/statm): 162004 118743 364 364 0 161640 0
[pid=9806] vsize: 648016
Current children cumulated CPU time (s) 586.67
Current children cumulated vsize (Kb) 648016

[startup+600.037 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 234950 0 0 0 58961 693 0 0 25 0 1 0 22019047 665161728 118990 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 162393 118990 364 364 0 162029 0
[pid=9806] vsize: 649572
Current children cumulated CPU time (s) 596.54
Current children cumulated vsize (Kb) 649572

[startup+610.037 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 235678 0 0 0 59951 697 0 0 25 0 1 0 22019047 667332608 119360 4294967295 134512640 135987407 3221224560 3221223248 134811735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 162923 119360 364 364 0 162559 0
[pid=9806] vsize: 651692
Current children cumulated CPU time (s) 606.48
Current children cumulated vsize (Kb) 651692

[startup+620.038 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 235859 0 0 0 60940 702 0 0 25 0 1 0 22019047 667856896 119411 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 163051 119411 364 364 0 162687 0
[pid=9806] vsize: 652204
Current children cumulated CPU time (s) 616.42
Current children cumulated vsize (Kb) 652204

[startup+630.038 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 238734 0 0 0 61931 710 0 0 25 0 1 0 22019047 669040640 119596 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 163340 119596 364 364 0 162976 0
[pid=9806] vsize: 653360
Current children cumulated CPU time (s) 626.41
Current children cumulated vsize (Kb) 653360

[startup+640.039 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 239428 0 0 0 62915 717 0 0 25 0 1 0 22019047 670613504 119902 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 163724 119902 364 364 0 163360 0
[pid=9806] vsize: 654896
Current children cumulated CPU time (s) 636.32
Current children cumulated vsize (Kb) 654896

[startup+650.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 239630 0 0 0 63905 720 0 0 25 0 1 0 22019047 671137792 119974 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 163852 119974 364 364 0 163488 0
[pid=9806] vsize: 655408
Current children cumulated CPU time (s) 646.25
Current children cumulated vsize (Kb) 655408

[startup+660.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 239942 0 0 0 64890 726 0 0 25 0 1 0 22019047 672190464 120091 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 164109 120091 364 364 0 163745 0
[pid=9806] vsize: 656436
Current children cumulated CPU time (s) 656.16
Current children cumulated vsize (Kb) 656436

[startup+670.041 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 240091 0 0 0 65876 731 0 0 25 0 1 0 22019047 672718848 120175 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 164238 120175 364 364 0 163874 0
[pid=9806] vsize: 656952
Current children cumulated CPU time (s) 666.07
Current children cumulated vsize (Kb) 656952

[startup+680.042 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 240319 0 0 0 66859 737 0 0 25 0 1 0 22019047 673505280 120208 4294967295 134512640 135987407 3221224560 3221223248 134811896 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 164430 120208 364 364 0 164066 0
[pid=9806] vsize: 657720
Current children cumulated CPU time (s) 675.96
Current children cumulated vsize (Kb) 657720

[startup+690.042 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 242788 0 0 0 67837 749 0 0 25 0 1 0 22019047 673505280 120215 4294967295 134512640 135987407 3221224560 3221223200 134789619 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 164430 120215 364 364 0 164066 0
[pid=9806] vsize: 657720
Current children cumulated CPU time (s) 685.86
Current children cumulated vsize (Kb) 657720

[startup+700.043 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 243090 0 0 0 68831 752 0 0 25 0 1 0 22019047 674164736 120419 4294967295 134512640 135987407 3221224560 3221223424 134812606 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 164591 120419 364 364 0 164227 0
[pid=9806] vsize: 658364
Current children cumulated CPU time (s) 695.83
Current children cumulated vsize (Kb) 658364

[startup+710.043 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) T 9805 9806 4060 0 -1 0 243138 0 0 0 69814 758 0 0 25 0 1 0 22019047 674164736 120467 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9806/statm): 164591 120467 364 364 0 164227 0
[pid=9806] vsize: 658364
Current children cumulated CPU time (s) 705.72
Current children cumulated vsize (Kb) 658364

[startup+720.044 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 243144 0 0 0 70795 765 0 0 25 0 1 0 22019047 674164736 120473 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 164591 120473 364 364 0 164227 0
[pid=9806] vsize: 658364
Current children cumulated CPU time (s) 715.6
Current children cumulated vsize (Kb) 658364

[startup+730.045 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 243147 0 0 0 71780 770 0 0 25 0 1 0 22019047 674164736 120476 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 164591 120476 364 364 0 164227 0
[pid=9806] vsize: 658364
Current children cumulated CPU time (s) 725.5
Current children cumulated vsize (Kb) 658364

[startup+740.046 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 245863 0 0 0 72773 777 0 0 25 0 1 0 22019047 674955264 120600 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 164784 120600 364 364 0 164420 0
[pid=9806] vsize: 659136
Current children cumulated CPU time (s) 735.5
Current children cumulated vsize (Kb) 659136

[startup+750.046 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 246155 0 0 0 73766 780 0 0 25 0 1 0 22019047 675741696 120698 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 164976 120698 364 364 0 164612 0
[pid=9806] vsize: 659904
Current children cumulated CPU time (s) 745.46
Current children cumulated vsize (Kb) 659904

[startup+760.046 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 246215 0 0 0 74750 785 0 0 25 0 1 0 22019047 675741696 120758 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 164976 120758 364 364 0 164612 0
[pid=9806] vsize: 659904
Current children cumulated CPU time (s) 755.35
Current children cumulated vsize (Kb) 659904

[startup+770.047 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 246563 0 0 0 75742 788 0 0 25 0 1 0 22019047 676528128 120912 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 165168 120912 364 364 0 164804 0
[pid=9806] vsize: 660672
Current children cumulated CPU time (s) 765.3
Current children cumulated vsize (Kb) 660672

[startup+780.047 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 246573 0 0 0 76729 792 0 0 25 0 1 0 22019047 676528128 120922 4294967295 134512640 135987407 3221224560 3221223152 134775415 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 165168 120922 364 364 0 164804 0
[pid=9806] vsize: 660672
Current children cumulated CPU time (s) 775.21
Current children cumulated vsize (Kb) 660672

[startup+790.047 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 249067 0 0 0 77718 799 0 0 25 0 1 0 22019047 686612480 123416 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 167630 123416 364 364 0 167266 0
[pid=9806] vsize: 670520
Current children cumulated CPU time (s) 785.17
Current children cumulated vsize (Kb) 670520

[startup+800.048 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 249068 0 0 0 78713 801 0 0 25 0 1 0 22019047 676528128 120955 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 165168 120955 364 364 0 164804 0
[pid=9806] vsize: 660672
Current children cumulated CPU time (s) 795.14
Current children cumulated vsize (Kb) 660672

[startup+810.049 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 249104 0 0 0 79708 803 0 0 25 0 1 0 22019047 676528128 120991 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 165168 120991 364 364 0 164804 0
[pid=9806] vsize: 660672
Current children cumulated CPU time (s) 805.11
Current children cumulated vsize (Kb) 660672

[startup+820.05 s]
Raw data (loadavg): 1.00 0.99 0.96 1/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) T 9805 9806 4060 0 -1 0 249122 0 0 0 80689 810 0 0 25 0 1 0 22019047 676528128 121009 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9806/statm): 165168 121009 364 364 0 164804 0
[pid=9806] vsize: 660672
Current children cumulated CPU time (s) 814.99
Current children cumulated vsize (Kb) 660672

[startup+830.051 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 249207 0 0 0 81675 814 0 0 25 0 1 0 22019047 676790272 121029 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 165232 121029 364 364 0 164868 0
[pid=9806] vsize: 660928
Current children cumulated CPU time (s) 824.89
Current children cumulated vsize (Kb) 660928

[startup+840.051 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 249211 0 0 0 82664 818 0 0 25 0 1 0 22019047 676790272 121033 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 165232 121033 364 364 0 164868 0
[pid=9806] vsize: 660928
Current children cumulated CPU time (s) 834.82
Current children cumulated vsize (Kb) 660928

[startup+850.051 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 251788 0 0 0 83657 825 0 0 25 0 1 0 22019047 677052416 121083 4294967295 134512640 135987407 3221224560 3221223248 134811940 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 165296 121083 364 364 0 164932 0
[pid=9806] vsize: 661184
Current children cumulated CPU time (s) 844.82
Current children cumulated vsize (Kb) 661184

[startup+860.051 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 251800 0 0 0 84634 832 0 0 24 0 1 0 22019047 677052416 121095 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 165296 121095 364 364 0 164932 0
[pid=9806] vsize: 661184
Current children cumulated CPU time (s) 854.66
Current children cumulated vsize (Kb) 661184

[startup+870.052 s]
Raw data (loadavg): 1.07 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 251821 0 0 0 85620 837 0 0 25 0 1 0 22019047 677052416 121116 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 165296 121116 364 364 0 164932 0
[pid=9806] vsize: 661184
Current children cumulated CPU time (s) 864.57
Current children cumulated vsize (Kb) 661184

[startup+880.053 s]
Raw data (loadavg): 1.06 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 251822 0 0 0 86604 844 0 0 25 0 1 0 22019047 677052416 121117 4294967295 134512640 135987407 3221224560 3221223408 134790062 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 165296 121117 364 364 0 164932 0
[pid=9806] vsize: 661184
Current children cumulated CPU time (s) 874.48
Current children cumulated vsize (Kb) 661184

[startup+890.054 s]
Raw data (loadavg): 1.05 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 254352 0 0 0 87593 851 0 0 25 0 1 0 22019047 677318656 121152 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 165361 121152 364 364 0 164997 0
[pid=9806] vsize: 661444
Current children cumulated CPU time (s) 884.44
Current children cumulated vsize (Kb) 661444

[startup+900.055 s]
Raw data (loadavg): 1.04 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 254536 0 0 0 88589 852 0 0 25 0 1 0 22019047 677580800 121271 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 165425 121271 364 364 0 165061 0
[pid=9806] vsize: 661700
Current children cumulated CPU time (s) 894.41
Current children cumulated vsize (Kb) 661700

[startup+910.055 s]
Raw data (loadavg): 1.04 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 254543 0 0 0 89579 856 0 0 25 0 1 0 22019047 677580800 121278 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 165425 121278 364 364 0 165061 0
[pid=9806] vsize: 661700
Current children cumulated CPU time (s) 904.35
Current children cumulated vsize (Kb) 661700

[startup+920.056 s]
Raw data (loadavg): 1.03 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 254623 0 0 0 90565 861 0 0 25 0 1 0 22019047 677986304 121358 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 165524 121358 364 364 0 165160 0
[pid=9806] vsize: 662096
Current children cumulated CPU time (s) 914.26
Current children cumulated vsize (Kb) 662096

[startup+930.056 s]
Raw data (loadavg): 1.02 1.00 0.97 1/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) T 9805 9806 4060 0 -1 0 254827 0 0 0 91545 868 0 0 25 0 1 0 22019047 678932480 121562 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9806/statm): 165755 121562 364 364 0 165391 0
[pid=9806] vsize: 663020
Current children cumulated CPU time (s) 924.13
Current children cumulated vsize (Kb) 663020

[startup+940.057 s]
Raw data (loadavg): 1.02 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 257400 0 0 0 92530 878 0 0 25 0 1 0 22019047 679194624 121608 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 165819 121608 364 364 0 165455 0
[pid=9806] vsize: 663276
Current children cumulated CPU time (s) 934.08
Current children cumulated vsize (Kb) 663276

[startup+950.058 s]
Raw data (loadavg): 1.02 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 257402 0 0 0 93520 882 0 0 25 0 1 0 22019047 679194624 121610 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 165819 121610 364 364 0 165455 0
[pid=9806] vsize: 663276
Current children cumulated CPU time (s) 944.02
Current children cumulated vsize (Kb) 663276

[startup+960.058 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 257405 0 0 0 94506 886 0 0 25 0 1 0 22019047 679194624 121613 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 165819 121613 364 364 0 165455 0
[pid=9806] vsize: 663276
Current children cumulated CPU time (s) 953.92
Current children cumulated vsize (Kb) 663276

[startup+970.059 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 257483 0 0 0 95495 889 0 0 25 0 1 0 22019047 679456768 121626 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 165883 121626 364 364 0 165519 0
[pid=9806] vsize: 663532
Current children cumulated CPU time (s) 963.84
Current children cumulated vsize (Kb) 663532

[startup+980.06 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 257487 0 0 0 96486 892 0 0 25 0 1 0 22019047 679456768 121630 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 165883 121630 364 364 0 165519 0
[pid=9806] vsize: 663532
Current children cumulated CPU time (s) 973.78
Current children cumulated vsize (Kb) 663532

[startup+990.061 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 260337 0 0 0 97474 901 0 0 25 0 1 0 22019047 680509440 121824 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 166140 121824 364 364 0 165776 0
[pid=9806] vsize: 664560
Current children cumulated CPU time (s) 983.75
Current children cumulated vsize (Kb) 664560

[startup+1000.06 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 260440 0 0 0 98461 906 0 0 25 0 1 0 22019047 680509440 121927 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 166140 121927 364 364 0 165776 0
[pid=9806] vsize: 664560
Current children cumulated CPU time (s) 993.67
Current children cumulated vsize (Kb) 664560

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 260445 0 0 0 99441 914 0 0 25 0 1 0 22019047 680509440 121932 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 166140 121932 364 364 0 165776 0
[pid=9806] vsize: 664560
Current children cumulated CPU time (s) 1003.55
Current children cumulated vsize (Kb) 664560

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 260557 0 0 0 100424 921 0 0 25 0 1 0 22019047 680771584 121979 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 166204 121979 364 364 0 165840 0
[pid=9806] vsize: 664816
Current children cumulated CPU time (s) 1013.45
Current children cumulated vsize (Kb) 664816

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 260642 0 0 0 101407 926 0 0 25 0 1 0 22019047 681033728 121999 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 166268 121999 364 364 0 165904 0
[pid=9806] vsize: 665072
Current children cumulated CPU time (s) 1023.33
Current children cumulated vsize (Kb) 665072

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 260649 0 0 0 102404 927 0 0 25 0 1 0 22019047 681033728 122006 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 166268 122006 364 364 0 165904 0
[pid=9806] vsize: 665072
Current children cumulated CPU time (s) 1033.31
Current children cumulated vsize (Kb) 665072

[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 260783 0 0 0 103401 928 0 0 25 0 1 0 22019047 681295872 122075 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 166332 122075 364 364 0 165968 0
[pid=9806] vsize: 665328
Current children cumulated CPU time (s) 1043.29
Current children cumulated vsize (Kb) 665328

[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 260980 0 0 0 104388 932 0 0 25 0 1 0 22019047 681820160 122143 4294967295 134512640 135987407 3221224560 3221223248 134812000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 166460 122143 364 364 0 166096 0
[pid=9806] vsize: 665840
Current children cumulated CPU time (s) 1053.2
Current children cumulated vsize (Kb) 665840

[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 260984 0 0 0 105373 938 0 0 25 0 1 0 22019047 681820160 122147 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 166460 122147 364 364 0 166096 0
[pid=9806] vsize: 665840
Current children cumulated CPU time (s) 1063.11
Current children cumulated vsize (Kb) 665840

[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 261035 0 0 0 106361 942 0 0 25 0 1 0 22019047 681820160 122198 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 166460 122198 364 364 0 166096 0
[pid=9806] vsize: 665840
Current children cumulated CPU time (s) 1073.03
Current children cumulated vsize (Kb) 665840

[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 261052 0 0 0 107352 945 0 0 25 0 1 0 22019047 681820160 122215 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 166460 122215 364 364 0 166096 0
[pid=9806] vsize: 665840
Current children cumulated CPU time (s) 1082.97
Current children cumulated vsize (Kb) 665840

[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 263514 0 0 0 108339 953 0 0 25 0 1 0 22019047 681820160 122215 4294967295 134512640 135987407 3221224560 3221223376 134876811 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 166460 122215 364 364 0 166096 0
[pid=9806] vsize: 665840
Current children cumulated CPU time (s) 1092.92
Current children cumulated vsize (Kb) 665840

[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 263599 0 0 0 109332 956 0 0 25 0 1 0 22019047 682082304 122235 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 166524 122235 364 364 0 166160 0
[pid=9806] vsize: 666096
Current children cumulated CPU time (s) 1102.88
Current children cumulated vsize (Kb) 666096

[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 263644 0 0 0 110311 962 0 0 25 0 1 0 22019047 682352640 122280 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 166590 122280 364 364 0 166226 0
[pid=9806] vsize: 666360
Current children cumulated CPU time (s) 1112.73
Current children cumulated vsize (Kb) 666360

[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 263776 0 0 0 111292 970 0 0 25 0 1 0 22019047 682614784 122347 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 166654 122347 364 364 0 166290 0
[pid=9806] vsize: 666616
Current children cumulated CPU time (s) 1122.62
Current children cumulated vsize (Kb) 666616

[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 264188 0 0 0 112276 976 0 0 25 0 1 0 22019047 683671552 122629 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 166912 122629 364 364 0 166548 0
[pid=9806] vsize: 667648
Current children cumulated CPU time (s) 1132.52
Current children cumulated vsize (Kb) 667648

[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 266650 0 0 0 113268 983 0 0 25 0 1 0 22019047 683671552 122629 4294967295 134512640 135987407 3221224560 3221223376 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 166912 122629 364 364 0 166548 0
[pid=9806] vsize: 667648
Current children cumulated CPU time (s) 1142.51
Current children cumulated vsize (Kb) 667648

[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 266835 0 0 0 114258 987 0 0 25 0 1 0 22019047 684195840 122685 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 167040 122685 364 364 0 166676 0
[pid=9806] vsize: 668160
Current children cumulated CPU time (s) 1152.45
Current children cumulated vsize (Kb) 668160

[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 266840 0 0 0 115241 993 0 0 25 0 1 0 22019047 684195840 122690 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 167040 122690 364 364 0 166676 0
[pid=9806] vsize: 668160
Current children cumulated CPU time (s) 1162.34
Current children cumulated vsize (Kb) 668160

[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 266984 0 0 0 116230 996 0 0 25 0 1 0 22019047 684457984 122769 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 167104 122769 364 364 0 166740 0
[pid=9806] vsize: 668416
Current children cumulated CPU time (s) 1172.26
Current children cumulated vsize (Kb) 668416

[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 267277 0 0 0 117220 1000 0 0 25 0 1 0 22019047 685260800 122997 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9806/statm): 167300 122997 364 364 0 166936 0
[pid=9806] vsize: 669200
Current children cumulated CPU time (s) 1182.2
Current children cumulated vsize (Kb) 669200

[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 267460 0 0 0 118211 1003 0 0 25 0 1 0 22019047 685785088 123050 4294967295 134512640 135987407 3221224560 3221223200 134789452 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 167428 123050 364 364 0 167064 0
[pid=9806] vsize: 669712
Current children cumulated CPU time (s) 1192.14
Current children cumulated vsize (Kb) 669712

[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 269922 0 0 0 119197 1012 0 0 25 0 1 0 22019047 685785088 123050 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 167428 123050 364 364 0 167064 0
[pid=9806] vsize: 669712
Current children cumulated CPU time (s) 1202.09
Current children cumulated vsize (Kb) 669712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9806
Raw data (/proc/9806/stat): 9806 (pb2sat) R 9805 9806 4060 0 -1 0 269922 0 0 0 119197 1012 0 0 25 0 1 0 22019047 685785088 123050 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9806/statm): 167428 123050 364 364 0 167064 0
[pid=9806] vsize: 669712
Current children cumulated CPU time (s) 1202.09
Current children cumulated vsize (Kb) 669712

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

Child status: 0
Real time (s): 1212.08
CPU time (s): 1204.09
CPU user time (s): 1193.71
CPU system time (s): 10.3814
CPU usage (%): 99.3408
Max. virtual memory (cumulated for all children) (Kb): 670520

Verifier Data

ERROR: no interpretation found !