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

Namesubmitted/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
MD5SUM6968a43b42bba7df68b13fdfd3b616a1
Bench Categoryno optimization function (SAT)
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 61
Number of bits of the biggest sum of numbers6
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.207967
Number of variables6000
Total number of constraints220
Number of constraints which are clauses120
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint60

Trace number 9573

Launcher Data

LAUNCH ON wulflinc26 THE 2005-09-23 14:08:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8223 boxname=wulflinc26 idbench=19 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6968a43b42bba7df68b13fdfd3b616a1  /oldhome/oroussel/tmp/wulflinc26/normalized-chnl50_60_pb.cnf.cr.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc26/normalized-chnl50_60_pb.cnf.cr.opb
IDLAUNCH: 8223
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.055
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        931232 kB
Buffers:         10468 kB
Cached:          76232 kB
SwapCached:          0 kB
Active:          43384 kB
Inactive:        46244 kB
HighTotal:      131008 kB
HighFree:        51772 kB
LowTotal:       903652 kB
LowFree:        879460 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8340 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 14:28:39 (client local time) WITH STATUS 0 IN 1200.51 SECONDS
stats: 8223 7 1200.51 0

Solver Data

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

c Decision: 5900/17800	Time: 71.0872/86400
c Decision: 5900/17800	Time: 73.6938/86400
c Decision: 5900/17800	Time: 76.5724/86400
c Decision: 5900/17800	Time: 79.214/86400
c Decision: 5900/17800	Time: 82.2995/86400
c Decision: 5900/17800	Time: 85.298/86400
c Decision: 5900/17800	Time: 88.3666/86400
c Decision: 5900/17800	Time: 91.2741/86400
c Decision: 5900/17800	Time: 94.6656/86400
c Decision: 5900/17800	Time: 98.0311/86400
c Decision: 5900/17800	Time: 102.132/86400
c Decision: 5900/17800	Time: 105.671/86400
c Decision: 5900/17800	Time: 109.431/86400
c Decision: 5900/17800	Time: 113.375/86400
c Decision: 5900/17800	Time: 117.045/86400
c Decision: 5900/17800	Time: 121.6/86400
c Decision: 5900/17800	Time: 130.195/86400
c Decision: 5900/17800	Time: 132.546/86400
c Decision: 5900/17800	Time: 134.963/86400
c Decision: 5900/17800	Time: 137.472/86400
c Decision: 5900/17800	Time: 140.408/86400
c Decision: 5900/17800	Time: 142.597/86400
c Decision: 5900/17800	Time: 145.422/86400
c Decision: 5900/17800	Time: 148.004/86400
c Decision: 5900/17800	Time: 150.931/86400
c Decision: 5900/17800	Time: 153.68/86400
c Decision: 5900/17800	Time: 156.531/86400
c Decision: 5900/17800	Time: 159.431/86400
c Decision: 5900/17800	Time: 162/86400
c Decision: 5900/17800	Time: 164.381/86400
c Decision: 5900/17800	Time: 168.078/86400
c Decision: 5900/17800	Time: 170.784/86400
c Decision: 5900/17800	Time: 173.649/86400
c Decision: 5900/17800	Time: 176.633/86400
c Decision: 5900/17800	Time: 179.989/86400
c Decision: 5900/17800	Time: 183.475/86400
c Decision: 5900/17800	Time: 186.512/86400
c Decision: 5900/17800	Time: 189.792/86400
c Decision: 5900/17800	Time: 192.71/86400
c Decision: 5900/17800	Time: 195.931/86400
c Decision: 5900/17800	Time: 199.634/86400
c Decision: 5900/17800	Time: 202.57/86400
c Decision: 5900/17800	Time: 205.542/86400
c Decision: 5900/17800	Time: 209.465/86400
c Decision: 5900/17800	Time: 213.024/86400
c Decision: 5900/17800	Time: 217.328/86400
c Decision: 5900/17800	Time: 221.105/86400
c Decision: 5900/17800	Time: 224.767/86400
c Decision: 5900/17800	Time: 228.534/86400
c Decision: 5900/17800	Time: 232.309/86400
c Decision: 5900/17800	Time: 236.584/86400
c Decision: 5900/17800	Time: 240.23/86400
c Decision: 5900/17800	Time: 243.892/86400
c Decision: 5900/17800	Time: 247.84/86400
c Decision: 5900/17800	Time: 252.045/86400
c Decision: 5900/17800	Time: 256.656/86400
c Decision: 5900/17800	Time: 260.841/86400
c Decision: 5900/17800	Time: 264.782/86400
c Decision: 5900/17800	Time: 268.494/86400
c Decision: 5900/17800	Time: 272.612/86400
c Decision: 5900/17800	Time: 277.278/86400
c Decision: 5900/17800	Time: 281.219/86400
c Decision: 5900/17800	Time: 285.279/86400
c Decision: 5900/17800	Time: 288.855/86400
c Decision: 5900/17800	Time: 292.756/86400
c Decision: 5900/17800	Time: 298.223/86400
c Decision: 5900/17800	Time: 302.512/86400
c Decision: 5900/17800	Time: 306.939/86400
c Decision: 5900/17800	Time: 311.361/86400
c Decision: 5900/17800	Time: 315.609/86400
c Decision: 5900/17800	Time: 321.022/86400
c Decision: 5900/17800	Time: 324.986/86400
c Decision: 5900/17800	Time: 328.983/86400
c Decision: 5900/17800	Time: 333.119/86400
c Decision: 5900/17800	Time: 337.472/86400
c Decision: 5900/17800	Time: 343.03/86400
c Decision: 5900/17800	Time: 347.057/86400
c Decision: 5900/17800	Time: 351.271/86400
c Decision: 5900/17800	Time: 355.997/86400
c Decision: 5900/17800	Time: 360.26/86400
c Decision: 5900/17800	Time: 365.444/86400
c Decision: 5900/17800	Time: 369.787/86400
c Decision: 5900/17800	Time: 374.203/86400
c Decision: 5900/17800	Time: 378.317/86400
c Decision: 5900/17800	Time: 382.936/86400
c Decision: 5900/17800	Time: 388.386/86400
c Decision: 5900/17800	Time: 392.505/86400
c Decision: 5900/17800	Time: 405.749/86400
c Decision: 5900/17800	Time: 407.536/86400
c Decision: 5900/17800	Time: 409.845/86400
c Decision: 5900/17800	Time: 413.51/86400
c Decision: 5900/17800	Time: 416.505/86400
c Decision: 5900/17800	Time: 419.307/86400
c Decision: 5900/17800	Time: 421.839/86400
c Decision: 5900/17800	Time: 424.976/86400
c Decision: 5900/17800	Time: 427.911/86400
c Decision: 5900/17800	Time: 431.292/86400
c Decision: 5900/17800	Time: 433.957/86400
c Decision: 5900/17800	Time: 436.792/86400
c Decision: 5900/17800	Time: 440.151/86400
c Decision: 5900/17800	Time: 443.651/86400
c Decision: 5900/17800	Time: 447.175/86400
c Decision: 5900/17800	Time: 450.8/86400
c Decision: 5900/17800	Time: 453.751/86400
c Decision: 5900/17800	Time: 457.37/86400
c Decision: 5900/17800	Time: 461.768/86400
c Decision: 5900/17800	Time: 465.164/86400
c Decision: 5900/17800	Time: 468.632/86400
c Decision: 5900/17800	Time: 472.022/86400
c Decision: 5900/17800	Time: 475.437/86400
c Decision: 5900/17800	Time: 479.049/86400
c Decision: 5900/17800	Time: 482.482/86400
c Decision: 5900/17800	Time: 486.258/86400
c Decision: 5900/17800	Time: 490.136/86400
c Decision: 5900/17800	Time: 494.103/86400
c Decision: 5900/17800	Time: 498.636/86400
c Decision: 5900/17800	Time: 501.93/86400
c Decision: 5900/17800	Time: 505.283/86400
c Decision: 5900/17800	Time: 509.653/86400
c Decision: 5900/17800	Time: 513.462/86400
c Decision: 5900/17800	Time: 518.082/86400
c Decision: 5900/17800	Time: 522.299/86400
c Decision: 5900/17800	Time: 525.629/86400
c Decision: 5900/17800	Time: 529.71/86400
c Decision: 5900/17800	Time: 533.643/86400
c Decision: 5900/17800	Time: 538.558/86400
c Decision: 5900/17800	Time: 541.884/86400
c Decision: 5900/17800	Time: 546.157/86400
c Decision: 5900/17800	Time: 550.442/86400
c Decision: 5900/17800	Time: 554.658/86400
c Decision: 5900/17800	Time: 559.389/86400
c Decision: 5900/17800	Time: 563.6/86400
c Decision: 5900/17800	Time: 567.734/86400
c Decision: 5900/17800	Time: 572.033/86400
c Decision: 5900/17800	Time: 576.608/86400
c Decision: 5900/17800	Time: 581.896/86400
c Decision: 5900/17800	Time: 586.634/86400
c Decision: 5900/17800	Time: 591.082/86400
c Decision: 5900/17800	Time: 595.411/86400
c Decision: 5900/17800	Time: 599.917/86400
c Decision: 5900/17800	Time: 605.366/86400
c Decision: 5900/17800	Time: 609.765/86400
c Decision: 5900/17800	Time: 614.129/86400
c Decision: 5900/17800	Time: 618.583/86400
c Decision: 5900/17800	Time: 623.288/86400
c Decision: 5900/17800	Time: 628.528/86400
c Decision: 5900/17800	Time: 633.219/86400
c Decision: 5900/17800	Time: 638.031/86400
c Decision: 5900/17800	Time: 642.783/86400
c Decision: 5900/17800	Time: 646.982/86400
c Decision: 5900/17800	Time: 652.861/86400
c Decision: 5900/17800	Time: 657.481/86400
c Decision: 5900/17800	Time: 662.074/86400
c Decision: 5900/17800	Time: 666.406/86400
c Decision: 5900/17800	Time: 671.033/86400
c Decision: 5900/17800	Time: 676.949/86400
c Decision: 5900/17800	Time: 681.261/86400
c Decision: 5900/17800	Time: 685.991/86400
c Decision: 5900/17800	Time: 690.9/86400
c Decision: 5900/17800	Time: 695.549/86400
c Decision: 5900/17800	Time: 701.408/86400
c Decision: 5900/17800	Time: 705.974/86400
c Decision: 5900/17800	Time: 710.688/86400
c Decision: 5900/17800	Time: 715.123/86400
c Decision: 5900/17800	Time: 720.006/86400
c Decision: 5900/17800	Time: 725.899/86400
c Decision: 5900/17800	Time: 730.854/86400
c Decision: 5900/17800	Time: 735.842/86400
c Decision: 5900/17800	Time: 740.183/86400
c Decision: 5900/17800	Time: 745.065/86400
c Decision: 5900/17800	Time: 751.059/86400
c Decision: 5900/17800	Time: 755.855/86400
c Decision: 5900/17800	Time: 760.678/86400
c Decision: 5900/17800	Time: 765.231/86400
c Decision: 5900/17800	Time: 770.155/86400
c Decision: 5900/17800	Time: 776.116/86400
c Decision: 5900/17800	Time: 781.428/86400
c Decision: 5900/17800	Time: 786.411/86400
c Decision: 5900/17800	Time: 791.26/86400
c Decision: 5900/17800	Time: 796.199/86400
c Decision: 5900/17800	Time: 802.723/86400
c Decision: 5900/17800	Time: 807.629/86400
c Decision: 5900/17800	Time: 812.728/86400
c Decision: 5900/17800	Time: 817.64/86400
c Decision: 5900/17800	Time: 823.048/86400
c Decision: 5900/17800	Time: 829.063/86400
c Decision: 5900/17800	Time: 833.974/86400
c Decision: 5900/17800	Time: 839.183/86400
c Decision: 5900/17800	Time: 844.26/86400
c Decision: 5900/17800	Time: 849.277/86400
c Decision: 5900/17800	Time: 855.805/86400
c Decision: 5900/17800	Time: 860.935/86400
c Decision: 5900/17800	Time: 865.929/86400
c Decision: 5900/17800	Time: 870.688/86400
c Decision: 5900/17800	Time: 875.892/86400
c Decision: 5900/17800	Time: 882.107/86400
c Decision: 5900/17800	Time: 886.979/86400
c Decision: 5900/17800	Time: 891.749/86400
c Decision: 5900/17800	Time: 896.729/86400
c Decision: 5900/17800	Time: 901.617/86400
c Decision: 5900/17800	Time: 907.727/86400
c Decision: 5900/17800	Time: 912.604/86400
c Decision: 5900/17800	Time: 917.63/86400
c Decision: 5900/17800	Time: 922.5/86400
c Decision: 5900/17800	Time: 927.741/86400
c Decision: 5900/17800	Time: 933.931/86400
c Decision: 5900/17800	Time: 938.956/86400
c Decision: 5900/17800	Time: 944.352/86400
c Decision: 5900/17800	Time: 949.867/86400
c Decision: 5900/17800	Time: 955.191/86400
c Decision: 5900/17800	Time: 961.697/86400
c Decision: 5900/17800	Time: 966.659/86400
c Decision: 5900/17800	Time: 971.733/86400
c Decision: 5900/17800	Time: 976.817/86400
c Decision: 5900/17800	Time: 982.025/86400
c Decision: 5900/17800	Time: 988.628/86400
c Decision: 5900/17800	Time: 993.748/86400
c Decision: 5900/17800	Time: 999.341/86400
c Decision: 5900/17800	Time: 1004.46/86400
c Decision: 5900/17800	Time: 1009.71/86400
c Decision: 5900/17800	Time: 1016.2/86400
c Decision: 5900/17800	Time: 1021.47/86400
c Decision: 5900/17800	Time: 1026.44/86400
c Decision: 5900/17800	Time: 1031.46/86400
c Decision: 5900/17800	Time: 1036.43/86400
c Decision: 5900/17800	Time: 1042.78/86400
c Decision: 5900/17800	Time: 1048.01/86400
c Decision: 5900/17800	Time: 1053/86400
c Decision: 5900/17800	Time: 1058.46/86400
c Decision: 5900/17800	Time: 1063.12/86400
c Decision: 5900/17800	Time: 1069.41/86400
c Decision: 5900/17800	Time: 1074.51/86400
c Decision: 5900/17800	Time: 1079.9/86400
c Decision: 5900/17800	Time: 1085.11/86400
c Decision: 5900/17800	Time: 1090.28/86400
c Decision: 5900/17800	Time: 1096.89/86400
c Decision: 5900/17800	Time: 1102.02/86400
c Decision: 5900/17800	Time: 1107.09/86400
c Decision: 5900/17800	Time: 1112.41/86400
c Decision: 5900/17800	Time: 1117.52/86400
c Decision: 5900/17800	Time: 1123.86/86400
c Decision: 5900/17800	Time: 1129.12/86400
c Decision: 5900/17800	Time: 1134.43/86400
c Decision: 5900/17800	Time: 1139.62/86400
c Decision: 5900/17800	Time: 1144.85/86400
c Decision: 5900/17800	Time: 1151.74/86400
c Decision: 5900/17800	Time: 1156.88/86400
c Decision: 5900/17800	Time: 1162.38/86400
c Decision: 5900/17800	Time: 1167.71/86400
c Decision: 5900/17800	Time: 1173.65/86400
c Decision: 5900/17800	Time: 1180.94/86400
c Decision: 5900/17800	Time: 1186.96/86400
c Decision: 5900/17800	Time: 1192.59/86400
c Decision: 5900/17800	Time: 1198.23/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/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 17 0 1 0 0 0 0 0 21 0 1 0 20753771 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 373 2 364 364 0 9 0
[pid=6096] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc26/normalized-chnl50_60_pb.cnf.cr.opb

