Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb
MD5SUM4df3e7eb358d27d446e34b975724a6c1
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -7772
Optimality of the best value was proved NO
Number of terms in the objective function 60
Biggest coefficient in the objective function 974
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 9460
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 6000
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 26162
Number of bits of the biggest sum of numbers15
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1227.4
Number of variables60
Total number of constraints90
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints30
Minimum length of a constraint1
Maximum length of a constraint60

Trace number 10045

Launcher Data

LAUNCH ON wulflinc7 THE 2005-09-23 16:22:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8744 boxname=wulflinc7 idbench=540 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4df3e7eb358d27d446e34b975724a6c1  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-sentoy.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-sentoy.opb
IDLAUNCH: 8744
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        929660 kB
Buffers:         12380 kB
Cached:          75816 kB
SwapCached:          0 kB
Active:          45684 kB
Inactive:        45424 kB
HighTotal:      131008 kB
HighFree:        51352 kB
LowTotal:       903652 kB
LowFree:        878308 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             8364 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 16:42:25 (client local time) WITH STATUS 0 IN 1202.18 SECONDS
stats: 8744 0 1202.18 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 7584
c small objective detected
c CONFLICT during preprocess 
c [startup+110.722 s]  setting bit 13 to 0
s SATISFIABLE
v -Y10_bit0 -Y11_bit0 -Y12_bit0 -Y13_bit0 -Y14_bit0 -Y15_bit0 -Y16_bit0 Y17_bit0 -Y18_bit0 Y19_bit0 -Y1_bit0 -Y20_bit0 -Y21_bit0 -Y22_bit0 -Y23_bit0 -Y24_bit0 -Y25_bit0 -Y26_bit0 Y27_bit0 -Y28_bit0 -Y29_bit0 -Y2_bit0 -Y30_bit0 Y31_bit0 Y32_bit0 Y33_bit0 -Y34_bit0 Y35_bit0 -Y36_bit0 Y37_bit0 -Y38_bit0 Y39_bit0 -Y3_bit0 Y40_bit0 -Y41_bit0 -Y42_bit0 -Y43_bit0 -Y44_bit0 -Y45_bit0 -Y46_bit0 -Y47_bit0 -Y48_bit0 -Y49_bit0 -Y4_bit0 Y50_bit0 Y51_bit0 -Y52_bit0 -Y53_bit0 -Y54_bit0 -Y55_bit0 -Y56_bit0 -Y57_bit0 -Y58_bit0 Y59_bit0 -Y5_bit0 -Y60_bit0 Y6_bit0 -Y7_bit0 -Y8_bit0 Y9_bit0

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/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21607209 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9853/statm): 373 2 364 364 0 9 0
[pid=9853] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-sentoy.opb

[startup+10.0021 s]
Raw data (loadavg): 0.92 0.95 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 28397 0 0 0 937 60 0 0 25 0 1 0 21607209 85184512 17254 4294967295 134512640 135987407 3221224560 3221212956 134669188 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9853/statm): 20797 17254 364 364 0 20433 0
[pid=9853] vsize: 83188
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 83188

[startup+20.0028 s]
Raw data (loadavg): 0.93 0.96 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 55060 0 0 0 1882 115 0 0 25 0 1 0 21607209 162492416 32696 4294967295 134512640 135987407 3221224560 3221215360 134559780 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9853/statm): 39671 32696 364 364 0 39307 0
[pid=9853] vsize: 158684
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 158684

[startup+30.0034 s]
Raw data (loadavg): 0.94 0.96 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 94498 0 0 0 2801 194 0 0 25 0 1 0 21607209 279113728 49927 4294967295 134512640 135987407 3221224560 3221213612 134636944 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9853/statm): 68143 49927 364 364 0 67779 0
[pid=9853] vsize: 272572
Current children cumulated CPU time (s) 29.95
Current children cumulated vsize (Kb) 272572

[startup+40.004 s]
Raw data (loadavg): 0.95 0.96 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 108492 0 0 0 3771 224 0 0 25 0 1 0 21607209 316727296 63686 4294967295 134512640 135987407 3221224560 3221215648 134537491 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9853/statm): 77326 63686 364 364 0 76962 0
[pid=9853] vsize: 309304
Current children cumulated CPU time (s) 39.95
Current children cumulated vsize (Kb) 309304

[startup+50.0047 s]
Raw data (loadavg): 0.96 0.96 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 149984 0 0 0 4686 304 0 0 25 0 1 0 21607209 513544192 103976 4294967295 134512640 135987407 3221224560 3221215504 134892744 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9853/statm): 125377 103976 364 364 0 125013 0
[pid=9853] vsize: 501508
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (Kb) 501508

[startup+60.0053 s]
Raw data (loadavg): 0.96 0.96 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 187329 0 0 0 5605 385 0 0 25 0 1 0 21607209 550346752 98111 4294967295 134512640 135987407 3221224560 3221214980 135479916 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9853/statm): 134362 98111 364 364 0 133998 0
[pid=9853] vsize: 537448
Current children cumulated CPU time (s) 59.9
Current children cumulated vsize (Kb) 537448

