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-vpm1.opb
MD5SUM9d68724ddc6098af63bcc619f21688cc
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 28
Optimality of the best value was proved NO
Number of terms in the objective function 168
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 168
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 819200
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 4941871
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1249.78
Number of variables2754
Total number of constraints612
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)168
Number of constraints which are nor clauses,nor cardinality constraints444
Minimum length of a constraint1
Maximum length of a constraint82

Trace number 10050

Launcher Data

LAUNCH ON wulflinc27 THE 2005-09-23 16:24:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8752 boxname=wulflinc27 idbench=548 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  9d68724ddc6098af63bcc619f21688cc  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-vpm1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-vpm1.opb
IDLAUNCH: 8752
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.039
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	: 3
cpu MHz		: 451.039
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:        940800 kB
Buffers:         11648 kB
Cached:          65328 kB
SwapCached:          0 kB
Active:          45300 kB
Inactive:        34536 kB
HighTotal:      131008 kB
HighFree:        61292 kB
LowTotal:       903652 kB
LowFree:        879508 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             8548 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 16:44:31 (client local time) WITH STATUS 0 IN 1211.61 SECONDS
stats: 8752 7 1211.61 0

Solver Data

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

c Decision: 235071/1061298	Time: 217.728/86400
c Decision: 235071/1061298	Time: 240.918/86400
c Decision: 235071/1061298	Time: 266.18/86400
c Decision: 235071/1061298	Time: 294.852/86400
c Decision: 235071/1061298	Time: 319.513/86400
c Decision: 235077/1061298	Time: 355.187/86400
c Decision: 235077/1061298	Time: 379.796/86400
c Decision: 235077/1061298	Time: 404.95/86400
c Decision: 235077/1061298	Time: 427.19/86400
c Decision: 235077/1061298	Time: 447.554/86400
c Decision: 235077/1061298	Time: 472.443/86400
c Decision: 235077/1061298	Time: 492.488/86400
c Decision: 235077/1061298	Time: 510.651/86400
c Decision: 235077/1061298	Time: 532.853/86400
c Decision: 235077/1061298	Time: 586.782/86400
c Decision: 235077/1061298	Time: 629.764/86400
c Decision: 235077/1061298	Time: 667.071/86400
c Decision: 235077/1061298	Time: 700.671/86400
c Decision: 235077/1061298	Time: 726.972/86400
c Decision: 235077/1061298	Time: 748.051/86400
c Decision: 235077/1061298	Time: 785.81/86400
c Decision: 235077/1061298	Time: 818.6/86400
c Decision: 235077/1061298	Time: 843.012/86400
c Decision: 235077/1061298	Time: 868.605/86400
c Decision: 235077/1061298	Time: 900.948/86400
c Decision: 235077/1061298	Time: 933.501/86400
c Decision: 235077/1061298	Time: 963.548/86400
c Decision: 235077/1061298	Time: 984.449/86400
c Decision: 235077/1061298	Time: 1019.9/86400
c Decision: 235077/1061298	Time: 1047.71/86400
c Decision: 235077/1061298	Time: 1075.09/86400
c Decision: 235077/1061298	Time: 1095.52/86400
c Decision: 235077/1061298	Time: 1117.23/86400
c Decision: 235077/1061298	Time: 1139.07/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/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21566209 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 373 2 364 364 0 9 0
[pid=9444] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-vpm1.opb

[startup+10.0017 s]
Raw data (loadavg): 0.82 0.92 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 27855 0 0 0 936 61 0 0 25 0 1 0 21566209 80990208 16696 4294967295 134512640 135987407 3221224560 3221201168 134537491 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 19773 16696 364 364 0 19409 0
[pid=9444] vsize: 79092
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 79092

[startup+20.0026 s]
Raw data (loadavg): 0.85 0.92 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 55706 0 0 0 1875 121 0 0 25 0 1 0 21566209 158433280 33301 4294967295 134512640 135987407 3221224560 3221207248 134537491 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 38680 33301 364 364 0 38316 0
[pid=9444] vsize: 154720
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 154720

[startup+30.0034 s]
Raw data (loadavg): 0.87 0.92 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 94903 0 0 0 2788 205 0 0 25 0 1 0 21566209 308453376 50290 4294967295 134512640 135987407 3221224560 3221221280 134562584 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 75306 50290 364 364 0 74942 0
[pid=9444] vsize: 301224
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 301224

[startup+40.0042 s]
Raw data (loadavg): 0.89 0.92 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 111160 0 0 0 3745 248 0 0 25 0 1 0 21566209 313724928 66271 4294967295 134512640 135987407 3221224560 3221207008 134855001 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 76593 66271 364 364 0 76229 0
[pid=9444] vsize: 306372
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 306372

[startup+50.005 s]
Raw data (loadavg): 0.91 0.92 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 153490 0 0 0 4654 335 0 0 25 0 1 0 21566209 459190272 89036 4294967295 134512640 135987407 3221224560 3221223096 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 112107 89036 364 364 0 111743 0
[pid=9444] vsize: 448428
Current children cumulated CPU time (s) 49.89
Current children cumulated vsize (Kb) 448428

