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/fctp/normalized-mps-v2-13-7-ran12x21.opb
MD5SUM0d744fe957d41a18692933adc6be4af7
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1410122
Optimality of the best value was proved NO
Number of terms in the objective function 5292
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 1511880035
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 1511880035
Number of bits of the biggest sum of numbers31
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1228.72
Number of variables5292
Total number of constraints285
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints285
Minimum length of a constraint21
Maximum length of a constraint420

Trace number 10573

Launcher Data

LAUNCH ON wulflinc9 THE 2005-09-23 18:50:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9285 boxname=wulflinc9 idbench=1081 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  0d744fe957d41a18692933adc6be4af7  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-ran12x21.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-ran12x21.opb
IDLAUNCH: 9285
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        900016 kB
Buffers:         13732 kB
Cached:         103432 kB
SwapCached:          0 kB
Active:          52928 kB
Inactive:        67192 kB
HighTotal:      131008 kB
HighFree:        27300 kB
LowTotal:       903652 kB
LowFree:        872716 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8968 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 19:11:41 (client local time) WITH STATUS 0 IN 1200.45 SECONDS
stats: 9285 7 1200.45 0

Solver Data

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

c Decision: 16267/192522	Time: 40.4389/86400
c Decision: 16267/192522	Time: 45.3121/86400
c Decision: 16267/192522	Time: 52.313/86400
c Decision: 16267/192522	Time: 57.6912/86400
c Decision: 16267/192522	Time: 63.3014/86400
c Decision: 16267/192522	Time: 69.5274/86400
c Decision: 16267/192522	Time: 73.6458/86400
c Decision: 16267/192522	Time: 80.4218/86400
c Decision: 16267/192522	Time: 85.491/86400
c Decision: 16267/192522	Time: 90.3513/86400
c Decision: 16267/192522	Time: 97.4282/86400
c Decision: 16267/192522	Time: 102.967/86400
c Decision: 16267/192522	Time: 109.159/86400
c Decision: 16267/192522	Time: 114.451/86400
c Decision: 16267/192522	Time: 120.278/86400
c Decision: 16267/192522	Time: 125.943/86400
c Decision: 16267/192522	Time: 132.43/86400
c Decision: 16267/192522	Time: 138.408/86400
c Decision: 16267/192522	Time: 143.492/86400
c Decision: 16267/192522	Time: 148.802/86400
c Decision: 16267/192522	Time: 155.971/86400
c Decision: 16267/192522	Time: 162.278/86400
c Decision: 16267/192522	Time: 168.011/86400
c Decision: 16267/192522	Time: 173.819/86400
c Decision: 16267/192522	Time: 178.888/86400
c Decision: 16267/192522	Time: 185.261/86400
c Decision: 16267/192522	Time: 190.585/86400
c Decision: 16267/192522	Time: 195.543/86400
c Decision: 16267/192522	Time: 200.42/86400
c Decision: 16267/192522	Time: 205.236/86400
c Decision: 16267/192522	Time: 210.752/86400
c Decision: 16267/192522	Time: 215.157/86400
c Decision: 16267/192522	Time: 219.367/86400
c Decision: 16267/192522	Time: 226.317/86400
c Decision: 16267/192522	Time: 231.93/86400
c Decision: 16267/192522	Time: 237.36/86400
c Decision: 16267/192522	Time: 242.206/86400
c Decision: 16267/192522	Time: 247.43/86400
c Decision: 16267/192522	Time: 253.514/86400
c Decision: 16267/192522	Time: 258.877/86400
c Decision: 16267/192522	Time: 266.569/86400
c Decision: 16267/192522	Time: 272.99/86400
c Decision: 16267/192522	Time: 277.682/86400
c Decision: 16267/192522	Time: 283.371/86400
c Decision: 16267/192522	Time: 288.739/86400
c Decision: 16267/192522	Time: 293.946/86400
c Decision: 16267/192522	Time: 297.884/86400
c Decision: 16267/192522	Time: 303.592/86400
c Decision: 16267/192522	Time: 309.292/86400
c Decision: 16267/192522	Time: 314.917/86400
c Decision: 16267/192522	Time: 321.411/86400
c Decision: 16267/192522	Time: 327.416/86400
c Decision: 16267/192522	Time: 334.366/86400
c Decision: 16267/192522	Time: 341.002/86400
c Decision: 16267/192522	Time: 346.672/86400
c Decision: 16267/192522	Time: 353.37/86400
c Decision: 16267/192522	Time: 359.289/86400
c Decision: 16267/192522	Time: 365.597/86400
c Decision: 16267/192522	Time: 371.605/86400
c Decision: 16267/192522	Time: 377.439/86400
c Decision: 16267/192522	Time: 384.272/86400
c Decision: 16267/192522	Time: 390.275/86400
c Decision: 16267/192522	Time: 395.996/86400
c Decision: 16267/192522	Time: 401/86400
c Decision: 16267/192522	Time: 406.768/86400
c Decision: 16267/192522	Time: 413.514/86400
c Decision: 16267/192522	Time: 418.983/86400
c Decision: 16267/192522	Time: 424.347/86400
c Decision: 16267/192522	Time: 430.179/86400
c Decision: 16267/192522	Time: 435.575/86400
c Decision: 16267/192522	Time: 441.834/86400
c Decision: 16267/192522	Time: 447.447/86400
c Decision: 16267/192522	Time: 452.953/86400
c Decision: 16267/192522	Time: 458.144/86400
c Decision: 16267/192522	Time: 464.693/86400
c Decision: 16267/192522	Time: 472.408/86400
c Decision: 16267/192522	Time: 477.622/86400
c Decision: 16267/192522	Time: 483.651/86400
c Decision: 16267/192522	Time: 489.455/86400
c Decision: 16267/192522	Time: 494.646/86400
c Decision: 16267/192522	Time: 500.687/86400
c Decision: 16267/192522	Time: 506.76/86400
c Decision: 16267/192522	Time: 512.668/86400
c Decision: 16267/192522	Time: 517.818/86400
c Decision: 16267/192522	Time: 523.412/86400
c Decision: 16267/192522	Time: 530.084/86400
c Decision: 16267/192522	Time: 535.649/86400
c Decision: 16267/192522	Time: 540.971/86400
c Decision: 16267/192522	Time: 546.953/86400
c Decision: 16267/192522	Time: 553.121/86400
c Decision: 16267/192522	Time: 559.708/86400
c Decision: 16267/192522	Time: 565.602/86400
c Decision: 16267/192522	Time: 571.745/86400
c Decision: 16267/192522	Time: 577.293/86400
c Decision: 16267/192522	Time: 582.734/86400
c Decision: 16267/192522	Time: 589.219/86400
c Decision: 16267/192522	Time: 595.089/86400
c Decision: 16267/192522	Time: 601.018/86400
c Decision: 16267/192522	Time: 606.846/86400
c Decision: 16267/192522	Time: 612.504/86400
c Decision: 16267/192522	Time: 619.033/86400
c Decision: 16267/192522	Time: 626.262/86400
c Decision: 16267/192522	Time: 633.575/86400
c Decision: 16267/192522	Time: 639.938/86400
c Decision: 16267/192522	Time: 645.505/86400
c Decision: 16267/192522	Time: 653.347/86400
c Decision: 16267/192522	Time: 660.201/86400
c Decision: 16267/192522	Time: 668.33/86400
c Decision: 16267/192522	Time: 674.455/86400
c Decision: 16267/192522	Time: 680.259/86400
c Decision: 16267/192522	Time: 687.279/86400
c Decision: 16267/192522	Time: 693.462/86400
c Decision: 16267/192522	Time: 699.575/86400
c Decision: 16267/192522	Time: 704.035/86400
c Decision: 16267/192522	Time: 710.236/86400
c Decision: 16267/192522	Time: 716.354/86400
c Decision: 16267/192522	Time: 721.79/86400
c Decision: 16267/192522	Time: 728.444/86400
c Decision: 16267/192522	Time: 734.618/86400
c Decision: 16267/192522	Time: 741.247/86400
c Decision: 16267/192522	Time: 747.564/86400
c Decision: 16267/192522	Time: 753.404/86400
c Decision: 16267/192522	Time: 759.543/86400
c Decision: 16267/192522	Time: 765.651/86400
c Decision: 16267/192522	Time: 772.407/86400
c Decision: 16267/192522	Time: 779.46/86400
c Decision: 16267/192522	Time: 785.965/86400
c Decision: 16267/192522	Time: 791.705/86400
c Decision: 16267/192522	Time: 797.078/86400
c Decision: 16267/192522	Time: 801.948/86400
c Decision: 16267/192522	Time: 807.954/86400
c Decision: 16267/192522	Time: 814.116/86400
c Decision: 16267/192522	Time: 820.39/86400
c Decision: 16267/192522	Time: 826.93/86400
c Decision: 16267/192522	Time: 832.182/86400
c Decision: 16267/192522	Time: 838.717/86400
c Decision: 16267/192522	Time: 845.432/86400
c Decision: 16267/192522	Time: 851.814/86400
c Decision: 16267/192522	Time: 857.569/86400
c Decision: 16267/192522	Time: 863.422/86400
c Decision: 16267/192522	Time: 870.553/86400
c Decision: 16267/192522	Time: 877.044/86400
c Decision: 16267/192522	Time: 883.474/86400
c Decision: 16267/192522	Time: 889.275/86400
c Decision: 16267/192522	Time: 896.107/86400
c Decision: 16267/192522	Time: 903.227/86400
c Decision: 16267/192522	Time: 909.366/86400
c Decision: 16267/192522	Time: 916.886/86400
c Decision: 16267/192522	Time: 924.57/86400
c Decision: 16267/192522	Time: 930.845/86400
c Decision: 16267/192522	Time: 937.667/86400
c Decision: 16267/192522	Time: 944.5/86400
c Decision: 16267/192522	Time: 950.887/86400
c Decision: 16267/192522	Time: 957.633/86400
c Decision: 16267/192522	Time: 964.438/86400
c Decision: 16267/192522	Time: 970.928/86400
c Decision: 16267/192522	Time: 977.55/86400
c Decision: 16267/192522	Time: 984.091/86400
c Decision: 16267/192522	Time: 991.108/86400
c Decision: 16267/192522	Time: 998.58/86400
c Decision: 16267/192522	Time: 1006.97/86400
c Decision: 16267/192522	Time: 1015.17/86400
c Decision: 16267/192522	Time: 1022.76/86400
c Decision: 16267/192522	Time: 1030.2/86400
c Decision: 16267/192522	Time: 1038.33/86400
c Decision: 16267/192522	Time: 1046.75/86400
c Decision: 16267/192522	Time: 1053.19/86400
c Decision: 16267/192522	Time: 1059.63/86400
c Decision: 16267/192522	Time: 1067.47/86400
c Decision: 16267/192522	Time: 1074.62/86400
c Decision: 16267/192522	Time: 1082.97/86400
c Decision: 16267/192522	Time: 1090.33/86400
c Decision: 16267/192522	Time: 1098.28/86400
c Decision: 16267/192522	Time: 1106.1/86400
c Decision: 16267/192522	Time: 1113.47/86400
c Decision: 16267/192522	Time: 1122.21/86400
c Decision: 16267/192522	Time: 1128.99/86400
c Decision: 16267/192522	Time: 1136.23/86400
c Decision: 16267/192522	Time: 1143.95/86400
c Decision: 16267/192522	Time: 1151.02/86400
c Decision: 16267/192522	Time: 1160.54/86400
c Decision: 16267/192522	Time: 1167.75/86400
c Decision: 16267/192522	Time: 1175.13/86400
c Decision: 16267/192522	Time: 1183.75/86400
c Decision: 16267/192522	Time: 1191.35/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/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22486652 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12546/statm): 373 2 364 364 0 9 0
[pid=12546] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-ran12x21.opb