[startup+10.0426 s]
Raw data (loadavg): 1.01 1.06 1.01 1/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) T 6095 6096 4005 0 -1 0 3393 0 8 0 964 12 0 0 25 0 1 0 20753771 12705792 2445 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6096/statm): 3102 2445 364 364 0 2738 0
[pid=6096] vsize: 12408
Current children cumulated CPU time (s) 9.76
Current children cumulated vsize (Kb) 12408

[startup+20.0423 s]
Raw data (loadavg): 1.00 1.06 1.01 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 4115 0 8 0 1955 16 0 0 25 0 1 0 20753771 17039360 3167 4294967295 134512640 135987407 3221224560 3221223072 134850594 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 4160 3167 364 364 0 3796 0
[pid=6096] vsize: 16640
Current children cumulated CPU time (s) 19.71
Current children cumulated vsize (Kb) 16640

[startup+30.043 s]
Raw data (loadavg): 1.00 1.05 1.01 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 4702 0 8 0 2946 20 0 0 25 0 1 0 20753771 25575424 3754 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 6244 3754 364 364 0 5880 0
[pid=6096] vsize: 24976
Current children cumulated CPU time (s) 29.66
Current children cumulated vsize (Kb) 24976

[startup+40.0426 s]
Raw data (loadavg): 1.00 1.05 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 5177 0 8 0 3941 23 0 0 25 0 1 0 20753771 25722880 4229 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 6280 4229 364 364 0 5916 0
[pid=6096] vsize: 25120
Current children cumulated CPU time (s) 39.64
Current children cumulated vsize (Kb) 25120

