Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-timtab2.opb
MD5SUMe4125be387acbcc645dccab0e301ae8f
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26489527399990808
Optimality of the best value was proved NO
Number of terms in the objective function 3027
Biggest coefficient in the objective function 450560000000000
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 60439117299975427
Number of bits of the sum of numbers in the objective function 56
Biggest number in a constraint 450560000000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 60439117299975427
Number of bits of the biggest sum of numbers56
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1196.24
Number of variables5220
Total number of constraints952
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)113
Number of constraints which are nor clauses,nor cardinality constraints839
Minimum length of a constraint1
Maximum length of a constraint114

Trace number 10492

Launcher Data

LAUNCH ON wulflinc32 THE 2005-09-23 18:19:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9192 boxname=wulflinc32 idbench=988 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  e4125be387acbcc645dccab0e301ae8f  /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-13-7-timtab2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-13-7-timtab2.opb
IDLAUNCH: 9192
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.145
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.145
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:      1034724 kB
MemFree:        919308 kB
Buffers:         15656 kB
Cached:          79884 kB
SwapCached:          0 kB
Active:          42464 kB
Inactive:        55996 kB
HighTotal:      131072 kB
HighFree:        46720 kB
LowTotal:       903652 kB
LowFree:        872588 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6988 kB
Slab:            11328 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 18:39:25 (client local time) WITH STATUS 0 IN 1200.93 SECONDS
stats: 9192 7 1200.93 0

Solver Data

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

c Decision: 2516/198951	Time: 20.1139/86400
c Decision: 2533/198951	Time: 33.5429/86400
c Decision: 2539/198951	Time: 51.3672/86400
c Decision: 2539/198951	Time: 62.0616/86400
c Decision: 2539/198951	Time: 73.0619/86400
c Decision: 2539/198951	Time: 84.5072/86400
c Decision: 2539/198951	Time: 95.2435/86400
c Decision: 2539/198951	Time: 106.81/86400
c Decision: 2539/198951	Time: 116.081/86400
c Decision: 2539/198951	Time: 125.736/86400
c Decision: 2549/198951	Time: 139.992/86400
c Decision: 2549/198951	Time: 151.633/86400
c Decision: 2549/198951	Time: 163.572/86400
c Decision: 2549/198951	Time: 173.505/86400
c Decision: 2549/198951	Time: 184.475/86400
c Decision: 2556/198951	Time: 196.815/86400
c Decision: 2575/198951	Time: 208.723/86400
c Decision: 2598/198951	Time: 228.976/86400
c Decision: 2611/198951	Time: 256.854/86400
c Decision: 2611/198951	Time: 266.468/86400
c Decision: 2611/198951	Time: 278.736/86400
c Decision: 2614/198951	Time: 301.676/86400
c Decision: 2614/198951	Time: 314.089/86400
c Decision: 2614/198951	Time: 325.408/86400
c Decision: 2614/198951	Time: 334.588/86400
c Decision: 2614/198951	Time: 345.983/86400
c Decision: 2615/198951	Time: 359.835/86400
c Decision: 2615/198951	Time: 371.468/86400
c Decision: 2615/198951	Time: 385.051/86400
c Decision: 2616/198951	Time: 402.2/86400
c Decision: 2620/198951	Time: 424.538/86400
c Decision: 2629/198951	Time: 452.037/86400
c Decision: 2642/198951	Time: 482.132/86400
c Decision: 2642/198951	Time: 493.873/86400
c Decision: 2665/198951	Time: 521.711/86400
c Decision: 2665/198951	Time: 535.857/86400
c Decision: 2666/198951	Time: 550.25/86400
c Decision: 2666/198951	Time: 562.047/86400
c Decision: 2685/198951	Time: 594.622/86400
c Decision: 2701/198951	Time: 621.301/86400
c Decision: 2701/198951	Time: 635.996/86400
c Decision: 2705/198951	Time: 649.967/86400
c Decision: 2705/198951	Time: 662.121/86400
c Decision: 2709/198951	Time: 677.132/86400
c Decision: 2709/198951	Time: 688.727/86400
c Decision: 2713/198951	Time: 712.604/86400
c Decision: 2713/198951	Time: 726.417/86400
c Decision: 2713/198951	Time: 737.631/86400
c Decision: 2713/198951	Time: 751.597/86400
c Decision: 2722/198951	Time: 774.379/86400
c Decision: 2723/198951	Time: 793.594/86400
c Decision: 2727/198951	Time: 811.049/86400
c Decision: 2727/198951	Time: 817.003/86400
c Decision: 2727/198951	Time: 828.038/86400
c Decision: 2727/198951	Time: 840.133/86400
c Decision: 2727/198951	Time: 853.694/86400
c Decision: 2727/198951	Time: 866.639/86400
c Decision: 2727/198951	Time: 879.496/86400
c Decision: 2727/198951	Time: 892.574/86400
c Decision: 2727/198951	Time: 904.244/86400
c Decision: 2727/198951	Time: 919.633/86400
c Decision: 2727/198951	Time: 933.258/86400
c Decision: 2728/198951	Time: 951.172/86400
c Decision: 2730/198951	Time: 971.334/86400
c Decision: 2730/198951	Time: 984.094/86400
c Decision: 2730/198951	Time: 998.669/86400
c Decision: 2730/198951	Time: 1011.67/86400
c Decision: 2732/198951	Time: 1038.3/86400
c Decision: 2732/198951	Time: 1051.81/86400
c Decision: 2732/198951	Time: 1063.44/86400
c Decision: 2732/198951	Time: 1078.98/86400
c Decision: 2732/198951	Time: 1090.35/86400
c Decision: 2739/198951	Time: 1106.43/86400
c Decision: 2739/198951	Time: 1123.26/86400
c Decision: 2742/198951	Time: 1143.54/86400
c Decision: 2742/198951	Time: 1160.89/86400
c Decision: 2742/198951	Time: 1177.16/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/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22251891 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9544/statm): 373 2 364 364 0 9 0
[pid=9544] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc32/normalized-mps-v2-13-7-timtab2.opb

