Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dg012142.opb
MD5SUMd2a2dc4ff7a501b7efb12f8e274e186d
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 162974515200
Optimality of the best value was proved NO
Number of terms in the objective function 16640
Biggest coefficient in the objective function 5242880000
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1683190350400
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5242880000
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1683190350400
Number of bits of the biggest sum of numbers41
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1243.97
Number of variables29440
Total number of constraints6310
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6270
Minimum length of a constraint1
Maximum length of a constraint251

Trace number 10638

Launcher Data

LAUNCH ON wulflinc26 THE 2005-09-23 19:13:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9350 boxname=wulflinc26 idbench=1146 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  d2a2dc4ff7a501b7efb12f8e274e186d  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-dg012142.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-dg012142.opb
IDLAUNCH: 9350
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.055
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.055
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:        897932 kB
Buffers:         12496 kB
Cached:         106776 kB
SwapCached:          0 kB
Active:          52520 kB
Inactive:        69648 kB
HighTotal:      131008 kB
HighFree:        29288 kB
LowTotal:       903652 kB
LowFree:        868644 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8944 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 19:33:51 (client local time) WITH STATUS 0 IN 1211.01 SECONDS
stats: 9350 7 1211.01 0

Solver Data

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

c Decision: 50512/1712630	Time: 182.226/86400
c Decision: 50512/1712630	Time: 208.598/86400
c Decision: 50512/1712630	Time: 245.007/86400
c Decision: 50584/1712630	Time: 290.913/86400
c Decision: 50631/1712630	Time: 369.954/86400
c Decision: 50665/1712630	Time: 493.757/86400
c Decision: 50685/1712630	Time: 585.51/86400
c Decision: 50693/1712630	Time: 658.578/86400
c Decision: 50710/1712630	Time: 717.037/86400
c Decision: 50718/1712630	Time: 799.974/86400
c Decision: 50730/1712630	Time: 879.888/86400
c Decision: 50743/1712630	Time: 958.633/86400
c Decision: 50743/1712630	Time: 992.386/86400
c Decision: 50750/1712630	Time: 1070.82/86400
c Decision: 50753/1712630	Time: 1111.59/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/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22584090 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 373 2 364 364 0 9 0
[pid=10534] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-dg012142.opb