[startup+70.0059 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 200234 0 0 0 6576 414 0 0 25 0 1 0 21607209 587689984 110800 4294967295 134512640 135987407 3221224560 3221213772 135500012 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9853/statm): 143479 110800 364 364 0 143115 0
[pid=9853] vsize: 573916
Current children cumulated CPU time (s) 69.9
Current children cumulated vsize (Kb) 573916

[startup+80.0076 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 215283 0 0 0 7545 445 0 0 25 0 1 0 21607209 591626240 125594 4294967295 134512640 135987407 3221224560 3221217328 134537371 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9853/statm): 144440 125594 364 364 0 144076 0
[pid=9853] vsize: 577760
Current children cumulated CPU time (s) 79.9
Current children cumulated vsize (Kb) 577760

[startup+90.0082 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 230360 0 0 0 8511 479 0 0 25 0 1 0 21607209 623972352 140541 4294967295 134512640 135987407 3221224560 3221223096 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9853/statm): 152337 140541 364 364 0 151973 0
[pid=9853] vsize: 609348
Current children cumulated CPU time (s) 89.9
Current children cumulated vsize (Kb) 609348

[startup+100.008 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 238937 0 0 0 9490 498 0 0 25 0 1 0 21607209 687648768 143407 4294967295 134512640 135987407 3221224560 3221210544 134877726 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9853/statm): 167883 143407 364 364 0 167519 0
[pid=9853] vsize: 671532
Current children cumulated CPU time (s) 99.88
Current children cumulated vsize (Kb) 671532

[startup+110.008 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 247601 0 0 0 10469 518 0 0 25 0 1 0 21607209 702590976 144668 4294967295 134512640 135987407 3221224560 3221223360 134802471 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9853/statm): 171531 144668 364 364 0 171167 0
[pid=9853] vsize: 686124
Current children cumulated CPU time (s) 109.87
Current children cumulated vsize (Kb) 686124

[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 251498 0 0 0 11459 528 0 0 25 0 1 0 21607209 703148032 144800 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9853/statm): 171667 144800 364 364 0 171303 0
[pid=9853] vsize: 686668
Current children cumulated CPU time (s) 119.87
Current children cumulated vsize (Kb) 686668