[startup+10.0017 s]
Raw data (loadavg): 0.88 0.93 0.94 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 26632 0 0 0 931 64 0 0 25 0 1 0 22251891 82538496 15119 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9544/statm): 20151 15119 364 364 0 19787 0
[pid=9544] vsize: 80604
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 80604

[startup+20.0035 s]
Raw data (loadavg): 0.89 0.94 0.94 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 27342 0 0 0 1904 74 0 0 25 0 1 0 22251891 85725184 15829 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 20929 15829 364 364 0 20565 0
[pid=9544] vsize: 83716
Current children cumulated CPU time (s) 19.78
Current children cumulated vsize (Kb) 83716

[startup+30.0042 s]
Raw data (loadavg): 0.91 0.94 0.94 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 27955 0 0 0 2880 82 0 0 25 0 1 0 22251891 86839296 16053 4294967295 134512640 135987407 3221224560 3221223248 134811990 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9544/statm): 21201 16053 364 364 0 20837 0
[pid=9544] vsize: 84804
Current children cumulated CPU time (s) 29.62
Current children cumulated vsize (Kb) 84804

[startup+40.004 s]
Raw data (loadavg): 0.92 0.94 0.94 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 28080 0 0 0 3845 93 0 0 25 0 1 0 22251891 87363584 16178 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 21329 16178 364 364 0 20965 0
[pid=9544] vsize: 85316
Current children cumulated CPU time (s) 39.38
Current children cumulated vsize (Kb) 85316

[startup+50.0048 s]
Raw data (loadavg): 0.93 0.94 0.94 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 28581 0 0 0 4819 103 0 0 25 0 1 0 22251891 87887872 16290 4294967295 134512640 135987407 3221224560 3221223136 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 21457 16290 364 364 0 21093 0
[pid=9544] vsize: 85828
Current children cumulated CPU time (s) 49.22
Current children cumulated vsize (Kb) 85828

[startup+60.0055 s]
Raw data (loadavg): 0.94 0.94 0.94 1/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) T 9543 9544 4005 0 -1 0 28666 0 0 0 5793 111 0 0 25 0 1 0 22251891 88281088 16375 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9544/statm): 21553 16375 364 364 0 21189 0
[pid=9544] vsize: 86212
Current children cumulated CPU time (s) 59.04
Current children cumulated vsize (Kb) 86212

[startup+70.0063 s]
Raw data (loadavg): 0.95 0.94 0.94 1/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) T 9543 9544 4005 0 -1 0 29118 0 0 0 6764 122 0 0 25 0 1 0 22251891 88641536 16438 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9544/statm): 21641 16438 364 364 0 21277 0
[pid=9544] vsize: 86564
Current children cumulated CPU time (s) 68.86
Current children cumulated vsize (Kb) 86564

[startup+80.0071 s]
Raw data (loadavg): 0.96 0.94 0.94 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 29539 0 0 0 7733 135 0 0 25 0 1 0 22251891 88641536 16470 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9544/statm): 21641 16470 364 364 0 21277 0
[pid=9544] vsize: 86564
Current children cumulated CPU time (s) 78.68
Current children cumulated vsize (Kb) 86564

[startup+90.0069 s]
Raw data (loadavg): 0.96 0.95 0.94 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 29987 0 0 0 8703 144 0 0 25 0 1 0 22251891 89001984 16529 4294967295 134512640 135987407 3221224560 3221223392 134787343 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 21729 16529 364 364 0 21365 0
[pid=9544] vsize: 86916
Current children cumulated CPU time (s) 88.47
Current children cumulated vsize (Kb) 86916

[startup+100.008 s]
Raw data (loadavg): 0.97 0.95 0.94 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 30476 0 0 0 9679 154 0 0 25 0 1 0 22251891 89395200 16629 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 21825 16629 364 364 0 21461 0
[pid=9544] vsize: 87300
Current children cumulated CPU time (s) 98.33
Current children cumulated vsize (Kb) 87300

[startup+110.008 s]
Raw data (loadavg): 0.97 0.95 0.94 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 30883 0 0 0 10654 163 0 0 25 0 1 0 22251891 89395200 16647 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 21825 16647 364 364 0 21461 0
[pid=9544] vsize: 87300
Current children cumulated CPU time (s) 108.17
Current children cumulated vsize (Kb) 87300

[startup+120.009 s]
Raw data (loadavg): 1.06 0.96 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 31393 0 0 0 11630 172 0 0 25 0 1 0 22251891 90025984 16768 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 21979 16768 364 364 0 21615 0
[pid=9544] vsize: 87916
Current children cumulated CPU time (s) 118.02
Current children cumulated vsize (Kb) 87916

[startup+130.01 s]
Raw data (loadavg): 1.05 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 31857 0 0 0 12604 181 0 0 25 0 1 0 22251891 90222592 16843 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 22027 16843 364 364 0 21663 0
[pid=9544] vsize: 88108
Current children cumulated CPU time (s) 127.85
Current children cumulated vsize (Kb) 88108

[startup+140.01 s]
Raw data (loadavg): 1.04 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 32371 0 0 0 13582 189 0 0 25 0 1 0 22251891 90750976 16968 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 22156 16968 364 364 0 21792 0
[pid=9544] vsize: 88624
Current children cumulated CPU time (s) 137.71
Current children cumulated vsize (Kb) 88624

[startup+150.01 s]
Raw data (loadavg): 1.03 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 32807 0 0 0 14553 198 0 0 25 0 1 0 22251891 92540928 17404 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 22593 17404 364 364 0 22229 0
[pid=9544] vsize: 90372
Current children cumulated CPU time (s) 147.51
Current children cumulated vsize (Kb) 90372

