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-danoint.opb
MD5SUMbf9bbda6f586f0b888182a433f63f010
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 20
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1048575
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 13107200
Number of bits of the biggest number in a constraint 24
Biggest sum of numbers in a constraint 52829966
Number of bits of the biggest sum of numbers26
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables9304
Total number of constraints728
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)72
Number of constraints which are nor clauses,nor cardinality constraints656
Minimum length of a constraint1
Maximum length of a constraint1000

Trace number 10507

Launcher Data

LAUNCH ON wulflinc9 THE 2005-09-23 18:23:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9210 boxname=wulflinc9 idbench=1006 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  bf9bbda6f586f0b888182a433f63f010  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-danoint.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-danoint.opb
IDLAUNCH: 9210
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        899512 kB
Buffers:         13644 kB
Cached:         103928 kB
SwapCached:          0 kB
Active:          52732 kB
Inactive:        67748 kB
HighTotal:      131008 kB
HighFree:        26852 kB
LowTotal:       903652 kB
LowFree:        872660 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             9068 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:44:04 (client local time) WITH STATUS 0 IN 1210.67 SECONDS
stats: 9210 7 1210.67 0

Solver Data

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

c Decision: 293672/1624559	Time: 358.159/86400
c Decision: 293672/1624559	Time: 577.348/86400
c Decision: 293672/1624559	Time: 794.975/86400
c Decision: 293672/1624559	Time: 1050.64/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/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22324803 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 373 2 364 364 0 9 0
[pid=12322] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-danoint.opb