[startup+10.0012 s]
Raw data (loadavg): 0.87 0.95 0.91 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 26927 0 0 0 930 63 0 0 25 0 1 0 22486652 84033536 15432 4294967295 134512640 135987407 3221224560 3221223312 134812116 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12546/statm): 20516 15432 364 364 0 20152 0
[pid=12546] vsize: 82064
Current children cumulated CPU time (s) 9.93
Current children cumulated vsize (Kb) 82064

[startup+20.0019 s]
Raw data (loadavg): 0.89 0.95 0.91 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 27817 0 0 0 1887 78 0 0 25 0 1 0 22486652 87674880 16322 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 21405 16322 364 364 0 21041 0
[pid=12546] vsize: 85620
Current children cumulated CPU time (s) 19.65
Current children cumulated vsize (Kb) 85620

[startup+30.0027 s]
Raw data (loadavg): 0.90 0.95 0.91 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 28075 0 0 0 2852 89 0 0 25 0 1 0 22486652 88477696 16580 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 21601 16580 364 364 0 21237 0
[pid=12546] vsize: 86404
Current children cumulated CPU time (s) 29.41
Current children cumulated vsize (Kb) 86404

[startup+40.0035 s]
Raw data (loadavg): 0.92 0.95 0.91 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 28257 0 0 0 3807 104 0 0 25 0 1 0 22486652 89092096 16762 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 21751 16762 364 364 0 21387 0
[pid=12546] vsize: 87004
Current children cumulated CPU time (s) 39.11
Current children cumulated vsize (Kb) 87004