[startup+160.01 s]
Raw data (loadavg): 1.03 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 32831 0 0 0 15530 207 0 0 25 0 1 0 22251891 91144192 17039 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 22252 17039 364 364 0 21888 0
[pid=9544] vsize: 89008
Current children cumulated CPU time (s) 157.37
Current children cumulated vsize (Kb) 89008

[startup+170.011 s]
Raw data (loadavg): 1.02 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 33309 0 0 0 16505 216 0 0 25 0 1 0 22251891 91475968 17128 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 22333 17128 364 364 0 21969 0
[pid=9544] vsize: 89332
Current children cumulated CPU time (s) 167.21
Current children cumulated vsize (Kb) 89332

[startup+180.012 s]
Raw data (loadavg): 1.02 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 33741 0 0 0 17483 225 0 0 25 0 1 0 22251891 91611136 17171 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 22366 17171 364 364 0 22002 0
[pid=9544] vsize: 89464
Current children cumulated CPU time (s) 177.08
Current children cumulated vsize (Kb) 89464

[startup+190.013 s]
Raw data (loadavg): 1.02 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 34148 0 0 0 18458 234 0 0 25 0 1 0 22251891 91611136 17189 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 22366 17189 364 364 0 22002 0
[pid=9544] vsize: 89464
Current children cumulated CPU time (s) 186.92
Current children cumulated vsize (Kb) 89464

[startup+200.013 s]
Raw data (loadavg): 1.01 0.97 0.95 1/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) T 9543 9544 4005 0 -1 0 34227 0 0 0 19432 244 0 0 25 0 1 0 22251891 92004352 17268 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9544/statm): 22462 17268 364 364 0 22098 0
[pid=9544] vsize: 89848
Current children cumulated CPU time (s) 196.76
Current children cumulated vsize (Kb) 89848

[startup+210.013 s]
Raw data (loadavg): 1.01 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 34682 0 0 0 20408 252 0 0 25 0 1 0 22251891 92397568 17334 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 22558 17334 364 364 0 22194 0
[pid=9544] vsize: 90232
Current children cumulated CPU time (s) 206.6
Current children cumulated vsize (Kb) 90232

[startup+220.014 s]
Raw data (loadavg): 1.01 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 34696 0 0 0 21382 261 0 0 25 0 1 0 22251891 92397568 17348 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 22558 17348 364 364 0 22194 0
[pid=9544] vsize: 90232
Current children cumulated CPU time (s) 216.43
Current children cumulated vsize (Kb) 90232

[startup+230.015 s]
Raw data (loadavg): 1.01 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 35103 0 0 0 22359 268 0 0 25 0 1 0 22251891 92397568 17366 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 22558 17366 364 364 0 22194 0
[pid=9544] vsize: 90232
Current children cumulated CPU time (s) 226.27
Current children cumulated vsize (Kb) 90232