[startup+50.0433 s]
Raw data (loadavg): 1.00 1.05 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 5811 0 8 0 4932 28 0 0 25 0 1 0 20753771 25722880 4863 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 6280 4863 364 364 0 5916 0
[pid=6096] vsize: 25120
Current children cumulated CPU time (s) 49.6
Current children cumulated vsize (Kb) 25120

[startup+60.043 s]
Raw data (loadavg): 1.00 1.05 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 6326 0 8 0 5925 31 0 0 25 0 1 0 20753771 25862144 5378 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 6314 5378 364 364 0 5950 0
[pid=6096] vsize: 25256
Current children cumulated CPU time (s) 59.56
Current children cumulated vsize (Kb) 25256

[startup+70.0437 s]
Raw data (loadavg): 1.00 1.05 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 6807 0 8 0 6919 34 0 0 25 0 1 0 20753771 42639360 5859 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 10410 5859 364 364 0 10046 0
[pid=6096] vsize: 41640
Current children cumulated CPU time (s) 69.53
Current children cumulated vsize (Kb) 41640

[startup+80.0444 s]
Raw data (loadavg): 1.00 1.04 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 8078 0 8 0 7902 43 0 0 25 0 1 0 20753771 44142592 7025 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 10777 7025 364 364 0 10413 0
[pid=6096] vsize: 43108
Current children cumulated CPU time (s) 79.45
Current children cumulated vsize (Kb) 43108

[startup+90.0441 s]
Raw data (loadavg): 1.00 1.04 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 9047 0 8 0 8886 50 0 0 25 0 1 0 20753771 45088768 7854 4294967295 134512640 135987407 3221224560 3221223312 134801258 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 11008 7854 364 364 0 10644 0
[pid=6096] vsize: 44032
Current children cumulated CPU time (s) 89.36
Current children cumulated vsize (Kb) 44032

[startup+100.045 s]
Raw data (loadavg): 1.00 1.04 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 10286 0 8 0 9870 57 0 0 25 0 1 0 20753771 45899776 8988 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 11206 8988 364 364 0 10842 0
[pid=6096] vsize: 44824
Current children cumulated CPU time (s) 99.27
Current children cumulated vsize (Kb) 44824

[startup+110.045 s]
Raw data (loadavg): 1.00 1.04 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 10824 0 8 0 10850 64 0 0 25 0 1 0 20753771 46710784 9456 4294967295 134512640 135987407 3221224560 3221223136 134892994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 11404 9456 364 364 0 11040 0
[pid=6096] vsize: 45616
Current children cumulated CPU time (s) 109.14
Current children cumulated vsize (Kb) 45616

[startup+120.045 s]
Raw data (loadavg): 1.00 1.04 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 12080 0 8 0 11835 72 0 0 25 0 1 0 20753771 48070656 10607 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 11736 10607 364 364 0 11372 0
[pid=6096] vsize: 46944
Current children cumulated CPU time (s) 119.07
Current children cumulated vsize (Kb) 46944