[startup+10.0016 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 14113 0 0 0 962 36 0 0 25 0 1 0 22584090 44179456 8481 4294967295 134512640 135987407 3221224560 3221186800 134887887 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 10786 8481 364 364 0 10422 0
[pid=10534] vsize: 43144
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 43144

[startup+20.0023 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 47220 0 0 0 1890 107 0 0 25 0 1 0 22584090 141336576 24868 4294967295 134512640 135987407 3221224560 3221221744 134635350 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 34506 24868 364 364 0 34142 0
[pid=10534] vsize: 138024
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 138024

[startup+30.003 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 75319 0 0 0 2819 174 0 0 25 0 1 0 22584090 224518144 43031 4294967295 134512640 135987407 3221224560 3221180744 134560082 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 54814 43031 364 364 0 54450 0
[pid=10534] vsize: 219256
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 219256

[startup+40.0037 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 101061 0 0 0 3757 236 0 0 25 0 1 0 22584090 312594432 56257 4294967295 134512640 135987407 3221224560 3221199664 134864231 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 76317 56257 364 364 0 75953 0
[pid=10534] vsize: 305268
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 305268

[startup+50.0044 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 120474 0 0 0 4705 286 0 0 25 0 1 0 22584090 465747968 75292 4294967295 134512640 135987407 3221224560 3221197324 135499992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 113708 75292 364 364 0 113344 0
[pid=10534] vsize: 454832
Current children cumulated CPU time (s) 49.91
Current children cumulated vsize (Kb) 454832

[startup+60.0051 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 182193 0 0 0 5572 415 0 0 25 0 1 0 22584090 546877440 92927 4294967295 134512640 135987407 3221224560 3221215740 135485061 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 133515 92927 364 364 0 133151 0
[pid=10534] vsize: 534060
Current children cumulated CPU time (s) 59.87
Current children cumulated vsize (Kb) 534060

[startup+70.0048 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 191371 0 0 0 6543 442 0 0 25 0 1 0 22584090 583946240 101946 4294967295 134512640 135987407 3221224560 3221221744 134536109 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 142565 101946 364 364 0 142201 0
[pid=10534] vsize: 570260
Current children cumulated CPU time (s) 69.85
Current children cumulated vsize (Kb) 570260

[startup+80.0065 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 202436 0 0 0 7514 470 0 0 25 0 1 0 22584090 587730944 112825 4294967295 134512640 135987407 3221224560 3221182560 134866047 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 143489 112825 364 364 0 143125 0
[pid=10534] vsize: 573956
Current children cumulated CPU time (s) 79.84
Current children cumulated vsize (Kb) 573956

[startup+90.0071 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 218514 0 0 0 8475 509 0 0 25 0 1 0 22584090 617979904 128748 4294967295 134512640 135987407 3221224560 3221223200 134831705 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 150874 128748 364 364 0 150510 0
[pid=10534] vsize: 603496
Current children cumulated CPU time (s) 89.84
Current children cumulated vsize (Kb) 603496

[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 222122 0 0 0 9408 537 0 0 25 0 1 0 22584090 618987520 128978 4294967295 134512640 135987407 3221224560 3221223248 134812163 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 151120 128978 364 364 0 150756 0
[pid=10534] vsize: 604480
Current children cumulated CPU time (s) 99.45
Current children cumulated vsize (Kb) 604480

[startup+110.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 223150 0 0 0 10367 551 0 0 25 0 1 0 22584090 623280128 130006 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 152168 130006 364 364 0 151804 0
[pid=10534] vsize: 608672
Current children cumulated CPU time (s) 109.18
Current children cumulated vsize (Kb) 608672

[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) T 10533 10534 4005 0 -1 0 223708 0 0 0 11319 568 0 0 25 0 1 0 22584090 625684480 130564 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10534/statm): 152755 130564 364 364 0 152391 0
[pid=10534] vsize: 611020
Current children cumulated CPU time (s) 118.87
Current children cumulated vsize (Kb) 611020

[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 224161 0 0 0 12245 592 0 0 25 0 1 0 22584090 627638272 131017 4294967295 134512640 135987407 3221224560 3221223088 134775168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 153232 131017 364 364 0 152868 0
[pid=10534] vsize: 612928
Current children cumulated CPU time (s) 128.37
Current children cumulated vsize (Kb) 612928

[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 224569 0 0 0 13208 604 0 0 25 0 1 0 22584090 629604352 131425 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 153712 131425 364 364 0 153348 0
[pid=10534] vsize: 614848
Current children cumulated CPU time (s) 138.12
Current children cumulated vsize (Kb) 614848

[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 225026 0 0 0 14194 608 0 0 25 0 1 0 22584090 631836672 131882 4294967295 134512640 135987407 3221224560 3221223424 134812787 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 154257 131882 364 364 0 153893 0
[pid=10534] vsize: 617028
Current children cumulated CPU time (s) 148.02
Current children cumulated vsize (Kb) 617028

[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 225314 0 0 0 15180 613 0 0 25 0 1 0 22584090 633421824 132170 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 154644 132170 364 364 0 154280 0
[pid=10534] vsize: 618576
Current children cumulated CPU time (s) 157.93
Current children cumulated vsize (Kb) 618576

[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 225430 0 0 0 16167 618 0 0 25 0 1 0 22584090 634011648 132286 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 154788 132286 364 364 0 154424 0
[pid=10534] vsize: 619152
Current children cumulated CPU time (s) 167.85
Current children cumulated vsize (Kb) 619152

[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 225577 0 0 0 17155 622 0 0 25 0 1 0 22584090 634474496 132400 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 154901 132400 364 364 0 154537 0
[pid=10534] vsize: 619604
Current children cumulated CPU time (s) 177.77
Current children cumulated vsize (Kb) 619604

[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 225603 0 0 0 18145 625 0 0 25 0 1 0 22584090 634671104 132426 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 154949 132426 364 364 0 154585 0
[pid=10534] vsize: 619796
Current children cumulated CPU time (s) 187.7
Current children cumulated vsize (Kb) 619796

[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 225705 0 0 0 19134 629 0 0 25 0 1 0 22584090 635002880 132528 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 155030 132528 364 364 0 154666 0
[pid=10534] vsize: 620120
Current children cumulated CPU time (s) 197.63
Current children cumulated vsize (Kb) 620120

[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) T 10533 10534 4005 0 -1 0 225834 0 0 0 20126 632 0 0 25 0 1 0 22584090 635604992 132657 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10534/statm): 155177 132657 364 364 0 154813 0
[pid=10534] vsize: 620708
Current children cumulated CPU time (s) 207.58
Current children cumulated vsize (Kb) 620708

[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 225924 0 0 0 21111 637 0 0 25 0 1 0 22584090 636133376 132747 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 155306 132747 364 364 0 154942 0
[pid=10534] vsize: 621224
Current children cumulated CPU time (s) 217.48
Current children cumulated vsize (Kb) 621224

[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 226191 0 0 0 22092 644 0 0 25 0 1 0 22584090 637706240 133014 4294967295 134512640 135987407 3221224560 3221223020 135481620 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 155690 133014 364 364 0 155326 0
[pid=10534] vsize: 622760
Current children cumulated CPU time (s) 227.36
Current children cumulated vsize (Kb) 622760

[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 226252 0 0 0 23076 648 0 0 25 0 1 0 22584090 637976576 133075 4294967295 134512640 135987407 3221224560 3221223300 135478131 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 155756 133075 364 364 0 155392 0
[pid=10534] vsize: 623024
Current children cumulated CPU time (s) 237.24
Current children cumulated vsize (Kb) 623024

[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 226527 0 0 0 24057 656 0 0 25 0 1 0 22584090 639291392 133350 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 156077 133350 364 364 0 155713 0
[pid=10534] vsize: 624308
Current children cumulated CPU time (s) 247.13
Current children cumulated vsize (Kb) 624308

[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 226607 0 0 0 25042 661 0 0 25 0 1 0 22584090 639488000 133430 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 156125 133430 364 364 0 155761 0
[pid=10534] vsize: 624500
Current children cumulated CPU time (s) 257.03
Current children cumulated vsize (Kb) 624500

[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 229952 0 0 0 26034 669 0 0 25 0 1 0 22584090 639488000 133430 4294967295 134512640 135987407 3221224560 3221223376 134876808 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 156125 133430 364 364 0 155761 0
[pid=10534] vsize: 624500
Current children cumulated CPU time (s) 267.03
Current children cumulated vsize (Kb) 624500

[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 230007 0 0 0 27026 671 0 0 25 0 1 0 22584090 639623168 133485 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 156158 133485 364 364 0 155794 0
[pid=10534] vsize: 624632
Current children cumulated CPU time (s) 276.97
Current children cumulated vsize (Kb) 624632

[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 230176 0 0 0 28013 676 0 0 25 0 1 0 22584090 640360448 133654 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 156338 133654 364 364 0 155974 0
[pid=10534] vsize: 625352
Current children cumulated CPU time (s) 286.89
Current children cumulated vsize (Kb) 625352

[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 233524 0 0 0 29000 686 0 0 25 0 1 0 22584090 640360448 133657 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 156338 133657 364 364 0 155974 0
[pid=10534] vsize: 625352
Current children cumulated CPU time (s) 296.86
Current children cumulated vsize (Kb) 625352

[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 233748 0 0 0 29986 690 0 0 25 0 1 0 22584090 641167360 133848 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 156535 133848 364 364 0 156171 0
[pid=10534] vsize: 626140
Current children cumulated CPU time (s) 306.76
Current children cumulated vsize (Kb) 626140

[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 233870 0 0 0 30961 700 0 0 25 0 1 0 22584090 641761280 133970 4294967295 134512640 135987407 3221224560 3221223308 134811686 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 156680 133970 364 364 0 156316 0
[pid=10534] vsize: 626720
Current children cumulated CPU time (s) 316.61
Current children cumulated vsize (Kb) 626720

[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 237270 0 0 0 31940 713 0 0 25 0 1 0 22584090 655794176 137370 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 160106 137370 364 364 0 159742 0
[pid=10534] vsize: 640424
Current children cumulated CPU time (s) 326.53
Current children cumulated vsize (Kb) 640424

[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 237302 0 0 0 32933 715 0 0 25 0 1 0 22584090 642093056 134057 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 156761 134057 364 364 0 156397 0
[pid=10534] vsize: 627044
Current children cumulated CPU time (s) 336.48
Current children cumulated vsize (Kb) 627044

[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 237348 0 0 0 33924 718 0 0 25 0 1 0 22584090 642228224 134103 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 156794 134103 364 364 0 156430 0
[pid=10534] vsize: 627176
Current children cumulated CPU time (s) 346.42
Current children cumulated vsize (Kb) 627176

[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 237399 0 0 0 34914 722 0 0 25 0 1 0 22584090 642424832 134154 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 156842 134154 364 364 0 156478 0
[pid=10534] vsize: 627368
Current children cumulated CPU time (s) 356.36
Current children cumulated vsize (Kb) 627368

[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 237457 0 0 0 35897 728 0 0 25 0 1 0 22584090 642695168 134212 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 156908 134212 364 364 0 156544 0
[pid=10534] vsize: 627632
Current children cumulated CPU time (s) 366.25
Current children cumulated vsize (Kb) 627632

[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 240814 0 0 0 36883 739 0 0 25 0 1 0 22584090 642891776 134224 4294967295 134512640 135987407 3221224560 3221223200 134789622 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 156956 134224 364 364 0 156592 0
[pid=10534] vsize: 627824
Current children cumulated CPU time (s) 376.22
Current children cumulated vsize (Kb) 627824

[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) T 10533 10534 4005 0 -1 0 240843 0 0 0 37870 744 0 0 25 0 1 0 22584090 642891776 134253 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10534/statm): 156956 134253 364 364 0 156592 0
[pid=10534] vsize: 627824
Current children cumulated CPU time (s) 386.14
Current children cumulated vsize (Kb) 627824

[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 240951 0 0 0 38859 747 0 0 25 0 1 0 22584090 643358720 134361 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 157070 134361 364 364 0 156706 0
[pid=10534] vsize: 628280
Current children cumulated CPU time (s) 396.06
Current children cumulated vsize (Kb) 628280

[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 241025 0 0 0 39847 751 0 0 25 0 1 0 22584090 643629056 134435 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 157136 134435 364 364 0 156772 0
[pid=10534] vsize: 628544
Current children cumulated CPU time (s) 405.98
Current children cumulated vsize (Kb) 628544

[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 241171 0 0 0 40834 756 0 0 25 0 1 0 22584090 644440064 134581 4294967295 134512640 135987407 3221224560 3221223148 135500004 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 157334 134581 364 364 0 156970 0
[pid=10534] vsize: 629336
Current children cumulated CPU time (s) 415.9
Current children cumulated vsize (Kb) 629336

[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 241287 0 0 0 41820 761 0 0 25 0 1 0 22584090 644980736 134697 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 157466 134697 364 364 0 157102 0
[pid=10534] vsize: 629864
Current children cumulated CPU time (s) 425.81
Current children cumulated vsize (Kb) 629864

[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 241392 0 0 0 42808 765 0 0 25 0 1 0 22584090 645246976 134769 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 157531 134769 364 364 0 157167 0
[pid=10534] vsize: 630124
Current children cumulated CPU time (s) 435.73
Current children cumulated vsize (Kb) 630124

[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 241445 0 0 0 43794 770 0 0 25 0 1 0 22584090 645382144 134822 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 157564 134822 364 364 0 157200 0
[pid=10534] vsize: 630256
Current children cumulated CPU time (s) 445.64
Current children cumulated vsize (Kb) 630256

[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 244834 0 0 0 44780 781 0 0 25 0 1 0 22584090 645652480 134866 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 157630 134866 364 364 0 157266 0
[pid=10534] vsize: 630520
Current children cumulated CPU time (s) 455.61
Current children cumulated vsize (Kb) 630520

[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 244856 0 0 0 45759 789 0 0 25 0 1 0 22584090 645652480 134888 4294967295 134512640 135987407 3221224560 3221223248 134812033 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 157630 134888 364 364 0 157266 0
[pid=10534] vsize: 630520
Current children cumulated CPU time (s) 465.48
Current children cumulated vsize (Kb) 630520

[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 245092 0 0 0 46699 811 0 0 25 0 1 0 22584090 646848512 135124 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 157922 135124 364 364 0 157558 0
[pid=10534] vsize: 631688
Current children cumulated CPU time (s) 475.1
Current children cumulated vsize (Kb) 631688

[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 245195 0 0 0 47677 818 0 0 25 0 1 0 22584090 647254016 135227 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 158021 135227 364 364 0 157657 0
[pid=10534] vsize: 632084
Current children cumulated CPU time (s) 484.95
Current children cumulated vsize (Kb) 632084

[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 245239 0 0 0 48659 824 0 0 25 0 1 0 22584090 647401472 135271 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 158057 135271 364 364 0 157693 0
[pid=10534] vsize: 632228
Current children cumulated CPU time (s) 494.83
Current children cumulated vsize (Kb) 632228

[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 245360 0 0 0 49645 827 0 0 25 0 1 0 22584090 647864320 135359 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 158170 135359 364 364 0 157806 0
[pid=10534] vsize: 632680
Current children cumulated CPU time (s) 504.72
Current children cumulated vsize (Kb) 632680

[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 245405 0 0 0 50631 832 0 0 25 0 1 0 22584090 647999488 135404 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 158203 135404 364 364 0 157839 0
[pid=10534] vsize: 632812
Current children cumulated CPU time (s) 514.63
Current children cumulated vsize (Kb) 632812

[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 245481 0 0 0 51622 835 0 0 25 0 1 0 22584090 648404992 135480 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 158302 135480 364 364 0 157938 0
[pid=10534] vsize: 633208
Current children cumulated CPU time (s) 524.57
Current children cumulated vsize (Kb) 633208

[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) T 10533 10534 4005 0 -1 0 245531 0 0 0 52602 843 0 0 25 0 1 0 22584090 648675328 135530 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434789 0 0 17 1 0 0
Raw data (/proc/10534/statm): 158368 135530 364 364 0 158004 0
[pid=10534] vsize: 633472
Current children cumulated CPU time (s) 534.45
Current children cumulated vsize (Kb) 633472

[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 245568 0 0 0 53592 846 0 0 25 0 1 0 22584090 648810496 135567 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 158401 135567 364 364 0 158037 0
[pid=10534] vsize: 633604
Current children cumulated CPU time (s) 544.38
Current children cumulated vsize (Kb) 633604

[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 245613 0 0 0 54573 853 0 0 25 0 1 0 22584090 648945664 135612 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 158434 135612 364 364 0 158070 0
[pid=10534] vsize: 633736
Current children cumulated CPU time (s) 554.26
Current children cumulated vsize (Kb) 633736

[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 245687 0 0 0 55556 858 0 0 25 0 1 0 22584090 649351168 135686 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 158533 135686 364 364 0 158169 0
[pid=10534] vsize: 634132
Current children cumulated CPU time (s) 564.14
Current children cumulated vsize (Kb) 634132

[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 249062 0 0 0 56543 868 0 0 25 0 1 0 22584090 649515008 135716 4294967295 134512640 135987407 3221224560 3221223376 134876924 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 158573 135716 364 364 0 158209 0
[pid=10534] vsize: 634292
Current children cumulated CPU time (s) 574.11
Current children cumulated vsize (Kb) 634292

[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 249080 0 0 0 57534 871 0 0 25 0 1 0 22584090 649650176 135734 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 158606 135734 364 364 0 158242 0
[pid=10534] vsize: 634424
Current children cumulated CPU time (s) 584.05
Current children cumulated vsize (Kb) 634424

[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) T 10533 10534 4005 0 -1 0 249109 0 0 0 58517 877 0 0 25 0 1 0 22584090 649785344 135763 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10534/statm): 158639 135763 364 364 0 158275 0
[pid=10534] vsize: 634556
Current children cumulated CPU time (s) 593.94
Current children cumulated vsize (Kb) 634556

[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 249213 0 0 0 59499 883 0 0 25 0 1 0 22584090 650387456 135867 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 158786 135867 364 364 0 158422 0
[pid=10534] vsize: 635144
Current children cumulated CPU time (s) 603.82
Current children cumulated vsize (Kb) 635144

[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 249217 0 0 0 60485 889 0 0 25 0 1 0 22584090 650387456 135871 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 158786 135871 364 364 0 158422 0
[pid=10534] vsize: 635144
Current children cumulated CPU time (s) 613.74
Current children cumulated vsize (Kb) 635144

[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 249240 0 0 0 61475 892 0 0 25 0 1 0 22584090 650522624 135894 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 158819 135894 364 364 0 158455 0
[pid=10534] vsize: 635276
Current children cumulated CPU time (s) 623.67
Current children cumulated vsize (Kb) 635276

[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 249342 0 0 0 62470 895 0 0 25 0 1 0 22584090 651055104 135996 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 158949 135996 364 364 0 158585 0
[pid=10534] vsize: 635796
Current children cumulated CPU time (s) 633.65
Current children cumulated vsize (Kb) 635796

[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 249380 0 0 0 63456 900 0 0 25 0 1 0 22584090 651190272 136034 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 158982 136034 364 364 0 158618 0
[pid=10534] vsize: 635928
Current children cumulated CPU time (s) 643.56
Current children cumulated vsize (Kb) 635928

[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 249396 0 0 0 64446 902 0 0 25 0 1 0 22584090 651190272 136050 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 158982 136050 364 364 0 158618 0
[pid=10534] vsize: 635928
Current children cumulated CPU time (s) 653.48
Current children cumulated vsize (Kb) 635928

[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 249446 0 0 0 65437 907 0 0 25 0 1 0 22584090 651325440 136100 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 159015 136100 364 364 0 158651 0
[pid=10534] vsize: 636060
Current children cumulated CPU time (s) 663.44
Current children cumulated vsize (Kb) 636060

[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 252802 0 0 0 66425 917 0 0 25 0 1 0 22584090 651325440 136111 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 159015 136111 364 364 0 158651 0
[pid=10534] vsize: 636060
Current children cumulated CPU time (s) 673.42
Current children cumulated vsize (Kb) 636060

[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 252836 0 0 0 67414 921 0 0 25 0 1 0 22584090 651460608 136145 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 159048 136145 364 364 0 158684 0
[pid=10534] vsize: 636192
Current children cumulated CPU time (s) 683.35
Current children cumulated vsize (Kb) 636192

[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 252911 0 0 0 68398 926 0 0 25 0 1 0 22584090 651821056 136220 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 159136 136220 364 364 0 158772 0
[pid=10534] vsize: 636544
Current children cumulated CPU time (s) 693.24
Current children cumulated vsize (Kb) 636544

[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 253017 0 0 0 69376 935 0 0 25 0 1 0 22584090 652349440 136326 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 159265 136326 364 364 0 158901 0
[pid=10534] vsize: 637060
Current children cumulated CPU time (s) 703.11
Current children cumulated vsize (Kb) 637060

[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 253189 0 0 0 70356 942 0 0 25 0 1 0 22584090 653017088 136432 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 159428 136432 364 364 0 159064 0
[pid=10534] vsize: 637712
Current children cumulated CPU time (s) 712.98
Current children cumulated vsize (Kb) 637712

[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 253198 0 0 0 71338 948 0 0 25 0 1 0 22584090 653017088 136441 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 159428 136441 364 364 0 159064 0
[pid=10534] vsize: 637712
Current children cumulated CPU time (s) 722.86
Current children cumulated vsize (Kb) 637712

[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 253216 0 0 0 72326 952 0 0 25 0 1 0 22584090 653017088 136459 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 159428 136459 364 364 0 159064 0
[pid=10534] vsize: 637712
Current children cumulated CPU time (s) 732.78
Current children cumulated vsize (Kb) 637712

[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 256567 0 0 0 73313 962 0 0 25 0 1 0 22584090 666718208 139810 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 162773 139810 364 364 0 162409 0
[pid=10534] vsize: 651092
Current children cumulated CPU time (s) 742.75
Current children cumulated vsize (Kb) 651092

[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 256574 0 0 0 74295 968 0 0 25 0 1 0 22584090 653017088 136472 4294967295 134512640 135987407 3221224560 3221223132 134801609 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 159428 136472 364 364 0 159064 0
[pid=10534] vsize: 637712
Current children cumulated CPU time (s) 752.63
Current children cumulated vsize (Kb) 637712

[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 256608 0 0 0 75281 972 0 0 25 0 1 0 22584090 653152256 136506 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 159461 136506 364 364 0 159097 0
[pid=10534] vsize: 637844
Current children cumulated CPU time (s) 762.53
Current children cumulated vsize (Kb) 637844

[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 256686 0 0 0 76269 976 0 0 25 0 1 0 22584090 653418496 136551 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 159526 136551 364 364 0 159162 0
[pid=10534] vsize: 638104
Current children cumulated CPU time (s) 772.45
Current children cumulated vsize (Kb) 638104

[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 256942 0 0 0 77257 980 0 0 25 0 1 0 22584090 654352384 136708 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 159754 136708 364 364 0 159390 0
[pid=10534] vsize: 639016
Current children cumulated CPU time (s) 782.37
Current children cumulated vsize (Kb) 639016

[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 257092 0 0 0 78238 987 0 0 25 0 1 0 22584090 655024128 136825 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 159918 136825 364 364 0 159554 0
[pid=10534] vsize: 639672
Current children cumulated CPU time (s) 792.25
Current children cumulated vsize (Kb) 639672

[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 260443 0 0 0 79225 997 0 0 25 0 1 0 22584090 655024128 136831 4294967295 134512640 135987407 3221224560 3221223200 134789622 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 159918 136831 364 364 0 159554 0
[pid=10534] vsize: 639672
Current children cumulated CPU time (s) 802.22
Current children cumulated vsize (Kb) 639672

[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 260452 0 0 0 80209 1002 0 0 25 0 1 0 22584090 655024128 136840 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 159918 136840 364 364 0 159554 0
[pid=10534] vsize: 639672
Current children cumulated CPU time (s) 812.11
Current children cumulated vsize (Kb) 639672

[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 260484 0 0 0 81190 1009 0 0 25 0 1 0 22584090 655159296 136872 4294967295 134512640 135987407 3221224560 3221223408 134790002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 159951 136872 364 364 0 159587 0
[pid=10534] vsize: 639804
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (Kb) 639804

[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) T 10533 10534 4005 0 -1 0 260517 0 0 0 82172 1015 0 0 25 0 1 0 22584090 655294464 136905 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10534/statm): 159984 136905 364 364 0 159620 0
[pid=10534] vsize: 639936
Current children cumulated CPU time (s) 831.87
Current children cumulated vsize (Kb) 639936

[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 260567 0 0 0 83151 1022 0 0 25 0 1 0 22584090 655564800 136955 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 160050 136955 364 364 0 159686 0
[pid=10534] vsize: 640200
Current children cumulated CPU time (s) 841.73
Current children cumulated vsize (Kb) 640200

[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 260575 0 0 0 84131 1027 0 0 25 0 1 0 22584090 655564800 136963 4294967295 134512640 135987407 3221224560 3221223248 134811940 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 160050 136963 364 364 0 159686 0
[pid=10534] vsize: 640200
Current children cumulated CPU time (s) 851.58
Current children cumulated vsize (Kb) 640200

[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 260630 0 0 0 85119 1031 0 0 25 0 1 0 22584090 655695872 136985 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 160082 136985 364 364 0 159718 0
[pid=10534] vsize: 640328
Current children cumulated CPU time (s) 861.5
Current children cumulated vsize (Kb) 640328

[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 260666 0 0 0 86106 1036 0 0 25 0 1 0 22584090 655831040 137021 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 160115 137021 364 364 0 159751 0
[pid=10534] vsize: 640460
Current children cumulated CPU time (s) 871.42
Current children cumulated vsize (Kb) 640460

[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 264110 0 0 0 87084 1050 0 0 25 0 1 0 22584090 670072832 140465 4294967295 134512640 135987407 3221224560 3221222976 134827609 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 163592 140465 364 364 0 163228 0
[pid=10534] vsize: 654368
Current children cumulated CPU time (s) 881.34
Current children cumulated vsize (Kb) 654368

[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 264117 0 0 0 88076 1053 0 0 25 0 1 0 22584090 656371712 137127 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 160247 137127 364 364 0 159883 0
[pid=10534] vsize: 640988
Current children cumulated CPU time (s) 891.29
Current children cumulated vsize (Kb) 640988

[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 264137 0 0 0 89064 1058 0 0 25 0 1 0 22584090 656371712 137147 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 160247 137147 364 364 0 159883 0
[pid=10534] vsize: 640988
Current children cumulated CPU time (s) 901.22
Current children cumulated vsize (Kb) 640988

[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 264157 0 0 0 90051 1062 0 0 25 0 1 0 22584090 656371712 137167 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 160247 137167 364 364 0 159883 0
[pid=10534] vsize: 640988
Current children cumulated CPU time (s) 911.13
Current children cumulated vsize (Kb) 640988

[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 264223 0 0 0 91034 1069 0 0 25 0 1 0 22584090 656642048 137233 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 160313 137233 364 364 0 159949 0
[pid=10534] vsize: 641252
Current children cumulated CPU time (s) 921.03
Current children cumulated vsize (Kb) 641252

[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 264240 0 0 0 92017 1075 0 0 25 0 1 0 22584090 656642048 137250 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 160313 137250 364 364 0 159949 0
[pid=10534] vsize: 641252
Current children cumulated CPU time (s) 930.92
Current children cumulated vsize (Kb) 641252

[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 264289 0 0 0 92998 1082 0 0 25 0 1 0 22584090 656912384 137299 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 160379 137299 364 364 0 160015 0
[pid=10534] vsize: 641516
Current children cumulated CPU time (s) 940.8
Current children cumulated vsize (Kb) 641516

[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 264331 0 0 0 93980 1088 0 0 25 0 1 0 22584090 657047552 137341 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 160412 137341 364 364 0 160048 0
[pid=10534] vsize: 641648
Current children cumulated CPU time (s) 950.68
Current children cumulated vsize (Kb) 641648

[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 267677 0 0 0 94969 1097 0 0 25 0 1 0 22584090 657047552 137342 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 160412 137342 364 364 0 160048 0
[pid=10534] vsize: 641648
Current children cumulated CPU time (s) 960.66
Current children cumulated vsize (Kb) 641648

[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 267680 0 0 0 95964 1099 0 0 25 0 1 0 22584090 657047552 137345 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 160412 137345 364 364 0 160048 0
[pid=10534] vsize: 641648
Current children cumulated CPU time (s) 970.63
Current children cumulated vsize (Kb) 641648

[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 267748 0 0 0 96953 1104 0 0 25 0 1 0 22584090 657317888 137413 4294967295 134512640 135987407 3221224560 3221223408 134790064 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 160478 137413 364 364 0 160114 0
[pid=10534] vsize: 641912
Current children cumulated CPU time (s) 980.57
Current children cumulated vsize (Kb) 641912

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 267806 0 0 0 97940 1108 0 0 25 0 1 0 22584090 657448960 137438 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 160510 137438 364 364 0 160146 0
[pid=10534] vsize: 642040
Current children cumulated CPU time (s) 990.48
Current children cumulated vsize (Kb) 642040

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 267816 0 0 0 98931 1111 0 0 25 0 1 0 22584090 657448960 137448 4294967295 134512640 135987407 3221224560 3221223344 134812343 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 160510 137448 364 364 0 160146 0
[pid=10534] vsize: 642040
Current children cumulated CPU time (s) 1000.42
Current children cumulated vsize (Kb) 642040

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 267876 0 0 0 99916 1117 0 0 25 0 1 0 22584090 657719296 137508 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 160576 137508 364 364 0 160212 0
[pid=10534] vsize: 642304
Current children cumulated CPU time (s) 1010.33
Current children cumulated vsize (Kb) 642304

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 267885 0 0 0 100898 1124 0 0 25 0 1 0 22584090 657719296 137517 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 160576 137517 364 364 0 160212 0
[pid=10534] vsize: 642304
Current children cumulated CPU time (s) 1020.22
Current children cumulated vsize (Kb) 642304

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 267888 0 0 0 101886 1129 0 0 25 0 1 0 22584090 657719296 137520 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 160576 137520 364 364 0 160212 0
[pid=10534] vsize: 642304
Current children cumulated CPU time (s) 1030.15
Current children cumulated vsize (Kb) 642304

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 271234 0 0 0 102865 1140 0 0 25 0 1 0 22584090 671420416 140866 4294967295 134512640 135987407 3221224560 3221222932 134829288 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 163921 140866 364 364 0 163557 0
[pid=10534] vsize: 655684
Current children cumulated CPU time (s) 1040.05
Current children cumulated vsize (Kb) 655684

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 271241 0 0 0 103856 1144 0 0 25 0 1 0 22584090 657719296 137528 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 160576 137528 364 364 0 160212 0
[pid=10534] vsize: 642304
Current children cumulated CPU time (s) 1050
Current children cumulated vsize (Kb) 642304

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 271248 0 0 0 104841 1148 0 0 25 0 1 0 22584090 657719296 137535 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 160576 137535 364 364 0 160212 0
[pid=10534] vsize: 642304
Current children cumulated CPU time (s) 1059.89
Current children cumulated vsize (Kb) 642304

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 271274 0 0 0 105829 1152 0 0 25 0 1 0 22584090 657719296 137561 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10534/statm): 160576 137561 364 364 0 160212 0
[pid=10534] vsize: 642304
Current children cumulated CPU time (s) 1069.81
Current children cumulated vsize (Kb) 642304

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) T 10533 10534 4005 0 -1 0 274627 0 0 0 106818 1162 0 0 25 0 1 0 22584090 657719296 137569 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10534/statm): 160576 137569 364 364 0 160212 0
[pid=10534] vsize: 642304
Current children cumulated CPU time (s) 1079.8
Current children cumulated vsize (Kb) 642304

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 274645 0 0 0 107808 1165 0 0 25 0 1 0 22584090 657719296 137587 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 160576 137587 364 364 0 160212 0
[pid=10534] vsize: 642304
Current children cumulated CPU time (s) 1089.73
Current children cumulated vsize (Kb) 642304

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 274801 0 0 0 108791 1171 0 0 25 0 1 0 22584090 658665472 137743 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 160807 137743 364 364 0 160443 0
[pid=10534] vsize: 643228
Current children cumulated CPU time (s) 1099.62
Current children cumulated vsize (Kb) 643228

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 274848 0 0 0 109773 1177 0 0 25 0 1 0 22584090 658796544 137757 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 160839 137757 364 364 0 160475 0
[pid=10534] vsize: 643356
Current children cumulated CPU time (s) 1109.5
Current children cumulated vsize (Kb) 643356

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 274871 0 0 0 110759 1182 0 0 25 0 1 0 22584090 658796544 137780 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 160839 137780 364 364 0 160475 0
[pid=10534] vsize: 643356
Current children cumulated CPU time (s) 1119.41
Current children cumulated vsize (Kb) 643356

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 274887 0 0 0 111748 1186 0 0 25 0 1 0 22584090 658796544 137796 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 160839 137796 364 364 0 160475 0
[pid=10534] vsize: 643356
Current children cumulated CPU time (s) 1129.34
Current children cumulated vsize (Kb) 643356

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 274963 0 0 0 112737 1190 0 0 25 0 1 0 22584090 659062784 137839 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 160904 137839 364 364 0 160540 0
[pid=10534] vsize: 643616
Current children cumulated CPU time (s) 1139.27
Current children cumulated vsize (Kb) 643616

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 274986 0 0 0 113724 1195 0 0 25 0 1 0 22584090 659197952 137862 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 160937 137862 364 364 0 160573 0
[pid=10534] vsize: 643748
Current children cumulated CPU time (s) 1149.19
Current children cumulated vsize (Kb) 643748

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 278343 0 0 0 114706 1207 0 0 25 0 1 0 22584090 659197952 137874 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 160937 137874 364 364 0 160573 0
[pid=10534] vsize: 643748
Current children cumulated CPU time (s) 1159.13
Current children cumulated vsize (Kb) 643748

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 278432 0 0 0 115696 1210 0 0 25 0 1 0 22584090 659468288 137963 4294967295 134512640 135987407 3221224560 3221223344 134812377 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 161003 137963 364 364 0 160639 0
[pid=10534] vsize: 644012
Current children cumulated CPU time (s) 1169.06
Current children cumulated vsize (Kb) 644012

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 278611 0 0 0 116686 1215 0 0 25 0 1 0 22584090 659996672 138043 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 161132 138043 364 364 0 160768 0
[pid=10534] vsize: 644528
Current children cumulated CPU time (s) 1179.01
Current children cumulated vsize (Kb) 644528

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 278631 0 0 0 117675 1218 0 0 25 0 1 0 22584090 659996672 138063 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 161132 138063 364 364 0 160768 0
[pid=10534] vsize: 644528
Current children cumulated CPU time (s) 1188.93
Current children cumulated vsize (Kb) 644528

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 281984 0 0 0 118666 1226 0 0 25 0 1 0 22584090 659996672 138071 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 161132 138071 364 364 0 160768 0
[pid=10534] vsize: 644528
Current children cumulated CPU time (s) 1198.92
Current children cumulated vsize (Kb) 644528

[startup+1220.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 282010 0 0 0 119656 1230 0 0 25 0 1 0 22584090 659996672 138097 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 161132 138097 364 364 0 160768 0
[pid=10534] vsize: 644528
Current children cumulated CPU time (s) 1208.86
Current children cumulated vsize (Kb) 644528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10534
Raw data (/proc/10534/stat): 10534 (pb2sat) R 10533 10534 4005 0 -1 0 282010 0 0 0 119656 1230 0 0 25 0 1 0 22584090 659996672 138097 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10534/statm): 161132 138097 364 364 0 160768 0
[pid=10534] vsize: 644528
Current children cumulated CPU time (s) 1208.86
Current children cumulated vsize (Kb) 644528

Sending SIGTERM to -10534
Sleeping 2 seconds
Sending SIGKILL to -10534
One traced child (pid=10534) 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): 1222.2
CPU time (s): 1211.01
CPU user time (s): 1198.43
CPU system time (s): 12.5801
CPU usage (%): 99.0849
Max. virtual memory (cumulated for all children) (Kb): 655684

Verifier Data

ERROR: no interpretation found !