[startup+240.014 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 35162 0 0 0 23338 276 0 0 25 0 1 0 22251891 92532736 17425 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 22591 17425 364 364 0 22227 0
[pid=9544] vsize: 90364
Current children cumulated CPU time (s) 236.14
Current children cumulated vsize (Kb) 90364

[startup+250.015 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 35575 0 0 0 24315 284 0 0 25 0 1 0 22251891 92532736 17449 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 22591 17449 364 364 0 22227 0
[pid=9544] vsize: 90364
Current children cumulated CPU time (s) 245.99
Current children cumulated vsize (Kb) 90364

[startup+260.016 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 35662 0 0 0 25287 292 0 0 25 0 1 0 22251891 92925952 17536 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 22687 17536 364 364 0 22323 0
[pid=9544] vsize: 90748
Current children cumulated CPU time (s) 255.79
Current children cumulated vsize (Kb) 90748

[startup+270.017 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) T 9543 9544 4005 0 -1 0 36252 0 0 0 26265 301 0 0 25 0 1 0 22251891 94007296 17737 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9544/statm): 22951 17737 364 364 0 22587 0
[pid=9544] vsize: 91804
Current children cumulated CPU time (s) 265.66
Current children cumulated vsize (Kb) 91804

[startup+280.016 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 36658 0 0 0 27236 312 0 0 25 0 1 0 22251891 94007296 17754 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 22951 17754 364 364 0 22587 0
[pid=9544] vsize: 91804
Current children cumulated CPU time (s) 275.48
Current children cumulated vsize (Kb) 91804

[startup+290.016 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 36746 0 0 0 28212 319 0 0 25 0 1 0 22251891 94400512 17842 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23047 17842 364 364 0 22683 0
[pid=9544] vsize: 92188
Current children cumulated CPU time (s) 285.31
Current children cumulated vsize (Kb) 92188

[startup+300.017 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 37147 0 0 0 29192 325 0 0 25 0 1 0 22251891 94400512 17854 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23047 17854 364 364 0 22683 0
[pid=9544] vsize: 92188
Current children cumulated CPU time (s) 295.17
Current children cumulated vsize (Kb) 92188

[startup+310.017 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 37183 0 0 0 30172 333 0 0 25 0 1 0 22251891 94535680 17890 4294967295 134512640 135987407 3221224560 3221223344 134812400 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23080 17890 364 364 0 22716 0
[pid=9544] vsize: 92320
Current children cumulated CPU time (s) 305.05
Current children cumulated vsize (Kb) 92320

[startup+320.018 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 37582 0 0 0 31149 340 0 0 25 0 1 0 22251891 94535680 17900 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23080 17900 364 364 0 22716 0
[pid=9544] vsize: 92320
Current children cumulated CPU time (s) 314.89
Current children cumulated vsize (Kb) 92320

[startup+330.018 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 37983 0 0 0 32131 346 0 0 25 0 1 0 22251891 94535680 17912 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23080 17912 364 364 0 22716 0
[pid=9544] vsize: 92320
Current children cumulated CPU time (s) 324.77
Current children cumulated vsize (Kb) 92320

[startup+340.018 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 38412 0 0 0 33106 355 0 0 25 0 1 0 22251891 94670848 17952 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23113 17952 364 364 0 22749 0
[pid=9544] vsize: 92452
Current children cumulated CPU time (s) 334.61
Current children cumulated vsize (Kb) 92452

[startup+350.018 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 38836 0 0 0 34083 363 0 0 25 0 1 0 22251891 94806016 17987 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23146 17987 364 364 0 22782 0
[pid=9544] vsize: 92584
Current children cumulated CPU time (s) 344.46
Current children cumulated vsize (Kb) 92584

[startup+360.019 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 39241 0 0 0 35063 370 0 0 25 0 1 0 22251891 94806016 18003 4294967295 134512640 135987407 3221224560 3221223376 134876849 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23146 18003 364 364 0 22782 0
[pid=9544] vsize: 92584
Current children cumulated CPU time (s) 354.33
Current children cumulated vsize (Kb) 92584

[startup+370.019 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 39262 0 0 0 36037 379 0 0 25 0 1 0 22251891 94941184 18024 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23179 18024 364 364 0 22815 0
[pid=9544] vsize: 92716
Current children cumulated CPU time (s) 364.16
Current children cumulated vsize (Kb) 92716

[startup+380.02 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 39661 0 0 0 37014 387 0 0 25 0 1 0 22251891 94941184 18034 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23179 18034 364 364 0 22815 0
[pid=9544] vsize: 92716
Current children cumulated CPU time (s) 374.01
Current children cumulated vsize (Kb) 92716

[startup+390.02 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 40060 0 0 0 37990 395 0 0 25 0 1 0 22251891 94941184 18044 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23179 18044 364 364 0 22815 0
[pid=9544] vsize: 92716
Current children cumulated CPU time (s) 383.85
Current children cumulated vsize (Kb) 92716

[startup+400.021 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 40491 0 0 0 38965 404 0 0 25 0 1 0 22251891 95076352 18086 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23212 18086 364 364 0 22848 0
[pid=9544] vsize: 92848
Current children cumulated CPU time (s) 393.69
Current children cumulated vsize (Kb) 92848

[startup+410.021 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 40528 0 0 0 39939 414 0 0 25 0 1 0 22251891 95211520 18123 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23245 18123 364 364 0 22881 0
[pid=9544] vsize: 92980
Current children cumulated CPU time (s) 403.53
Current children cumulated vsize (Kb) 92980

[startup+420.021 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 40963 0 0 0 40916 424 0 0 25 0 1 0 22251891 95408128 18169 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9544/statm): 23293 18169 364 364 0 22929 0
[pid=9544] vsize: 93172
Current children cumulated CPU time (s) 413.4
Current children cumulated vsize (Kb) 93172

[startup+430.022 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 40992 0 0 0 41888 433 0 0 25 0 1 0 22251891 95408128 18198 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23293 18198 364 364 0 22929 0
[pid=9544] vsize: 93172
Current children cumulated CPU time (s) 423.21
Current children cumulated vsize (Kb) 93172

[startup+440.023 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 41415 0 0 0 42868 439 0 0 25 0 1 0 22251891 95604736 18232 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23341 18232 364 364 0 22977 0
[pid=9544] vsize: 93364
Current children cumulated CPU time (s) 433.07
Current children cumulated vsize (Kb) 93364

[startup+450.023 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 41419 0 0 0 43840 450 0 0 25 0 1 0 22251891 95604736 18236 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23341 18236 364 364 0 22977 0
[pid=9544] vsize: 93364
Current children cumulated CPU time (s) 442.9
Current children cumulated vsize (Kb) 93364

[startup+460.022 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 41446 0 0 0 44815 459 0 0 25 0 1 0 22251891 95739904 18263 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23374 18263 364 364 0 23010 0
[pid=9544] vsize: 93496
Current children cumulated CPU time (s) 452.74
Current children cumulated vsize (Kb) 93496

[startup+470.024 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 41866 0 0 0 45794 467 0 0 25 0 1 0 22251891 95739904 18294 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23374 18294 364 364 0 23010 0
[pid=9544] vsize: 93496
Current children cumulated CPU time (s) 462.61
Current children cumulated vsize (Kb) 93496

[startup+480.025 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 41935 0 0 0 46764 476 0 0 25 0 1 0 22251891 96010240 18363 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23440 18363 364 364 0 23076 0
[pid=9544] vsize: 93760
Current children cumulated CPU time (s) 472.4
Current children cumulated vsize (Kb) 93760

[startup+490.025 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 41949 0 0 0 47742 484 0 0 25 0 1 0 22251891 96010240 18377 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9544/statm): 23440 18377 364 364 0 23076 0
[pid=9544] vsize: 93760
Current children cumulated CPU time (s) 482.26
Current children cumulated vsize (Kb) 93760

[startup+500.026 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 42356 0 0 0 48722 491 0 0 25 0 1 0 22251891 96010240 18395 4294967295 134512640 135987407 3221224560 3221223344 134812361 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23440 18395 364 364 0 23076 0
[pid=9544] vsize: 93760
Current children cumulated CPU time (s) 492.13
Current children cumulated vsize (Kb) 93760

[startup+510.026 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 42762 0 0 0 49698 499 0 0 25 0 1 0 22251891 97603584 18801 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23829 18801 364 364 0 23465 0
[pid=9544] vsize: 95316
Current children cumulated CPU time (s) 501.97
Current children cumulated vsize (Kb) 95316

[startup+520.027 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 42859 0 0 0 50663 510 0 0 25 0 1 0 22251891 96432128 18509 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23543 18509 364 364 0 23179 0
[pid=9544] vsize: 94172
Current children cumulated CPU time (s) 511.73
Current children cumulated vsize (Kb) 94172

[startup+530.027 s]
Raw data (loadavg): 1.00 0.97 0.95 1/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) T 9543 9544 4005 0 -1 0 42937 0 0 0 51628 522 0 0 25 0 1 0 22251891 96866304 18587 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23649 18587 364 364 0 23285 0
[pid=9544] vsize: 94596
Current children cumulated CPU time (s) 521.5
Current children cumulated vsize (Kb) 94596

[startup+540.028 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 43384 0 0 0 52602 531 0 0 25 0 1 0 22251891 97030144 18645 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23689 18645 364 364 0 23325 0
[pid=9544] vsize: 94756
Current children cumulated CPU time (s) 531.33
Current children cumulated vsize (Kb) 94756

[startup+550.028 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 43401 0 0 0 53573 541 0 0 25 0 1 0 22251891 97030144 18662 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23689 18662 364 364 0 23325 0
[pid=9544] vsize: 94756
Current children cumulated CPU time (s) 541.14
Current children cumulated vsize (Kb) 94756

[startup+560.029 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 43811 0 0 0 54550 550 0 0 25 0 1 0 22251891 97030144 18683 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23689 18683 364 364 0 23325 0
[pid=9544] vsize: 94756
Current children cumulated CPU time (s) 551
Current children cumulated vsize (Kb) 94756

[startup+570.03 s]
Raw data (loadavg): 1.00 0.97 0.95 1/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) T 9543 9544 4005 0 -1 0 44228 0 0 0 55526 558 0 0 25 0 1 0 22251891 97181696 18711 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23726 18711 364 364 0 23362 0
[pid=9544] vsize: 94904
Current children cumulated CPU time (s) 560.84
Current children cumulated vsize (Kb) 94904

[startup+580.03 s]
Raw data (loadavg): 1.00 0.97 0.95 1/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) T 9543 9544 4005 0 -1 0 44626 0 0 0 56496 569 0 0 25 0 1 0 22251891 97181696 18720 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23726 18720 364 364 0 23362 0
[pid=9544] vsize: 94904
Current children cumulated CPU time (s) 570.65
Current children cumulated vsize (Kb) 94904

[startup+590.029 s]
Raw data (loadavg): 1.00 0.97 0.95 1/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) T 9543 9544 4005 0 -1 0 44647 0 0 0 57472 577 0 0 25 0 1 0 22251891 97345536 18741 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23766 18741 364 364 0 23402 0
[pid=9544] vsize: 95064
Current children cumulated CPU time (s) 580.49
Current children cumulated vsize (Kb) 95064

[startup+600.03 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 44674 0 0 0 58442 588 0 0 25 0 1 0 22251891 97345536 18768 4294967295 134512640 135987407 3221224560 3221223388 134812454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23766 18768 364 364 0 23402 0
[pid=9544] vsize: 95064
Current children cumulated CPU time (s) 590.3
Current children cumulated vsize (Kb) 95064

[startup+610.031 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 44688 0 0 0 59408 597 0 0 25 0 1 0 22251891 97345536 18782 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23766 18782 364 364 0 23402 0
[pid=9544] vsize: 95064
Current children cumulated CPU time (s) 600.05
Current children cumulated vsize (Kb) 95064

[startup+620.033 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 45098 0 0 0 60386 606 0 0 25 0 1 0 22251891 97345536 18803 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23766 18803 364 364 0 23402 0
[pid=9544] vsize: 95064
Current children cumulated CPU time (s) 609.92
Current children cumulated vsize (Kb) 95064

[startup+630.032 s]
Raw data (loadavg): 1.00 0.97 0.95 1/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) T 9543 9544 4005 0 -1 0 45113 0 0 0 61356 615 0 0 25 0 1 0 22251891 97345536 18818 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23766 18818 364 364 0 23402 0
[pid=9544] vsize: 95064
Current children cumulated CPU time (s) 619.71
Current children cumulated vsize (Kb) 95064

[startup+640.032 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 45525 0 0 0 62327 625 0 0 25 0 1 0 22251891 99069952 19230 4294967295 134512640 135987407 3221224560 3221222944 134829266 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9544/statm): 24187 19230 364 364 0 23823 0
[pid=9544] vsize: 96748
Current children cumulated CPU time (s) 629.52
Current children cumulated vsize (Kb) 96748

[startup+650.033 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 45564 0 0 0 63302 633 0 0 25 0 1 0 22251891 97611776 18880 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9544/statm): 23831 18880 364 364 0 23467 0
[pid=9544] vsize: 95324
Current children cumulated CPU time (s) 639.35
Current children cumulated vsize (Kb) 95324

[startup+660.034 s]
Raw data (loadavg): 1.00 0.97 0.95 1/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) T 9543 9544 4005 0 -1 0 45982 0 0 0 64278 642 0 0 25 0 1 0 22251891 97787904 18909 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23874 18909 364 364 0 23510 0
[pid=9544] vsize: 95496
Current children cumulated CPU time (s) 649.2
Current children cumulated vsize (Kb) 95496

[startup+670.035 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 46390 0 0 0 65255 649 0 0 25 0 1 0 22251891 97787904 18928 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23874 18928 364 364 0 23510 0
[pid=9544] vsize: 95496
Current children cumulated CPU time (s) 659.04
Current children cumulated vsize (Kb) 95496

[startup+680.035 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 46416 0 0 0 66230 658 0 0 25 0 1 0 22251891 97787904 18954 4294967295 134512640 135987407 3221224560 3221223340 134812407 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23874 18954 364 364 0 23510 0
[pid=9544] vsize: 95496
Current children cumulated CPU time (s) 668.88
Current children cumulated vsize (Kb) 95496

[startup+690.035 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 46877 0 0 0 67208 666 0 0 25 0 1 0 22251891 98193408 19026 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23973 19026 364 364 0 23609 0
[pid=9544] vsize: 95892
Current children cumulated CPU time (s) 678.74
Current children cumulated vsize (Kb) 95892

[startup+700.035 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 47276 0 0 0 68184 674 0 0 25 0 1 0 22251891 98193408 19036 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23973 19036 364 364 0 23609 0
[pid=9544] vsize: 95892
Current children cumulated CPU time (s) 688.58
Current children cumulated vsize (Kb) 95892

[startup+710.036 s]
Raw data (loadavg): 1.00 0.97 0.95 1/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) T 9543 9544 4005 0 -1 0 47678 0 0 0 69160 683 0 0 25 0 1 0 22251891 98193408 19049 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23973 19049 364 364 0 23609 0
[pid=9544] vsize: 95892
Current children cumulated CPU time (s) 698.43
Current children cumulated vsize (Kb) 95892

[startup+720.035 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 47698 0 0 0 70135 689 0 0 25 0 1 0 22251891 98193408 19069 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23973 19069 364 364 0 23609 0
[pid=9544] vsize: 95892
Current children cumulated CPU time (s) 708.24
Current children cumulated vsize (Kb) 95892

[startup+730.035 s]
Raw data (loadavg): 1.00 0.97 0.95 1/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) T 9543 9544 4005 0 -1 0 47713 0 0 0 71110 697 0 0 25 0 1 0 22251891 98193408 19084 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23973 19084 364 364 0 23609 0
[pid=9544] vsize: 95892
Current children cumulated CPU time (s) 718.07
Current children cumulated vsize (Kb) 95892

[startup+740.036 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 48113 0 0 0 72082 708 0 0 25 0 1 0 22251891 98193408 19095 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23973 19095 364 364 0 23609 0
[pid=9544] vsize: 95892
Current children cumulated CPU time (s) 727.9
Current children cumulated vsize (Kb) 95892

[startup+750.037 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 48506 0 0 0 73055 716 0 0 25 0 1 0 22251891 98193408 19099 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23973 19099 364 364 0 23609 0
[pid=9544] vsize: 95892
Current children cumulated CPU time (s) 737.71
Current children cumulated vsize (Kb) 95892

[startup+760.036 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 48910 0 0 0 74032 724 0 0 25 0 1 0 22251891 98193408 19114 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 23973 19114 364 364 0 23609 0
[pid=9544] vsize: 95892
Current children cumulated CPU time (s) 747.56
Current children cumulated vsize (Kb) 95892

[startup+770.036 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 48944 0 0 0 75000 734 0 0 25 0 1 0 22251891 98324480 19148 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24005 19148 364 364 0 23641 0
[pid=9544] vsize: 96020
Current children cumulated CPU time (s) 757.34
Current children cumulated vsize (Kb) 96020

[startup+780.037 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 49343 0 0 0 75973 745 0 0 25 0 1 0 22251891 98324480 19158 4294967295 134512640 135987407 3221224560 3221223372 134812262 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24005 19158 364 364 0 23641 0
[pid=9544] vsize: 96020
Current children cumulated CPU time (s) 767.18
Current children cumulated vsize (Kb) 96020

[startup+790.037 s]
Raw data (loadavg): 1.00 0.97 0.95 1/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) T 9543 9544 4005 0 -1 0 49381 0 0 0 76943 755 0 0 25 0 1 0 22251891 98471936 19196 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24041 19196 364 364 0 23677 0
[pid=9544] vsize: 96164
Current children cumulated CPU time (s) 776.98
Current children cumulated vsize (Kb) 96164

[startup+800.038 s]
Raw data (loadavg): 1.00 0.97 0.95 1/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) T 9543 9544 4005 0 -1 0 49805 0 0 0 77924 762 0 0 25 0 1 0 22251891 98607104 19231 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24074 19231 364 364 0 23710 0
[pid=9544] vsize: 96296
Current children cumulated CPU time (s) 786.86
Current children cumulated vsize (Kb) 96296

[startup+810.038 s]
Raw data (loadavg): 1.00 0.97 0.95 1/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) T 9543 9544 4005 0 -1 0 49821 0 0 0 78899 772 0 0 25 0 1 0 22251891 98607104 19247 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24074 19247 364 364 0 23710 0
[pid=9544] vsize: 96296
Current children cumulated CPU time (s) 796.71
Current children cumulated vsize (Kb) 96296

[startup+820.038 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 50219 0 0 0 79878 779 0 0 25 0 1 0 22251891 98607104 19256 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24074 19256 364 364 0 23710 0
[pid=9544] vsize: 96296
Current children cumulated CPU time (s) 806.57
Current children cumulated vsize (Kb) 96296

[startup+830.039 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 50292 0 0 0 80852 789 0 0 25 0 1 0 22251891 99012608 19329 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24173 19329 364 364 0 23809 0
[pid=9544] vsize: 96692
Current children cumulated CPU time (s) 816.41
Current children cumulated vsize (Kb) 96692

[startup+840.04 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 51109 0 0 0 81834 796 0 0 25 0 1 0 22251891 99147776 19368 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24206 19368 364 364 0 23842 0
[pid=9544] vsize: 96824
Current children cumulated CPU time (s) 826.3
Current children cumulated vsize (Kb) 96824

[startup+850.04 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 51513 0 0 0 82806 806 0 0 25 0 1 0 22251891 100741120 19772 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24595 19772 364 364 0 24231 0
[pid=9544] vsize: 98380
Current children cumulated CPU time (s) 836.12
Current children cumulated vsize (Kb) 98380

[startup+860.041 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 51525 0 0 0 83785 813 0 0 25 0 1 0 22251891 99147776 19395 4294967295 134512640 135987407 3221224560 3221223248 134812138 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24206 19395 364 364 0 23842 0
[pid=9544] vsize: 96824
Current children cumulated CPU time (s) 845.98
Current children cumulated vsize (Kb) 96824

[startup+870.041 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 51924 0 0 0 84761 823 0 0 25 0 1 0 22251891 99147776 19405 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24206 19405 364 364 0 23842 0
[pid=9544] vsize: 96824
Current children cumulated CPU time (s) 855.84
Current children cumulated vsize (Kb) 96824

[startup+880.042 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 52321 0 0 0 85737 831 0 0 25 0 1 0 22251891 99147776 19413 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24206 19413 364 364 0 23842 0
[pid=9544] vsize: 96824
Current children cumulated CPU time (s) 865.68
Current children cumulated vsize (Kb) 96824

[startup+890.042 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 52731 0 0 0 86709 841 0 0 25 0 1 0 22251891 99282944 19434 4294967295 134512640 135987407 3221224560 3221223312 134812116 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9544/statm): 24239 19434 364 364 0 23875 0
[pid=9544] vsize: 96956
Current children cumulated CPU time (s) 875.5
Current children cumulated vsize (Kb) 96956

[startup+900.042 s]
Raw data (loadavg): 1.00 0.97 0.95 1/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) T 9543 9544 4005 0 -1 0 52737 0 0 0 87683 849 0 0 25 0 1 0 22251891 99282944 19440 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24239 19440 364 364 0 23875 0
[pid=9544] vsize: 96956
Current children cumulated CPU time (s) 885.32
Current children cumulated vsize (Kb) 96956

[startup+910.042 s]
Raw data (loadavg): 1.00 0.97 0.95 1/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) T 9543 9544 4005 0 -1 0 53140 0 0 0 88661 857 0 0 25 0 1 0 22251891 99282944 19454 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24239 19454 364 364 0 23875 0
[pid=9544] vsize: 96956
Current children cumulated CPU time (s) 895.18
Current children cumulated vsize (Kb) 96956

[startup+920.043 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 53550 0 0 0 89637 865 0 0 25 0 1 0 22251891 99282944 19475 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24239 19475 364 364 0 23875 0
[pid=9544] vsize: 96956
Current children cumulated CPU time (s) 905.02
Current children cumulated vsize (Kb) 96956

[startup+930.043 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 53959 0 0 0 90614 874 0 0 25 0 1 0 22251891 99282944 19495 4294967295 134512640 135987407 3221224560 3221223424 134812612 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24239 19495 364 364 0 23875 0
[pid=9544] vsize: 96956
Current children cumulated CPU time (s) 914.88
Current children cumulated vsize (Kb) 96956

[startup+940.042 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 53983 0 0 0 91589 883 0 0 25 0 1 0 22251891 99414016 19519 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24271 19519 364 364 0 23907 0
[pid=9544] vsize: 97084
Current children cumulated CPU time (s) 924.72
Current children cumulated vsize (Kb) 97084

[startup+950.043 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 54392 0 0 0 92569 890 0 0 25 0 1 0 22251891 99414016 19539 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24271 19539 364 364 0 23907 0
[pid=9544] vsize: 97084
Current children cumulated CPU time (s) 934.59
Current children cumulated vsize (Kb) 97084

[startup+960.043 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 54801 0 0 0 93546 897 0 0 25 0 1 0 22251891 99414016 19559 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24271 19559 364 364 0 23907 0
[pid=9544] vsize: 97084
Current children cumulated CPU time (s) 944.43
Current children cumulated vsize (Kb) 97084

[startup+970.043 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 54821 0 0 0 94521 906 0 0 25 0 1 0 22251891 99414016 19579 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24271 19579 364 364 0 23907 0
[pid=9544] vsize: 97084
Current children cumulated CPU time (s) 954.27
Current children cumulated vsize (Kb) 97084

[startup+980.043 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 55236 0 0 0 95496 914 0 0 25 0 1 0 22251891 99549184 19605 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24304 19605 364 364 0 23940 0
[pid=9544] vsize: 97216
Current children cumulated CPU time (s) 964.1
Current children cumulated vsize (Kb) 97216

[startup+990.043 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 55255 0 0 0 96473 921 0 0 25 0 1 0 22251891 99549184 19624 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9544/statm): 24304 19624 364 364 0 23940 0
[pid=9544] vsize: 97216
Current children cumulated CPU time (s) 973.94
Current children cumulated vsize (Kb) 97216

[startup+1000.04 s]
Raw data (loadavg): 1.00 0.97 0.95 1/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) T 9543 9544 4005 0 -1 0 55666 0 0 0 97454 928 0 0 25 0 1 0 22251891 99549184 19646 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24304 19646 364 364 0 23940 0
[pid=9544] vsize: 97216
Current children cumulated CPU time (s) 983.82
Current children cumulated vsize (Kb) 97216

[startup+1010.04 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 56069 0 0 0 98427 938 0 0 25 0 1 0 22251891 99549184 19660 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24304 19660 364 364 0 23940 0
[pid=9544] vsize: 97216
Current children cumulated CPU time (s) 993.65
Current children cumulated vsize (Kb) 97216

[startup+1020.04 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 56110 0 0 0 99403 946 0 0 25 0 1 0 22251891 99684352 19701 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24337 19701 364 364 0 23973 0
[pid=9544] vsize: 97348
Current children cumulated CPU time (s) 1003.49
Current children cumulated vsize (Kb) 97348

[startup+1030.04 s]
Raw data (loadavg): 1.00 0.97 0.95 1/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) T 9543 9544 4005 0 -1 0 56504 0 0 0 100384 954 0 0 25 0 1 0 22251891 99684352 19706 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24337 19706 364 364 0 23973 0
[pid=9544] vsize: 97348
Current children cumulated CPU time (s) 1013.38
Current children cumulated vsize (Kb) 97348

[startup+1040.04 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 56909 0 0 0 101362 962 0 0 25 0 1 0 22251891 99819520 19722 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24370 19722 364 364 0 24006 0
[pid=9544] vsize: 97480
Current children cumulated CPU time (s) 1023.24
Current children cumulated vsize (Kb) 97480

[startup+1050.04 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 56926 0 0 0 102334 972 0 0 25 0 1 0 22251891 99819520 19739 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24370 19739 364 364 0 24006 0
[pid=9544] vsize: 97480
Current children cumulated CPU time (s) 1033.06
Current children cumulated vsize (Kb) 97480

[startup+1060.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 56943 0 0 0 103307 981 0 0 25 0 1 0 22251891 99819520 19756 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24370 19756 364 364 0 24006 0
[pid=9544] vsize: 97480
Current children cumulated CPU time (s) 1042.88
Current children cumulated vsize (Kb) 97480

[startup+1070.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 57337 0 0 0 104286 988 0 0 25 0 1 0 22251891 99819520 19761 4294967295 134512640 135987407 3221224560 3221223248 134811832 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9544/statm): 24370 19761 364 364 0 24006 0
[pid=9544] vsize: 97480
Current children cumulated CPU time (s) 1052.74
Current children cumulated vsize (Kb) 97480

[startup+1080.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 57746 0 0 0 105264 996 0 0 25 0 1 0 22251891 99819520 19781 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24370 19781 364 364 0 24006 0
[pid=9544] vsize: 97480
Current children cumulated CPU time (s) 1062.6
Current children cumulated vsize (Kb) 97480

[startup+1090.05 s]
Raw data (loadavg): 1.00 0.97 0.95 1/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) T 9543 9544 4005 0 -1 0 58164 0 0 0 106244 1005 0 0 25 0 1 0 22251891 99950592 19810 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24402 19810 364 364 0 24038 0
[pid=9544] vsize: 97608
Current children cumulated CPU time (s) 1072.49
Current children cumulated vsize (Kb) 97608

[startup+1100.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 58179 0 0 0 107220 1013 0 0 25 0 1 0 22251891 99950592 19825 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24402 19825 364 364 0 24038 0
[pid=9544] vsize: 97608
Current children cumulated CPU time (s) 1082.33
Current children cumulated vsize (Kb) 97608

[startup+1110.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 58602 0 0 0 108203 1020 0 0 25 0 1 0 22251891 100085760 19859 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24435 19859 364 364 0 24071 0
[pid=9544] vsize: 97740
Current children cumulated CPU time (s) 1092.23
Current children cumulated vsize (Kb) 97740

[startup+1120.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 58995 0 0 0 109185 1027 0 0 25 0 1 0 22251891 100085760 19863 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24435 19863 364 364 0 24071 0
[pid=9544] vsize: 97740
Current children cumulated CPU time (s) 1102.12
Current children cumulated vsize (Kb) 97740

[startup+1130.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 58999 0 0 0 110160 1035 0 0 25 0 1 0 22251891 100085760 19867 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24435 19867 364 364 0 24071 0
[pid=9544] vsize: 97740
Current children cumulated CPU time (s) 1111.95
Current children cumulated vsize (Kb) 97740

[startup+1140.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 59394 0 0 0 111138 1043 0 0 25 0 1 0 22251891 100085760 19873 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24435 19873 364 364 0 24071 0
[pid=9544] vsize: 97740
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (Kb) 97740

[startup+1150.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 59797 0 0 0 112112 1052 0 0 25 0 1 0 22251891 101679104 20276 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24824 20276 364 364 0 24460 0
[pid=9544] vsize: 99296
Current children cumulated CPU time (s) 1131.64
Current children cumulated vsize (Kb) 99296

[startup+1160.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 59816 0 0 0 113091 1060 0 0 25 0 1 0 22251891 100216832 19906 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24467 19906 364 364 0 24103 0
[pid=9544] vsize: 97868
Current children cumulated CPU time (s) 1141.51
Current children cumulated vsize (Kb) 97868

[startup+1170.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 59854 0 0 0 114070 1066 0 0 25 0 1 0 22251891 100352000 19944 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24500 19944 364 364 0 24136 0
[pid=9544] vsize: 98000
Current children cumulated CPU time (s) 1151.36
Current children cumulated vsize (Kb) 98000

[startup+1180.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 60317 0 0 0 115048 1074 0 0 25 0 1 0 22251891 100757504 20018 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24599 20018 364 364 0 24235 0
[pid=9544] vsize: 98396
Current children cumulated CPU time (s) 1161.22
Current children cumulated vsize (Kb) 98396

[startup+1190.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 60712 0 0 0 116025 1083 0 0 25 0 1 0 22251891 100757504 20024 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24599 20024 364 364 0 24235 0
[pid=9544] vsize: 98396
Current children cumulated CPU time (s) 1171.08
Current children cumulated vsize (Kb) 98396

[startup+1200.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 60715 0 0 0 116999 1091 0 0 25 0 1 0 22251891 100757504 20027 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24599 20027 364 364 0 24235 0
[pid=9544] vsize: 98396
Current children cumulated CPU time (s) 1180.9
Current children cumulated vsize (Kb) 98396

[startup+1210.05 s]
Raw data (loadavg): 1.00 0.97 0.95 1/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) T 9543 9544 4005 0 -1 0 61127 0 0 0 117979 1099 0 0 25 0 1 0 22251891 100892672 20050 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24632 20050 364 364 0 24268 0
[pid=9544] vsize: 98528
Current children cumulated CPU time (s) 1190.78
Current children cumulated vsize (Kb) 98528

[startup+1220.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 61132 0 0 0 118952 1109 0 0 25 0 1 0 22251891 100892672 20055 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24632 20055 364 364 0 24268 0
[pid=9544] vsize: 98528
Current children cumulated CPU time (s) 1200.61
Current children cumulated vsize (Kb) 98528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.05 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 9544
Raw data (/proc/9544/stat): 9544 (pb2sat) R 9543 9544 4005 0 -1 0 61132 0 0 0 118952 1109 0 0 25 0 1 0 22251891 100892672 20055 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9544/statm): 24632 20055 364 364 0 24268 0
[pid=9544] vsize: 98528
Current children cumulated CPU time (s) 1200.61
Current children cumulated vsize (Kb) 98528

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

Child status: 0
Real time (s): 1220.37
CPU time (s): 1200.93
CPU user time (s): 1189.8
CPU system time (s): 11.1313
CPU usage (%): 98.407
Max. virtual memory (cumulated for all children) (Kb): 99296

Verifier Data

ERROR: no interpretation found !