[startup+60.0048 s]
Raw data (loadavg): 0.92 0.93 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 156956 0 0 0 5631 347 0 0 25 0 1 0 21566209 464486400 90202 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 113400 90202 364 364 0 113036 0
[pid=9444] vsize: 453600
Current children cumulated CPU time (s) 59.78
Current children cumulated vsize (Kb) 453600

[startup+70.0057 s]
Raw data (loadavg): 0.93 0.93 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 157528 0 0 0 6618 352 0 0 25 0 1 0 21566209 467226624 90774 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 114069 90774 364 364 0 113705 0
[pid=9444] vsize: 456276
Current children cumulated CPU time (s) 69.7
Current children cumulated vsize (Kb) 456276

[startup+80.0065 s]
Raw data (loadavg): 0.94 0.93 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 157986 0 0 0 7607 356 0 0 25 0 1 0 21566209 469651456 91232 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 114661 91232 364 364 0 114297 0
[pid=9444] vsize: 458644
Current children cumulated CPU time (s) 79.63
Current children cumulated vsize (Kb) 458644

[startup+90.0073 s]
Raw data (loadavg): 0.95 0.93 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 158214 0 0 0 8594 362 0 0 25 0 1 0 21566209 470933504 91460 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 114974 91460 364 364 0 114610 0
[pid=9444] vsize: 459896
Current children cumulated CPU time (s) 89.56
Current children cumulated vsize (Kb) 459896

[startup+100.007 s]
Raw data (loadavg): 0.96 0.93 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 158336 0 0 0 9582 366 0 0 25 0 1 0 21566209 471597056 91582 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 115136 91582 364 364 0 114772 0
[pid=9444] vsize: 460544
Current children cumulated CPU time (s) 99.48
Current children cumulated vsize (Kb) 460544

[startup+110.007 s]
Raw data (loadavg): 0.96 0.94 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 158356 0 0 0 10574 369 0 0 25 0 1 0 21566209 471597056 91602 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 115136 91602 364 364 0 114772 0
[pid=9444] vsize: 460544
Current children cumulated CPU time (s) 109.43
Current children cumulated vsize (Kb) 460544

[startup+120.008 s]
Raw data (loadavg): 0.97 0.94 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 158560 0 0 0 11566 372 0 0 25 0 1 0 21566209 472592384 91806 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 115379 91806 364 364 0 115015 0
[pid=9444] vsize: 461516
Current children cumulated CPU time (s) 119.38
Current children cumulated vsize (Kb) 461516

[startup+130.009 s]
Raw data (loadavg): 0.97 0.94 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 158587 0 0 0 12558 375 0 0 25 0 1 0 21566209 472727552 91833 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 115412 91833 364 364 0 115048 0
[pid=9444] vsize: 461648
Current children cumulated CPU time (s) 129.33
Current children cumulated vsize (Kb) 461648

[startup+140.009 s]
Raw data (loadavg): 0.98 0.94 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 158621 0 0 0 13551 377 0 0 25 0 1 0 21566209 472862720 91867 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 115445 91867 364 364 0 115081 0
[pid=9444] vsize: 461780
Current children cumulated CPU time (s) 139.28
Current children cumulated vsize (Kb) 461780

[startup+150.01 s]
Raw data (loadavg): 0.98 0.94 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 158703 0 0 0 14542 379 0 0 25 0 1 0 21566209 473268224 91949 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 115544 91949 364 364 0 115180 0
[pid=9444] vsize: 462176
Current children cumulated CPU time (s) 149.21
Current children cumulated vsize (Kb) 462176

[startup+160.01 s]
Raw data (loadavg): 0.98 0.94 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 158866 0 0 0 15529 384 0 0 25 0 1 0 21566209 474214400 92112 4294967295 134512640 135987407 3221224560 3221223248 134812018 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 115775 92112 364 364 0 115411 0
[pid=9444] vsize: 463100
Current children cumulated CPU time (s) 159.13
Current children cumulated vsize (Kb) 463100

[startup+170.011 s]
Raw data (loadavg): 0.98 0.94 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 158952 0 0 0 16515 388 0 0 25 0 1 0 21566209 474480640 92165 4294967295 134512640 135987407 3221224560 3221223324 134812119 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 115840 92165 364 364 0 115476 0
[pid=9444] vsize: 463360
Current children cumulated CPU time (s) 169.03
Current children cumulated vsize (Kb) 463360

[startup+180.011 s]
Raw data (loadavg): 0.99 0.95 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 159014 0 0 0 17500 393 0 0 25 0 1 0 21566209 474750976 92227 4294967295 134512640 135987407 3221224560 3221223344 134812268 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 115906 92227 364 364 0 115542 0
[pid=9444] vsize: 463624
Current children cumulated CPU time (s) 178.93
Current children cumulated vsize (Kb) 463624

[startup+190.013 s]
Raw data (loadavg): 0.99 0.95 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 159176 0 0 0 18487 397 0 0 25 0 1 0 21566209 475557888 92356 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 116103 92356 364 364 0 115739 0
[pid=9444] vsize: 464412
Current children cumulated CPU time (s) 188.84
Current children cumulated vsize (Kb) 464412

[startup+200.012 s]
Raw data (loadavg): 0.99 0.95 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 159214 0 0 0 19470 404 0 0 25 0 1 0 21566209 475693056 92394 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 116136 92394 364 364 0 115772 0
[pid=9444] vsize: 464544
Current children cumulated CPU time (s) 198.74
Current children cumulated vsize (Kb) 464544