[startup+50.0042 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 28771 0 0 0 4768 119 0 0 25 0 1 0 22486652 89534464 16899 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 21859 16899 364 364 0 21495 0
[pid=12546] vsize: 87436
Current children cumulated CPU time (s) 48.87
Current children cumulated vsize (Kb) 87436

[startup+60.004 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 29594 0 0 0 5713 138 0 0 25 0 1 0 22486652 91439104 17345 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 22324 17345 364 364 0 21960 0
[pid=12546] vsize: 89296
Current children cumulated CPU time (s) 58.51
Current children cumulated vsize (Kb) 89296

[startup+70.0048 s]
Raw data (loadavg): 0.95 0.96 0.91 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 30591 0 0 0 6663 155 0 0 25 0 1 0 22486652 92323840 17588 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 22540 17588 364 364 0 22176 0
[pid=12546] vsize: 90160
Current children cumulated CPU time (s) 68.18
Current children cumulated vsize (Kb) 90160

[startup+80.0046 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 31416 0 0 0 7601 178 0 0 25 0 1 0 22486652 92651520 17659 4294967295 134512640 135987407 3221224560 3221223376 134876790 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 22620 17659 364 364 0 22256 0
[pid=12546] vsize: 90480
Current children cumulated CPU time (s) 77.79
Current children cumulated vsize (Kb) 90480

[startup+90.0054 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 31956 0 0 0 8549 195 0 0 25 0 1 0 22486652 93208576 17822 4294967295 134512640 135987407 3221224560 3221223020 135480899 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 22756 17822 364 364 0 22392 0
[pid=12546] vsize: 91024
Current children cumulated CPU time (s) 87.44
Current children cumulated vsize (Kb) 91024

[startup+100.005 s]
Raw data (loadavg): 0.97 0.96 0.91 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 32731 0 0 0 9498 212 0 0 21 0 1 0 22486652 93405184 17843 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/12546/statm): 22804 17843 364 364 0 22440 0
[pid=12546] vsize: 91216
Current children cumulated CPU time (s) 97.1
Current children cumulated vsize (Kb) 91216

[startup+110.006 s]
Raw data (loadavg): 1.05 0.98 0.92 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 33498 0 0 0 10436 234 0 0 25 0 1 0 22486652 93405184 17856 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 22804 17856 364 364 0 22440 0
[pid=12546] vsize: 91216
Current children cumulated CPU time (s) 106.7
Current children cumulated vsize (Kb) 91216

[startup+120.006 s]
Raw data (loadavg): 1.04 0.98 0.92 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 33917 0 0 0 11369 257 0 0 25 0 1 0 22486652 93569024 17898 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 22844 17898 364 364 0 22480 0
[pid=12546] vsize: 91376
Current children cumulated CPU time (s) 116.26
Current children cumulated vsize (Kb) 91376

[startup+130.006 s]
Raw data (loadavg): 1.03 0.98 0.92 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 34724 0 0 0 12302 281 0 0 17 0 1 0 22486652 93712384 17951 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12546/statm): 22879 17951 364 364 0 22515 0
[pid=12546] vsize: 91516
Current children cumulated CPU time (s) 125.83
Current children cumulated vsize (Kb) 91516

[startup+140.006 s]
Raw data (loadavg): 1.03 0.98 0.92 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 35554 0 0 0 13237 303 0 0 25 0 1 0 22486652 94072832 18027 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 22967 18027 364 364 0 22603 0
[pid=12546] vsize: 91868
Current children cumulated CPU time (s) 135.4
Current children cumulated vsize (Kb) 91868

[startup+150.007 s]
Raw data (loadavg): 1.02 0.98 0.92 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 35978 0 0 0 14161 329 0 0 25 0 1 0 22486652 94433280 18074 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23055 18074 364 364 0 22691 0
[pid=12546] vsize: 92220
Current children cumulated CPU time (s) 144.9
Current children cumulated vsize (Kb) 92220

[startup+160.007 s]
Raw data (loadavg): 1.02 0.98 0.92 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 36802 0 0 0 15084 355 0 0 25 0 1 0 22486652 94597120 18144 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23095 18144 364 364 0 22731 0
[pid=12546] vsize: 92380
Current children cumulated CPU time (s) 154.39
Current children cumulated vsize (Kb) 92380

[startup+170.008 s]
Raw data (loadavg): 1.02 0.98 0.92 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 37577 0 0 0 16025 378 0 0 25 0 1 0 22486652 94760960 18165 4294967295 134512640 135987407 3221224560 3221223364 134877017 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23135 18165 364 364 0 22771 0
[pid=12546] vsize: 92540
Current children cumulated CPU time (s) 164.03
Current children cumulated vsize (Kb) 92540

[startup+180.007 s]
Raw data (loadavg): 1.01 0.98 0.92 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 37987 0 0 0 16948 404 0 0 25 0 1 0 22486652 94924800 18198 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23175 18198 364 364 0 22811 0
[pid=12546] vsize: 92700
Current children cumulated CPU time (s) 173.52
Current children cumulated vsize (Kb) 92700

[startup+190.008 s]
Raw data (loadavg): 1.01 0.98 0.92 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 38748 0 0 0 17871 432 0 0 25 0 1 0 22486652 94924800 18205 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23175 18205 364 364 0 22811 0
[pid=12546] vsize: 92700
Current children cumulated CPU time (s) 183.03
Current children cumulated vsize (Kb) 92700

[startup+200.008 s]
Raw data (loadavg): 1.01 0.98 0.92 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 39137 0 0 0 18794 458 0 0 25 0 1 0 22486652 94924800 18217 4294967295 134512640 135987407 3221224560 3221223280 134813842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23175 18217 364 364 0 22811 0
[pid=12546] vsize: 92700
Current children cumulated CPU time (s) 192.52
Current children cumulated vsize (Kb) 92700

[startup+210.008 s]
Raw data (loadavg): 1.01 0.98 0.92 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 39918 0 0 0 19721 482 0 0 25 0 1 0 22486652 94924800 18244 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23175 18244 364 364 0 22811 0
[pid=12546] vsize: 92700
Current children cumulated CPU time (s) 202.03
Current children cumulated vsize (Kb) 92700

[startup+220.009 s]
Raw data (loadavg): 1.00 0.98 0.92 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 40714 0 0 0 20653 506 0 0 25 0 1 0 22486652 94924800 18286 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23175 18286 364 364 0 22811 0
[pid=12546] vsize: 92700
Current children cumulated CPU time (s) 211.59
Current children cumulated vsize (Kb) 92700

[startup+230.008 s]
Raw data (loadavg): 1.00 0.98 0.92 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 41513 0 0 0 21596 526 0 0 17 0 1 0 22486652 95059968 18331 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23208 18331 364 364 0 22844 0
[pid=12546] vsize: 92832
Current children cumulated CPU time (s) 221.22
Current children cumulated vsize (Kb) 92832

[startup+240.009 s]
Raw data (loadavg): 1.00 0.98 0.92 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 42309 0 0 0 22536 546 0 0 24 0 1 0 22486652 95195136 18373 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23241 18373 364 364 0 22877 0
[pid=12546] vsize: 92964
Current children cumulated CPU time (s) 230.82
Current children cumulated vsize (Kb) 92964

[startup+250.01 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 43105 0 0 0 23469 571 0 0 25 0 1 0 22486652 96890880 18792 4294967295 134512640 135987407 3221224560 3221222924 134827484 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23655 18792 364 364 0 23291 0
[pid=12546] vsize: 94620
Current children cumulated CPU time (s) 240.4
Current children cumulated vsize (Kb) 94620

[startup+260.01 s]
Raw data (loadavg): 1.00 0.98 0.92 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 43512 0 0 0 24402 594 0 0 25 0 1 0 22486652 95346688 18445 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23278 18445 364 364 0 22914 0
[pid=12546] vsize: 93112
Current children cumulated CPU time (s) 249.96
Current children cumulated vsize (Kb) 93112

[startup+270.01 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 44298 0 0 0 25338 616 0 0 25 0 1 0 22486652 95346688 18477 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23278 18477 364 364 0 22914 0
[pid=12546] vsize: 93112
Current children cumulated CPU time (s) 259.54
Current children cumulated vsize (Kb) 93112

[startup+280.011 s]
Raw data (loadavg): 1.00 0.98 0.92 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 45098 0 0 0 26272 642 0 0 25 0 1 0 22486652 95481856 18523 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23311 18523 364 364 0 22947 0
[pid=12546] vsize: 93244
Current children cumulated CPU time (s) 269.14
Current children cumulated vsize (Kb) 93244

[startup+290.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 45495 0 0 0 27209 665 0 0 25 0 1 0 22486652 95633408 18543 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23348 18543 364 364 0 22984 0
[pid=12546] vsize: 93392
Current children cumulated CPU time (s) 278.74
Current children cumulated vsize (Kb) 93392

[startup+300.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 46292 0 0 0 28144 689 0 0 25 0 1 0 22486652 95633408 18586 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23348 18586 364 364 0 22984 0
[pid=12546] vsize: 93392
Current children cumulated CPU time (s) 288.33
Current children cumulated vsize (Kb) 93392

[startup+310.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 47085 0 0 0 29080 712 0 0 25 0 1 0 22486652 95797248 18625 4294967295 134512640 135987407 3221224560 3221223248 134788869 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12546/statm): 23388 18625 364 364 0 23024 0
[pid=12546] vsize: 93552
Current children cumulated CPU time (s) 297.92
Current children cumulated vsize (Kb) 93552

[startup+320.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 47905 0 0 0 30025 732 0 0 25 0 1 0 22486652 95940608 18691 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23423 18691 364 364 0 23059 0
[pid=12546] vsize: 93692
Current children cumulated CPU time (s) 307.57
Current children cumulated vsize (Kb) 93692

[startup+330.012 s]
Raw data (loadavg): 1.00 0.98 0.92 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 48304 0 0 0 30952 756 0 0 25 0 1 0 22486652 95940608 18713 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23423 18713 364 364 0 23059 0
[pid=12546] vsize: 93692
Current children cumulated CPU time (s) 317.08
Current children cumulated vsize (Kb) 93692

[startup+340.013 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 49086 0 0 0 31890 777 0 0 25 0 1 0 22486652 96071680 18741 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23455 18741 364 364 0 23091 0
[pid=12546] vsize: 93820
Current children cumulated CPU time (s) 326.67
Current children cumulated vsize (Kb) 93820

[startup+350.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 49866 0 0 0 32828 800 0 0 25 0 1 0 22486652 96071680 18767 4294967295 134512640 135987407 3221224560 3221223248 134812169 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12546/statm): 23455 18767 364 364 0 23091 0
[pid=12546] vsize: 93820
Current children cumulated CPU time (s) 336.28
Current children cumulated vsize (Kb) 93820

[startup+360.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 50275 0 0 0 33758 824 0 0 25 0 1 0 22486652 96231424 18799 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23494 18799 364 364 0 23130 0
[pid=12546] vsize: 93976
Current children cumulated CPU time (s) 345.82
Current children cumulated vsize (Kb) 93976

[startup+370.014 s]
Raw data (loadavg): 1.00 0.98 0.92 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 50694 0 0 0 34689 849 0 0 25 0 1 0 22486652 96231424 18841 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/12546/statm): 23494 18841 364 364 0 23130 0
[pid=12546] vsize: 93976
Current children cumulated CPU time (s) 355.38
Current children cumulated vsize (Kb) 93976

[startup+380.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 51095 0 0 0 35612 876 0 0 25 0 1 0 22486652 96395264 18865 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12546/statm): 23534 18865 364 364 0 23170 0
[pid=12546] vsize: 94136
Current children cumulated CPU time (s) 364.88
Current children cumulated vsize (Kb) 94136

[startup+390.016 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 51879 0 0 0 36542 901 0 0 25 0 1 0 22486652 96395264 18895 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12546/statm): 23534 18895 364 364 0 23170 0
[pid=12546] vsize: 94136
Current children cumulated CPU time (s) 374.43
Current children cumulated vsize (Kb) 94136

[startup+400.016 s]
Raw data (loadavg): 1.00 0.98 0.92 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 52304 0 0 0 37471 926 0 0 25 0 1 0 22486652 96563200 18943 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23575 18943 364 364 0 23211 0
[pid=12546] vsize: 94300
Current children cumulated CPU time (s) 383.97
Current children cumulated vsize (Kb) 94300

[startup+410.016 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 53085 0 0 0 38409 949 0 0 25 0 1 0 22486652 96563200 18970 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23575 18970 364 364 0 23211 0
[pid=12546] vsize: 94300
Current children cumulated CPU time (s) 393.58
Current children cumulated vsize (Kb) 94300

[startup+420.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 53503 0 0 0 39328 974 0 0 25 0 1 0 22486652 96698368 19011 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12546/statm): 23608 19011 364 364 0 23244 0
[pid=12546] vsize: 94432
Current children cumulated CPU time (s) 403.02
Current children cumulated vsize (Kb) 94432

[startup+430.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 54293 0 0 0 40258 997 0 0 25 0 1 0 22486652 96698368 19047 4294967295 134512640 135987407 3221224560 3221223312 134801140 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23608 19047 364 364 0 23244 0
[pid=12546] vsize: 94432
Current children cumulated CPU time (s) 412.55
Current children cumulated vsize (Kb) 94432

[startup+440.018 s]
Raw data (loadavg): 1.00 0.98 0.92 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 55070 0 0 0 41197 1016 0 0 25 0 1 0 22486652 96829440 19070 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23640 19070 364 364 0 23276 0
[pid=12546] vsize: 94560
Current children cumulated CPU time (s) 422.13
Current children cumulated vsize (Kb) 94560

[startup+450.019 s]
Raw data (loadavg): 1.00 0.98 0.92 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 55477 0 0 0 42119 1044 0 0 25 0 1 0 22486652 96829440 19100 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23640 19100 364 364 0 23276 0
[pid=12546] vsize: 94560
Current children cumulated CPU time (s) 431.63
Current children cumulated vsize (Kb) 94560

[startup+460.018 s]
Raw data (loadavg): 1.00 0.98 0.92 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 56268 0 0 0 43051 1066 0 0 25 0 1 0 22486652 96960512 19137 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23672 19137 364 364 0 23308 0
[pid=12546] vsize: 94688
Current children cumulated CPU time (s) 441.17
Current children cumulated vsize (Kb) 94688

[startup+470.019 s]
Raw data (loadavg): 1.00 0.98 0.92 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 57052 0 0 0 43988 1086 0 0 25 0 1 0 22486652 96960512 19167 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23672 19167 364 364 0 23308 0
[pid=12546] vsize: 94688
Current children cumulated CPU time (s) 450.74
Current children cumulated vsize (Kb) 94688

[startup+480.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 57457 0 0 0 44913 1113 0 0 23 0 1 0 22486652 97095680 19195 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23705 19195 364 364 0 23341 0
[pid=12546] vsize: 94820
Current children cumulated CPU time (s) 460.26
Current children cumulated vsize (Kb) 94820

[startup+490.02 s]
Raw data (loadavg): 1.00 0.98 0.92 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 58247 0 0 0 45855 1133 0 0 25 0 1 0 22486652 97095680 19231 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23705 19231 364 364 0 23341 0
[pid=12546] vsize: 94820
Current children cumulated CPU time (s) 469.88
Current children cumulated vsize (Kb) 94820

[startup+500.02 s]
Raw data (loadavg): 1.08 0.99 0.93 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 58653 0 0 0 46792 1155 0 0 25 0 1 0 22486652 97095680 19260 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23705 19260 364 364 0 23341 0
[pid=12546] vsize: 94820
Current children cumulated CPU time (s) 479.47
Current children cumulated vsize (Kb) 94820

[startup+510.019 s]
Raw data (loadavg): 1.07 0.99 0.93 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 59435 0 0 0 47738 1174 0 0 25 0 1 0 22486652 97226752 19288 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23737 19288 364 364 0 23373 0
[pid=12546] vsize: 94948
Current children cumulated CPU time (s) 489.12
Current children cumulated vsize (Kb) 94948

[startup+520.02 s]
Raw data (loadavg): 1.06 0.99 0.93 1/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 60225 0 0 0 48669 1196 0 0 25 0 1 0 22486652 97226752 19324 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/12546/statm): 23737 19324 364 364 0 23373 0
[pid=12546] vsize: 94948
Current children cumulated CPU time (s) 498.65
Current children cumulated vsize (Kb) 94948

[startup+530.021 s]
Raw data (loadavg): 1.05 0.99 0.93 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 61015 0 0 0 49604 1221 0 0 25 0 1 0 22486652 98906112 19737 4294967295 134512640 135987407 3221224560 3221222928 134829294 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12546/statm): 24147 19737 364 364 0 23783 0
[pid=12546] vsize: 96588
Current children cumulated CPU time (s) 508.25
Current children cumulated vsize (Kb) 96588

[startup+540.022 s]
Raw data (loadavg): 1.04 0.99 0.93 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 61420 0 0 0 50546 1241 0 0 25 0 1 0 22486652 97361920 19388 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23770 19388 364 364 0 23406 0
[pid=12546] vsize: 95080
Current children cumulated CPU time (s) 517.87
Current children cumulated vsize (Kb) 95080

[startup+550.023 s]
Raw data (loadavg): 1.03 0.99 0.93 2/55 12546
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 62229 0 0 0 51481 1263 0 0 25 0 1 0 22486652 97550336 19443 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23816 19443 364 364 0 23452 0
[pid=12546] vsize: 95264
Current children cumulated CPU time (s) 527.44
Current children cumulated vsize (Kb) 95264

[startup+560.022 s]
Raw data (loadavg): 1.03 0.99 0.93 1/55 12601
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 62635 0 0 0 52396 1294 0 0 25 0 1 0 22486652 97550336 19472 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23816 19472 364 364 0 23452 0
[pid=12546] vsize: 95264
Current children cumulated CPU time (s) 536.9
Current children cumulated vsize (Kb) 95264

[startup+570.022 s]
Raw data (loadavg): 1.02 0.99 0.93 1/55 12601
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 63423 0 0 0 53335 1314 0 0 25 0 1 0 22486652 97550336 19506 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23816 19506 364 364 0 23452 0
[pid=12546] vsize: 95264
Current children cumulated CPU time (s) 546.49
Current children cumulated vsize (Kb) 95264

[startup+580.022 s]
Raw data (loadavg): 1.02 0.99 0.93 2/55 12601
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 64213 0 0 0 54267 1337 0 0 25 0 1 0 22486652 97681408 19542 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23848 19542 364 364 0 23484 0
[pid=12546] vsize: 95392
Current children cumulated CPU time (s) 556.04
Current children cumulated vsize (Kb) 95392

[startup+590.024 s]
Raw data (loadavg): 1.02 0.99 0.93 1/55 12601
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 64641 0 0 0 55206 1358 0 0 25 0 1 0 22486652 97812480 19593 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23880 19593 364 364 0 23516 0
[pid=12546] vsize: 95520
Current children cumulated CPU time (s) 565.64
Current children cumulated vsize (Kb) 95520

[startup+600.023 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 12601
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 65431 0 0 0 56147 1379 0 0 25 0 1 0 22486652 97812480 19629 4294967295 134512640 135987407 3221224560 3221223376 134816524 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23880 19629 364 364 0 23516 0
[pid=12546] vsize: 95520
Current children cumulated CPU time (s) 575.26
Current children cumulated vsize (Kb) 95520

[startup+610.023 s]
Raw data (loadavg): 1.01 0.99 0.93 2/57 12603
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 65839 0 0 0 57071 1403 0 0 18 0 1 0 22486652 97943552 19660 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23912 19660 364 364 0 23548 0
[pid=12546] vsize: 95648
Current children cumulated CPU time (s) 584.74
Current children cumulated vsize (Kb) 95648

[startup+620.024 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 12605
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 66635 0 0 0 58013 1425 0 0 25 0 1 0 22486652 97943552 19702 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23912 19702 364 364 0 23548 0
[pid=12546] vsize: 95648
Current children cumulated CPU time (s) 594.38
Current children cumulated vsize (Kb) 95648

[startup+630.024 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 67415 0 0 0 58956 1444 0 0 25 0 1 0 22486652 98078720 19728 4294967295 134512640 135987407 3221224560 3221223376 134816522 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23945 19728 364 364 0 23581 0
[pid=12546] vsize: 95780
Current children cumulated CPU time (s) 604
Current children cumulated vsize (Kb) 95780

[startup+640.025 s]
Raw data (loadavg): 1.00 0.99 0.93 1/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 67834 0 0 0 59886 1468 0 0 25 0 1 0 22486652 98078720 19770 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23945 19770 364 364 0 23581 0
[pid=12546] vsize: 95780
Current children cumulated CPU time (s) 613.54
Current children cumulated vsize (Kb) 95780

[startup+650.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 68620 0 0 0 60817 1493 0 0 25 0 1 0 22486652 98209792 19802 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23977 19802 364 364 0 23613 0
[pid=12546] vsize: 95908
Current children cumulated CPU time (s) 623.1
Current children cumulated vsize (Kb) 95908

[startup+660.025 s]
Raw data (loadavg): 1.00 0.99 0.93 1/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 69018 0 0 0 61756 1515 0 0 25 0 1 0 22486652 98209792 19823 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 23977 19823 364 364 0 23613 0
[pid=12546] vsize: 95908
Current children cumulated CPU time (s) 632.71
Current children cumulated vsize (Kb) 95908

[startup+670.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 69819 0 0 0 62698 1535 0 0 25 0 1 0 22486652 98353152 19870 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12546/statm): 24012 19870 364 364 0 23648 0
[pid=12546] vsize: 96048
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (Kb) 96048

[startup+680.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 69840 0 0 0 63625 1557 0 0 25 0 1 0 22486652 98353152 19891 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24012 19891 364 364 0 23648 0
[pid=12546] vsize: 96048
Current children cumulated CPU time (s) 651.82
Current children cumulated vsize (Kb) 96048

[startup+690.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 70620 0 0 0 64564 1578 0 0 25 0 1 0 22486652 98353152 19917 4294967295 134512640 135987407 3221224560 3221223328 134882544 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24012 19917 364 364 0 23648 0
[pid=12546] vsize: 96048
Current children cumulated CPU time (s) 661.42
Current children cumulated vsize (Kb) 96048

[startup+700.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 71026 0 0 0 65502 1601 0 0 25 0 1 0 22486652 98484224 19946 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24044 19946 364 364 0 23680 0
[pid=12546] vsize: 96176
Current children cumulated CPU time (s) 671.03
Current children cumulated vsize (Kb) 96176

[startup+710.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 71060 0 0 0 66434 1623 0 0 25 0 1 0 22486652 98615296 19980 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24076 19980 364 364 0 23712 0
[pid=12546] vsize: 96304
Current children cumulated CPU time (s) 680.57
Current children cumulated vsize (Kb) 96304

[startup+720.026 s]
Raw data (loadavg): 1.00 0.99 0.93 1/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 71859 0 0 0 67373 1645 0 0 25 0 1 0 22486652 98615296 20025 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24076 20025 364 364 0 23712 0
[pid=12546] vsize: 96304
Current children cumulated CPU time (s) 690.18
Current children cumulated vsize (Kb) 96304

[startup+730.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 72274 0 0 0 68312 1667 0 0 25 0 1 0 22486652 98750464 20063 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24109 20063 364 364 0 23745 0
[pid=12546] vsize: 96436
Current children cumulated CPU time (s) 699.79
Current children cumulated vsize (Kb) 96436

[startup+740.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 73066 0 0 0 69252 1687 0 0 25 0 1 0 22486652 98926592 20101 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24152 20101 364 364 0 23788 0
[pid=12546] vsize: 96608
Current children cumulated CPU time (s) 709.39
Current children cumulated vsize (Kb) 96608

[startup+750.027 s]
Raw data (loadavg): 1.00 0.99 0.93 1/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 73859 0 0 0 70189 1711 0 0 25 0 1 0 22486652 98926592 20140 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24152 20140 364 364 0 23788 0
[pid=12546] vsize: 96608
Current children cumulated CPU time (s) 719
Current children cumulated vsize (Kb) 96608

[startup+760.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 74269 0 0 0 71130 1732 0 0 25 0 1 0 22486652 99057664 20173 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24184 20173 364 364 0 23820 0
[pid=12546] vsize: 96736
Current children cumulated CPU time (s) 728.62
Current children cumulated vsize (Kb) 96736

[startup+770.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 75052 0 0 0 72079 1751 0 0 25 0 1 0 22486652 99057664 20202 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24184 20202 364 364 0 23820 0
[pid=12546] vsize: 96736
Current children cumulated CPU time (s) 738.3
Current children cumulated vsize (Kb) 96736

[startup+780.03 s]
Raw data (loadavg): 1.00 0.99 0.93 1/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 75474 0 0 0 73024 1768 0 0 25 0 1 0 22486652 99192832 20247 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24217 20247 364 364 0 23853 0
[pid=12546] vsize: 96868
Current children cumulated CPU time (s) 747.92
Current children cumulated vsize (Kb) 96868

[startup+790.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 75879 0 0 0 73970 1787 0 0 25 0 1 0 22486652 99192832 20275 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24217 20275 364 364 0 23853 0
[pid=12546] vsize: 96868
Current children cumulated CPU time (s) 757.57
Current children cumulated vsize (Kb) 96868

[startup+800.031 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 76303 0 0 0 74899 1814 0 0 25 0 1 0 22486652 99328000 20322 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24250 20322 364 364 0 23886 0
[pid=12546] vsize: 97000
Current children cumulated CPU time (s) 767.13
Current children cumulated vsize (Kb) 97000

[startup+810.031 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 77093 0 0 0 75840 1835 0 0 25 0 1 0 22486652 99328000 20358 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24250 20358 364 364 0 23886 0
[pid=12546] vsize: 97000
Current children cumulated CPU time (s) 776.75
Current children cumulated vsize (Kb) 97000

[startup+820.032 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 77499 0 0 0 76767 1858 0 0 25 0 1 0 22486652 99463168 20387 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24283 20387 364 364 0 23919 0
[pid=12546] vsize: 97132
Current children cumulated CPU time (s) 786.25
Current children cumulated vsize (Kb) 97132

[startup+830.032 s]
Raw data (loadavg): 1.00 0.99 0.93 1/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 78273 0 0 0 77705 1881 0 0 25 0 1 0 22486652 99463168 20407 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24283 20407 364 364 0 23919 0
[pid=12546] vsize: 97132
Current children cumulated CPU time (s) 795.86
Current children cumulated vsize (Kb) 97132

[startup+840.033 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 79047 0 0 0 78643 1902 0 0 25 0 1 0 22486652 101007360 20804 4294967295 134512640 135987407 3221224560 3221222928 134829294 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24660 20804 364 364 0 24296 0
[pid=12546] vsize: 98640
Current children cumulated CPU time (s) 805.45
Current children cumulated vsize (Kb) 98640

[startup+850.033 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 79458 0 0 0 79583 1922 0 0 25 0 1 0 22486652 99598336 20461 4294967295 134512640 135987407 3221224560 3221223280 134814120 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24316 20461 364 364 0 23952 0
[pid=12546] vsize: 97264
Current children cumulated CPU time (s) 815.05
Current children cumulated vsize (Kb) 97264

[startup+860.033 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 80236 0 0 0 80523 1942 0 0 25 0 1 0 22486652 99598336 20485 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24316 20485 364 364 0 23952 0
[pid=12546] vsize: 97264
Current children cumulated CPU time (s) 824.65
Current children cumulated vsize (Kb) 97264

[startup+870.034 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 80650 0 0 0 81464 1962 0 0 25 0 1 0 22486652 99762176 20522 4294967295 134512640 135987407 3221224560 3221223324 134812119 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24356 20522 364 364 0 23992 0
[pid=12546] vsize: 97424
Current children cumulated CPU time (s) 834.26
Current children cumulated vsize (Kb) 97424

[startup+880.033 s]
Raw data (loadavg): 1.00 0.99 0.93 1/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 81433 0 0 0 82401 1985 0 0 25 0 1 0 22486652 99762176 20551 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24356 20551 364 364 0 23992 0
[pid=12546] vsize: 97424
Current children cumulated CPU time (s) 843.86
Current children cumulated vsize (Kb) 97424

[startup+890.034 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 12607
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 81832 0 0 0 83343 2006 0 0 25 0 1 0 22486652 99762176 20573 4294967295 134512640 135987407 3221224560 3221223280 134814307 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24356 20573 364 364 0 23992 0
[pid=12546] vsize: 97424
Current children cumulated CPU time (s) 853.49
Current children cumulated vsize (Kb) 97424

[startup+900.035 s]
Raw data (loadavg): 1.07 1.01 0.93 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 82623 0 0 0 84286 2025 0 0 25 0 1 0 22486652 99897344 20610 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24389 20610 364 364 0 24025 0
[pid=12546] vsize: 97556
Current children cumulated CPU time (s) 863.11
Current children cumulated vsize (Kb) 97556

[startup+910.035 s]
Raw data (loadavg): 1.06 1.01 0.93 1/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 83411 0 0 0 85220 2049 0 0 25 0 1 0 22486652 99897344 20644 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24389 20644 364 364 0 24025 0
[pid=12546] vsize: 97556
Current children cumulated CPU time (s) 872.69
Current children cumulated vsize (Kb) 97556

[startup+920.035 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 83820 0 0 0 86161 2067 0 0 25 0 1 0 22486652 100040704 20676 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24424 20676 364 364 0 24060 0
[pid=12546] vsize: 97696
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (Kb) 97696

[startup+930.035 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 84603 0 0 0 87100 2089 0 0 25 0 1 0 22486652 101584896 21082 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24801 21082 364 364 0 24437 0
[pid=12546] vsize: 99204
Current children cumulated CPU time (s) 891.89
Current children cumulated vsize (Kb) 99204

[startup+940.036 s]
Raw data (loadavg): 1.04 1.01 0.93 1/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 85012 0 0 0 88041 2109 0 0 25 0 1 0 22486652 100040704 20737 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24424 20737 364 364 0 24060 0
[pid=12546] vsize: 97696
Current children cumulated CPU time (s) 901.5
Current children cumulated vsize (Kb) 97696

[startup+950.037 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 85805 0 0 0 88986 2126 0 0 25 0 1 0 22486652 100175872 20776 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24457 20776 364 364 0 24093 0
[pid=12546] vsize: 97828
Current children cumulated CPU time (s) 911.12
Current children cumulated vsize (Kb) 97828

[startup+960.037 s]
Raw data (loadavg): 1.10 1.02 0.94 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 86218 0 0 0 89928 2147 0 0 23 0 1 0 22486652 100327424 20812 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24494 20812 364 364 0 24130 0
[pid=12546] vsize: 97976
Current children cumulated CPU time (s) 920.75
Current children cumulated vsize (Kb) 97976

[startup+970.038 s]
Raw data (loadavg): 1.08 1.02 0.94 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 86609 0 0 0 90870 2168 0 0 25 0 1 0 22486652 100327424 20826 4294967295 134512640 135987407 3221224560 3221223376 134816504 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12546/statm): 24494 20826 364 364 0 24130 0
[pid=12546] vsize: 97976
Current children cumulated CPU time (s) 930.38
Current children cumulated vsize (Kb) 97976

[startup+980.037 s]
Raw data (loadavg): 1.07 1.02 0.94 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 87383 0 0 0 91815 2189 0 0 25 0 1 0 22486652 100327424 20846 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12546/statm): 24494 20846 364 364 0 24130 0
[pid=12546] vsize: 97976
Current children cumulated CPU time (s) 940.04
Current children cumulated vsize (Kb) 97976

[startup+990.038 s]
Raw data (loadavg): 1.06 1.02 0.94 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 87781 0 0 0 92758 2208 0 0 25 0 1 0 22486652 100327424 20867 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24494 20867 364 364 0 24130 0
[pid=12546] vsize: 97976
Current children cumulated CPU time (s) 949.66
Current children cumulated vsize (Kb) 97976

[startup+1000.04 s]
Raw data (loadavg): 1.05 1.02 0.94 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 88554 0 0 0 93701 2225 0 0 25 0 1 0 22486652 101871616 21263 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24871 21263 364 364 0 24507 0
[pid=12546] vsize: 99484
Current children cumulated CPU time (s) 959.26
Current children cumulated vsize (Kb) 99484

[startup+1010.04 s]
Raw data (loadavg): 1.04 1.02 0.94 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 88955 0 0 0 94640 2247 0 0 25 0 1 0 22486652 100327424 20910 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12546/statm): 24494 20910 364 364 0 24130 0
[pid=12546] vsize: 97976
Current children cumulated CPU time (s) 968.87
Current children cumulated vsize (Kb) 97976

[startup+1020.04 s]
Raw data (loadavg): 1.03 1.02 0.94 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 89741 0 0 0 95578 2266 0 0 25 0 1 0 22486652 102002688 21319 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24903 21319 364 364 0 24539 0
[pid=12546] vsize: 99612
Current children cumulated CPU time (s) 978.44
Current children cumulated vsize (Kb) 99612

[startup+1030.04 s]
Raw data (loadavg): 1.03 1.01 0.94 1/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 90151 0 0 0 96528 2284 0 0 25 0 1 0 22486652 100458496 20975 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24526 20975 364 364 0 24162 0
[pid=12546] vsize: 98104
Current children cumulated CPU time (s) 988.12
Current children cumulated vsize (Kb) 98104

[startup+1040.04 s]
Raw data (loadavg): 1.10 1.03 0.94 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 90565 0 0 0 97465 2307 0 0 25 0 1 0 22486652 100589568 21012 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24558 21012 364 364 0 24194 0
[pid=12546] vsize: 98232
Current children cumulated CPU time (s) 997.72
Current children cumulated vsize (Kb) 98232

[startup+1050.04 s]
Raw data (loadavg): 1.09 1.03 0.94 1/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 91342 0 0 0 98413 2325 0 0 25 0 1 0 22486652 100589568 21035 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24558 21035 364 364 0 24194 0
[pid=12546] vsize: 98232
Current children cumulated CPU time (s) 1007.38
Current children cumulated vsize (Kb) 98232

[startup+1060.04 s]
Raw data (loadavg): 1.07 1.03 0.94 1/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 91738 0 0 0 99361 2343 0 0 25 0 1 0 22486652 100720640 21054 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24590 21054 364 364 0 24226 0
[pid=12546] vsize: 98360
Current children cumulated CPU time (s) 1017.04
Current children cumulated vsize (Kb) 98360

[startup+1070.04 s]
Raw data (loadavg): 1.06 1.03 0.94 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 92144 0 0 0 100307 2363 0 0 25 0 1 0 22486652 100720640 21083 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24590 21083 364 364 0 24226 0
[pid=12546] vsize: 98360
Current children cumulated CPU time (s) 1026.7
Current children cumulated vsize (Kb) 98360

[startup+1080.04 s]
Raw data (loadavg): 1.05 1.03 0.94 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 92545 0 0 0 101240 2385 0 0 25 0 1 0 22486652 100720640 21107 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24590 21107 364 364 0 24226 0
[pid=12546] vsize: 98360
Current children cumulated CPU time (s) 1036.25
Current children cumulated vsize (Kb) 98360

[startup+1090.04 s]
Raw data (loadavg): 1.12 1.04 0.95 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 92946 0 0 0 102178 2404 0 0 25 0 1 0 22486652 100720640 21131 4294967295 134512640 135987407 3221224560 3221223376 134816510 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24590 21131 364 364 0 24226 0
[pid=12546] vsize: 98360
Current children cumulated CPU time (s) 1045.82
Current children cumulated vsize (Kb) 98360

[startup+1100.04 s]
Raw data (loadavg): 1.10 1.04 0.95 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 93721 0 0 0 103129 2421 0 0 25 0 1 0 22486652 100855808 21152 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24623 21152 364 364 0 24259 0
[pid=12546] vsize: 98492
Current children cumulated CPU time (s) 1055.5
Current children cumulated vsize (Kb) 98492

[startup+1110.04 s]
Raw data (loadavg): 1.08 1.04 0.95 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 94124 0 0 0 104066 2443 0 0 25 0 1 0 22486652 100855808 21178 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24623 21178 364 364 0 24259 0
[pid=12546] vsize: 98492
Current children cumulated CPU time (s) 1065.09
Current children cumulated vsize (Kb) 98492

[startup+1120.04 s]
Raw data (loadavg): 1.07 1.03 0.95 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 94528 0 0 0 105006 2464 0 0 25 0 1 0 22486652 100855808 21205 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24623 21205 364 364 0 24259 0
[pid=12546] vsize: 98492
Current children cumulated CPU time (s) 1074.7
Current children cumulated vsize (Kb) 98492

[startup+1130.04 s]
Raw data (loadavg): 1.06 1.03 0.95 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 95313 0 0 0 105949 2483 0 0 25 0 1 0 22486652 100990976 21236 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12546/statm): 24656 21236 364 364 0 24292 0
[pid=12546] vsize: 98624
Current children cumulated CPU time (s) 1084.32
Current children cumulated vsize (Kb) 98624

[startup+1140.04 s]
Raw data (loadavg): 1.05 1.03 0.95 1/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 95713 0 0 0 106893 2503 0 0 25 0 1 0 22486652 100990976 21259 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24656 21259 364 364 0 24292 0
[pid=12546] vsize: 98624
Current children cumulated CPU time (s) 1093.96
Current children cumulated vsize (Kb) 98624

[startup+1150.04 s]
Raw data (loadavg): 1.04 1.03 0.95 1/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 96110 0 0 0 107838 2522 0 0 25 0 1 0 22486652 100990976 21279 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24656 21279 364 364 0 24292 0
[pid=12546] vsize: 98624
Current children cumulated CPU time (s) 1103.6
Current children cumulated vsize (Kb) 98624

[startup+1160.04 s]
Raw data (loadavg): 1.03 1.03 0.95 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 96505 0 0 0 108782 2540 0 0 25 0 1 0 22486652 101126144 21297 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24689 21297 364 364 0 24325 0
[pid=12546] vsize: 98756
Current children cumulated CPU time (s) 1113.22
Current children cumulated vsize (Kb) 98756

[startup+1170.04 s]
Raw data (loadavg): 1.03 1.03 0.95 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 97283 0 0 0 109724 2560 0 0 25 0 1 0 22486652 101126144 21321 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24689 21321 364 364 0 24325 0
[pid=12546] vsize: 98756
Current children cumulated CPU time (s) 1122.84
Current children cumulated vsize (Kb) 98756

[startup+1180.05 s]
Raw data (loadavg): 1.02 1.03 0.95 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 97684 0 0 0 110669 2578 0 0 25 0 1 0 22486652 101126144 21345 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24689 21345 364 364 0 24325 0
[pid=12546] vsize: 98756
Current children cumulated CPU time (s) 1132.47
Current children cumulated vsize (Kb) 98756

[startup+1190.05 s]
Raw data (loadavg): 1.02 1.02 0.95 1/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 98083 0 0 0 111611 2600 0 0 25 0 1 0 22486652 101126144 21367 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24689 21367 364 364 0 24325 0
[pid=12546] vsize: 98756
Current children cumulated CPU time (s) 1142.11
Current children cumulated vsize (Kb) 98756

[startup+1200.05 s]
Raw data (loadavg): 1.02 1.02 0.95 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 98490 0 0 0 112560 2617 0 0 25 0 1 0 22486652 101257216 21397 4294967295 134512640 135987407 3221224560 3221223280 134813795 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12546/statm): 24721 21397 364 364 0 24357 0
[pid=12546] vsize: 98884
Current children cumulated CPU time (s) 1151.77
Current children cumulated vsize (Kb) 98884

[startup+1210.05 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 99273 0 0 0 113507 2635 0 0 25 0 1 0 22486652 101257216 21426 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12546/statm): 24721 21426 364 364 0 24357 0
[pid=12546] vsize: 98884
Current children cumulated CPU time (s) 1161.42
Current children cumulated vsize (Kb) 98884

[startup+1220.05 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 99666 0 0 0 114460 2651 0 0 25 0 1 0 22486652 101392384 21442 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12546/statm): 24754 21442 364 364 0 24390 0
[pid=12546] vsize: 99016
Current children cumulated CPU time (s) 1171.11
Current children cumulated vsize (Kb) 99016

[startup+1230.05 s]
Raw data (loadavg): 1.01 1.02 0.95 1/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 100066 0 0 0 115408 2669 0 0 25 0 1 0 22486652 101392384 21465 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24754 21465 364 364 0 24390 0
[pid=12546] vsize: 99016
Current children cumulated CPU time (s) 1180.77
Current children cumulated vsize (Kb) 99016

[startup+1240.05 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) R 12545 12546 4060 0 -1 0 100475 0 0 0 116353 2688 0 0 25 0 1 0 22486652 101392384 21497 4294967295 134512640 135987407 3221224560 3221223120 134788443 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12546/statm): 24754 21497 364 364 0 24390 0
[pid=12546] vsize: 99016
Current children cumulated CPU time (s) 1190.41
Current children cumulated vsize (Kb) 99016

[startup+1250.05 s]
Raw data (loadavg): 1.00 1.02 0.95 1/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 101261 0 0 0 117304 2707 0 0 25 0 1 0 22486652 101584896 21529 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24801 21529 364 364 0 24437 0
[pid=12546] vsize: 99204
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (Kb) 99204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1250.05 s]
Raw data (loadavg): 1.00 1.02 0.95 1/55 12609
Raw data (/proc/12546/stat): 12546 (pb2sat) T 12545 12546 4060 0 -1 0 101261 0 0 0 117304 2707 0 0 25 0 1 0 22486652 101584896 21529 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12546/statm): 24801 21529 364 364 0 24437 0
[pid=12546] vsize: 99204
Current children cumulated CPU time (s) 1200.11
Current children cumulated vsize (Kb) 99204

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

Child status: 0
Real time (s): 1250.38
CPU time (s): 1200.45
CPU user time (s): 1173.33
CPU system time (s): 27.1209
CPU usage (%): 96.0064
Max. virtual memory (cumulated for all children) (Kb): 99612

Verifier Data

ERROR: no interpretation found !