[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 252123 0 0 0 12458 529 0 0 25 0 1 0 21607209 704196608 145168 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 171923 145168 364 364 0 171559 0
[pid=9853] vsize: 687692
Current children cumulated CPU time (s) 129.87
Current children cumulated vsize (Kb) 687692

[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 253929 0 0 0 13456 531 0 0 25 0 1 0 21607209 710094848 145593 4294967295 134512640 135987407 3221224560 3221223200 134812398 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 173363 145593 364 364 0 172999 0
[pid=9853] vsize: 693452
Current children cumulated CPU time (s) 139.87
Current children cumulated vsize (Kb) 693452

[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 255500 0 0 0 14452 534 0 0 25 0 1 0 21607209 714510336 146265 4294967295 134512640 135987407 3221224560 3221223232 134824261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 174441 146265 364 364 0 174077 0
[pid=9853] vsize: 697764
Current children cumulated CPU time (s) 149.86
Current children cumulated vsize (Kb) 697764

[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 255517 0 0 0 15453 534 0 0 25 0 1 0 21607209 714510336 146282 4294967295 134512640 135987407 3221224560 3221223260 134812764 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 174441 146282 364 364 0 174077 0
[pid=9853] vsize: 697764
Current children cumulated CPU time (s) 159.87
Current children cumulated vsize (Kb) 697764

[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 255520 0 0 0 16453 535 0 0 25 0 1 0 21607209 714510336 146285 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 174441 146285 364 364 0 174077 0
[pid=9853] vsize: 697764
Current children cumulated CPU time (s) 169.88
Current children cumulated vsize (Kb) 697764

[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 256329 0 0 0 17451 536 0 0 25 0 1 0 21607209 717266944 146516 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 175114 146516 364 364 0 174750 0
[pid=9853] vsize: 700456
Current children cumulated CPU time (s) 179.87
Current children cumulated vsize (Kb) 700456

[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 257489 0 0 0 18449 539 0 0 25 0 1 0 21607209 720412672 146906 4294967295 134512640 135987407 3221224560 3221223200 134812368 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 175882 146906 364 364 0 175518 0
[pid=9853] vsize: 703528
Current children cumulated CPU time (s) 189.88
Current children cumulated vsize (Kb) 703528

[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 257491 0 0 0 19449 539 0 0 25 0 1 0 21607209 720412672 146908 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 175882 146908 364 364 0 175518 0
[pid=9853] vsize: 703528
Current children cumulated CPU time (s) 199.88
Current children cumulated vsize (Kb) 703528

[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 257570 0 0 0 20449 539 0 0 25 0 1 0 21607209 720412672 146987 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 175882 146987 364 364 0 175518 0
[pid=9853] vsize: 703528
Current children cumulated CPU time (s) 209.88
Current children cumulated vsize (Kb) 703528

[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 258964 0 0 0 21446 542 0 0 25 0 1 0 21607209 723968000 147508 4294967295 134512640 135987407 3221224560 3221223104 134811715 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 176750 147508 364 364 0 176386 0
[pid=9853] vsize: 707000
Current children cumulated CPU time (s) 219.88
Current children cumulated vsize (Kb) 707000

[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 259288 0 0 0 22445 543 0 0 25 0 1 0 21607209 724152320 147832 4294967295 134512640 135987407 3221224560 3221223200 134812441 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 176795 147832 364 364 0 176431 0
[pid=9853] vsize: 707180
Current children cumulated CPU time (s) 229.88
Current children cumulated vsize (Kb) 707180

[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 259664 0 0 0 23445 544 0 0 25 0 1 0 21607209 725200896 147951 4294967295 134512640 135987407 3221224560 3221223104 134812021 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 177051 147951 364 364 0 176687 0
[pid=9853] vsize: 708204
Current children cumulated CPU time (s) 239.89
Current children cumulated vsize (Kb) 708204

[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 259745 0 0 0 24444 544 0 0 25 0 1 0 21607209 725200896 148032 4294967295 134512640 135987407 3221224560 3221223104 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 177051 148032 364 364 0 176687 0
[pid=9853] vsize: 708204
Current children cumulated CPU time (s) 249.88
Current children cumulated vsize (Kb) 708204

[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 260070 0 0 0 25444 545 0 0 25 0 1 0 21607209 726249472 148100 4294967295 134512640 135987407 3221224560 3221223184 134812426 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 177307 148100 364 364 0 176943 0
[pid=9853] vsize: 709228
Current children cumulated CPU time (s) 259.89
Current children cumulated vsize (Kb) 709228

[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 261719 0 0 0 26441 548 0 0 25 0 1 0 21607209 730673152 148724 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 178387 148724 364 364 0 178023 0
[pid=9853] vsize: 713548
Current children cumulated CPU time (s) 269.89
Current children cumulated vsize (Kb) 713548

[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 261719 0 0 0 27441 548 0 0 25 0 1 0 21607209 730673152 148724 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 178387 148724 364 364 0 178023 0
[pid=9853] vsize: 713548
Current children cumulated CPU time (s) 279.89
Current children cumulated vsize (Kb) 713548

[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 261750 0 0 0 28441 548 0 0 25 0 1 0 21607209 730673152 148755 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 178387 148755 364 364 0 178023 0
[pid=9853] vsize: 713548
Current children cumulated CPU time (s) 289.89
Current children cumulated vsize (Kb) 713548

[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 261916 0 0 0 29441 548 0 0 25 0 1 0 21607209 730902528 148921 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 178443 148921 364 364 0 178079 0
[pid=9853] vsize: 713772
Current children cumulated CPU time (s) 299.89
Current children cumulated vsize (Kb) 713772

[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 261934 0 0 0 30441 549 0 0 25 0 1 0 21607209 730902528 148939 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 178443 148939 364 364 0 178079 0
[pid=9853] vsize: 713772
Current children cumulated CPU time (s) 309.9
Current children cumulated vsize (Kb) 713772

[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 261953 0 0 0 31441 549 0 0 25 0 1 0 21607209 730902528 148958 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 178443 148958 364 364 0 178079 0
[pid=9853] vsize: 713772
Current children cumulated CPU time (s) 319.9
Current children cumulated vsize (Kb) 713772

[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 261954 0 0 0 32441 549 0 0 25 0 1 0 21607209 730902528 148959 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 178443 148959 364 364 0 178079 0
[pid=9853] vsize: 713772
Current children cumulated CPU time (s) 329.9
Current children cumulated vsize (Kb) 713772

[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 261955 0 0 0 33441 549 0 0 25 0 1 0 21607209 730902528 148960 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 178443 148960 364 364 0 178079 0
[pid=9853] vsize: 713772
Current children cumulated CPU time (s) 339.9
Current children cumulated vsize (Kb) 713772

[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 261957 0 0 0 34441 549 0 0 25 0 1 0 21607209 730902528 148962 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 178443 148962 364 364 0 178079 0
[pid=9853] vsize: 713772
Current children cumulated CPU time (s) 349.9
Current children cumulated vsize (Kb) 713772

[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 261957 0 0 0 35441 549 0 0 25 0 1 0 21607209 730902528 148962 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 178443 148962 364 364 0 178079 0
[pid=9853] vsize: 713772
Current children cumulated CPU time (s) 359.9
Current children cumulated vsize (Kb) 713772

[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 262117 0 0 0 36441 549 0 0 25 0 1 0 21607209 730902528 149122 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 178443 149122 364 364 0 178079 0
[pid=9853] vsize: 713772
Current children cumulated CPU time (s) 369.9
Current children cumulated vsize (Kb) 713772

[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 262119 0 0 0 37441 549 0 0 25 0 1 0 21607209 730902528 149124 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 178443 149124 364 364 0 178079 0
[pid=9853] vsize: 713772
Current children cumulated CPU time (s) 379.9
Current children cumulated vsize (Kb) 713772

[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 262119 0 0 0 38441 549 0 0 25 0 1 0 21607209 730902528 149124 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 178443 149124 364 364 0 178079 0
[pid=9853] vsize: 713772
Current children cumulated CPU time (s) 389.9
Current children cumulated vsize (Kb) 713772

[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 262274 0 0 0 39441 550 0 0 25 0 1 0 21607209 731426816 149150 4294967295 134512640 135987407 3221224560 3221223200 134812361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 178571 149150 364 364 0 178207 0
[pid=9853] vsize: 714284
Current children cumulated CPU time (s) 399.91
Current children cumulated vsize (Kb) 714284

[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 262274 0 0 0 40441 550 0 0 25 0 1 0 21607209 731426816 149150 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 178571 149150 364 364 0 178207 0
[pid=9853] vsize: 714284
Current children cumulated CPU time (s) 409.91
Current children cumulated vsize (Kb) 714284

[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 262278 0 0 0 41441 550 0 0 25 0 1 0 21607209 731426816 149154 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 178571 149154 364 364 0 178207 0
[pid=9853] vsize: 714284
Current children cumulated CPU time (s) 419.91
Current children cumulated vsize (Kb) 714284

[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.93 1/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) T 9852 9853 4059 0 -1 0 262279 0 0 0 42441 550 0 0 25 0 1 0 21607209 731426816 149155 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9853/statm): 178571 149155 364 364 0 178207 0
[pid=9853] vsize: 714284
Current children cumulated CPU time (s) 429.91
Current children cumulated vsize (Kb) 714284

[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 262387 0 0 0 43441 550 0 0 25 0 1 0 21607209 731426816 149263 4294967295 134512640 135987407 3221224560 3221223232 134824238 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 178571 149263 364 364 0 178207 0
[pid=9853] vsize: 714284
Current children cumulated CPU time (s) 439.91
Current children cumulated vsize (Kb) 714284

[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 262696 0 0 0 44440 551 0 0 25 0 1 0 21607209 732475392 149315 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 178827 149315 364 364 0 178463 0
[pid=9853] vsize: 715308
Current children cumulated CPU time (s) 449.91
Current children cumulated vsize (Kb) 715308

[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 263679 0 0 0 45438 553 0 0 25 0 1 0 21607209 734834688 149720 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 179403 149720 364 364 0 179039 0
[pid=9853] vsize: 717612
Current children cumulated CPU time (s) 459.91
Current children cumulated vsize (Kb) 717612

[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 263679 0 0 0 46438 553 0 0 25 0 1 0 21607209 734834688 149720 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 179403 149720 364 364 0 179039 0
[pid=9853] vsize: 717612
Current children cumulated CPU time (s) 469.91
Current children cumulated vsize (Kb) 717612

[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 263708 0 0 0 47438 553 0 0 25 0 1 0 21607209 734834688 149749 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 179403 149749 364 364 0 179039 0
[pid=9853] vsize: 717612
Current children cumulated CPU time (s) 479.91
Current children cumulated vsize (Kb) 717612

[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 263709 0 0 0 48439 553 0 0 25 0 1 0 21607209 734834688 149750 4294967295 134512640 135987407 3221224560 3221222984 134801607 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 179403 149750 364 364 0 179039 0
[pid=9853] vsize: 717612
Current children cumulated CPU time (s) 489.92
Current children cumulated vsize (Kb) 717612

[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 263774 0 0 0 49438 553 0 0 25 0 1 0 21607209 734834688 149815 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 179403 149815 364 364 0 179039 0
[pid=9853] vsize: 717612
Current children cumulated CPU time (s) 499.91
Current children cumulated vsize (Kb) 717612

[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 263901 0 0 0 50438 553 0 0 25 0 1 0 21607209 735141888 149942 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 179478 149942 364 364 0 179114 0
[pid=9853] vsize: 717912
Current children cumulated CPU time (s) 509.91
Current children cumulated vsize (Kb) 717912

[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 263981 0 0 0 51438 553 0 0 25 0 1 0 21607209 735141888 150022 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 179478 150022 364 364 0 179114 0
[pid=9853] vsize: 717912
Current children cumulated CPU time (s) 519.91
Current children cumulated vsize (Kb) 717912

[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 263982 0 0 0 52439 553 0 0 25 0 1 0 21607209 735141888 150023 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 179478 150023 364 364 0 179114 0
[pid=9853] vsize: 717912
Current children cumulated CPU time (s) 529.92
Current children cumulated vsize (Kb) 717912

[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 265337 0 0 0 53436 556 0 0 25 0 1 0 21607209 739336192 150353 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 180502 150353 364 364 0 180138 0
[pid=9853] vsize: 722008
Current children cumulated CPU time (s) 539.92
Current children cumulated vsize (Kb) 722008

[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 265338 0 0 0 54436 556 0 0 25 0 1 0 21607209 739336192 150354 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 180502 150354 364 364 0 180138 0
[pid=9853] vsize: 722008
Current children cumulated CPU time (s) 549.92
Current children cumulated vsize (Kb) 722008

[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 265338 0 0 0 55436 556 0 0 25 0 1 0 21607209 739336192 150354 4294967295 134512640 135987407 3221224560 3221223264 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 180502 150354 364 364 0 180138 0
[pid=9853] vsize: 722008
Current children cumulated CPU time (s) 559.92
Current children cumulated vsize (Kb) 722008

[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 265339 0 0 0 56437 556 0 0 25 0 1 0 21607209 739336192 150355 4294967295 134512640 135987407 3221224560 3221223200 134812447 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 180502 150355 364 364 0 180138 0
[pid=9853] vsize: 722008
Current children cumulated CPU time (s) 569.93
Current children cumulated vsize (Kb) 722008

[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 265358 0 0 0 57437 556 0 0 25 0 1 0 21607209 739336192 150374 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 180502 150374 364 364 0 180138 0
[pid=9853] vsize: 722008
Current children cumulated CPU time (s) 579.93
Current children cumulated vsize (Kb) 722008

[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 265358 0 0 0 58437 556 0 0 25 0 1 0 21607209 739336192 150374 4294967295 134512640 135987407 3221224560 3221223280 134812593 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 180502 150374 364 364 0 180138 0
[pid=9853] vsize: 722008
Current children cumulated CPU time (s) 589.93
Current children cumulated vsize (Kb) 722008

[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 265358 0 0 0 59437 556 0 0 25 0 1 0 21607209 739336192 150374 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 180502 150374 364 364 0 180138 0
[pid=9853] vsize: 722008
Current children cumulated CPU time (s) 599.93
Current children cumulated vsize (Kb) 722008

[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 265359 0 0 0 60437 556 0 0 25 0 1 0 21607209 739336192 150375 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 180502 150375 364 364 0 180138 0
[pid=9853] vsize: 722008
Current children cumulated CPU time (s) 609.93
Current children cumulated vsize (Kb) 722008

[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 265359 0 0 0 61437 556 0 0 25 0 1 0 21607209 739336192 150375 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 180502 150375 364 364 0 180138 0
[pid=9853] vsize: 722008
Current children cumulated CPU time (s) 619.93
Current children cumulated vsize (Kb) 722008

[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 265359 0 0 0 62437 556 0 0 25 0 1 0 21607209 739336192 150375 4294967295 134512640 135987407 3221224560 3221223232 134824261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 180502 150375 364 364 0 180138 0
[pid=9853] vsize: 722008
Current children cumulated CPU time (s) 629.93
Current children cumulated vsize (Kb) 722008

[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 265360 0 0 0 63437 556 0 0 25 0 1 0 21607209 739336192 150376 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 180502 150376 364 364 0 180138 0
[pid=9853] vsize: 722008
Current children cumulated CPU time (s) 639.93
Current children cumulated vsize (Kb) 722008

[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 265360 0 0 0 64438 556 0 0 25 0 1 0 21607209 739336192 150376 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 180502 150376 364 364 0 180138 0
[pid=9853] vsize: 722008
Current children cumulated CPU time (s) 649.94
Current children cumulated vsize (Kb) 722008

[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 265454 0 0 0 65438 556 0 0 25 0 1 0 21607209 739336192 150470 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 180502 150470 364 364 0 180138 0
[pid=9853] vsize: 722008
Current children cumulated CPU time (s) 659.94
Current children cumulated vsize (Kb) 722008

[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 265657 0 0 0 66438 556 0 0 25 0 1 0 21607209 739336192 150673 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 180502 150673 364 364 0 180138 0
[pid=9853] vsize: 722008
Current children cumulated CPU time (s) 669.94
Current children cumulated vsize (Kb) 722008

[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 265657 0 0 0 67438 556 0 0 25 0 1 0 21607209 739336192 150673 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 180502 150673 364 364 0 180138 0
[pid=9853] vsize: 722008
Current children cumulated CPU time (s) 679.94
Current children cumulated vsize (Kb) 722008

[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 265811 0 0 0 68438 557 0 0 25 0 1 0 21607209 739860480 150698 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 180630 150698 364 364 0 180266 0
[pid=9853] vsize: 722520
Current children cumulated CPU time (s) 689.95
Current children cumulated vsize (Kb) 722520

[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 265812 0 0 0 69437 557 0 0 25 0 1 0 21607209 739860480 150699 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 180630 150699 364 364 0 180266 0
[pid=9853] vsize: 722520
Current children cumulated CPU time (s) 699.94
Current children cumulated vsize (Kb) 722520

[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 265812 0 0 0 70438 557 0 0 25 0 1 0 21607209 739860480 150699 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 180630 150699 364 364 0 180266 0
[pid=9853] vsize: 722520
Current children cumulated CPU time (s) 709.95
Current children cumulated vsize (Kb) 722520

[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 265812 0 0 0 71438 557 0 0 25 0 1 0 21607209 739860480 150699 4294967295 134512640 135987407 3221224560 3221223104 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 180630 150699 364 364 0 180266 0
[pid=9853] vsize: 722520
Current children cumulated CPU time (s) 719.95
Current children cumulated vsize (Kb) 722520

[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 265812 0 0 0 72438 557 0 0 25 0 1 0 21607209 739860480 150699 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 180630 150699 364 364 0 180266 0
[pid=9853] vsize: 722520
Current children cumulated CPU time (s) 729.95
Current children cumulated vsize (Kb) 722520

[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 267080 0 0 0 73436 559 0 0 25 0 1 0 21607209 744054784 150942 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 181654 150942 364 364 0 181290 0
[pid=9853] vsize: 726616
Current children cumulated CPU time (s) 739.95
Current children cumulated vsize (Kb) 726616

[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 267213 0 0 0 74435 560 0 0 25 0 1 0 21607209 744054784 151075 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 181654 151075 364 364 0 181290 0
[pid=9853] vsize: 726616
Current children cumulated CPU time (s) 749.95
Current children cumulated vsize (Kb) 726616

[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 267213 0 0 0 75435 560 0 0 25 0 1 0 21607209 744054784 151075 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 181654 151075 364 364 0 181290 0
[pid=9853] vsize: 726616
Current children cumulated CPU time (s) 759.95
Current children cumulated vsize (Kb) 726616

[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 267575 0 0 0 76435 561 0 0 25 0 1 0 21607209 745103360 151180 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 181910 151180 364 364 0 181546 0
[pid=9853] vsize: 727640
Current children cumulated CPU time (s) 769.96
Current children cumulated vsize (Kb) 727640

[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 268594 0 0 0 77433 562 0 0 25 0 1 0 21607209 747200512 151686 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182422 151686 364 364 0 182058 0
[pid=9853] vsize: 729688
Current children cumulated CPU time (s) 779.95
Current children cumulated vsize (Kb) 729688

[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 268594 0 0 0 78433 562 0 0 25 0 1 0 21607209 747200512 151686 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182422 151686 364 364 0 182058 0
[pid=9853] vsize: 729688
Current children cumulated CPU time (s) 789.95
Current children cumulated vsize (Kb) 729688

[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 268594 0 0 0 79433 562 0 0 25 0 1 0 21607209 747200512 151686 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182422 151686 364 364 0 182058 0
[pid=9853] vsize: 729688
Current children cumulated CPU time (s) 799.95
Current children cumulated vsize (Kb) 729688

[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 268594 0 0 0 80434 562 0 0 25 0 1 0 21607209 747200512 151686 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182422 151686 364 364 0 182058 0
[pid=9853] vsize: 729688
Current children cumulated CPU time (s) 809.96
Current children cumulated vsize (Kb) 729688

[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 268594 0 0 0 81434 562 0 0 25 0 1 0 21607209 747200512 151686 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182422 151686 364 364 0 182058 0
[pid=9853] vsize: 729688
Current children cumulated CPU time (s) 819.96
Current children cumulated vsize (Kb) 729688

[startup+830.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 268595 0 0 0 82434 562 0 0 25 0 1 0 21607209 747200512 151687 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182422 151687 364 364 0 182058 0
[pid=9853] vsize: 729688
Current children cumulated CPU time (s) 829.96
Current children cumulated vsize (Kb) 729688

[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 268595 0 0 0 83434 562 0 0 25 0 1 0 21607209 747200512 151687 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182422 151687 364 364 0 182058 0
[pid=9853] vsize: 729688
Current children cumulated CPU time (s) 839.96
Current children cumulated vsize (Kb) 729688

[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 268595 0 0 0 84434 562 0 0 25 0 1 0 21607209 747200512 151687 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182422 151687 364 364 0 182058 0
[pid=9853] vsize: 729688
Current children cumulated CPU time (s) 849.96
Current children cumulated vsize (Kb) 729688

[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 268595 0 0 0 85434 562 0 0 25 0 1 0 21607209 747200512 151687 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182422 151687 364 364 0 182058 0
[pid=9853] vsize: 729688
Current children cumulated CPU time (s) 859.96
Current children cumulated vsize (Kb) 729688

[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 268595 0 0 0 86435 562 0 0 25 0 1 0 21607209 747200512 151687 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182422 151687 364 364 0 182058 0
[pid=9853] vsize: 729688
Current children cumulated CPU time (s) 869.97
Current children cumulated vsize (Kb) 729688

[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 268596 0 0 0 87435 562 0 0 25 0 1 0 21607209 747200512 151688 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182422 151688 364 364 0 182058 0
[pid=9853] vsize: 729688
Current children cumulated CPU time (s) 879.97
Current children cumulated vsize (Kb) 729688

[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 268596 0 0 0 88435 562 0 0 25 0 1 0 21607209 747200512 151688 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182422 151688 364 364 0 182058 0
[pid=9853] vsize: 729688
Current children cumulated CPU time (s) 889.97
Current children cumulated vsize (Kb) 729688

[startup+900.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 268596 0 0 0 89435 562 0 0 25 0 1 0 21607209 747200512 151688 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182422 151688 364 364 0 182058 0
[pid=9853] vsize: 729688
Current children cumulated CPU time (s) 899.97
Current children cumulated vsize (Kb) 729688

[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 268596 0 0 0 90435 562 0 0 25 0 1 0 21607209 747200512 151688 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182422 151688 364 364 0 182058 0
[pid=9853] vsize: 729688
Current children cumulated CPU time (s) 909.97
Current children cumulated vsize (Kb) 729688

[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 268598 0 0 0 91435 562 0 0 25 0 1 0 21607209 747200512 151690 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182422 151690 364 364 0 182058 0
[pid=9853] vsize: 729688
Current children cumulated CPU time (s) 919.97
Current children cumulated vsize (Kb) 729688

[startup+930.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 268598 0 0 0 92436 562 0 0 25 0 1 0 21607209 747200512 151690 4294967295 134512640 135987407 3221224560 3221223104 134812043 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182422 151690 364 364 0 182058 0
[pid=9853] vsize: 729688
Current children cumulated CPU time (s) 929.98
Current children cumulated vsize (Kb) 729688

[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 268598 0 0 0 93436 562 0 0 25 0 1 0 21607209 747200512 151690 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182422 151690 364 364 0 182058 0
[pid=9853] vsize: 729688
Current children cumulated CPU time (s) 939.98
Current children cumulated vsize (Kb) 729688

[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 268676 0 0 0 94435 563 0 0 25 0 1 0 21607209 747462656 151703 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182486 151703 364 364 0 182122 0
[pid=9853] vsize: 729944
Current children cumulated CPU time (s) 949.98
Current children cumulated vsize (Kb) 729944

[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 268757 0 0 0 95436 563 0 0 25 0 1 0 21607209 747462656 151784 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182486 151784 364 364 0 182122 0
[pid=9853] vsize: 729944
Current children cumulated CPU time (s) 959.99
Current children cumulated vsize (Kb) 729944

[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 269322 0 0 0 96435 564 0 0 25 0 1 0 21607209 749043712 152090 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182872 152090 364 364 0 182508 0
[pid=9853] vsize: 731488
Current children cumulated CPU time (s) 969.99
Current children cumulated vsize (Kb) 731488

[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 269322 0 0 0 97435 564 0 0 25 0 1 0 21607209 749043712 152090 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182872 152090 364 364 0 182508 0
[pid=9853] vsize: 731488
Current children cumulated CPU time (s) 979.99
Current children cumulated vsize (Kb) 731488

[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 269380 0 0 0 98435 564 0 0 25 0 1 0 21607209 749228032 152148 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182917 152148 364 364 0 182553 0
[pid=9853] vsize: 731668
Current children cumulated CPU time (s) 989.99
Current children cumulated vsize (Kb) 731668

[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 269430 0 0 0 99435 564 0 0 25 0 1 0 21607209 749228032 152198 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182917 152198 364 364 0 182553 0
[pid=9853] vsize: 731668
Current children cumulated CPU time (s) 999.99
Current children cumulated vsize (Kb) 731668

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 269430 0 0 0 100435 564 0 0 25 0 1 0 21607209 749228032 152198 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182917 152198 364 364 0 182553 0
[pid=9853] vsize: 731668
Current children cumulated CPU time (s) 1009.99
Current children cumulated vsize (Kb) 731668

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 269430 0 0 0 101435 564 0 0 25 0 1 0 21607209 749228032 152198 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182917 152198 364 364 0 182553 0
[pid=9853] vsize: 731668
Current children cumulated CPU time (s) 1019.99
Current children cumulated vsize (Kb) 731668

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 269430 0 0 0 102436 564 0 0 25 0 1 0 21607209 749228032 152198 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182917 152198 364 364 0 182553 0
[pid=9853] vsize: 731668
Current children cumulated CPU time (s) 1030
Current children cumulated vsize (Kb) 731668

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 269431 0 0 0 103436 564 0 0 25 0 1 0 21607209 749228032 152199 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182917 152199 364 364 0 182553 0
[pid=9853] vsize: 731668
Current children cumulated CPU time (s) 1040
Current children cumulated vsize (Kb) 731668

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 269432 0 0 0 104436 564 0 0 25 0 1 0 21607209 749228032 152200 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182917 152200 364 364 0 182553 0
[pid=9853] vsize: 731668
Current children cumulated CPU time (s) 1050
Current children cumulated vsize (Kb) 731668

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 269432 0 0 0 105436 564 0 0 25 0 1 0 21607209 749228032 152200 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182917 152200 364 364 0 182553 0
[pid=9853] vsize: 731668
Current children cumulated CPU time (s) 1060
Current children cumulated vsize (Kb) 731668

[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 269432 0 0 0 106436 564 0 0 25 0 1 0 21607209 749228032 152200 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182917 152200 364 364 0 182553 0
[pid=9853] vsize: 731668
Current children cumulated CPU time (s) 1070
Current children cumulated vsize (Kb) 731668

[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 269432 0 0 0 107436 564 0 0 25 0 1 0 21607209 749228032 152200 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182917 152200 364 364 0 182553 0
[pid=9853] vsize: 731668
Current children cumulated CPU time (s) 1080
Current children cumulated vsize (Kb) 731668

[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 269434 0 0 0 108436 564 0 0 25 0 1 0 21607209 749228032 152202 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182917 152202 364 364 0 182553 0
[pid=9853] vsize: 731668
Current children cumulated CPU time (s) 1090
Current children cumulated vsize (Kb) 731668

[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 269434 0 0 0 109436 564 0 0 25 0 1 0 21607209 749228032 152202 4294967295 134512640 135987407 3221224560 3221223104 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182917 152202 364 364 0 182553 0
[pid=9853] vsize: 731668
Current children cumulated CPU time (s) 1100
Current children cumulated vsize (Kb) 731668

[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 269435 0 0 0 110437 564 0 0 25 0 1 0 21607209 749228032 152203 4294967295 134512640 135987407 3221224560 3221223104 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182917 152203 364 364 0 182553 0
[pid=9853] vsize: 731668
Current children cumulated CPU time (s) 1110.01
Current children cumulated vsize (Kb) 731668

[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 269435 0 0 0 111437 564 0 0 25 0 1 0 21607209 749228032 152203 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182917 152203 364 364 0 182553 0
[pid=9853] vsize: 731668
Current children cumulated CPU time (s) 1120.01
Current children cumulated vsize (Kb) 731668

[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 269436 0 0 0 112437 564 0 0 25 0 1 0 21607209 749228032 152204 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182917 152204 364 364 0 182553 0
[pid=9853] vsize: 731668
Current children cumulated CPU time (s) 1130.01
Current children cumulated vsize (Kb) 731668

[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 269436 0 0 0 113437 564 0 0 25 0 1 0 21607209 749228032 152204 4294967295 134512640 135987407 3221224560 3221223104 134812000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 182917 152204 364 364 0 182553 0
[pid=9853] vsize: 731668
Current children cumulated CPU time (s) 1140.01
Current children cumulated vsize (Kb) 731668

[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 270008 0 0 0 114436 566 0 0 25 0 1 0 21607209 750481408 152519 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 183223 152519 364 364 0 182859 0
[pid=9853] vsize: 732892
Current children cumulated CPU time (s) 1150.02
Current children cumulated vsize (Kb) 732892

[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 270289 0 0 0 115435 566 0 0 25 0 1 0 21607209 751005696 152671 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 183351 152671 364 364 0 182987 0
[pid=9853] vsize: 733404
Current children cumulated CPU time (s) 1160.01
Current children cumulated vsize (Kb) 733404

[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 270314 0 0 0 116435 566 0 0 25 0 1 0 21607209 751005696 152696 4294967295 134512640 135987407 3221224560 3221223104 134811966 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 183351 152696 364 364 0 182987 0
[pid=9853] vsize: 733404
Current children cumulated CPU time (s) 1170.01
Current children cumulated vsize (Kb) 733404

[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 271633 0 0 0 117433 569 0 0 25 0 1 0 21607209 754151424 153245 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 184119 153245 364 364 0 183755 0
[pid=9853] vsize: 736476
Current children cumulated CPU time (s) 1180.02
Current children cumulated vsize (Kb) 736476

[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 272581 0 0 0 118431 571 0 0 25 0 1 0 21607209 756248576 153680 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 184631 153680 364 364 0 184267 0
[pid=9853] vsize: 738524
Current children cumulated CPU time (s) 1190.02
Current children cumulated vsize (Kb) 738524

[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 272583 0 0 0 119431 571 0 0 25 0 1 0 21607209 756248576 153682 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 184631 153682 364 364 0 184267 0
[pid=9853] vsize: 738524
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (Kb) 738524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9853
Raw data (/proc/9853/stat): 9853 (pb2sat) R 9852 9853 4059 0 -1 0 272583 0 0 0 119431 571 0 0 25 0 1 0 21607209 756248576 153682 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9853/statm): 184631 153682 364 364 0 184267 0
[pid=9853] vsize: 738524
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (Kb) 738524

Sending SIGTERM to -9853
Sleeping 2 seconds
Sending SIGKILL to -9853
One traced child (pid=9853) 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): 1202.18
CPU time (s): 1202.18
CPU user time (s): 1196.16
CPU system time (s): 6.02608
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (Kb): 738524

Verifier Data

Verifier:	OK	-1876