[startup+210.012 s]
Raw data (loadavg): 0.99 0.95 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 159296 0 0 0 20459 407 0 0 25 0 1 0 21566209 476098560 92476 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 116235 92476 364 364 0 115871 0
[pid=9444] vsize: 464940
Current children cumulated CPU time (s) 208.66
Current children cumulated vsize (Kb) 464940

[startup+220.013 s]
Raw data (loadavg): 0.99 0.95 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 159301 0 0 0 21442 412 0 0 25 0 1 0 21566209 476098560 92481 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 116235 92481 364 364 0 115871 0
[pid=9444] vsize: 464940
Current children cumulated CPU time (s) 218.54
Current children cumulated vsize (Kb) 464940

[startup+230.013 s]
Raw data (loadavg): 0.99 0.95 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 159494 0 0 0 22428 416 0 0 25 0 1 0 21566209 476905472 92641 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 116432 92641 364 364 0 116068 0
[pid=9444] vsize: 465728
Current children cumulated CPU time (s) 228.44
Current children cumulated vsize (Kb) 465728

[startup+240.014 s]
Raw data (loadavg): 0.99 0.95 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 159663 0 0 0 23414 421 0 0 25 0 1 0 21566209 477716480 92810 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 116630 92810 364 364 0 116266 0
[pid=9444] vsize: 466520
Current children cumulated CPU time (s) 238.35
Current children cumulated vsize (Kb) 466520

[startup+250.014 s]
Raw data (loadavg): 0.99 0.95 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 159681 0 0 0 24398 427 0 0 25 0 1 0 21566209 477716480 92828 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 116630 92828 364 364 0 116266 0
[pid=9444] vsize: 466520
Current children cumulated CPU time (s) 248.25
Current children cumulated vsize (Kb) 466520

[startup+260.014 s]
Raw data (loadavg): 0.99 0.95 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 159686 0 0 0 25382 433 0 0 24 0 1 0 21566209 477716480 92833 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 116630 92833 364 364 0 116266 0
[pid=9444] vsize: 466520
Current children cumulated CPU time (s) 258.15
Current children cumulated vsize (Kb) 466520

[startup+270.015 s]
Raw data (loadavg): 0.99 0.95 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 161775 0 0 0 26371 440 0 0 25 0 1 0 21566209 477716480 92849 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 116630 92849 364 364 0 116266 0
[pid=9444] vsize: 466520
Current children cumulated CPU time (s) 268.11
Current children cumulated vsize (Kb) 466520