[startup+10.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 29341 0 0 0 932 64 0 0 25 0 1 0 22324803 80310272 18158 4294967295 134512640 135987407 3221224560 3221141664 135293373 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 19607 18158 364 364 0 19243 0
[pid=12322] vsize: 78428
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 78428

[startup+20.0028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 58591 0 0 0 1866 129 0 0 25 0 1 0 22324803 158429184 36143 4294967295 134512640 135987407 3221224560 3221179408 134887932 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 38679 36143 364 364 0 38315 0
[pid=12322] vsize: 154716
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 154716

[startup+30.0046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 100198 0 0 0 2765 226 0 0 25 0 1 0 22324803 313700352 55526 4294967295 134512640 135987407 3221224560 3221170040 134892451 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 76587 55526 364 364 0 76223 0
[pid=12322] vsize: 306348
Current children cumulated CPU time (s) 29.91
Current children cumulated vsize (Kb) 306348

[startup+40.0044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 116964 0 0 0 3726 264 0 0 25 0 1 0 22324803 318025728 72015 4294967295 134512640 135987407 3221224560 3220993484 134637002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 77643 72015 364 364 0 77279 0
[pid=12322] vsize: 310572
Current children cumulated CPU time (s) 39.9
Current children cumulated vsize (Kb) 310572

[startup+50.0051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 181826 0 0 0 4583 403 0 0 25 0 1 0 22324803 547442688 92704 4294967295 134512640 135987407 3221224560 3220891404 134669201 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 133653 92704 364 364 0 133289 0
[pid=12322] vsize: 534612
Current children cumulated CPU time (s) 49.86
Current children cumulated vsize (Kb) 534612

[startup+60.0059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 196455 0 0 0 5549 437 0 0 25 0 1 0 22324803 584916992 107092 4294967295 134512640 135987407 3221224560 3221127096 135499909 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 142802 107092 364 364 0 142438 0
[pid=12322] vsize: 571208
Current children cumulated CPU time (s) 59.86
Current children cumulated vsize (Kb) 571208

[startup+70.0067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 215733 0 0 0 6502 484 0 0 25 0 1 0 22324803 614019072 126151 4294967295 134512640 135987407 3221224560 3221223120 134829261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 149907 126151 364 364 0 149543 0
[pid=12322] vsize: 599628
Current children cumulated CPU time (s) 69.86
Current children cumulated vsize (Kb) 599628

[startup+80.0075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 222261 0 0 0 7483 500 0 0 25 0 1 0 22324803 623267840 127784 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 152165 127784 364 364 0 151801 0
[pid=12322] vsize: 608660
Current children cumulated CPU time (s) 79.83
Current children cumulated vsize (Kb) 608660

[startup+90.0082 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 226480 0 0 0 8470 510 0 0 25 0 1 0 22324803 635973632 130139 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 155267 130139 364 364 0 154903 0
[pid=12322] vsize: 621068
Current children cumulated CPU time (s) 89.8
Current children cumulated vsize (Kb) 621068

[startup+100.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 229543 0 0 0 9457 518 0 0 25 0 1 0 22324803 645840896 131793 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 157676 131793 364 364 0 157312 0
[pid=12322] vsize: 630704
Current children cumulated CPU time (s) 99.75
Current children cumulated vsize (Kb) 630704

[startup+110.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 233204 0 0 0 10448 525 0 0 25 0 1 0 22324803 655773696 133775 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 160101 133775 364 364 0 159737 0
[pid=12322] vsize: 640404
Current children cumulated CPU time (s) 109.73
Current children cumulated vsize (Kb) 640404

[startup+120.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 236735 0 0 0 11440 531 0 0 25 0 1 0 22324803 665538560 135490 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 162485 135490 364 364 0 162121 0
[pid=12322] vsize: 649940
Current children cumulated CPU time (s) 119.71
Current children cumulated vsize (Kb) 649940

[startup+130.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 238928 0 0 0 12434 536 0 0 25 0 1 0 22324803 671387648 136608 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 163913 136608 364 364 0 163549 0
[pid=12322] vsize: 655652
Current children cumulated CPU time (s) 129.7
Current children cumulated vsize (Kb) 655652

[startup+140.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 240991 0 0 0 13429 540 0 0 25 0 1 0 22324803 677294080 137607 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 165355 137607 364 364 0 164991 0
[pid=12322] vsize: 661420
Current children cumulated CPU time (s) 139.69
Current children cumulated vsize (Kb) 661420

[startup+150.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 242614 0 0 0 14425 542 0 0 25 0 1 0 22324803 681205760 138501 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 166310 138501 364 364 0 165946 0
[pid=12322] vsize: 665240
Current children cumulated CPU time (s) 149.67
Current children cumulated vsize (Kb) 665240

[startup+160.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 244236 0 0 0 15421 546 0 0 25 0 1 0 22324803 685813760 139247 4294967295 134512640 135987407 3221224560 3221223248 134812018 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 167435 139247 364 364 0 167071 0
[pid=12322] vsize: 669740
Current children cumulated CPU time (s) 159.67
Current children cumulated vsize (Kb) 669740

[startup+170.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 245825 0 0 0 16416 549 0 0 25 0 1 0 22324803 690159616 139959 4294967295 134512640 135987407 3221224560 3221223424 134812623 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 168496 139959 364 364 0 168132 0
[pid=12322] vsize: 673984
Current children cumulated CPU time (s) 169.65
Current children cumulated vsize (Kb) 673984

[startup+180.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 246397 0 0 0 17414 550 0 0 25 0 1 0 22324803 691208192 140273 4294967295 134512640 135987407 3221224560 3221223328 134812419 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 168752 140273 364 364 0 168388 0
[pid=12322] vsize: 675008
Current children cumulated CPU time (s) 179.64
Current children cumulated vsize (Kb) 675008

[startup+190.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 246957 0 0 0 18412 552 0 0 25 0 1 0 22324803 692527104 140573 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 169074 140573 364 364 0 168710 0
[pid=12322] vsize: 676296
Current children cumulated CPU time (s) 189.64
Current children cumulated vsize (Kb) 676296

[startup+200.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 248793 0 0 0 19405 557 0 0 25 0 1 0 22324803 697745408 141500 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 170348 141500 364 364 0 169984 0
[pid=12322] vsize: 681392
Current children cumulated CPU time (s) 199.62
Current children cumulated vsize (Kb) 681392

[startup+210.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 249802 0 0 0 20401 560 0 0 25 0 1 0 22324803 700444672 141997 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 171007 141997 364 364 0 170643 0
[pid=12322] vsize: 684028
Current children cumulated CPU time (s) 209.61
Current children cumulated vsize (Kb) 684028

[startup+220.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 253016 0 0 0 21392 567 0 0 25 0 1 0 22324803 709431296 143517 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 173201 143517 364 364 0 172837 0
[pid=12322] vsize: 692804
Current children cumulated CPU time (s) 219.59
Current children cumulated vsize (Kb) 692804

[startup+230.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 255194 0 0 0 22385 572 0 0 25 0 1 0 22324803 716292096 144609 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 174876 144609 364 364 0 174512 0
[pid=12322] vsize: 699504
Current children cumulated CPU time (s) 229.57
Current children cumulated vsize (Kb) 699504

[startup+240.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 257398 0 0 0 23379 577 0 0 25 0 1 0 22324803 722345984 145647 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 176354 145647 364 364 0 175990 0
[pid=12322] vsize: 705416
Current children cumulated CPU time (s) 239.56
Current children cumulated vsize (Kb) 705416

[startup+250.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 258625 0 0 0 24376 579 0 0 25 0 1 0 22324803 725504000 146292 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 177125 146292 364 364 0 176761 0
[pid=12322] vsize: 708500
Current children cumulated CPU time (s) 249.55
Current children cumulated vsize (Kb) 708500

[startup+260.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 259232 0 0 0 25374 581 0 0 25 0 1 0 22324803 726831104 146736 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 177449 146736 364 364 0 177085 0
[pid=12322] vsize: 709796
Current children cumulated CPU time (s) 259.55
Current children cumulated vsize (Kb) 709796

[startup+270.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 260029 0 0 0 26371 583 0 0 25 0 1 0 22324803 729071616 147079 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 177996 147079 364 364 0 177632 0
[pid=12322] vsize: 711984
Current children cumulated CPU time (s) 269.54
Current children cumulated vsize (Kb) 711984

[startup+280.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 262643 0 0 0 27365 587 0 0 25 0 1 0 22324803 735514624 148264 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 179569 148264 364 364 0 179205 0
[pid=12322] vsize: 718276
Current children cumulated CPU time (s) 279.52
Current children cumulated vsize (Kb) 718276

[startup+290.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 263927 0 0 0 28361 591 0 0 25 0 1 0 22324803 738668544 148835 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 180339 148835 364 364 0 179975 0
[pid=12322] vsize: 721356
Current children cumulated CPU time (s) 289.52
Current children cumulated vsize (Kb) 721356

[startup+300.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 265581 0 0 0 29357 594 0 0 25 0 1 0 22324803 742862848 149459 4294967295 134512640 135987407 3221224560 3221223136 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 181363 149459 364 364 0 180999 0
[pid=12322] vsize: 725452
Current children cumulated CPU time (s) 299.51
Current children cumulated vsize (Kb) 725452

[startup+310.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 266049 0 0 0 30353 596 0 0 25 0 1 0 22324803 743911424 149670 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 181619 149670 364 364 0 181255 0
[pid=12322] vsize: 726476
Current children cumulated CPU time (s) 309.49
Current children cumulated vsize (Kb) 726476

[startup+320.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 266599 0 0 0 31352 597 0 0 25 0 1 0 22324803 745222144 149897 4294967295 134512640 135987407 3221224560 3221223248 134811977 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 181939 149897 364 364 0 181575 0
[pid=12322] vsize: 727756
Current children cumulated CPU time (s) 319.49
Current children cumulated vsize (Kb) 727756

[startup+330.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 267151 0 0 0 32348 598 0 0 25 0 1 0 22324803 746934272 150093 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 182357 150093 364 364 0 181993 0
[pid=12322] vsize: 729428
Current children cumulated CPU time (s) 329.46
Current children cumulated vsize (Kb) 729428

[startup+340.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 267745 0 0 0 33345 601 0 0 25 0 1 0 22324803 748515328 150362 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 182743 150362 364 364 0 182379 0
[pid=12322] vsize: 730972
Current children cumulated CPU time (s) 339.46
Current children cumulated vsize (Kb) 730972

[startup+350.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 267769 0 0 0 34343 601 0 0 25 0 1 0 22324803 748515328 150386 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 182743 150386 364 364 0 182379 0
[pid=12322] vsize: 730972
Current children cumulated CPU time (s) 349.44
Current children cumulated vsize (Kb) 730972

[startup+360.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 268035 0 0 0 35342 602 0 0 25 0 1 0 22324803 749043712 150554 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 182872 150554 364 364 0 182508 0
[pid=12322] vsize: 731488
Current children cumulated CPU time (s) 359.44
Current children cumulated vsize (Kb) 731488

[startup+370.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 269698 0 0 0 36337 606 0 0 25 0 1 0 22324803 753512448 151214 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 183963 151214 364 364 0 183599 0
[pid=12322] vsize: 735852
Current children cumulated CPU time (s) 369.43
Current children cumulated vsize (Kb) 735852

[startup+380.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 271524 0 0 0 37332 610 0 0 25 0 1 0 22324803 758231040 151881 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 185115 151881 364 364 0 184751 0
[pid=12322] vsize: 740460
Current children cumulated CPU time (s) 379.42
Current children cumulated vsize (Kb) 740460

[startup+390.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 272017 0 0 0 38330 612 0 0 25 0 1 0 22324803 759279616 152116 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 185371 152116 364 364 0 185007 0
[pid=12322] vsize: 741484
Current children cumulated CPU time (s) 389.42
Current children cumulated vsize (Kb) 741484

[startup+400.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 273023 0 0 0 39326 615 0 0 25 0 1 0 22324803 761901056 152478 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 186011 152478 364 364 0 185647 0
[pid=12322] vsize: 744044
Current children cumulated CPU time (s) 399.41
Current children cumulated vsize (Kb) 744044

[startup+410.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 273466 0 0 0 40324 616 0 0 25 0 1 0 22324803 762691584 152758 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 186204 152758 364 364 0 185840 0
[pid=12322] vsize: 744816
Current children cumulated CPU time (s) 409.4
Current children cumulated vsize (Kb) 744816

[startup+420.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 276640 0 0 0 41314 625 0 0 25 0 1 0 22324803 775688192 155932 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 189377 155932 364 364 0 189013 0
[pid=12322] vsize: 757508
Current children cumulated CPU time (s) 419.39
Current children cumulated vsize (Kb) 757508

[startup+430.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 277751 0 0 0 42310 628 0 0 25 0 1 0 22324803 765591552 153285 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 186912 153285 364 364 0 186548 0
[pid=12322] vsize: 747648
Current children cumulated CPU time (s) 429.38
Current children cumulated vsize (Kb) 747648

[startup+440.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 278224 0 0 0 43308 629 0 0 25 0 1 0 22324803 766640128 153500 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 187168 153500 364 364 0 186804 0
[pid=12322] vsize: 748672
Current children cumulated CPU time (s) 439.37
Current children cumulated vsize (Kb) 748672

[startup+450.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 278886 0 0 0 44302 632 0 0 25 0 1 0 22324803 768221184 153837 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 187554 153837 364 364 0 187190 0
[pid=12322] vsize: 750216
Current children cumulated CPU time (s) 449.34
Current children cumulated vsize (Kb) 750216

[startup+460.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 279695 0 0 0 45299 634 0 0 25 0 1 0 22324803 770330624 154322 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 188069 154322 364 364 0 187705 0
[pid=12322] vsize: 752276
Current children cumulated CPU time (s) 459.33
Current children cumulated vsize (Kb) 752276

[startup+470.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 280782 0 0 0 46293 638 0 0 25 0 1 0 22324803 773763072 154955 4294967295 134512640 135987407 3221224560 3221223344 134812398 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 188907 154955 364 364 0 188543 0
[pid=12322] vsize: 755628
Current children cumulated CPU time (s) 469.31
Current children cumulated vsize (Kb) 755628

[startup+480.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 281152 0 0 0 47291 639 0 0 25 0 1 0 22324803 774815744 155131 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 189164 155131 364 364 0 188800 0
[pid=12322] vsize: 756656
Current children cumulated CPU time (s) 479.3
Current children cumulated vsize (Kb) 756656

[startup+490.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 281342 0 0 0 48288 640 0 0 25 0 1 0 22324803 775340032 155192 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 189292 155192 364 364 0 188928 0
[pid=12322] vsize: 757168
Current children cumulated CPU time (s) 489.28
Current children cumulated vsize (Kb) 757168

[startup+500.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 281344 0 0 0 49287 641 0 0 25 0 1 0 22324803 775340032 155194 4294967295 134512640 135987407 3221224560 3221223248 134811966 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 189292 155194 364 364 0 188928 0
[pid=12322] vsize: 757168
Current children cumulated CPU time (s) 499.28
Current children cumulated vsize (Kb) 757168

[startup+510.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 281345 0 0 0 50286 641 0 0 25 0 1 0 22324803 775340032 155195 4294967295 134512640 135987407 3221224560 3221223344 134812296 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 189292 155195 364 364 0 188928 0
[pid=12322] vsize: 757168
Current children cumulated CPU time (s) 509.27
Current children cumulated vsize (Kb) 757168

[startup+520.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 281810 0 0 0 51283 643 0 0 25 0 1 0 22324803 776388608 155402 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 189548 155402 364 364 0 189184 0
[pid=12322] vsize: 758192
Current children cumulated CPU time (s) 519.26
Current children cumulated vsize (Kb) 758192

[startup+530.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 282171 0 0 0 52281 644 0 0 25 0 1 0 22324803 777175040 155569 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 189740 155569 364 364 0 189376 0
[pid=12322] vsize: 758960
Current children cumulated CPU time (s) 529.25
Current children cumulated vsize (Kb) 758960

[startup+540.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 282617 0 0 0 53279 645 0 0 25 0 1 0 22324803 778223616 155757 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 189996 155757 364 364 0 189632 0
[pid=12322] vsize: 759984
Current children cumulated CPU time (s) 539.24
Current children cumulated vsize (Kb) 759984

[startup+550.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 282678 0 0 0 54276 647 0 0 25 0 1 0 22324803 778223616 155818 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 189996 155818 364 364 0 189632 0
[pid=12322] vsize: 759984
Current children cumulated CPU time (s) 549.23
Current children cumulated vsize (Kb) 759984

[startup+560.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 283040 0 0 0 55273 648 0 0 25 0 1 0 22324803 779542528 156051 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 190318 156051 364 364 0 189954 0
[pid=12322] vsize: 761272
Current children cumulated CPU time (s) 559.21
Current children cumulated vsize (Kb) 761272

[startup+570.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) T 12321 12322 4060 0 -1 0 283198 0 0 0 56271 649 0 0 25 0 1 0 22324803 780066816 156080 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12322/statm): 190446 156080 364 364 0 190082 0
[pid=12322] vsize: 761784
Current children cumulated CPU time (s) 569.2
Current children cumulated vsize (Kb) 761784

[startup+580.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 284149 0 0 0 57267 652 0 0 25 0 1 0 22324803 782688256 156385 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 191086 156385 364 364 0 190722 0
[pid=12322] vsize: 764344
Current children cumulated CPU time (s) 579.19
Current children cumulated vsize (Kb) 764344

[startup+590.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 284238 0 0 0 58265 653 0 0 25 0 1 0 22324803 783081472 156441 4294967295 134512640 135987407 3221224560 3221223136 135486786 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 191182 156441 364 364 0 190818 0
[pid=12322] vsize: 764728
Current children cumulated CPU time (s) 589.18
Current children cumulated vsize (Kb) 764728

[startup+600.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 284842 0 0 0 59261 656 0 0 25 0 1 0 22324803 784654336 156658 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 191566 156658 364 364 0 191202 0
[pid=12322] vsize: 766264
Current children cumulated CPU time (s) 599.17
Current children cumulated vsize (Kb) 766264

[startup+610.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 285967 0 0 0 60255 660 0 0 25 0 1 0 22324803 787800064 157013 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 192334 157013 364 364 0 191970 0
[pid=12322] vsize: 769336
Current children cumulated CPU time (s) 609.15
Current children cumulated vsize (Kb) 769336

[startup+620.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 286084 0 0 0 61252 661 0 0 25 0 1 0 22324803 787800064 157130 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 192334 157130 364 364 0 191970 0
[pid=12322] vsize: 769336
Current children cumulated CPU time (s) 619.13
Current children cumulated vsize (Kb) 769336

[startup+630.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 286933 0 0 0 62250 662 0 0 25 0 1 0 22324803 789897216 157464 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 192846 157464 364 364 0 192482 0
[pid=12322] vsize: 771384
Current children cumulated CPU time (s) 629.12
Current children cumulated vsize (Kb) 771384

[startup+640.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 287022 0 0 0 63249 663 0 0 25 0 1 0 22324803 789897216 157553 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 192846 157553 364 364 0 192482 0
[pid=12322] vsize: 771384
Current children cumulated CPU time (s) 639.12
Current children cumulated vsize (Kb) 771384

[startup+650.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 291080 0 0 0 64238 673 0 0 25 0 1 0 22324803 792268800 158050 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 193425 158050 364 364 0 193061 0
[pid=12322] vsize: 773700
Current children cumulated CPU time (s) 649.11
Current children cumulated vsize (Kb) 773700

[startup+660.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 292646 0 0 0 65235 676 0 0 25 0 1 0 22324803 796213248 158840 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 194388 158840 364 364 0 194024 0
[pid=12322] vsize: 777552
Current children cumulated CPU time (s) 659.11
Current children cumulated vsize (Kb) 777552

[startup+670.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 292687 0 0 0 66232 678 0 0 25 0 1 0 22324803 796213248 158881 4294967295 134512640 135987407 3221224560 3221223120 135480413 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 194388 158881 364 364 0 194024 0
[pid=12322] vsize: 777552
Current children cumulated CPU time (s) 669.1
Current children cumulated vsize (Kb) 777552

[startup+680.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 292968 0 0 0 67229 679 0 0 25 0 1 0 22324803 796999680 158968 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 194580 158968 364 364 0 194216 0
[pid=12322] vsize: 778320
Current children cumulated CPU time (s) 679.08
Current children cumulated vsize (Kb) 778320

[startup+690.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 293037 0 0 0 68227 680 0 0 25 0 1 0 22324803 796999680 159037 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 194580 159037 364 364 0 194216 0
[pid=12322] vsize: 778320
Current children cumulated CPU time (s) 689.07
Current children cumulated vsize (Kb) 778320

[startup+700.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 293038 0 0 0 69226 680 0 0 25 0 1 0 22324803 796999680 159038 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 194580 159038 364 364 0 194216 0
[pid=12322] vsize: 778320
Current children cumulated CPU time (s) 699.06
Current children cumulated vsize (Kb) 778320

[startup+710.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 293424 0 0 0 70223 682 0 0 25 0 1 0 22324803 798048256 159167 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 194836 159167 364 364 0 194472 0
[pid=12322] vsize: 779344
Current children cumulated CPU time (s) 709.05
Current children cumulated vsize (Kb) 779344

[startup+720.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 294015 0 0 0 71220 684 0 0 25 0 1 0 22324803 799096832 159500 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 195092 159500 364 364 0 194728 0
[pid=12322] vsize: 780368
Current children cumulated CPU time (s) 719.04
Current children cumulated vsize (Kb) 780368

[startup+730.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 294020 0 0 0 72216 686 0 0 25 0 1 0 22324803 799096832 159505 4294967295 134512640 135987407 3221224560 3221223248 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 195092 159505 364 364 0 194728 0
[pid=12322] vsize: 780368
Current children cumulated CPU time (s) 729.02
Current children cumulated vsize (Kb) 780368

[startup+740.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 294068 0 0 0 73213 687 0 0 25 0 1 0 22324803 799096832 159553 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 195092 159553 364 364 0 194728 0
[pid=12322] vsize: 780368
Current children cumulated CPU time (s) 739
Current children cumulated vsize (Kb) 780368

[startup+750.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 294173 0 0 0 74212 687 0 0 25 0 1 0 22324803 799096832 159658 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 195092 159658 364 364 0 194728 0
[pid=12322] vsize: 780368
Current children cumulated CPU time (s) 748.99
Current children cumulated vsize (Kb) 780368

[startup+760.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 294228 0 0 0 75210 688 0 0 25 0 1 0 22324803 799096832 159713 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 195092 159713 364 364 0 194728 0
[pid=12322] vsize: 780368
Current children cumulated CPU time (s) 758.98
Current children cumulated vsize (Kb) 780368

[startup+770.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 294375 0 0 0 76208 689 0 0 25 0 1 0 22324803 799096832 159860 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 195092 159860 364 364 0 194728 0
[pid=12322] vsize: 780368
Current children cumulated CPU time (s) 768.97
Current children cumulated vsize (Kb) 780368

[startup+780.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 294375 0 0 0 77207 690 0 0 25 0 1 0 22324803 799096832 159860 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 195092 159860 364 364 0 194728 0
[pid=12322] vsize: 780368
Current children cumulated CPU time (s) 778.97
Current children cumulated vsize (Kb) 780368

[startup+790.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 294584 0 0 0 78205 691 0 0 25 0 1 0 22324803 799621120 159940 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 195220 159940 364 364 0 194856 0
[pid=12322] vsize: 780880
Current children cumulated CPU time (s) 788.96
Current children cumulated vsize (Kb) 780880

[startup+800.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 294893 0 0 0 79203 692 0 0 25 0 1 0 22324803 800407552 160055 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 195412 160055 364 364 0 195048 0
[pid=12322] vsize: 781648
Current children cumulated CPU time (s) 798.95
Current children cumulated vsize (Kb) 781648

[startup+810.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 294910 0 0 0 80201 693 0 0 25 0 1 0 22324803 800407552 160072 4294967295 134512640 135987407 3221224560 3221223248 134811942 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 195412 160072 364 364 0 195048 0
[pid=12322] vsize: 781648
Current children cumulated CPU time (s) 808.94
Current children cumulated vsize (Kb) 781648

[startup+820.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 295410 0 0 0 81198 695 0 0 25 0 1 0 22324803 801456128 160314 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 195668 160314 364 364 0 195304 0
[pid=12322] vsize: 782672
Current children cumulated CPU time (s) 818.93
Current children cumulated vsize (Kb) 782672

[startup+830.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 295603 0 0 0 82196 696 0 0 25 0 1 0 22324803 801980416 160378 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 195796 160378 364 364 0 195432 0
[pid=12322] vsize: 783184
Current children cumulated CPU time (s) 828.92
Current children cumulated vsize (Kb) 783184

[startup+840.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 296448 0 0 0 83191 699 0 0 25 0 1 0 22324803 804352000 160835 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 196375 160835 364 364 0 196011 0
[pid=12322] vsize: 785500
Current children cumulated CPU time (s) 838.9
Current children cumulated vsize (Kb) 785500

[startup+850.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 296474 0 0 0 84188 700 0 0 25 0 1 0 22324803 804352000 160861 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 196375 160861 364 364 0 196011 0
[pid=12322] vsize: 785500
Current children cumulated CPU time (s) 848.88
Current children cumulated vsize (Kb) 785500

[startup+860.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 300369 0 0 0 85178 709 0 0 25 0 1 0 22324803 819183616 164305 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 199996 164305 364 364 0 199632 0
[pid=12322] vsize: 799984
Current children cumulated CPU time (s) 858.87
Current children cumulated vsize (Kb) 799984

[startup+870.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 300871 0 0 0 86176 711 0 0 25 0 1 0 22324803 807501824 161376 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 197144 161376 364 364 0 196780 0
[pid=12322] vsize: 788576
Current children cumulated CPU time (s) 868.87
Current children cumulated vsize (Kb) 788576

[startup+880.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 301089 0 0 0 87174 711 0 0 25 0 1 0 22324803 808026112 161465 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 197272 161465 364 364 0 196908 0
[pid=12322] vsize: 789088
Current children cumulated CPU time (s) 878.85
Current children cumulated vsize (Kb) 789088

[startup+890.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 301178 0 0 0 88172 712 0 0 25 0 1 0 22324803 808026112 161554 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 197272 161554 364 364 0 196908 0
[pid=12322] vsize: 789088
Current children cumulated CPU time (s) 888.84
Current children cumulated vsize (Kb) 789088

[startup+900.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 301548 0 0 0 89171 713 0 0 25 0 1 0 22324803 809074688 161667 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 197528 161667 364 364 0 197164 0
[pid=12322] vsize: 790112
Current children cumulated CPU time (s) 898.84
Current children cumulated vsize (Kb) 790112

[startup+910.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 301642 0 0 0 90169 714 0 0 25 0 1 0 22324803 809074688 161761 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 197528 161761 364 364 0 197164 0
[pid=12322] vsize: 790112
Current children cumulated CPU time (s) 908.83
Current children cumulated vsize (Kb) 790112

[startup+920.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 302275 0 0 0 91167 716 0 0 25 0 1 0 22324803 810647552 162008 4294967295 134512640 135987407 3221224560 3221223380 134812452 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 197912 162008 364 364 0 197548 0
[pid=12322] vsize: 791648
Current children cumulated CPU time (s) 918.83
Current children cumulated vsize (Kb) 791648

[startup+930.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 302881 0 0 0 92165 717 0 0 25 0 1 0 22324803 812220416 162228 4294967295 134512640 135987407 3221224560 3221223248 134811722 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 198296 162228 364 364 0 197932 0
[pid=12322] vsize: 793184
Current children cumulated CPU time (s) 928.82
Current children cumulated vsize (Kb) 793184

[startup+940.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 302892 0 0 0 93162 718 0 0 25 0 1 0 22324803 812220416 162239 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 198296 162239 364 364 0 197932 0
[pid=12322] vsize: 793184
Current children cumulated CPU time (s) 938.8
Current children cumulated vsize (Kb) 793184

[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 303008 0 0 0 94159 719 0 0 25 0 1 0 22324803 812220416 162355 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 198296 162355 364 364 0 197932 0
[pid=12322] vsize: 793184
Current children cumulated CPU time (s) 948.78
Current children cumulated vsize (Kb) 793184

[startup+960.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 303009 0 0 0 95157 720 0 0 25 0 1 0 22324803 812220416 162356 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 198296 162356 364 364 0 197932 0
[pid=12322] vsize: 793184
Current children cumulated CPU time (s) 958.77
Current children cumulated vsize (Kb) 793184

[startup+970.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 303349 0 0 0 96155 721 0 0 25 0 1 0 22324803 813268992 162439 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 198552 162439 364 364 0 198188 0
[pid=12322] vsize: 794208
Current children cumulated CPU time (s) 968.76
Current children cumulated vsize (Kb) 794208

[startup+980.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 303885 0 0 0 97152 723 0 0 25 0 1 0 22324803 814714880 162684 4294967295 134512640 135987407 3221224560 3221223376 134812261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 198905 162684 364 364 0 198541 0
[pid=12322] vsize: 795620
Current children cumulated CPU time (s) 978.75
Current children cumulated vsize (Kb) 795620

[startup+990.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 303904 0 0 0 98151 723 0 0 25 0 1 0 22324803 814714880 162703 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 198905 162703 364 364 0 198541 0
[pid=12322] vsize: 795620
Current children cumulated CPU time (s) 988.74
Current children cumulated vsize (Kb) 795620

[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 304238 0 0 0 99148 724 0 0 25 0 1 0 22324803 815239168 162908 4294967295 134512640 135987407 3221224560 3221223248 134811832 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 199033 162908 364 364 0 198669 0
[pid=12322] vsize: 796132
Current children cumulated CPU time (s) 998.72
Current children cumulated vsize (Kb) 796132

[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) T 12321 12322 4060 0 -1 0 304929 0 0 0 100146 725 0 0 25 0 1 0 22324803 816812032 163213 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12322/statm): 199417 163213 364 364 0 199053 0
[pid=12322] vsize: 797668
Current children cumulated CPU time (s) 1008.71
Current children cumulated vsize (Kb) 797668

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 305002 0 0 0 101143 726 0 0 25 0 1 0 22324803 816812032 163286 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 199417 163286 364 364 0 199053 0
[pid=12322] vsize: 797668
Current children cumulated CPU time (s) 1018.69
Current children cumulated vsize (Kb) 797668

[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 305207 0 0 0 102141 727 0 0 25 0 1 0 22324803 817340416 163426 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 199546 163426 364 364 0 199182 0
[pid=12322] vsize: 798184
Current children cumulated CPU time (s) 1028.68
Current children cumulated vsize (Kb) 798184

[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 305211 0 0 0 103140 728 0 0 25 0 1 0 22324803 817340416 163430 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 199546 163430 364 364 0 199182 0
[pid=12322] vsize: 798184
Current children cumulated CPU time (s) 1038.68
Current children cumulated vsize (Kb) 798184

[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 305211 0 0 0 104139 728 0 0 25 0 1 0 22324803 817340416 163430 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 199546 163430 364 364 0 199182 0
[pid=12322] vsize: 798184
Current children cumulated CPU time (s) 1048.67
Current children cumulated vsize (Kb) 798184

[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 305212 0 0 0 105138 729 0 0 25 0 1 0 22324803 817340416 163431 4294967295 134512640 135987407 3221224560 3221223344 134812368 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 199546 163431 364 364 0 199182 0
[pid=12322] vsize: 798184
Current children cumulated CPU time (s) 1058.67
Current children cumulated vsize (Kb) 798184

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 305661 0 0 0 106136 731 0 0 25 0 1 0 22324803 818388992 163622 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 199802 163622 364 364 0 199438 0
[pid=12322] vsize: 799208
Current children cumulated CPU time (s) 1068.67
Current children cumulated vsize (Kb) 799208

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 305971 0 0 0 107134 732 0 0 25 0 1 0 22324803 818913280 163803 4294967295 134512640 135987407 3221224560 3221223136 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 199930 163803 364 364 0 199566 0
[pid=12322] vsize: 799720
Current children cumulated CPU time (s) 1078.66
Current children cumulated vsize (Kb) 799720

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 306472 0 0 0 108131 734 0 0 25 0 1 0 22324803 820224000 163982 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 200250 163982 364 364 0 199886 0
[pid=12322] vsize: 801000
Current children cumulated CPU time (s) 1088.65
Current children cumulated vsize (Kb) 801000

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 306859 0 0 0 109130 734 0 0 25 0 1 0 22324803 821272576 164112 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 200506 164112 364 364 0 200142 0
[pid=12322] vsize: 802024
Current children cumulated CPU time (s) 1098.64
Current children cumulated vsize (Kb) 802024

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 307895 0 0 0 110126 737 0 0 25 0 1 0 22324803 823898112 164567 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 201147 164567 364 364 0 200783 0
[pid=12322] vsize: 804588
Current children cumulated CPU time (s) 1108.63
Current children cumulated vsize (Kb) 804588

[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 311068 0 0 0 111116 747 0 0 25 0 1 0 22324803 823898112 164567 4294967295 134512640 135987407 3221224560 3221223344 134812368 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 201147 164567 364 364 0 200783 0
[pid=12322] vsize: 804588
Current children cumulated CPU time (s) 1118.63
Current children cumulated vsize (Kb) 804588

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 311364 0 0 0 112114 749 0 0 25 0 1 0 22324803 824684544 164669 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 201339 164669 364 364 0 200975 0
[pid=12322] vsize: 805356
Current children cumulated CPU time (s) 1128.63
Current children cumulated vsize (Kb) 805356

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 312777 0 0 0 113109 752 0 0 25 0 1 0 22324803 828092416 165245 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12322/statm): 202171 165245 364 364 0 201807 0
[pid=12322] vsize: 808684
Current children cumulated CPU time (s) 1138.61
Current children cumulated vsize (Kb) 808684

[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 313024 0 0 0 114108 752 0 0 25 0 1 0 22324803 828616704 165363 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 202299 165363 364 364 0 201935 0
[pid=12322] vsize: 809196
Current children cumulated CPU time (s) 1148.6
Current children cumulated vsize (Kb) 809196

[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 313024 0 0 0 115107 753 0 0 25 0 1 0 22324803 828616704 165363 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 202299 165363 364 364 0 201935 0
[pid=12322] vsize: 809196
Current children cumulated CPU time (s) 1158.6
Current children cumulated vsize (Kb) 809196

[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 313405 0 0 0 116105 754 0 0 25 0 1 0 22324803 829140992 165615 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 202427 165615 364 364 0 202063 0
[pid=12322] vsize: 809708
Current children cumulated CPU time (s) 1168.59
Current children cumulated vsize (Kb) 809708

[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 313454 0 0 0 117103 754 0 0 25 0 1 0 22324803 829140992 165664 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 202427 165664 364 364 0 202063 0
[pid=12322] vsize: 809708
Current children cumulated CPU time (s) 1178.57
Current children cumulated vsize (Kb) 809708

[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 314856 0 0 0 118101 756 0 0 25 0 1 0 22324803 832811008 166167 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 203323 166167 364 364 0 202959 0
[pid=12322] vsize: 813292
Current children cumulated CPU time (s) 1188.57
Current children cumulated vsize (Kb) 813292

[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 315210 0 0 0 119097 758 0 0 25 0 1 0 22324803 833859584 166263 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 203579 166263 364 364 0 203215 0
[pid=12322] vsize: 814316
Current children cumulated CPU time (s) 1198.55
Current children cumulated vsize (Kb) 814316

[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 315794 0 0 0 120094 760 0 0 25 0 1 0 22324803 835432448 166461 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 203963 166461 364 364 0 203599 0
[pid=12322] vsize: 815852
Current children cumulated CPU time (s) 1208.54
Current children cumulated vsize (Kb) 815852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 12322
Raw data (/proc/12322/stat): 12322 (pb2sat) R 12321 12322 4060 0 -1 0 315794 0 0 0 120094 760 0 0 25 0 1 0 22324803 835432448 166461 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12322/statm): 203963 166461 364 364 0 203599 0
[pid=12322] vsize: 815852
Current children cumulated CPU time (s) 1208.54
Current children cumulated vsize (Kb) 815852

Sending SIGTERM to -12322
Sleeping 2 seconds
Sending SIGKILL to -12322
One traced child (pid=12322) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1212.19
CPU time (s): 1210.67
CPU user time (s): 1202.74
CPU system time (s): 7.93679
CPU usage (%): 99.8752
Max. virtual memory (cumulated for all children) (Kb): 815852

Verifier Data

ERROR: no interpretation found !