[startup+130.046 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 12686 0 8 0 12716 107 0 0 22 0 1 0 20753771 49692672 11213 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 12132 11213 364 364 0 11768 0
[pid=6096] vsize: 48528
Current children cumulated CPU time (s) 128.23
Current children cumulated vsize (Kb) 48528

[startup+140.045 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 13358 0 8 0 13668 124 0 0 25 0 1 0 20753771 50368512 11780 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 12297 11780 364 364 0 11933 0
[pid=6096] vsize: 49188
Current children cumulated CPU time (s) 137.92
Current children cumulated vsize (Kb) 49188

[startup+150.046 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 13523 0 8 0 14654 128 0 0 25 0 1 0 20753771 50368512 11805 4294967295 134512640 135987407 3221224560 3221223376 134816659 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 12297 11805 364 364 0 11933 0
[pid=6096] vsize: 49188
Current children cumulated CPU time (s) 147.82
Current children cumulated vsize (Kb) 49188

[startup+160.046 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 14084 0 8 0 15640 135 0 0 25 0 1 0 20753771 52076544 11841 4294967295 134512640 135987407 3221224560 3221223312 134801247 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 12714 11841 364 364 0 12350 0
[pid=6096] vsize: 50856
Current children cumulated CPU time (s) 157.75
Current children cumulated vsize (Kb) 50856

[startup+170.046 s]
Raw data (loadavg): 1.00 1.03 1.00 1/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) T 6095 6096 4005 0 -1 0 14249 0 8 0 16624 140 0 0 25 0 1 0 20753771 52211712 11901 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6096/statm): 12747 11901 364 364 0 12383 0
[pid=6096] vsize: 50988
Current children cumulated CPU time (s) 167.64
Current children cumulated vsize (Kb) 50988

[startup+180.045 s]
Raw data (loadavg): 1.00 1.03 1.00 1/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) T 6095 6096 4005 0 -1 0 14480 0 8 0 17611 145 0 0 25 0 1 0 20753771 52617216 11992 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6096/statm): 12846 11992 364 364 0 12482 0
[pid=6096] vsize: 51384
Current children cumulated CPU time (s) 177.56
Current children cumulated vsize (Kb) 51384