[startup+280.015 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 161778 0 0 0 27356 445 0 0 25 0 1 0 21566209 477716480 92852 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 116630 92852 364 364 0 116266 0
[pid=9444] vsize: 466520
Current children cumulated CPU time (s) 278.01
Current children cumulated vsize (Kb) 466520

[startup+290.016 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 163853 0 0 0 28341 452 0 0 25 0 1 0 21566209 486207488 94927 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 118703 94927 364 364 0 118339 0
[pid=9444] vsize: 474812
Current children cumulated CPU time (s) 287.93
Current children cumulated vsize (Kb) 474812

[startup+300.017 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 164033 0 0 0 29325 458 0 0 25 0 1 0 21566209 478556160 93034 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 116835 93034 364 364 0 116471 0
[pid=9444] vsize: 467340
Current children cumulated CPU time (s) 297.83
Current children cumulated vsize (Kb) 467340

[startup+310.016 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 164159 0 0 0 30308 465 0 0 25 0 1 0 21566209 478969856 93127 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 116936 93127 364 364 0 116572 0
[pid=9444] vsize: 467744
Current children cumulated CPU time (s) 307.73
Current children cumulated vsize (Kb) 467744

[startup+320.017 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 166346 0 0 0 31296 473 0 0 25 0 1 0 21566209 479559680 93241 4294967295 134512640 135987407 3221224560 3221223424 134812603 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 117080 93241 364 364 0 116716 0
[pid=9444] vsize: 468320
Current children cumulated CPU time (s) 317.69
Current children cumulated vsize (Kb) 468320

[startup+330.017 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 166532 0 0 0 32283 477 0 0 25 0 1 0 21566209 480632832 93427 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 117342 93427 364 364 0 116978 0
[pid=9444] vsize: 469368
Current children cumulated CPU time (s) 327.6
Current children cumulated vsize (Kb) 469368

[startup+340.018 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 166611 0 0 0 33263 484 0 0 25 0 1 0 21566209 480993280 93506 4294967295 134512640 135987407 3221224560 3221223344 134812293 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 117430 93506 364 364 0 117066 0
[pid=9444] vsize: 469720
Current children cumulated CPU time (s) 337.47
Current children cumulated vsize (Kb) 469720

[startup+350.019 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 168857 0 0 0 34251 491 0 0 25 0 1 0 21566209 481730560 93679 4294967295 134512640 135987407 3221224560 3221223344 134812310 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 117610 93679 364 364 0 117246 0
[pid=9444] vsize: 470440
Current children cumulated CPU time (s) 347.42
Current children cumulated vsize (Kb) 470440

[startup+360.019 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 168969 0 0 0 35230 498 0 0 25 0 1 0 21566209 482127872 93758 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 117707 93758 364 364 0 117343 0
[pid=9444] vsize: 470828
Current children cumulated CPU time (s) 357.28
Current children cumulated vsize (Kb) 470828

[startup+370.019 s]
Raw data (loadavg): 1.07 0.98 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 171045 0 0 0 36215 506 0 0 25 0 1 0 21566209 482127872 93761 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 117707 93761 364 364 0 117343 0
[pid=9444] vsize: 470828
Current children cumulated CPU time (s) 367.21
Current children cumulated vsize (Kb) 470828

[startup+380.019 s]
Raw data (loadavg): 1.06 0.98 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 171104 0 0 0 37198 512 0 0 25 0 1 0 21566209 482398208 93820 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 117773 93820 364 364 0 117409 0
[pid=9444] vsize: 471092
Current children cumulated CPU time (s) 377.1
Current children cumulated vsize (Kb) 471092

[startup+390.021 s]
Raw data (loadavg): 1.05 0.98 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 171269 0 0 0 38182 519 0 0 25 0 1 0 21566209 483065856 93919 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 117936 93919 364 364 0 117572 0
[pid=9444] vsize: 471744
Current children cumulated CPU time (s) 387.01
Current children cumulated vsize (Kb) 471744

[startup+400.022 s]
Raw data (loadavg): 1.04 0.98 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 173427 0 0 0 39164 528 0 0 25 0 1 0 21566209 491823104 96044 4294967295 134512640 135987407 3221224560 3221222976 134827705 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 120074 96044 364 364 0 119710 0
[pid=9444] vsize: 480296
Current children cumulated CPU time (s) 396.92
Current children cumulated vsize (Kb) 480296

[startup+410.022 s]
Raw data (loadavg): 1.04 0.98 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 173434 0 0 0 40161 529 0 0 25 0 1 0 21566209 483332096 93978 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 118001 93978 364 364 0 117637 0
[pid=9444] vsize: 472004
Current children cumulated CPU time (s) 406.9
Current children cumulated vsize (Kb) 472004

[startup+420.022 s]
Raw data (loadavg): 1.03 0.98 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 173517 0 0 0 41146 534 0 0 25 0 1 0 21566209 483737600 94061 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 118100 94061 364 364 0 117736 0
[pid=9444] vsize: 472400
Current children cumulated CPU time (s) 416.8
Current children cumulated vsize (Kb) 472400

[startup+430.023 s]
Raw data (loadavg): 1.03 0.98 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 175625 0 0 0 42129 543 0 0 25 0 1 0 21566209 492363776 96169 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 120206 96169 364 364 0 119842 0
[pid=9444] vsize: 480824
Current children cumulated CPU time (s) 426.72
Current children cumulated vsize (Kb) 480824

[startup+440.024 s]
Raw data (loadavg): 1.02 0.98 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 175646 0 0 0 43111 550 0 0 25 0 1 0 21566209 484007936 94117 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 118166 94117 364 364 0 117802 0
[pid=9444] vsize: 472664
Current children cumulated CPU time (s) 436.61
Current children cumulated vsize (Kb) 472664

[startup+450.025 s]
Raw data (loadavg): 1.02 0.98 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 175648 0 0 0 44093 557 0 0 25 0 1 0 21566209 484007936 94119 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 118166 94119 364 364 0 117802 0
[pid=9444] vsize: 472664
Current children cumulated CPU time (s) 446.5
Current children cumulated vsize (Kb) 472664

[startup+460.025 s]
Raw data (loadavg): 1.09 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 177725 0 0 0 45080 565 0 0 25 0 1 0 21566209 484007936 94123 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 118166 94123 364 364 0 117802 0
[pid=9444] vsize: 472664
Current children cumulated CPU time (s) 456.45
Current children cumulated vsize (Kb) 472664

[startup+470.025 s]
Raw data (loadavg): 1.08 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 177731 0 0 0 46069 568 0 0 25 0 1 0 21566209 484007936 94129 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 118166 94129 364 364 0 117802 0
[pid=9444] vsize: 472664
Current children cumulated CPU time (s) 466.37
Current children cumulated vsize (Kb) 472664

[startup+480.024 s]
Raw data (loadavg): 1.07 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 179873 0 0 0 47057 576 0 0 25 0 1 0 21566209 484274176 94165 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 118231 94165 364 364 0 117867 0
[pid=9444] vsize: 472924
Current children cumulated CPU time (s) 476.33
Current children cumulated vsize (Kb) 472924

[startup+490.026 s]
Raw data (loadavg): 1.06 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 179957 0 0 0 48047 580 0 0 25 0 1 0 21566209 484814848 94249 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 118363 94249 364 364 0 117999 0
[pid=9444] vsize: 473452
Current children cumulated CPU time (s) 486.27
Current children cumulated vsize (Kb) 473452

[startup+500.027 s]
Raw data (loadavg): 1.05 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 182033 0 0 0 49033 588 0 0 25 0 1 0 21566209 484814848 94252 4294967295 134512640 135987407 3221224560 3221223136 134788814 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 118363 94252 364 364 0 117999 0
[pid=9444] vsize: 473452
Current children cumulated CPU time (s) 496.21
Current children cumulated vsize (Kb) 473452

[startup+510.027 s]
Raw data (loadavg): 1.04 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 182038 0 0 0 50015 593 0 0 25 0 1 0 21566209 484814848 94257 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 118363 94257 364 364 0 117999 0
[pid=9444] vsize: 473452
Current children cumulated CPU time (s) 506.08
Current children cumulated vsize (Kb) 473452

[startup+520.028 s]
Raw data (loadavg): 1.03 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 184115 0 0 0 51001 600 0 0 25 0 1 0 21566209 493305856 96334 4294967295 134512640 135987407 3221224560 3221222920 134827505 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 120436 96334 364 364 0 120072 0
[pid=9444] vsize: 481744
Current children cumulated CPU time (s) 516.01
Current children cumulated vsize (Kb) 481744

[startup+530.028 s]
Raw data (loadavg): 1.03 1.00 0.96 1/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) T 9443 9444 4005 0 -1 0 184117 0 0 0 51991 603 0 0 25 0 1 0 21566209 484814848 94263 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9444/statm): 118363 94263 364 364 0 117999 0
[pid=9444] vsize: 473452
Current children cumulated CPU time (s) 525.94
Current children cumulated vsize (Kb) 473452

[startup+540.028 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 184122 0 0 0 52977 608 0 0 25 0 1 0 21566209 484814848 94268 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 118363 94268 364 364 0 117999 0
[pid=9444] vsize: 473452
Current children cumulated CPU time (s) 535.85
Current children cumulated vsize (Kb) 473452

[startup+550.029 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 186198 0 0 0 53960 616 0 0 25 0 1 0 21566209 484814848 94271 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 118363 94271 364 364 0 117999 0
[pid=9444] vsize: 473452
Current children cumulated CPU time (s) 545.76
Current children cumulated vsize (Kb) 473452

[startup+560.029 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 188282 0 0 0 54949 623 0 0 25 0 1 0 21566209 493305856 96355 4294967295 134512640 135987407 3221224560 3221222976 134827671 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120436 96355 364 364 0 120072 0
[pid=9444] vsize: 481744
Current children cumulated CPU time (s) 555.72
Current children cumulated vsize (Kb) 481744

[startup+570.03 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 188288 0 0 0 55938 627 0 0 25 0 1 0 21566209 484814848 94288 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 118363 94288 364 364 0 117999 0
[pid=9444] vsize: 473452
Current children cumulated CPU time (s) 565.65
Current children cumulated vsize (Kb) 473452

[startup+580.031 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 188300 0 0 0 56927 632 0 0 25 0 1 0 21566209 484814848 94300 4294967295 134512640 135987407 3221224560 3221223376 134824240 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 118363 94300 364 364 0 117999 0
[pid=9444] vsize: 473452
Current children cumulated CPU time (s) 575.59
Current children cumulated vsize (Kb) 473452

[startup+590.032 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 190424 0 0 0 57913 640 0 0 25 0 1 0 21566209 485085184 94351 4294967295 134512640 135987407 3221224560 3221223248 134812021 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 118429 94351 364 364 0 118065 0
[pid=9444] vsize: 473716
Current children cumulated CPU time (s) 585.53
Current children cumulated vsize (Kb) 473716

[startup+600.031 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 190539 0 0 0 58898 646 0 0 25 0 1 0 21566209 485593088 94466 4294967295 134512640 135987407 3221224560 3221223316 134811684 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 118553 94466 364 364 0 118189 0
[pid=9444] vsize: 474212
Current children cumulated CPU time (s) 595.44
Current children cumulated vsize (Kb) 474212

[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 190865 0 0 0 59882 652 0 0 25 0 1 0 21566209 487383040 94792 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 118990 94792 364 364 0 118626 0
[pid=9444] vsize: 475960
Current children cumulated CPU time (s) 605.34
Current children cumulated vsize (Kb) 475960

[startup+620.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 191113 0 0 0 60868 656 0 0 25 0 1 0 21566209 488554496 95040 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 119276 95040 364 364 0 118912 0
[pid=9444] vsize: 477104
Current children cumulated CPU time (s) 615.24
Current children cumulated vsize (Kb) 477104

[startup+630.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 191243 0 0 0 61853 662 0 0 25 0 1 0 21566209 489091072 95137 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 119407 95137 364 364 0 119043 0
[pid=9444] vsize: 477628
Current children cumulated CPU time (s) 625.15
Current children cumulated vsize (Kb) 477628

[startup+640.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 193819 0 0 0 62840 671 0 0 25 0 1 0 21566209 491077632 95443 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 119892 95443 364 364 0 119528 0
[pid=9444] vsize: 479568
Current children cumulated CPU time (s) 635.11
Current children cumulated vsize (Kb) 479568

[startup+650.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 193827 0 0 0 63821 676 0 0 25 0 1 0 21566209 491077632 95451 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 119892 95451 364 364 0 119528 0
[pid=9444] vsize: 479568
Current children cumulated CPU time (s) 644.97
Current children cumulated vsize (Kb) 479568

[startup+660.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 193853 0 0 0 64808 680 0 0 25 0 1 0 21566209 491212800 95477 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 119925 95477 364 364 0 119561 0
[pid=9444] vsize: 479700
Current children cumulated CPU time (s) 654.88
Current children cumulated vsize (Kb) 479700

[startup+670.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 194018 0 0 0 65797 683 0 0 25 0 1 0 21566209 491483136 95642 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 119991 95642 364 364 0 119627 0
[pid=9444] vsize: 479964
Current children cumulated CPU time (s) 664.8
Current children cumulated vsize (Kb) 479964

[startup+680.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 196151 0 0 0 66787 690 0 0 25 0 1 0 21566209 491614208 95669 4294967295 134512640 135987407 3221224560 3221223324 134882496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 120023 95669 364 364 0 119659 0
[pid=9444] vsize: 480092
Current children cumulated CPU time (s) 674.77
Current children cumulated vsize (Kb) 480092

[startup+690.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 196307 0 0 0 67777 694 0 0 25 0 1 0 21566209 492408832 95759 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 120217 95759 364 364 0 119853 0
[pid=9444] vsize: 480868
Current children cumulated CPU time (s) 684.71
Current children cumulated vsize (Kb) 480868

[startup+700.039 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) T 9443 9444 4005 0 -1 0 196318 0 0 0 68760 699 0 0 25 0 1 0 21566209 492408832 95770 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120217 95770 364 364 0 119853 0
[pid=9444] vsize: 480868
Current children cumulated CPU time (s) 694.59
Current children cumulated vsize (Kb) 480868

[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) T 9443 9444 4005 0 -1 0 196359 0 0 0 69747 704 0 0 25 0 1 0 21566209 492679168 95811 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120283 95811 364 364 0 119919 0
[pid=9444] vsize: 481132
Current children cumulated CPU time (s) 704.51
Current children cumulated vsize (Kb) 481132

[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 198439 0 0 0 70732 713 0 0 25 0 1 0 21566209 492679168 95818 4294967295 134512640 135987407 3221224560 3221223200 134789619 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120283 95818 364 364 0 119919 0
[pid=9444] vsize: 481132
Current children cumulated CPU time (s) 714.45
Current children cumulated vsize (Kb) 481132

[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) T 9443 9444 4005 0 -1 0 198474 0 0 0 71715 718 0 0 25 0 1 0 21566209 492814336 95853 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120316 95853 364 364 0 119952 0
[pid=9444] vsize: 481264
Current children cumulated CPU time (s) 724.33
Current children cumulated vsize (Kb) 481264

[startup+740.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 198475 0 0 0 72698 725 0 0 25 0 1 0 21566209 492814336 95854 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120316 95854 364 364 0 119952 0
[pid=9444] vsize: 481264
Current children cumulated CPU time (s) 734.23
Current children cumulated vsize (Kb) 481264

[startup+750.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 198478 0 0 0 73683 730 0 0 25 0 1 0 21566209 492814336 95857 4294967295 134512640 135987407 3221224560 3221223280 134813720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120316 95857 364 364 0 119952 0
[pid=9444] vsize: 481264
Current children cumulated CPU time (s) 744.13
Current children cumulated vsize (Kb) 481264

[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 200554 0 0 0 74669 739 0 0 25 0 1 0 21566209 492814336 95860 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120316 95860 364 364 0 119952 0
[pid=9444] vsize: 481264
Current children cumulated CPU time (s) 754.08
Current children cumulated vsize (Kb) 481264

[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 200558 0 0 0 75654 745 0 0 25 0 1 0 21566209 492814336 95864 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120316 95864 364 364 0 119952 0
[pid=9444] vsize: 481264
Current children cumulated CPU time (s) 763.99
Current children cumulated vsize (Kb) 481264

[startup+780.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 202633 0 0 0 76634 755 0 0 25 0 1 0 21566209 501305344 97939 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 122389 97939 364 364 0 122025 0
[pid=9444] vsize: 489556
Current children cumulated CPU time (s) 773.89
Current children cumulated vsize (Kb) 489556

[startup+790.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 202637 0 0 0 77616 761 0 0 25 0 1 0 21566209 492814336 95870 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120316 95870 364 364 0 119952 0
[pid=9444] vsize: 481264
Current children cumulated CPU time (s) 783.77
Current children cumulated vsize (Kb) 481264

[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 204715 0 0 0 78600 769 0 0 25 0 1 0 21566209 501305344 97948 4294967295 134512640 135987407 3221224560 3221222924 134827484 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 122389 97948 364 364 0 122025 0
[pid=9444] vsize: 489556
Current children cumulated CPU time (s) 793.69
Current children cumulated vsize (Kb) 489556

[startup+810.044 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 204717 0 0 0 79583 776 0 0 25 0 1 0 21566209 492814336 95877 4294967295 134512640 135987407 3221224560 3221223424 134812600 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120316 95877 364 364 0 119952 0
[pid=9444] vsize: 481264
Current children cumulated CPU time (s) 803.59
Current children cumulated vsize (Kb) 481264

[startup+820.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 204720 0 0 0 80566 782 0 0 25 0 1 0 21566209 492814336 95880 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120316 95880 364 364 0 119952 0
[pid=9444] vsize: 481264
Current children cumulated CPU time (s) 813.48
Current children cumulated vsize (Kb) 481264

[startup+830.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 204748 0 0 0 81553 787 0 0 25 0 1 0 21566209 492949504 95908 4294967295 134512640 135987407 3221224560 3221223248 134811942 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120349 95908 364 364 0 119985 0
[pid=9444] vsize: 481396
Current children cumulated CPU time (s) 823.4
Current children cumulated vsize (Kb) 481396

[startup+840.044 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 206821 0 0 0 82543 795 0 0 25 0 1 0 21566209 492949504 95908 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120349 95908 364 364 0 119985 0
[pid=9444] vsize: 481396
Current children cumulated CPU time (s) 833.38
Current children cumulated vsize (Kb) 481396

[startup+850.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) T 9443 9444 4005 0 -1 0 206841 0 0 0 83529 799 0 0 25 0 1 0 21566209 493084672 95928 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120382 95928 364 364 0 120018 0
[pid=9444] vsize: 481528
Current children cumulated CPU time (s) 843.28
Current children cumulated vsize (Kb) 481528

[startup+860.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 206845 0 0 0 84512 804 0 0 25 0 1 0 21566209 493084672 95932 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120382 95932 364 364 0 120018 0
[pid=9444] vsize: 481528
Current children cumulated CPU time (s) 853.16
Current children cumulated vsize (Kb) 481528

[startup+870.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 206867 0 0 0 85500 808 0 0 25 0 1 0 21566209 493219840 95954 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120415 95954 364 364 0 120051 0
[pid=9444] vsize: 481660
Current children cumulated CPU time (s) 863.08
Current children cumulated vsize (Kb) 481660

[startup+880.046 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 208942 0 0 0 86483 817 0 0 25 0 1 0 21566209 493219840 95956 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 120415 95956 364 364 0 120051 0
[pid=9444] vsize: 481660
Current children cumulated CPU time (s) 873
Current children cumulated vsize (Kb) 481660

[startup+890.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 208947 0 0 0 87468 822 0 0 25 0 1 0 21566209 493219840 95961 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 120415 95961 364 364 0 120051 0
[pid=9444] vsize: 481660
Current children cumulated CPU time (s) 882.9
Current children cumulated vsize (Kb) 481660

[startup+900.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 211023 0 0 0 88456 829 0 0 25 0 1 0 21566209 493219840 95964 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120415 95964 364 364 0 120051 0
[pid=9444] vsize: 481660
Current children cumulated CPU time (s) 892.85
Current children cumulated vsize (Kb) 481660

[startup+910.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 211030 0 0 0 89439 834 0 0 25 0 1 0 21566209 493219840 95971 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120415 95971 364 364 0 120051 0
[pid=9444] vsize: 481660
Current children cumulated CPU time (s) 902.73
Current children cumulated vsize (Kb) 481660

[startup+920.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 211034 0 0 0 90421 840 0 0 25 0 1 0 21566209 493219840 95975 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120415 95975 364 364 0 120051 0
[pid=9444] vsize: 481660
Current children cumulated CPU time (s) 912.61
Current children cumulated vsize (Kb) 481660

[startup+930.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 213183 0 0 0 91407 849 0 0 25 0 1 0 21566209 493481984 95985 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 120479 95985 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 922.56
Current children cumulated vsize (Kb) 481916

[startup+940.05 s]
Raw data (loadavg): 1.08 1.01 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 213185 0 0 0 92391 854 0 0 25 0 1 0 21566209 493481984 95987 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 120479 95987 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 932.45
Current children cumulated vsize (Kb) 481916

[startup+950.051 s]
Raw data (loadavg): 1.07 1.01 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 213188 0 0 0 93377 860 0 0 25 0 1 0 21566209 493481984 95990 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 120479 95990 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (Kb) 481916

[startup+960.051 s]
Raw data (loadavg): 1.06 1.01 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 215263 0 0 0 94365 867 0 0 25 0 1 0 21566209 493481984 95992 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120479 95992 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 952.32
Current children cumulated vsize (Kb) 481916

[startup+970.052 s]
Raw data (loadavg): 1.05 1.01 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 215267 0 0 0 95351 872 0 0 25 0 1 0 21566209 493481984 95996 4294967295 134512640 135987407 3221224560 3221223124 134788428 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120479 95996 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 962.23
Current children cumulated vsize (Kb) 481916

[startup+980.052 s]
Raw data (loadavg): 1.04 1.01 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 215270 0 0 0 96333 877 0 0 25 0 1 0 21566209 493481984 95999 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120479 95999 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 972.1
Current children cumulated vsize (Kb) 481916

[startup+990.053 s]
Raw data (loadavg): 1.03 1.01 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 217344 0 0 0 97323 884 0 0 25 0 1 0 21566209 493481984 96000 4294967295 134512640 135987407 3221224560 3221223120 134788502 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 120479 96000 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 982.07
Current children cumulated vsize (Kb) 481916

[startup+1000.05 s]
Raw data (loadavg): 1.03 1.01 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 217345 0 0 0 98307 889 0 0 25 0 1 0 21566209 493481984 96001 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 120479 96001 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 991.96
Current children cumulated vsize (Kb) 481916

[startup+1010.05 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 217347 0 0 0 99288 895 0 0 25 0 1 0 21566209 493481984 96003 4294967295 134512640 135987407 3221224560 3221223248 134812169 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 120479 96003 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (Kb) 481916

[startup+1020.05 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 219421 0 0 0 100274 903 0 0 25 0 1 0 21566209 493481984 96004 4294967295 134512640 135987407 3221224560 3221223424 134812582 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120479 96004 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 1011.77
Current children cumulated vsize (Kb) 481916

[startup+1030.06 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 219423 0 0 0 101255 910 0 0 25 0 1 0 21566209 493481984 96006 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120479 96006 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 1021.65
Current children cumulated vsize (Kb) 481916

[startup+1040.06 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 221498 0 0 0 102241 918 0 0 25 0 1 0 21566209 501972992 98081 4294967295 134512640 135987407 3221224560 3221223024 134831717 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 122552 98081 364 364 0 122188 0
[pid=9444] vsize: 490208
Current children cumulated CPU time (s) 1031.59
Current children cumulated vsize (Kb) 490208

[startup+1050.06 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 221499 0 0 0 103223 924 0 0 25 0 1 0 21566209 493481984 96009 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 120479 96009 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 1041.47
Current children cumulated vsize (Kb) 481916

[startup+1060.06 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 221503 0 0 0 104208 928 0 0 25 0 1 0 21566209 493481984 96013 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 120479 96013 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 1051.36
Current children cumulated vsize (Kb) 481916

[startup+1070.06 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 221506 0 0 0 105191 933 0 0 25 0 1 0 21566209 493481984 96016 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 120479 96016 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 1061.24
Current children cumulated vsize (Kb) 481916

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 223582 0 0 0 106177 940 0 0 25 0 1 0 21566209 493481984 96019 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 120479 96019 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 1071.17
Current children cumulated vsize (Kb) 481916

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 223584 0 0 0 107157 947 0 0 25 0 1 0 21566209 493481984 96021 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120479 96021 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 1081.04
Current children cumulated vsize (Kb) 481916

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.97 1/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) T 9443 9444 4005 0 -1 0 223588 0 0 0 108137 955 0 0 25 0 1 0 21566209 493481984 96025 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120479 96025 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 1090.92
Current children cumulated vsize (Kb) 481916

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 225663 0 0 0 109122 962 0 0 25 0 1 0 21566209 493481984 96027 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120479 96027 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 1100.84
Current children cumulated vsize (Kb) 481916

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 225667 0 0 0 110103 970 0 0 25 0 1 0 21566209 493481984 96031 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120479 96031 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 1110.73
Current children cumulated vsize (Kb) 481916

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 227743 0 0 0 111090 978 0 0 25 0 1 0 21566209 493481984 96034 4294967295 134512640 135987407 3221224560 3221223376 134876845 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120479 96034 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 1120.68
Current children cumulated vsize (Kb) 481916

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 227745 0 0 0 112075 984 0 0 25 0 1 0 21566209 493481984 96036 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 120479 96036 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 1130.59
Current children cumulated vsize (Kb) 481916

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 228743 0 0 0 113059 990 0 0 25 0 1 0 21566209 501972992 97034 4294967295 134512640 135987407 3221224560 3221223152 134828101 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 122552 97034 364 364 0 122188 0
[pid=9444] vsize: 490208
Current children cumulated CPU time (s) 1140.49
Current children cumulated vsize (Kb) 490208

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 229825 0 0 0 114041 998 0 0 25 0 1 0 21566209 493481984 96043 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 120479 96043 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 1150.39
Current children cumulated vsize (Kb) 481916

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 229830 0 0 0 115022 1007 0 0 25 0 1 0 21566209 493481984 96048 4294967295 134512640 135987407 3221224560 3221223408 134789994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120479 96048 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 1160.29
Current children cumulated vsize (Kb) 481916

[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 231906 0 0 0 116007 1014 0 0 25 0 1 0 21566209 493481984 96051 4294967295 134512640 135987407 3221224560 3221223248 134811797 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120479 96051 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 1170.21
Current children cumulated vsize (Kb) 481916

[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 231911 0 0 0 116991 1020 0 0 25 0 1 0 21566209 493481984 96056 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120479 96056 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 1180.11
Current children cumulated vsize (Kb) 481916

[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 233987 0 0 0 117975 1029 0 0 25 0 1 0 21566209 493481984 96059 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9444/statm): 120479 96059 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 1190.04
Current children cumulated vsize (Kb) 481916

[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 233992 0 0 0 118957 1035 0 0 25 0 1 0 21566209 493481984 96064 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 120479 96064 364 364 0 120115 0
[pid=9444] vsize: 481916
Current children cumulated CPU time (s) 1199.92
Current children cumulated vsize (Kb) 481916

[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 236067 0 0 0 119944 1041 0 0 25 0 1 0 21566209 501972992 98139 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 122552 98139 364 364 0 122188 0
[pid=9444] vsize: 490208
Current children cumulated CPU time (s) 1209.85
Current children cumulated vsize (Kb) 490208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 9444
Raw data (/proc/9444/stat): 9444 (pb2sat) R 9443 9444 4005 0 -1 0 236067 0 0 0 119944 1041 0 0 25 0 1 0 21566209 501972992 98139 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9444/statm): 122552 98139 364 364 0 122188 0
[pid=9444] vsize: 490208
Current children cumulated CPU time (s) 1209.85
Current children cumulated vsize (Kb) 490208

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

Child status: 0
Real time (s): 1221.83
CPU time (s): 1211.61
CPU user time (s): 1201
CPU system time (s): 10.6144
CPU usage (%): 99.1634
Max. virtual memory (cumulated for all children) (Kb): 490208

Verifier Data

ERROR: no interpretation found !