[startup+190.046 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 14681 0 8 0 18600 148 0 0 25 0 1 0 20753771 52887552 12088 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 12912 12088 364 364 0 12548 0
[pid=6096] vsize: 51648
Current children cumulated CPU time (s) 187.48
Current children cumulated vsize (Kb) 51648

[startup+200.047 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 14948 0 8 0 19586 153 0 0 25 0 1 0 20753771 53563392 12250 4294967295 134512640 135987407 3221224560 3221223136 134892737 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 13077 12250 364 364 0 12713 0
[pid=6096] vsize: 52308
Current children cumulated CPU time (s) 197.39
Current children cumulated vsize (Kb) 52308

[startup+210.046 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 15223 0 8 0 20572 158 0 0 25 0 1 0 20753771 54104064 12420 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 13209 12420 364 364 0 12845 0
[pid=6096] vsize: 52836
Current children cumulated CPU time (s) 207.3
Current children cumulated vsize (Kb) 52836

[startup+220.046 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 15468 0 8 0 21559 163 0 0 25 0 1 0 20753771 54779904 12595 4294967295 134512640 135987407 3221224560 3221223280 134814085 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 13374 12595 364 364 0 13010 0
[pid=6096] vsize: 53496
Current children cumulated CPU time (s) 217.22
Current children cumulated vsize (Kb) 53496

[startup+230.047 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 15760 0 8 0 22547 167 0 0 25 0 1 0 20753771 55599104 12782 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 13574 12782 364 364 0 13210 0
[pid=6096] vsize: 54296
Current children cumulated CPU time (s) 227.14
Current children cumulated vsize (Kb) 54296

[startup+240.046 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 15973 0 8 0 23538 171 0 0 25 0 1 0 20753771 56004608 12890 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 13673 12890 364 364 0 13309 0
[pid=6096] vsize: 54692
Current children cumulated CPU time (s) 237.09
Current children cumulated vsize (Kb) 54692

[startup+250.047 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 16273 0 8 0 24524 175 0 0 25 0 1 0 20753771 56823808 13120 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 13873 13120 364 364 0 13509 0
[pid=6096] vsize: 55492
Current children cumulated CPU time (s) 246.99
Current children cumulated vsize (Kb) 55492

[startup+260.048 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 17268 0 8 0 25510 183 0 0 25 0 1 0 20753771 91066368 14010 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 22233 14010 364 364 0 21869 0
[pid=6096] vsize: 88932
Current children cumulated CPU time (s) 256.93
Current children cumulated vsize (Kb) 88932

[startup+270.047 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 17655 0 8 0 26497 189 0 0 25 0 1 0 20753771 91762688 14327 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 22403 14327 364 364 0 22039 0
[pid=6096] vsize: 89612
Current children cumulated CPU time (s) 266.86
Current children cumulated vsize (Kb) 89612

[startup+280.048 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 18658 0 8 0 27485 194 0 0 25 0 1 0 20753771 92180480 15260 4294967295 134512640 135987407 3221224560 3221223280 134813833 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 22505 15260 364 364 0 22141 0
[pid=6096] vsize: 90020
Current children cumulated CPU time (s) 276.79
Current children cumulated vsize (Kb) 90020

[startup+290.049 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 18871 0 8 0 28476 197 0 0 25 0 1 0 20753771 92454912 15368 4294967295 134512640 135987407 3221224560 3221223376 134824504 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 22572 15368 364 364 0 22208 0
[pid=6096] vsize: 90288
Current children cumulated CPU time (s) 286.73
Current children cumulated vsize (Kb) 90288

[startup+300.049 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 19665 0 8 0 29464 204 0 0 25 0 1 0 20753771 92872704 16092 4294967295 134512640 135987407 3221224560 3221223248 134788831 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 22674 16092 364 364 0 22310 0
[pid=6096] vsize: 90696
Current children cumulated CPU time (s) 296.68
Current children cumulated vsize (Kb) 90696

[startup+310.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 19923 0 8 0 30454 207 0 0 25 0 1 0 20753771 93429760 16280 4294967295 134512640 135987407 3221224560 3221223136 134932272 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 22810 16280 364 364 0 22446 0
[pid=6096] vsize: 91240
Current children cumulated CPU time (s) 306.61
Current children cumulated vsize (Kb) 91240

[startup+320.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 20716 0 8 0 31442 213 0 0 25 0 1 0 20753771 94126080 16968 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 22980 16968 364 364 0 22616 0
[pid=6096] vsize: 91920
Current children cumulated CPU time (s) 316.55
Current children cumulated vsize (Kb) 91920

[startup+330.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 21264 0 8 0 32431 217 0 0 25 0 1 0 20753771 94543872 17446 4294967295 134512640 135987407 3221224560 3221223136 134788831 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 23082 17446 364 364 0 22718 0
[pid=6096] vsize: 92328
Current children cumulated CPU time (s) 326.48
Current children cumulated vsize (Kb) 92328

[startup+340.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 21480 0 8 0 33420 222 0 0 25 0 1 0 20753771 95100928 17592 4294967295 134512640 135987407 3221224560 3221223136 134788814 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 23218 17592 364 364 0 22854 0
[pid=6096] vsize: 92872
Current children cumulated CPU time (s) 336.42
Current children cumulated vsize (Kb) 92872

[startup+350.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 21815 0 8 0 34410 226 0 0 25 0 1 0 20753771 95518720 17857 4294967295 134512640 135987407 3221224560 3221223248 134788872 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 23320 17857 364 364 0 22956 0
[pid=6096] vsize: 93280
Current children cumulated CPU time (s) 346.36
Current children cumulated vsize (Kb) 93280

[startup+360.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 22011 0 8 0 35400 230 0 0 25 0 1 0 20753771 95936512 17983 4294967295 134512640 135987407 3221224560 3221223280 134813833 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 23422 17983 364 364 0 23058 0
[pid=6096] vsize: 93688
Current children cumulated CPU time (s) 356.3
Current children cumulated vsize (Kb) 93688

[startup+370.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 22477 0 8 0 36390 234 0 0 25 0 1 0 20753771 96215040 18344 4294967295 134512640 135987407 3221224560 3221223376 134876843 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 23490 18344 364 364 0 23126 0
[pid=6096] vsize: 93960
Current children cumulated CPU time (s) 366.24
Current children cumulated vsize (Kb) 93960

[startup+380.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 22692 0 8 0 37380 238 0 0 25 0 1 0 20753771 96768000 18489 4294967295 134512640 135987407 3221224560 3221223312 134801142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 23625 18489 364 364 0 23261 0
[pid=6096] vsize: 94500
Current children cumulated CPU time (s) 376.18
Current children cumulated vsize (Kb) 94500

[startup+390.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) T 6095 6096 4005 0 -1 0 22968 0 8 0 38369 242 0 0 25 0 1 0 20753771 97185792 18695 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6096/statm): 23727 18695 364 364 0 23363 0
[pid=6096] vsize: 94908
Current children cumulated CPU time (s) 386.11
Current children cumulated vsize (Kb) 94908

[startup+400.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 23308 0 8 0 39340 252 0 0 23 0 1 0 20753771 97890304 19000 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 23899 19000 364 364 0 23535 0
[pid=6096] vsize: 95596
Current children cumulated CPU time (s) 395.92
Current children cumulated vsize (Kb) 95596

[startup+410.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 23399 0 8 0 40184 302 0 0 25 0 1 0 20753771 97890304 19091 4294967295 134512640 135987407 3221224560 3221223280 134813833 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 23899 19091 364 364 0 23535 0
[pid=6096] vsize: 95596
Current children cumulated CPU time (s) 404.86
Current children cumulated vsize (Kb) 95596

[startup+420.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 24352 0 8 0 41170 308 0 0 25 0 1 0 20753771 97890304 19904 4294967295 134512640 135987407 3221224560 3221223312 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 23899 19904 364 364 0 23535 0
[pid=6096] vsize: 95596
Current children cumulated CPU time (s) 414.78
Current children cumulated vsize (Kb) 95596

[startup+430.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 24471 0 8 0 42154 314 0 0 25 0 1 0 20753771 97890304 19918 4294967295 134512640 135987407 3221224560 3221223312 134801174 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 23899 19918 364 364 0 23535 0
[pid=6096] vsize: 95596
Current children cumulated CPU time (s) 424.68
Current children cumulated vsize (Kb) 95596

[startup+440.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 24590 0 8 0 43141 319 0 0 25 0 1 0 20753771 97890304 19932 4294967295 134512640 135987407 3221224560 3221223280 134813826 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 23899 19932 364 364 0 23535 0
[pid=6096] vsize: 95596
Current children cumulated CPU time (s) 434.6
Current children cumulated vsize (Kb) 95596

[startup+450.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 24742 0 8 0 44128 322 0 0 25 0 1 0 20753771 97890304 19944 4294967295 134512640 135987407 3221224560 3221223376 134876845 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 23899 19944 364 364 0 23535 0
[pid=6096] vsize: 95596
Current children cumulated CPU time (s) 444.5
Current children cumulated vsize (Kb) 95596

[startup+460.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 24824 0 8 0 45115 327 0 0 25 0 1 0 20753771 97890304 19956 4294967295 134512640 135987407 3221224560 3221223280 134814120 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 23899 19956 364 364 0 23535 0
[pid=6096] vsize: 95596
Current children cumulated CPU time (s) 454.42
Current children cumulated vsize (Kb) 95596

[startup+470.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 24942 0 8 0 46102 332 0 0 25 0 1 0 20753771 97890304 19969 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 23899 19969 364 364 0 23535 0
[pid=6096] vsize: 95596
Current children cumulated CPU time (s) 464.34
Current children cumulated vsize (Kb) 95596

[startup+480.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 25068 0 8 0 47091 336 0 0 25 0 1 0 20753771 97890304 19990 4294967295 134512640 135987407 3221224560 3221223136 134788835 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 23899 19990 364 364 0 23535 0
[pid=6096] vsize: 95596
Current children cumulated CPU time (s) 474.27
Current children cumulated vsize (Kb) 95596

[startup+490.051 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) T 6095 6096 4005 0 -1 0 25191 0 8 0 48079 341 0 0 25 0 1 0 20753771 98025472 20008 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/6096/statm): 23932 20008 364 364 0 23568 0
[pid=6096] vsize: 95728
Current children cumulated CPU time (s) 484.2
Current children cumulated vsize (Kb) 95728

[startup+500.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 25284 0 8 0 49065 346 0 0 25 0 1 0 20753771 98025472 20031 4294967295 134512640 135987407 3221224560 3221223056 134878189 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 23932 20031 364 364 0 23568 0
[pid=6096] vsize: 95728
Current children cumulated CPU time (s) 494.11
Current children cumulated vsize (Kb) 95728

[startup+510.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 25415 0 8 0 50054 350 0 0 25 0 1 0 20753771 98025472 20057 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 23932 20057 364 364 0 23568 0
[pid=6096] vsize: 95728
Current children cumulated CPU time (s) 504.04
Current children cumulated vsize (Kb) 95728

[startup+520.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 26275 0 8 0 51040 356 0 0 25 0 1 0 20753771 101306368 20078 4294967295 134512640 135987407 3221224560 3221223280 134813844 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 24733 20078 364 364 0 24369 0
[pid=6096] vsize: 98932
Current children cumulated CPU time (s) 513.96
Current children cumulated vsize (Kb) 98932

[startup+530.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 26411 0 8 0 52031 359 0 0 25 0 1 0 20753771 101306368 20109 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 24733 20109 364 364 0 24369 0
[pid=6096] vsize: 98932
Current children cumulated CPU time (s) 523.9
Current children cumulated vsize (Kb) 98932

[startup+540.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 26524 0 8 0 53020 363 0 0 25 0 1 0 20753771 101441536 20152 4294967295 134512640 135987407 3221224560 3221223280 134814120 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 24766 20152 364 364 0 24402 0
[pid=6096] vsize: 99064
Current children cumulated CPU time (s) 533.83
Current children cumulated vsize (Kb) 99064

[startup+550.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 26668 0 8 0 54009 367 0 0 25 0 1 0 20753771 101580800 20191 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 24800 20191 364 364 0 24436 0
[pid=6096] vsize: 99200
Current children cumulated CPU time (s) 543.76
Current children cumulated vsize (Kb) 99200

[startup+560.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 26779 0 8 0 54997 371 0 0 25 0 1 0 20753771 101720064 20232 4294967295 134512640 135987407 3221224560 3221223072 134850585 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 24834 20232 364 364 0 24470 0
[pid=6096] vsize: 99336
Current children cumulated CPU time (s) 553.68
Current children cumulated vsize (Kb) 99336

[startup+570.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 26881 0 8 0 55986 374 0 0 25 0 1 0 20753771 101855232 20264 4294967295 134512640 135987407 3221224560 3221223280 134814120 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 24867 20264 364 364 0 24503 0
[pid=6096] vsize: 99468
Current children cumulated CPU time (s) 563.6
Current children cumulated vsize (Kb) 99468

[startup+580.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 27025 0 8 0 56976 378 0 0 25 0 1 0 20753771 101994496 20303 4294967295 134512640 135987407 3221224560 3221223376 134824504 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 24901 20303 364 364 0 24537 0
[pid=6096] vsize: 99604
Current children cumulated CPU time (s) 573.54
Current children cumulated vsize (Kb) 99604

[startup+590.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 27143 0 8 0 57967 382 0 0 25 0 1 0 20753771 102133760 20351 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 24935 20351 364 364 0 24571 0
[pid=6096] vsize: 99740
Current children cumulated CPU time (s) 583.49
Current children cumulated vsize (Kb) 99740

[startup+600.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 27304 0 8 0 58956 385 0 0 25 0 1 0 20753771 102412288 20442 4294967295 134512640 135987407 3221224560 3221223136 134788602 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 25003 20442 364 364 0 24639 0
[pid=6096] vsize: 100012
Current children cumulated CPU time (s) 593.41
Current children cumulated vsize (Kb) 100012

[startup+610.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 27440 0 8 0 59947 388 0 0 25 0 1 0 20753771 102690816 20508 4294967295 134512640 135987407 3221224560 3221222992 134892445 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 25071 20508 364 364 0 24707 0
[pid=6096] vsize: 100284
Current children cumulated CPU time (s) 603.35
Current children cumulated vsize (Kb) 100284

[startup+620.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 27580 0 8 0 60938 392 0 0 25 0 1 0 20753771 102969344 20578 4294967295 134512640 135987407 3221224560 3221223368 135477852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 25139 20578 364 364 0 24775 0
[pid=6096] vsize: 100556
Current children cumulated CPU time (s) 613.3
Current children cumulated vsize (Kb) 100556

[startup+630.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 27705 0 8 0 61927 397 0 0 25 0 1 0 20753771 103108608 20633 4294967295 134512640 135987407 3221224560 3221223280 134813715 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 25173 20633 364 364 0 24809 0
[pid=6096] vsize: 100692
Current children cumulated CPU time (s) 623.24
Current children cumulated vsize (Kb) 100692

[startup+640.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 27844 0 8 0 62917 400 0 0 25 0 1 0 20753771 103395328 20702 4294967295 134512640 135987407 3221224560 3221223280 134814139 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 25243 20702 364 364 0 24879 0
[pid=6096] vsize: 100972
Current children cumulated CPU time (s) 633.17
Current children cumulated vsize (Kb) 100972

[startup+650.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 28036 0 8 0 63909 404 0 0 25 0 1 0 20753771 103673856 20824 4294967295 134512640 135987407 3221224560 3221223280 134813813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 25311 20824 364 364 0 24947 0
[pid=6096] vsize: 101244
Current children cumulated CPU time (s) 643.13
Current children cumulated vsize (Kb) 101244

[startup+660.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 28861 0 8 0 64896 410 0 0 25 0 1 0 20753771 103952384 21544 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 25379 21544 364 364 0 25015 0
[pid=6096] vsize: 101516
Current children cumulated CPU time (s) 653.06
Current children cumulated vsize (Kb) 101516

[startup+670.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 28996 0 8 0 65887 413 0 0 25 0 1 0 20753771 104230912 21609 4294967295 134512640 135987407 3221224560 3221223248 134811896 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 25447 21609 364 364 0 25083 0
[pid=6096] vsize: 101788
Current children cumulated CPU time (s) 663
Current children cumulated vsize (Kb) 101788

[startup+680.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 29233 0 8 0 66878 416 0 0 25 0 1 0 20753771 104644608 21776 4294967295 134512640 135987407 3221224560 3221223140 134850893 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 25548 21776 364 364 0 25184 0
[pid=6096] vsize: 102192
Current children cumulated CPU time (s) 672.94
Current children cumulated vsize (Kb) 102192

[startup+690.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 29640 0 8 0 67868 420 0 0 25 0 1 0 20753771 105062400 22113 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 25650 22113 364 364 0 25286 0
[pid=6096] vsize: 102600
Current children cumulated CPU time (s) 682.88
Current children cumulated vsize (Kb) 102600

[startup+700.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 30051 0 8 0 68860 425 0 0 25 0 1 0 20753771 105340928 22454 4294967295 134512640 135987407 3221224560 3221223376 134816659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 25718 22454 364 364 0 25354 0
[pid=6096] vsize: 102872
Current children cumulated CPU time (s) 692.85
Current children cumulated vsize (Kb) 102872

[startup+710.056 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) T 6095 6096 4005 0 -1 0 30762 0 8 0 69852 429 0 0 25 0 1 0 20753771 105619456 23095 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6096/statm): 25786 23095 364 364 0 25422 0
[pid=6096] vsize: 103144
Current children cumulated CPU time (s) 702.81
Current children cumulated vsize (Kb) 103144

[startup+720.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) T 6095 6096 4005 0 -1 0 30923 0 8 0 70843 432 0 0 25 0 1 0 20753771 106061824 23186 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6096/statm): 25894 23186 364 364 0 25530 0
[pid=6096] vsize: 103576
Current children cumulated CPU time (s) 712.75
Current children cumulated vsize (Kb) 103576

[startup+730.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 31307 0 8 0 71834 437 0 0 25 0 1 0 20753771 106201088 23500 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 25928 23500 364 364 0 25564 0
[pid=6096] vsize: 103712
Current children cumulated CPU time (s) 722.71
Current children cumulated vsize (Kb) 103712

[startup+740.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 31566 0 8 0 72828 439 0 0 25 0 1 0 20753771 106487808 23689 4294967295 134512640 135987407 3221224560 3221223312 134801245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 25998 23689 364 364 0 25634 0
[pid=6096] vsize: 103992
Current children cumulated CPU time (s) 732.67
Current children cumulated vsize (Kb) 103992

[startup+750.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 31738 0 8 0 73819 443 0 0 25 0 1 0 20753771 106766336 23791 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 26066 23791 364 364 0 25702 0
[pid=6096] vsize: 104264
Current children cumulated CPU time (s) 742.62
Current children cumulated vsize (Kb) 104264

[startup+760.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 32330 0 8 0 74810 446 0 0 25 0 1 0 20753771 107053056 24313 4294967295 134512640 135987407 3221224560 3221223376 134824504 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 26136 24313 364 364 0 25772 0
[pid=6096] vsize: 104544
Current children cumulated CPU time (s) 752.56
Current children cumulated vsize (Kb) 104544

[startup+770.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 32460 0 8 0 75800 450 0 0 25 0 1 0 20753771 107339776 24373 4294967295 134512640 135987407 3221224560 3221223024 134849914 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 26206 24373 364 364 0 25842 0
[pid=6096] vsize: 104824
Current children cumulated CPU time (s) 762.5
Current children cumulated vsize (Kb) 104824

[startup+780.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 33315 0 8 0 76789 455 0 0 25 0 1 0 20753771 174735360 25158 4294967295 134512640 135987407 3221224560 3221223136 134788831 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 42660 25158 364 364 0 42296 0
[pid=6096] vsize: 170640
Current children cumulated CPU time (s) 772.44
Current children cumulated vsize (Kb) 170640

[startup+790.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 33591 0 8 0 77782 458 0 0 25 0 1 0 20753771 174882816 25364 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 42696 25364 364 364 0 42332 0
[pid=6096] vsize: 170784
Current children cumulated CPU time (s) 782.4
Current children cumulated vsize (Kb) 170784

[startup+800.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 33773 0 8 0 78774 461 0 0 25 0 1 0 20753771 175472640 25476 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 42840 25476 364 364 0 42476 0
[pid=6096] vsize: 171360
Current children cumulated CPU time (s) 792.35
Current children cumulated vsize (Kb) 171360

[startup+810.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 33911 0 8 0 79766 464 0 0 25 0 1 0 20753771 175910912 25579 4294967295 134512640 135987407 3221224560 3221222944 134829319 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 42947 25579 364 364 0 42583 0
[pid=6096] vsize: 171788
Current children cumulated CPU time (s) 802.3
Current children cumulated vsize (Kb) 171788

[startup+820.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 34002 0 8 0 80756 468 0 0 25 0 1 0 20753771 175915008 25600 4294967295 134512640 135987407 3221224560 3221223280 134814133 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 42948 25600 364 364 0 42584 0
[pid=6096] vsize: 171792
Current children cumulated CPU time (s) 812.24
Current children cumulated vsize (Kb) 171792

[startup+830.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 34170 0 8 0 81749 470 0 0 25 0 1 0 20753771 176357376 25698 4294967295 134512640 135987407 3221224560 3221223180 134931504 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 43056 25698 364 364 0 42692 0
[pid=6096] vsize: 172224
Current children cumulated CPU time (s) 822.19
Current children cumulated vsize (Kb) 172224

[startup+840.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 34313 0 8 0 82743 472 0 0 25 0 1 0 20753771 176799744 25771 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 43164 25771 364 364 0 42800 0
[pid=6096] vsize: 172656
Current children cumulated CPU time (s) 832.15
Current children cumulated vsize (Kb) 172656

[startup+850.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 34415 0 8 0 83733 476 0 0 25 0 1 0 20753771 176799744 25803 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 43164 25803 364 364 0 42800 0
[pid=6096] vsize: 172656
Current children cumulated CPU time (s) 842.09
Current children cumulated vsize (Kb) 172656

[startup+860.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) T 6095 6096 4005 0 -1 0 34519 0 8 0 84725 479 0 0 25 0 1 0 20753771 176947200 25837 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6096/statm): 43200 25837 364 364 0 42836 0
[pid=6096] vsize: 172800
Current children cumulated CPU time (s) 852.04
Current children cumulated vsize (Kb) 172800

[startup+870.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 34627 0 8 0 85718 481 0 0 25 0 1 0 20753771 177094656 25875 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 43236 25875 364 364 0 42872 0
[pid=6096] vsize: 172944
Current children cumulated CPU time (s) 861.99
Current children cumulated vsize (Kb) 172944

[startup+880.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 34747 0 8 0 86710 485 0 0 25 0 1 0 20753771 177389568 25925 4294967295 134512640 135987407 3221224560 3221223312 134801350 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 43308 25925 364 364 0 42944 0
[pid=6096] vsize: 173232
Current children cumulated CPU time (s) 871.95
Current children cumulated vsize (Kb) 173232

[startup+890.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 34847 0 8 0 87702 488 0 0 25 0 1 0 20753771 177389568 25955 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 43308 25955 364 364 0 42944 0
[pid=6096] vsize: 173232
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (Kb) 173232

[startup+900.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 34916 0 8 0 88694 491 0 0 25 0 1 0 20753771 177537024 25989 4294967295 134512640 135987407 3221224560 3221223280 134813833 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 43344 25989 364 364 0 42980 0
[pid=6096] vsize: 173376
Current children cumulated CPU time (s) 891.85
Current children cumulated vsize (Kb) 173376

[startup+910.057 s]
Raw data (loadavg): 1.00 1.00 1.00 3/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 35038 0 8 0 89685 494 0 0 25 0 1 0 20753771 177684480 26041 4294967295 134512640 135987407 3221224560 3221223280 134813813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 43380 26041 364 364 0 43016 0
[pid=6096] vsize: 173520
Current children cumulated CPU time (s) 901.79
Current children cumulated vsize (Kb) 173520

[startup+920.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 35490 0 8 0 90676 498 0 0 25 0 1 0 20753771 178126848 26423 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 43488 26423 364 364 0 43124 0
[pid=6096] vsize: 173952
Current children cumulated CPU time (s) 911.74
Current children cumulated vsize (Kb) 173952

[startup+930.057 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) T 6095 6096 4005 0 -1 0 35633 0 8 0 91668 501 0 0 25 0 1 0 20753771 178421760 26496 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6096/statm): 43560 26496 364 364 0 43196 0
[pid=6096] vsize: 174240
Current children cumulated CPU time (s) 921.69
Current children cumulated vsize (Kb) 174240

[startup+940.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 35731 0 8 0 92660 504 0 0 25 0 1 0 20753771 178421760 26524 4294967295 134512640 135987407 3221224560 3221223312 134801326 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 43560 26524 364 364 0 43196 0
[pid=6096] vsize: 174240
Current children cumulated CPU time (s) 931.64
Current children cumulated vsize (Kb) 174240

[startup+950.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 35954 0 8 0 93654 507 0 0 25 0 1 0 20753771 179146752 26677 4294967295 134512640 135987407 3221224560 3221223376 134824491 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 43737 26677 364 364 0 43373 0
[pid=6096] vsize: 174948
Current children cumulated CPU time (s) 941.61
Current children cumulated vsize (Kb) 174948

[startup+960.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 36043 0 8 0 94647 509 0 0 25 0 1 0 20753771 179294208 26696 4294967295 134512640 135987407 3221224560 3221223136 134931542 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 43773 26696 364 364 0 43409 0
[pid=6096] vsize: 175092
Current children cumulated CPU time (s) 951.56
Current children cumulated vsize (Kb) 175092

[startup+970.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 36750 0 8 0 95637 514 0 0 25 0 1 0 20753771 179441664 27333 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 43809 27333 364 364 0 43445 0
[pid=6096] vsize: 175236
Current children cumulated CPU time (s) 961.51
Current children cumulated vsize (Kb) 175236

[startup+980.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 36823 0 8 0 96629 517 0 0 25 0 1 0 20753771 179589120 27371 4294967295 134512640 135987407 3221224560 3221223280 134814123 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 43845 27371 364 364 0 43481 0
[pid=6096] vsize: 175380
Current children cumulated CPU time (s) 971.46
Current children cumulated vsize (Kb) 175380

[startup+990.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 36986 0 8 0 97620 520 0 0 25 0 1 0 20753771 180031488 27464 4294967295 134512640 135987407 3221224560 3221223280 134813813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 43953 27464 364 364 0 43589 0
[pid=6096] vsize: 175812
Current children cumulated CPU time (s) 981.4
Current children cumulated vsize (Kb) 175812

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 37379 0 8 0 98612 523 0 0 25 0 1 0 20753771 180178944 27787 4294967295 134512640 135987407 3221224560 3221223312 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 43989 27787 364 364 0 43625 0
[pid=6096] vsize: 175956
Current children cumulated CPU time (s) 991.35
Current children cumulated vsize (Kb) 175956

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 37496 0 8 0 99604 526 0 0 25 0 1 0 20753771 180326400 27834 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 44025 27834 364 364 0 43661 0
[pid=6096] vsize: 176100
Current children cumulated CPU time (s) 1001.3
Current children cumulated vsize (Kb) 176100

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 37609 0 8 0 100597 529 0 0 25 0 1 0 20753771 180473856 27877 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 44061 27877 364 364 0 43697 0
[pid=6096] vsize: 176244
Current children cumulated CPU time (s) 1011.26
Current children cumulated vsize (Kb) 176244

[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 37894 0 8 0 101589 532 0 0 25 0 1 0 20753771 180621312 28127 4294967295 134512640 135987407 3221224560 3221223280 134813850 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 44097 28127 364 364 0 43733 0
[pid=6096] vsize: 176388
Current children cumulated CPU time (s) 1021.21
Current children cumulated vsize (Kb) 176388

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 38000 0 8 0 102581 535 0 0 25 0 1 0 20753771 180768768 28163 4294967295 134512640 135987407 3221224560 3221223280 134814120 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 44133 28163 364 364 0 43769 0
[pid=6096] vsize: 176532
Current children cumulated CPU time (s) 1031.16
Current children cumulated vsize (Kb) 176532

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 38094 0 8 0 103571 538 0 0 25 0 1 0 20753771 180916224 28187 4294967295 134512640 135987407 3221224560 3221223280 134813833 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 44169 28187 364 364 0 43805 0
[pid=6096] vsize: 176676
Current children cumulated CPU time (s) 1041.09
Current children cumulated vsize (Kb) 176676

[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 38184 0 8 0 104563 542 0 0 25 0 1 0 20753771 180916224 28207 4294967295 134512640 135987407 3221224560 3221223180 134931504 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 44169 28207 364 364 0 43805 0
[pid=6096] vsize: 176676
Current children cumulated CPU time (s) 1051.05
Current children cumulated vsize (Kb) 176676

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 38293 0 8 0 105554 545 0 0 25 0 1 0 20753771 181063680 28246 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6096/statm): 44205 28246 364 364 0 43841 0
[pid=6096] vsize: 176820
Current children cumulated CPU time (s) 1060.99
Current children cumulated vsize (Kb) 176820

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 38390 0 8 0 106547 548 0 0 25 0 1 0 20753771 181211136 28273 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 44241 28273 364 364 0 43877 0
[pid=6096] vsize: 176964
Current children cumulated CPU time (s) 1070.95
Current children cumulated vsize (Kb) 176964

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 38477 0 8 0 107541 550 0 0 25 0 1 0 20753771 181211136 28290 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 44241 28290 364 364 0 43877 0
[pid=6096] vsize: 176964
Current children cumulated CPU time (s) 1080.91
Current children cumulated vsize (Kb) 176964

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 38582 0 8 0 108532 554 0 0 25 0 1 0 20753771 181506048 28360 4294967295 134512640 135987407 3221224560 3221223280 134813802 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 44313 28360 364 364 0 43949 0
[pid=6096] vsize: 177252
Current children cumulated CPU time (s) 1090.86
Current children cumulated vsize (Kb) 177252

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 38721 0 8 0 109525 557 0 0 25 0 1 0 20753771 181948416 28429 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 44421 28429 364 364 0 44057 0
[pid=6096] vsize: 177684
Current children cumulated CPU time (s) 1100.82
Current children cumulated vsize (Kb) 177684

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 38865 0 8 0 110517 559 0 0 25 0 1 0 20753771 182243328 28503 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 44493 28503 364 364 0 44129 0
[pid=6096] vsize: 177972
Current children cumulated CPU time (s) 1110.76
Current children cumulated vsize (Kb) 177972

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 38961 0 8 0 111510 562 0 0 25 0 1 0 20753771 182390784 28529 4294967295 134512640 135987407 3221224560 3221223312 134801174 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 44529 28529 364 364 0 44165 0
[pid=6096] vsize: 178116
Current children cumulated CPU time (s) 1120.72
Current children cumulated vsize (Kb) 178116

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 39078 0 8 0 112504 565 0 0 25 0 1 0 20753771 182538240 28576 4294967295 134512640 135987407 3221224560 3221223248 134788648 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 44565 28576 364 364 0 44201 0
[pid=6096] vsize: 178260
Current children cumulated CPU time (s) 1130.69
Current children cumulated vsize (Kb) 178260

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 39354 0 8 0 113494 568 0 0 25 0 1 0 20753771 182833152 28782 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 44637 28782 364 364 0 44273 0
[pid=6096] vsize: 178548
Current children cumulated CPU time (s) 1140.62
Current children cumulated vsize (Kb) 178548

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 40168 0 8 0 114483 574 0 0 25 0 1 0 20753771 183128064 29561 4294967295 134512640 135987407 3221224560 3221223280 134814139 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 44709 29561 364 364 0 44345 0
[pid=6096] vsize: 178836
Current children cumulated CPU time (s) 1150.57
Current children cumulated vsize (Kb) 178836

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 40346 0 8 0 115477 576 0 0 25 0 1 0 20753771 183717888 29669 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 44853 29669 364 364 0 44489 0
[pid=6096] vsize: 179412
Current children cumulated CPU time (s) 1160.53
Current children cumulated vsize (Kb) 179412

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 40970 0 8 0 116469 580 0 0 25 0 1 0 20753771 184012800 30223 4294967295 134512640 135987407 3221224560 3221223248 134811850 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 44925 30223 364 364 0 44561 0
[pid=6096] vsize: 179700
Current children cumulated CPU time (s) 1170.49
Current children cumulated vsize (Kb) 179700

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 41659 0 8 0 117461 584 0 0 25 0 1 0 20753771 184307712 30842 4294967295 134512640 135987407 3221224560 3221223376 134876945 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 44997 30842 364 364 0 44633 0
[pid=6096] vsize: 179988
Current children cumulated CPU time (s) 1180.45
Current children cumulated vsize (Kb) 179988

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 42313 0 8 0 118451 588 0 0 25 0 1 0 20753771 185339904 31461 4294967295 134512640 135987407 3221224560 3221223376 134824261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 45249 31461 364 364 0 44885 0
[pid=6096] vsize: 180996
Current children cumulated CPU time (s) 1190.39
Current children cumulated vsize (Kb) 180996

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 43040 0 8 0 119442 593 0 0 25 0 1 0 20753771 185782272 32118 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 45357 32118 364 364 0 44993 0
[pid=6096] vsize: 181428
Current children cumulated CPU time (s) 1200.35
Current children cumulated vsize (Kb) 181428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6096
Raw data (/proc/6096/stat): 6096 (pb2sat) R 6095 6096 4005 0 -1 0 43040 0 8 0 119442 593 0 0 25 0 1 0 20753771 185782272 32118 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6096/statm): 45357 32118 364 364 0 44993 0
[pid=6096] vsize: 181428
Current children cumulated CPU time (s) 1200.35
Current children cumulated vsize (Kb) 181428

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

Child status: 0
Real time (s): 1210.21
CPU time (s): 1200.51
CPU user time (s): 1194.51
CPU system time (s): 5.99909
CPU usage (%): 99.1981
Max. virtual memory (cumulated for all children) (Kb): 181428

Verifier Data

ERROR: no interpretation found !