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-chnl10_20_pb.cnf.cr.opb
MD5SUMf6063d1ff7b0ba7c7cab7a438daedff8
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 21
Number of bits of the biggest sum of numbers5
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.014997
Number of variables400
Total number of constraints60
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint20

Trace number 9578

Launcher Data

LAUNCH ON wulflinc15 THE 2005-09-23 14:15:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8257 boxname=wulflinc15 idbench=53 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f6063d1ff7b0ba7c7cab7a438daedff8  /oldhome/oroussel/tmp/wulflinc15/normalized-chnl10_20_pb.cnf.cr.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc15/normalized-chnl10_20_pb.cnf.cr.opb
IDLAUNCH: 8257
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.045
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.045
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:        802732 kB
Buffers:         14472 kB
Cached:         198164 kB
SwapCached:          0 kB
Active:         171092 kB
Inactive:        44432 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        802452 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            10880 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 14:35:29 (client local time) WITH STATUS 0 IN 1202.41 SECONDS
stats: 8257 7 1202.41 0

Solver Data

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

c Decision: 380/1160	Time: 12.5931/86400
c Decision: 380/1160	Time: 13.379/86400
c Decision: 380/1160	Time: 14.2758/86400
c Decision: 380/1160	Time: 15.1727/86400
c Decision: 380/1160	Time: 16.2005/86400
c Decision: 380/1160	Time: 17.4353/86400
c Decision: 380/1160	Time: 18.5482/86400
c Decision: 380/1160	Time: 19.771/86400
c Decision: 380/1160	Time: 20.8938/86400
c Decision: 380/1160	Time: 22.1276/86400
c Decision: 380/1160	Time: 23.8064/86400
c Decision: 380/1160	Time: 25.3142/86400
c Decision: 380/1160	Time: 26.8549/86400
c Decision: 380/1160	Time: 28.6426/86400
c Decision: 380/1160	Time: 30.2224/86400
c Decision: 380/1160	Time: 32.1171/86400
c Decision: 380/1160	Time: 34.0758/86400
c Decision: 380/1160	Time: 36.0335/86400
c Decision: 380/1160	Time: 37.6913/86400
c Decision: 380/1160	Time: 39.528/86400
c Decision: 380/1160	Time: 41.7287/86400
c Decision: 380/1160	Time: 43.8473/86400
c Decision: 380/1160	Time: 45.884/86400
c Decision: 380/1160	Time: 48.0317/86400
c Decision: 380/1160	Time: 50.1594/86400
c Decision: 380/1160	Time: 52.467/86400
c Decision: 380/1160	Time: 54.6327/86400
c Decision: 380/1160	Time: 57.2313/86400
c Decision: 380/1160	Time: 59.441/86400
c Decision: 380/1160	Time: 61.9666/86400
c Decision: 380/1160	Time: 64.5032/86400
c Decision: 380/1160	Time: 66.8828/86400
c Decision: 380/1160	Time: 69.2575/86400
c Decision: 380/1160	Time: 71.5841/86400
c Decision: 380/1160	Time: 73.8228/86400
c Decision: 380/1160	Time: 76.5204/86400
c Decision: 380/1160	Time: 79.145/86400
c Decision: 380/1160	Time: 81.5686/86400
c Decision: 380/1160	Time: 83.7263/86400
c Decision: 380/1160	Time: 86.1379/86400
c Decision: 380/1160	Time: 88.9475/86400
c Decision: 380/1160	Time: 91.6031/86400
c Decision: 380/1160	Time: 94.0237/86400
c Decision: 380/1160	Time: 96.5203/86400
c Decision: 380/1160	Time: 98.806/86400
c Decision: 380/1160	Time: 102.111/86400
c Decision: 380/1160	Time: 104.513/86400
c Decision: 380/1160	Time: 107.057/86400
c Decision: 380/1160	Time: 109.272/86400
c Decision: 380/1160	Time: 111.871/86400
c Decision: 380/1160	Time: 114.438/86400
c Decision: 380/1160	Time: 117.584/86400
c Decision: 380/1160	Time: 120.023/86400
c Decision: 380/1160	Time: 122.753/86400
c Decision: 380/1160	Time: 125.991/86400
c Decision: 380/1160	Time: 129.163/86400
c Decision: 380/1160	Time: 132.243/86400
c Decision: 380/1160	Time: 135.619/86400
c Decision: 380/1160	Time: 138.577/86400
c Decision: 380/1160	Time: 142.009/86400
c Decision: 380/1160	Time: 145.702/86400
c Decision: 380/1160	Time: 148.562/86400
c Decision: 380/1160	Time: 151.557/86400
c Decision: 380/1160	Time: 154.624/86400
c Decision: 380/1160	Time: 157.891/86400
c Decision: 380/1160	Time: 161.708/86400
c Decision: 380/1160	Time: 164.422/86400
c Decision: 380/1160	Time: 167.828/86400
c Decision: 380/1160	Time: 170.768/86400
c Decision: 380/1160	Time: 173.519/86400
c Decision: 380/1160	Time: 176.664/86400
c Decision: 380/1160	Time: 180.311/86400
c Decision: 380/1160	Time: 183.058/86400
c Decision: 380/1160	Time: 186.393/86400
c Decision: 380/1160	Time: 189.589/86400
c Decision: 380/1160	Time: 193.674/86400
c Decision: 380/1160	Time: 197.081/86400
c Decision: 380/1160	Time: 200.741/86400
c Decision: 380/1160	Time: 204.446/86400
c Decision: 380/1160	Time: 207.663/86400
c Decision: 380/1160	Time: 211.396/86400
c Decision: 380/1160	Time: 214.595/86400
c Decision: 380/1160	Time: 217.91/86400
c Decision: 380/1160	Time: 221.419/86400
c Decision: 380/1160	Time: 225.799/86400
c Decision: 380/1160	Time: 230.319/86400
c Decision: 380/1160	Time: 233.916/86400
c Decision: 380/1160	Time: 237.455/86400
c Decision: 380/1160	Time: 241.187/86400
c Decision: 380/1160	Time: 244.676/86400
c Decision: 380/1160	Time: 248.482/86400
c Decision: 380/1160	Time: 252.367/86400
c Decision: 380/1160	Time: 256.445/86400
c Decision: 380/1160	Time: 260.096/86400
c Decision: 380/1160	Time: 263.509/86400
c Decision: 380/1160	Time: 267.805/86400
c Decision: 380/1160	Time: 271.716/86400
c Decision: 380/1160	Time: 275.221/86400
c Decision: 380/1160	Time: 279.247/86400
c Decision: 380/1160	Time: 283.552/86400
c Decision: 380/1160	Time: 287.679/86400
c Decision: 380/1160	Time: 291.972/86400
c Decision: 380/1160	Time: 295.906/86400
c Decision: 380/1160	Time: 300.534/86400
c Decision: 380/1160	Time: 305.118/86400
c Decision: 380/1160	Time: 310.028/86400
c Decision: 380/1160	Time: 315.339/86400
c Decision: 380/1160	Time: 319.826/86400
c Decision: 380/1160	Time: 325.273/86400
c Decision: 380/1160	Time: 329.65/86400
c Decision: 380/1160	Time: 334.814/86400
c Decision: 380/1160	Time: 339.3/86400
c Decision: 380/1160	Time: 343.872/86400
c Decision: 380/1160	Time: 348.708/86400
c Decision: 380/1160	Time: 353.62/86400
c Decision: 380/1160	Time: 358.659/86400
c Decision: 380/1160	Time: 363.896/86400
c Decision: 380/1160	Time: 368.725/86400
c Decision: 380/1160	Time: 372.965/86400
c Decision: 380/1160	Time: 378.129/86400
c Decision: 380/1160	Time: 383.526/86400
c Decision: 380/1160	Time: 388.485/86400
c Decision: 380/1160	Time: 394.242/86400
c Decision: 380/1160	Time: 398.327/86400
c Decision: 380/1160	Time: 403.096/86400
c Decision: 380/1160	Time: 407.995/86400
c Decision: 380/1160	Time: 412.289/86400
c Decision: 380/1160	Time: 416.854/86400
c Decision: 380/1160	Time: 421.949/86400
c Decision: 380/1160	Time: 426.377/86400
c Decision: 380/1160	Time: 431.694/86400
c Decision: 380/1160	Time: 435.907/86400
c Decision: 380/1160	Time: 440.817/86400
c Decision: 380/1160	Time: 444.699/86400
c Decision: 380/1160	Time: 448.567/86400
c Decision: 380/1160	Time: 453.616/86400
c Decision: 380/1160	Time: 459.256/86400
c Decision: 380/1160	Time: 464.129/86400
c Decision: 380/1160	Time: 468.806/86400
c Decision: 380/1160	Time: 473.603/86400
c Decision: 380/1160	Time: 478.064/86400
c Decision: 380/1160	Time: 483.073/86400
c Decision: 380/1160	Time: 487.793/86400
c Decision: 380/1160	Time: 492.216/86400
c Decision: 380/1160	Time: 496.603/86400
c Decision: 380/1160	Time: 501.44/86400
c Decision: 380/1160	Time: 505.454/86400
c Decision: 380/1160	Time: 510.008/86400
c Decision: 380/1160	Time: 514.685/86400
c Decision: 380/1160	Time: 518.816/86400
c Decision: 380/1160	Time: 523.143/86400
c Decision: 380/1160	Time: 527.774/86400
c Decision: 380/1160	Time: 532.528/86400
c Decision: 380/1160	Time: 537.028/86400
c Decision: 380/1160	Time: 541.915/86400
c Decision: 380/1160	Time: 546.678/86400
c Decision: 380/1160	Time: 551.571/86400
c Decision: 380/1160	Time: 555.998/86400
c Decision: 380/1160	Time: 560.925/86400
c Decision: 380/1160	Time: 565.884/86400
c Decision: 380/1160	Time: 571.027/86400
c Decision: 380/1160	Time: 576.624/86400
c Decision: 380/1160	Time: 581.961/86400
c Decision: 380/1160	Time: 588.064/86400
c Decision: 380/1160	Time: 593.334/86400
c Decision: 380/1160	Time: 598.676/86400
c Decision: 380/1160	Time: 605.349/86400
c Decision: 380/1160	Time: 611.138/86400
c Decision: 380/1160	Time: 616.4/86400
c Decision: 380/1160	Time: 621.397/86400
c Decision: 380/1160	Time: 626.882/86400
c Decision: 380/1160	Time: 632.088/86400
c Decision: 380/1160	Time: 637.852/86400
c Decision: 380/1160	Time: 643.669/86400
c Decision: 380/1160	Time: 649.448/86400
c Decision: 380/1160	Time: 656.443/86400
c Decision: 380/1160	Time: 661.704/86400
c Decision: 380/1160	Time: 667.524/86400
c Decision: 380/1160	Time: 673.232/86400
c Decision: 380/1160	Time: 678.481/86400
c Decision: 380/1160	Time: 684.242/86400
c Decision: 380/1160	Time: 689.15/86400
c Decision: 380/1160	Time: 694.776/86400
c Decision: 380/1160	Time: 700.942/86400
c Decision: 380/1160	Time: 706.892/86400
c Decision: 380/1160	Time: 713.889/86400
c Decision: 380/1160	Time: 720.138/86400
c Decision: 380/1160	Time: 727.078/86400
c Decision: 380/1160	Time: 732.756/86400
c Decision: 380/1160	Time: 738.596/86400
c Decision: 380/1160	Time: 746.218/86400
c Decision: 380/1160	Time: 755.162/86400
c Decision: 380/1160	Time: 762.12/86400
c Decision: 380/1160	Time: 769.083/86400
c Decision: 380/1160	Time: 775.667/86400
c Decision: 380/1160	Time: 783.085/86400
c Decision: 380/1160	Time: 788.924/86400
c Decision: 380/1160	Time: 795.179/86400
c Decision: 380/1160	Time: 800.845/86400
c Decision: 380/1160	Time: 807.37/86400
c Decision: 380/1160	Time: 813.765/86400
c Decision: 380/1160	Time: 819.056/86400
c Decision: 380/1160	Time: 825.138/86400
c Decision: 380/1160	Time: 831.183/86400
c Decision: 380/1160	Time: 837.612/86400
c Decision: 380/1160	Time: 843.752/86400
c Decision: 380/1160	Time: 850.538/86400
c Decision: 380/1160	Time: 856.588/86400
c Decision: 380/1160	Time: 863.614/86400
c Decision: 381/1160	Time: 876.519/86400
c Decision: 381/1160	Time: 882.969/86400
c Decision: 381/1160	Time: 891.172/86400
c Decision: 381/1160	Time: 897.422/86400
c Decision: 381/1160	Time: 903.291/86400
c Decision: 381/1160	Time: 909.144/86400
c Decision: 381/1160	Time: 915.287/86400
c Decision: 381/1160	Time: 921.747/86400
c Decision: 381/1160	Time: 927.51/86400
c Decision: 381/1160	Time: 933.35/86400
c Decision: 383/1160	Time: 942.643/86400
c Decision: 383/1160	Time: 951.211/86400
c Decision: 383/1160	Time: 958.057/86400
c Decision: 383/1160	Time: 964.731/86400
c Decision: 383/1160	Time: 971.227/86400
c Decision: 383/1160	Time: 977.813/86400
c Decision: 383/1160	Time: 985.153/86400
c Decision: 383/1160	Time: 991.367/86400
c Decision: 383/1160	Time: 997.125/86400
c Decision: 383/1160	Time: 1003.39/86400
c Decision: 383/1160	Time: 1011.99/86400
c Decision: 383/1160	Time: 1018.67/86400
c Decision: 383/1160	Time: 1024.67/86400
c Decision: 383/1160	Time: 1030.7/86400
c Decision: 383/1160	Time: 1035.69/86400
c Decision: 383/1160	Time: 1042.09/86400
c Decision: 383/1160	Time: 1047.78/86400
c Decision: 383/1160	Time: 1053.91/86400
c Decision: 383/1160	Time: 1060.21/86400
c Decision: 383/1160	Time: 1065.75/86400
c Decision: 384/1160	Time: 1077.84/86400
c Decision: 384/1160	Time: 1084.12/86400
c Decision: 384/1160	Time: 1090.01/86400
c Decision: 384/1160	Time: 1094.69/86400
c Decision: 384/1160	Time: 1100.33/86400
c Decision: 384/1160	Time: 1106.01/86400
c Decision: 384/1160	Time: 1112.04/86400
c Decision: 384/1160	Time: 1117.28/86400
c Decision: 384/1160	Time: 1123.22/86400
c Decision: 384/1160	Time: 1129.2/86400
c Decision: 384/1160	Time: 1135.08/86400
c Decision: 387/1160	Time: 1144.69/86400
c Decision: 387/1160	Time: 1150.35/86400
c Decision: 387/1160	Time: 1157.03/86400
c Decision: 387/1160	Time: 1164.36/86400
c Decision: 387/1160	Time: 1171.54/86400
c Decision: 387/1160	Time: 1179.1/86400
c Decision: 388/1160	Time: 1187.27/86400
c Decision: 388/1160	Time: 1194.37/86400
c Decision: 388/1160	Time: 1200.63/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/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 17 0 1 0 0 0 0 0 18 0 1 0 20827800 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 373 2 364 364 0 9 0
[pid=6350] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-chnl10_20_pb.cnf.cr.opb

[startup+10.1422 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 1083 0 8 0 964 11 0 0 25 0 1 0 20827800 7270400 1021 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 1775 1021 364 364 0 1411 0
[pid=6350] vsize: 7100
Current children cumulated CPU time (s) 9.75
Current children cumulated vsize (Kb) 7100

[startup+20.143 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 1836 0 8 0 1928 27 0 0 25 0 1 0 20827800 12369920 1774 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 3020 1774 364 364 0 2656 0
[pid=6350] vsize: 12080
Current children cumulated CPU time (s) 19.55
Current children cumulated vsize (Kb) 12080

[startup+30.1428 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 2568 0 8 0 2900 38 0 0 25 0 1 0 20827800 13598720 2409 4294967295 134512640 135987407 3221224560 3221223248 134811855 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 3320 2409 364 364 0 2956 0
[pid=6350] vsize: 13280
Current children cumulated CPU time (s) 29.38
Current children cumulated vsize (Kb) 13280

[startup+40.1436 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 2935 0 8 0 3876 47 0 0 25 0 1 0 20827800 14483456 2776 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 3536 2776 364 364 0 3172 0
[pid=6350] vsize: 14144
Current children cumulated CPU time (s) 39.23
Current children cumulated vsize (Kb) 14144

[startup+50.1444 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 3192 0 8 0 4855 56 0 0 25 0 1 0 20827800 14876672 3033 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 3632 3033 364 364 0 3268 0
[pid=6350] vsize: 14528
Current children cumulated CPU time (s) 49.11
Current children cumulated vsize (Kb) 14528

[startup+60.1452 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 3531 0 8 0 5836 63 0 0 25 0 1 0 20827800 23658496 3372 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 5776 3372 364 364 0 5412 0
[pid=6350] vsize: 23104
Current children cumulated CPU time (s) 58.99
Current children cumulated vsize (Kb) 23104

[startup+70.1461 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 3816 0 8 0 6819 70 0 0 25 0 1 0 20827800 24051712 3657 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 5872 3657 364 364 0 5508 0
[pid=6350] vsize: 23488
Current children cumulated CPU time (s) 68.89
Current children cumulated vsize (Kb) 23488

[startup+80.1469 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 4318 0 8 0 7800 78 0 0 25 0 1 0 20827800 25198592 3966 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 6152 3966 364 364 0 5788 0
[pid=6350] vsize: 24608
Current children cumulated CPU time (s) 78.78
Current children cumulated vsize (Kb) 24608

[startup+90.1477 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 4519 0 8 0 8783 84 0 0 25 0 1 0 20827800 25706496 4167 4294967295 134512640 135987407 3221224560 3221223280 134814139 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 6276 4167 364 364 0 5912 0
[pid=6350] vsize: 25104
Current children cumulated CPU time (s) 88.67
Current children cumulated vsize (Kb) 25104

[startup+100.147 s]
Raw data (loadavg): 0.98 0.98 0.99 1/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) T 6349 6350 4057 0 -1 0 4666 0 8 0 9767 90 0 0 25 0 1 0 20827800 26099712 4314 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6350/statm): 6372 4314 364 364 0 6008 0
[pid=6350] vsize: 25488
Current children cumulated CPU time (s) 98.57
Current children cumulated vsize (Kb) 25488

[startup+110.148 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 4789 0 8 0 10750 96 0 0 25 0 1 0 20827800 26099712 4437 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 6372 4437 364 364 0 6008 0
[pid=6350] vsize: 25488
Current children cumulated CPU time (s) 108.46
Current children cumulated vsize (Kb) 25488

[startup+120.149 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 5038 0 8 0 11734 103 0 0 25 0 1 0 20827800 26460160 4686 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 6460 4686 364 364 0 6096 0
[pid=6350] vsize: 25840
Current children cumulated CPU time (s) 118.37
Current children cumulated vsize (Kb) 25840

[startup+130.149 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 5410 0 8 0 12719 108 0 0 25 0 1 0 20827800 27000832 5058 4294967295 134512640 135987407 3221224560 3221223248 134811855 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 6592 5058 364 364 0 6228 0
[pid=6350] vsize: 26368
Current children cumulated CPU time (s) 128.27
Current children cumulated vsize (Kb) 26368

[startup+140.149 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 5599 0 8 0 13706 113 0 0 25 0 1 0 20827800 27541504 5247 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 6724 5247 364 364 0 6360 0
[pid=6350] vsize: 26896
Current children cumulated CPU time (s) 138.19
Current children cumulated vsize (Kb) 26896

[startup+150.149 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 5894 0 8 0 14694 118 0 0 25 0 1 0 20827800 28217344 5542 4294967295 134512640 135987407 3221224560 3221223312 134801245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 6889 5542 364 364 0 6525 0
[pid=6350] vsize: 27556
Current children cumulated CPU time (s) 148.12
Current children cumulated vsize (Kb) 27556

[startup+160.149 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 6119 0 8 0 15680 122 0 0 25 0 1 0 20827800 28622848 5767 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 6988 5767 364 364 0 6624 0
[pid=6350] vsize: 27952
Current children cumulated CPU time (s) 158.02
Current children cumulated vsize (Kb) 27952

[startup+170.149 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 6265 0 8 0 16666 128 0 0 25 0 1 0 20827800 28893184 5913 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 7054 5913 364 364 0 6690 0
[pid=6350] vsize: 28216
Current children cumulated CPU time (s) 167.94
Current children cumulated vsize (Kb) 28216

[startup+180.149 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 6395 0 8 0 17654 133 0 0 25 0 1 0 20827800 29569024 6043 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 7219 6043 364 364 0 6855 0
[pid=6350] vsize: 28876
Current children cumulated CPU time (s) 177.87
Current children cumulated vsize (Kb) 28876

[startup+190.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 6551 0 8 0 18640 138 0 0 25 0 1 0 20827800 29839360 6199 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 7285 6199 364 364 0 6921 0
[pid=6350] vsize: 29140
Current children cumulated CPU time (s) 187.78
Current children cumulated vsize (Kb) 29140

[startup+200.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 6747 0 8 0 19626 143 0 0 25 0 1 0 20827800 30109696 6395 4294967295 134512640 135987407 3221224560 3221223248 134811990 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 7351 6395 364 364 0 6987 0
[pid=6350] vsize: 29404
Current children cumulated CPU time (s) 197.69
Current children cumulated vsize (Kb) 29404

[startup+210.15 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 6841 0 8 0 20613 148 0 0 25 0 1 0 20827800 30380032 6489 4294967295 134512640 135987407 3221224560 3221223280 134814139 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 7417 6489 364 364 0 7053 0
[pid=6350] vsize: 29668
Current children cumulated CPU time (s) 207.61
Current children cumulated vsize (Kb) 29668

[startup+220.151 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 7352 0 8 0 21597 156 0 0 25 0 1 0 20827800 32088064 6615 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 7834 6615 364 364 0 7470 0
[pid=6350] vsize: 31336
Current children cumulated CPU time (s) 217.53
Current children cumulated vsize (Kb) 31336

[startup+230.151 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 7460 0 8 0 22585 161 0 0 25 0 1 0 20827800 32628736 6723 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 7966 6723 364 364 0 7602 0
[pid=6350] vsize: 31864
Current children cumulated CPU time (s) 227.46
Current children cumulated vsize (Kb) 31864

[startup+240.152 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 7627 0 8 0 23572 165 0 0 25 0 1 0 20827800 49405952 6890 4294967295 134512640 135987407 3221224560 3221223280 134814108 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12062 6890 364 364 0 11698 0
[pid=6350] vsize: 48248
Current children cumulated CPU time (s) 237.37
Current children cumulated vsize (Kb) 48248

[startup+250.153 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 7882 0 8 0 24558 171 0 0 25 0 1 0 20827800 49405952 7145 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12062 7145 364 364 0 11698 0
[pid=6350] vsize: 48248
Current children cumulated CPU time (s) 247.29
Current children cumulated vsize (Kb) 48248

[startup+260.154 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 7928 0 8 0 25548 175 0 0 25 0 1 0 20827800 49405952 7191 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12062 7191 364 364 0 11698 0
[pid=6350] vsize: 48248
Current children cumulated CPU time (s) 257.23
Current children cumulated vsize (Kb) 48248

[startup+270.153 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 7982 0 8 0 26536 180 0 0 25 0 1 0 20827800 49541120 7245 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12095 7245 364 364 0 11731 0
[pid=6350] vsize: 48380
Current children cumulated CPU time (s) 267.16
Current children cumulated vsize (Kb) 48380

[startup+280.153 s]
Raw data (loadavg): 0.99 0.98 0.99 1/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) T 6349 6350 4057 0 -1 0 8021 0 8 0 27524 184 0 0 25 0 1 0 20827800 49676288 7284 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12128 7284 364 364 0 11764 0
[pid=6350] vsize: 48512
Current children cumulated CPU time (s) 277.08
Current children cumulated vsize (Kb) 48512

[startup+290.154 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 8181 0 8 0 28513 188 0 0 25 0 1 0 20827800 49676288 7444 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 12128 7444 364 364 0 11764 0
[pid=6350] vsize: 48512
Current children cumulated CPU time (s) 287.01
Current children cumulated vsize (Kb) 48512

[startup+300.155 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 8206 0 8 0 29503 190 0 0 25 0 1 0 20827800 49676288 7469 4294967295 134512640 135987407 3221224560 3221223312 134801180 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 12128 7469 364 364 0 11764 0
[pid=6350] vsize: 48512
Current children cumulated CPU time (s) 296.93
Current children cumulated vsize (Kb) 48512

[startup+310.156 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 8322 0 8 0 30493 195 0 0 25 0 1 0 20827800 49676288 7585 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 12128 7585 364 364 0 11764 0
[pid=6350] vsize: 48512
Current children cumulated CPU time (s) 306.88
Current children cumulated vsize (Kb) 48512

[startup+320.156 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 8486 0 8 0 31484 198 0 0 25 0 1 0 20827800 49811456 7749 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 12161 7749 364 364 0 11797 0
[pid=6350] vsize: 48644
Current children cumulated CPU time (s) 316.82
Current children cumulated vsize (Kb) 48644

[startup+330.156 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 8714 0 8 0 32474 202 0 0 25 0 1 0 20827800 49946624 7977 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 12194 7977 364 364 0 11830 0
[pid=6350] vsize: 48776
Current children cumulated CPU time (s) 326.76
Current children cumulated vsize (Kb) 48776

[startup+340.157 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 8889 0 8 0 33463 206 0 0 25 0 1 0 20827800 49946624 8152 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12194 8152 364 364 0 11830 0
[pid=6350] vsize: 48776
Current children cumulated CPU time (s) 336.69
Current children cumulated vsize (Kb) 48776

[startup+350.157 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 8941 0 8 0 34452 211 0 0 25 0 1 0 20827800 50143232 8204 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12242 8204 364 364 0 11878 0
[pid=6350] vsize: 48968
Current children cumulated CPU time (s) 346.63
Current children cumulated vsize (Kb) 48968

[startup+360.158 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 9149 0 8 0 35443 215 0 0 25 0 1 0 20827800 50143232 8412 4294967295 134512640 135987407 3221224560 3221223248 134811942 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12242 8412 364 364 0 11878 0
[pid=6350] vsize: 48968
Current children cumulated CPU time (s) 356.58
Current children cumulated vsize (Kb) 48968

[startup+370.159 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 9225 0 8 0 36434 218 0 0 25 0 1 0 20827800 50143232 8488 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12242 8488 364 364 0 11878 0
[pid=6350] vsize: 48968
Current children cumulated CPU time (s) 366.52
Current children cumulated vsize (Kb) 48968

[startup+380.158 s]
Raw data (loadavg): 0.99 0.98 0.99 1/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) T 6349 6350 4057 0 -1 0 9328 0 8 0 37424 222 0 0 25 0 1 0 20827800 50278400 8591 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12275 8591 364 364 0 11911 0
[pid=6350] vsize: 49100
Current children cumulated CPU time (s) 376.46
Current children cumulated vsize (Kb) 49100

[startup+390.159 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 9484 0 8 0 38415 226 0 0 25 0 1 0 20827800 50413568 8747 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 12308 8747 364 364 0 11944 0
[pid=6350] vsize: 49232
Current children cumulated CPU time (s) 386.41
Current children cumulated vsize (Kb) 49232

[startup+400.159 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 9528 0 8 0 39406 229 0 0 25 0 1 0 20827800 50548736 8791 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 12341 8791 364 364 0 11977 0
[pid=6350] vsize: 49364
Current children cumulated CPU time (s) 396.35
Current children cumulated vsize (Kb) 49364

[startup+410.16 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 9669 0 8 0 40393 235 0 0 25 0 1 0 20827800 50819072 8932 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 12407 8932 364 364 0 12043 0
[pid=6350] vsize: 49628
Current children cumulated CPU time (s) 406.28
Current children cumulated vsize (Kb) 49628

[startup+420.161 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 9745 0 8 0 41383 239 0 0 25 0 1 0 20827800 51081216 9008 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 12471 9008 364 364 0 12107 0
[pid=6350] vsize: 49884
Current children cumulated CPU time (s) 416.22
Current children cumulated vsize (Kb) 49884

[startup+430.161 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 9772 0 8 0 42373 242 0 0 25 0 1 0 20827800 51081216 9035 4294967295 134512640 135987407 3221224560 3221223280 134814120 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 12471 9035 364 364 0 12107 0
[pid=6350] vsize: 49884
Current children cumulated CPU time (s) 426.15
Current children cumulated vsize (Kb) 49884

[startup+440.162 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 9788 0 8 0 43365 245 0 0 25 0 1 0 20827800 51081216 9051 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12471 9051 364 364 0 12107 0
[pid=6350] vsize: 49884
Current children cumulated CPU time (s) 436.1
Current children cumulated vsize (Kb) 49884

[startup+450.162 s]
Raw data (loadavg): 0.99 0.98 0.99 1/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) T 6349 6350 4057 0 -1 0 9844 0 8 0 44354 250 0 0 25 0 1 0 20827800 51372032 9107 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12542 9107 364 364 0 12178 0
[pid=6350] vsize: 50168
Current children cumulated CPU time (s) 446.04
Current children cumulated vsize (Kb) 50168

[startup+460.163 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 9874 0 8 0 45346 252 0 0 25 0 1 0 20827800 51507200 9137 4294967295 134512640 135987407 3221224560 3221223040 134931202 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12575 9137 364 364 0 12211 0
[pid=6350] vsize: 50300
Current children cumulated CPU time (s) 455.98
Current children cumulated vsize (Kb) 50300

[startup+470.163 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 9889 0 8 0 46337 256 0 0 25 0 1 0 20827800 51507200 9152 4294967295 134512640 135987407 3221224560 3221223248 134811894 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12575 9152 364 364 0 12211 0
[pid=6350] vsize: 50300
Current children cumulated CPU time (s) 465.93
Current children cumulated vsize (Kb) 50300

[startup+480.163 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 9920 0 8 0 47326 259 0 0 25 0 1 0 20827800 51642368 9183 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12608 9183 364 364 0 12244 0
[pid=6350] vsize: 50432
Current children cumulated CPU time (s) 475.85
Current children cumulated vsize (Kb) 50432

[startup+490.163 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 9949 0 8 0 48316 263 0 0 25 0 1 0 20827800 51777536 9212 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12641 9212 364 364 0 12277 0
[pid=6350] vsize: 50564
Current children cumulated CPU time (s) 485.79
Current children cumulated vsize (Kb) 50564

[startup+500.163 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 9962 0 8 0 49306 267 0 0 25 0 1 0 20827800 51777536 9225 4294967295 134512640 135987407 3221224560 3221223248 134811850 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12641 9225 364 364 0 12277 0
[pid=6350] vsize: 50564
Current children cumulated CPU time (s) 495.73
Current children cumulated vsize (Kb) 50564

[startup+510.164 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 10000 0 8 0 50297 270 0 0 25 0 1 0 20827800 52043776 9263 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 12706 9263 364 364 0 12342 0
[pid=6350] vsize: 50824
Current children cumulated CPU time (s) 505.67
Current children cumulated vsize (Kb) 50824

[startup+520.165 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 10014 0 8 0 51287 273 0 0 25 0 1 0 20827800 52043776 9277 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12706 9277 364 364 0 12342 0
[pid=6350] vsize: 50824
Current children cumulated CPU time (s) 515.6
Current children cumulated vsize (Kb) 50824

[startup+530.165 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 10028 0 8 0 52276 277 0 0 25 0 1 0 20827800 52043776 9291 4294967295 134512640 135987407 3221224560 3221223136 134788814 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12706 9291 364 364 0 12342 0
[pid=6350] vsize: 50824
Current children cumulated CPU time (s) 525.53
Current children cumulated vsize (Kb) 50824

[startup+540.165 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 10061 0 8 0 53267 281 0 0 25 0 1 0 20827800 52174848 9324 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12738 9324 364 364 0 12374 0
[pid=6350] vsize: 50952
Current children cumulated CPU time (s) 535.48
Current children cumulated vsize (Kb) 50952

[startup+550.165 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 10083 0 8 0 54258 285 0 0 25 0 1 0 20827800 52174848 9346 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12738 9346 364 364 0 12374 0
[pid=6350] vsize: 50952
Current children cumulated CPU time (s) 545.43
Current children cumulated vsize (Kb) 50952

[startup+560.166 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 10120 0 8 0 55249 288 0 0 25 0 1 0 20827800 52310016 9383 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12771 9383 364 364 0 12407 0
[pid=6350] vsize: 51084
Current children cumulated CPU time (s) 555.37
Current children cumulated vsize (Kb) 51084

[startup+570.166 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 10147 0 8 0 56239 293 0 0 25 0 1 0 20827800 52445184 9410 4294967295 134512640 135987407 3221224560 3221223248 134811835 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12804 9410 364 364 0 12440 0
[pid=6350] vsize: 51216
Current children cumulated CPU time (s) 565.32
Current children cumulated vsize (Kb) 51216

[startup+580.166 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 10175 0 8 0 57230 296 0 0 25 0 1 0 20827800 52580352 9438 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12837 9438 364 364 0 12473 0
[pid=6350] vsize: 51348
Current children cumulated CPU time (s) 575.26
Current children cumulated vsize (Kb) 51348

[startup+590.167 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 10206 0 8 0 58220 299 0 0 25 0 1 0 20827800 52715520 9469 4294967295 134512640 135987407 3221224560 3221223344 134812447 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12870 9469 364 364 0 12506 0
[pid=6350] vsize: 51480
Current children cumulated CPU time (s) 585.19
Current children cumulated vsize (Kb) 51480

[startup+600.166 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 10311 0 8 0 59212 303 0 0 25 0 1 0 20827800 52985856 9574 4294967295 134512640 135987407 3221224560 3221223024 134849914 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 12936 9574 364 364 0 12572 0
[pid=6350] vsize: 51744
Current children cumulated CPU time (s) 595.15
Current children cumulated vsize (Kb) 51744

[startup+610.167 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 10437 0 8 0 60204 306 0 0 25 0 1 0 20827800 53391360 9700 4294967295 134512640 135987407 3221224560 3221223280 134813844 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 13035 9700 364 364 0 12671 0
[pid=6350] vsize: 52140
Current children cumulated CPU time (s) 605.1
Current children cumulated vsize (Kb) 52140

[startup+620.168 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 10571 0 8 0 61195 309 0 0 25 0 1 0 20827800 53391360 9834 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 13035 9834 364 364 0 12671 0
[pid=6350] vsize: 52140
Current children cumulated CPU time (s) 615.04
Current children cumulated vsize (Kb) 52140

[startup+630.168 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 10770 0 8 0 62185 313 0 0 25 0 1 0 20827800 53391360 10033 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 13035 10033 364 364 0 12671 0
[pid=6350] vsize: 52140
Current children cumulated CPU time (s) 624.98
Current children cumulated vsize (Kb) 52140

[startup+640.169 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 10806 0 8 0 63177 317 0 0 25 0 1 0 20827800 53391360 10069 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 13035 10069 364 364 0 12671 0
[pid=6350] vsize: 52140
Current children cumulated CPU time (s) 634.94
Current children cumulated vsize (Kb) 52140

[startup+650.169 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 11610 0 8 0 64168 321 0 0 25 0 1 0 20827800 56672256 10104 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 13836 10104 364 364 0 13472 0
[pid=6350] vsize: 55344
Current children cumulated CPU time (s) 644.89
Current children cumulated vsize (Kb) 55344

[startup+660.17 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 11618 0 8 0 65159 325 0 0 25 0 1 0 20827800 56672256 10112 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 13836 10112 364 364 0 13472 0
[pid=6350] vsize: 55344
Current children cumulated CPU time (s) 654.84
Current children cumulated vsize (Kb) 55344

[startup+670.171 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 11652 0 8 0 66150 328 0 0 25 0 1 0 20827800 56807424 10146 4294967295 134512640 135987407 3221224560 3221223248 134811850 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 13869 10146 364 364 0 13505 0
[pid=6350] vsize: 55476
Current children cumulated CPU time (s) 664.78
Current children cumulated vsize (Kb) 55476

[startup+680.171 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 11676 0 8 0 67142 331 0 0 25 0 1 0 20827800 56807424 10170 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 13869 10170 364 364 0 13505 0
[pid=6350] vsize: 55476
Current children cumulated CPU time (s) 674.73
Current children cumulated vsize (Kb) 55476

[startup+690.171 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 11847 0 8 0 68131 335 0 0 25 0 1 0 20827800 56807424 10341 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 13869 10341 364 364 0 13505 0
[pid=6350] vsize: 55476
Current children cumulated CPU time (s) 684.66
Current children cumulated vsize (Kb) 55476

[startup+700.17 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 11862 0 8 0 69123 338 0 0 25 0 1 0 20827800 56807424 10356 4294967295 134512640 135987407 3221224560 3221223280 134813802 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 13869 10356 364 364 0 13505 0
[pid=6350] vsize: 55476
Current children cumulated CPU time (s) 694.61
Current children cumulated vsize (Kb) 55476

[startup+710.171 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 11875 0 8 0 70114 341 0 0 25 0 1 0 20827800 56807424 10369 4294967295 134512640 135987407 3221224560 3221223248 134811942 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 13869 10369 364 364 0 13505 0
[pid=6350] vsize: 55476
Current children cumulated CPU time (s) 704.55
Current children cumulated vsize (Kb) 55476

[startup+720.172 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 11915 0 8 0 71108 344 0 0 25 0 1 0 20827800 56938496 10376 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 13901 10376 364 364 0 13537 0
[pid=6350] vsize: 55604
Current children cumulated CPU time (s) 714.52
Current children cumulated vsize (Kb) 55604

[startup+730.172 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 12016 0 8 0 72100 347 0 0 25 0 1 0 20827800 57335808 10411 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 13998 10411 364 364 0 13634 0
[pid=6350] vsize: 55992
Current children cumulated CPU time (s) 724.47
Current children cumulated vsize (Kb) 55992

[startup+740.173 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 12113 0 8 0 73093 350 0 0 25 0 1 0 20827800 57602048 10475 4294967295 134512640 135987407 3221224560 3221223248 134811850 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 14063 10475 364 364 0 13699 0
[pid=6350] vsize: 56252
Current children cumulated CPU time (s) 734.43
Current children cumulated vsize (Kb) 56252

[startup+750.173 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 12328 0 8 0 74085 353 0 0 25 0 1 0 20827800 57999360 10657 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 14160 10657 364 364 0 13796 0
[pid=6350] vsize: 56640
Current children cumulated CPU time (s) 744.38
Current children cumulated vsize (Kb) 56640

[startup+760.173 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 12370 0 8 0 75079 355 0 0 25 0 1 0 20827800 57999360 10699 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 14160 10699 364 364 0 13796 0
[pid=6350] vsize: 56640
Current children cumulated CPU time (s) 754.34
Current children cumulated vsize (Kb) 56640

[startup+770.174 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 12488 0 8 0 76072 359 0 0 25 0 1 0 20827800 58392576 10718 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 14256 10718 364 364 0 13892 0
[pid=6350] vsize: 57024
Current children cumulated CPU time (s) 764.31
Current children cumulated vsize (Kb) 57024

[startup+780.174 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 12599 0 8 0 77064 364 0 0 25 0 1 0 20827800 58654720 10763 4294967295 134512640 135987407 3221224560 3221223248 134811855 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 14320 10763 364 364 0 13956 0
[pid=6350] vsize: 57280
Current children cumulated CPU time (s) 774.28
Current children cumulated vsize (Kb) 57280

[startup+790.175 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 12781 0 8 0 78059 366 0 0 25 0 1 0 20827800 58916864 10879 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 14384 10879 364 364 0 14020 0
[pid=6350] vsize: 57536
Current children cumulated CPU time (s) 784.25
Current children cumulated vsize (Kb) 57536

[startup+800.175 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 12825 0 8 0 79050 368 0 0 25 0 1 0 20827800 59047936 10890 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 14416 10890 364 364 0 14052 0
[pid=6350] vsize: 57664
Current children cumulated CPU time (s) 794.18
Current children cumulated vsize (Kb) 57664

[startup+810.176 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 12905 0 8 0 80042 372 0 0 25 0 1 0 20827800 59445248 10937 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 14513 10937 364 364 0 14149 0
[pid=6350] vsize: 58052
Current children cumulated CPU time (s) 804.14
Current children cumulated vsize (Kb) 58052

[startup+820.175 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) T 6349 6350 4057 0 -1 0 12965 0 8 0 81033 374 0 0 25 0 1 0 20827800 59576320 10964 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6350/statm): 14545 10964 364 364 0 14181 0
[pid=6350] vsize: 58180
Current children cumulated CPU time (s) 814.07
Current children cumulated vsize (Kb) 58180

[startup+830.175 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 13012 0 8 0 82025 378 0 0 25 0 1 0 20827800 59707392 10978 4294967295 134512640 135987407 3221224560 3221223248 134811912 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 14577 10978 364 364 0 14213 0
[pid=6350] vsize: 58308
Current children cumulated CPU time (s) 824.03
Current children cumulated vsize (Kb) 58308

[startup+840.176 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 13061 0 8 0 83017 381 0 0 25 0 1 0 20827800 59838464 10994 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6350/statm): 14609 10994 364 364 0 14245 0
[pid=6350] vsize: 58436
Current children cumulated CPU time (s) 833.98
Current children cumulated vsize (Kb) 58436

[startup+850.177 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 13131 0 8 0 84010 383 0 0 25 0 1 0 20827800 60104704 11031 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 14674 11031 364 364 0 14310 0
[pid=6350] vsize: 58696
Current children cumulated CPU time (s) 843.93
Current children cumulated vsize (Kb) 58696

[startup+860.178 s]
Raw data (loadavg): 0.99 0.98 0.99 1/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) T 6349 6350 4057 0 -1 0 13207 0 8 0 85003 386 0 0 25 0 1 0 20827800 60502016 11074 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6350/statm): 14771 11074 364 364 0 14407 0
[pid=6350] vsize: 59084
Current children cumulated CPU time (s) 853.89
Current children cumulated vsize (Kb) 59084

[startup+870.177 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 13221 0 8 0 85996 388 0 0 25 0 1 0 20827800 60502016 11088 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 14771 11088 364 364 0 14407 0
[pid=6350] vsize: 59084
Current children cumulated CPU time (s) 863.84
Current children cumulated vsize (Kb) 59084

[startup+880.177 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 13381 0 8 0 86989 391 0 0 25 0 1 0 20827800 60768256 11215 4294967295 134512640 135987407 3221224560 3221223248 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 14836 11215 364 364 0 14472 0
[pid=6350] vsize: 59344
Current children cumulated CPU time (s) 873.8
Current children cumulated vsize (Kb) 59344

[startup+890.178 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 13531 0 8 0 87981 394 0 0 25 0 1 0 20827800 60768256 11365 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 14836 11365 364 364 0 14472 0
[pid=6350] vsize: 59344
Current children cumulated CPU time (s) 883.75
Current children cumulated vsize (Kb) 59344

[startup+900.178 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 13575 0 8 0 88974 397 0 0 25 0 1 0 20827800 60903424 11409 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 14869 11409 364 364 0 14505 0
[pid=6350] vsize: 59476
Current children cumulated CPU time (s) 893.71
Current children cumulated vsize (Kb) 59476

[startup+910.179 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 13588 0 8 0 89966 400 0 0 25 0 1 0 20827800 60903424 11422 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 14869 11422 364 364 0 14505 0
[pid=6350] vsize: 59476
Current children cumulated CPU time (s) 903.66
Current children cumulated vsize (Kb) 59476

[startup+920.179 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 13645 0 8 0 90959 403 0 0 25 0 1 0 20827800 61169664 11446 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 14934 11446 364 364 0 14570 0
[pid=6350] vsize: 59736
Current children cumulated CPU time (s) 913.62
Current children cumulated vsize (Kb) 59736

[startup+930.178 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 13658 0 8 0 91953 405 0 0 25 0 1 0 20827800 61169664 11459 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 14934 11459 364 364 0 14570 0
[pid=6350] vsize: 59736
Current children cumulated CPU time (s) 923.58
Current children cumulated vsize (Kb) 59736

[startup+940.179 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 13711 0 8 0 92944 409 0 0 25 0 1 0 20827800 61300736 11479 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 14966 11479 364 364 0 14602 0
[pid=6350] vsize: 59864
Current children cumulated CPU time (s) 933.53
Current children cumulated vsize (Kb) 59864

[startup+950.179 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 13761 0 8 0 93939 411 0 0 25 0 1 0 20827800 61431808 11496 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 14998 11496 364 364 0 14634 0
[pid=6350] vsize: 59992
Current children cumulated CPU time (s) 943.5
Current children cumulated vsize (Kb) 59992

[startup+960.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 13796 0 8 0 94933 413 0 0 25 0 1 0 20827800 61566976 11531 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15031 11531 364 364 0 14667 0
[pid=6350] vsize: 60124
Current children cumulated CPU time (s) 953.46
Current children cumulated vsize (Kb) 60124

[startup+970.181 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) T 6349 6350 4057 0 -1 0 13879 0 8 0 95926 416 0 0 25 0 1 0 20827800 61964288 11581 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15128 11581 364 364 0 14764 0
[pid=6350] vsize: 60512
Current children cumulated CPU time (s) 963.42
Current children cumulated vsize (Kb) 60512

[startup+980.181 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14048 0 8 0 96917 420 0 0 25 0 1 0 20827800 62095360 11717 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15160 11717 364 364 0 14796 0
[pid=6350] vsize: 60640
Current children cumulated CPU time (s) 973.37
Current children cumulated vsize (Kb) 60640

[startup+990.181 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14209 0 8 0 97910 423 0 0 25 0 1 0 20827800 62230528 11878 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15193 11878 364 364 0 14829 0
[pid=6350] vsize: 60772
Current children cumulated CPU time (s) 983.33
Current children cumulated vsize (Kb) 60772

[startup+1000.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14276 0 8 0 98903 425 0 0 25 0 1 0 20827800 62361600 11912 4294967295 134512640 135987407 3221224560 3221223376 134816670 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15225 11912 364 364 0 14861 0
[pid=6350] vsize: 60900
Current children cumulated CPU time (s) 993.28
Current children cumulated vsize (Kb) 60900

[startup+1010.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14300 0 8 0 99895 428 0 0 25 0 1 0 20827800 62361600 11936 4294967295 134512640 135987407 3221224560 3221223280 134814101 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15225 11936 364 364 0 14861 0
[pid=6350] vsize: 60900
Current children cumulated CPU time (s) 1003.23
Current children cumulated vsize (Kb) 60900

[startup+1020.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14338 0 8 0 100890 430 0 0 25 0 1 0 20827800 62488576 11974 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15256 11974 364 364 0 14892 0
[pid=6350] vsize: 61024
Current children cumulated CPU time (s) 1013.2
Current children cumulated vsize (Kb) 61024

[startup+1030.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14389 0 8 0 101884 433 0 0 25 0 1 0 20827800 62619648 11992 4294967295 134512640 135987407 3221224560 3221223376 134816659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15288 11992 364 364 0 14924 0
[pid=6350] vsize: 61152
Current children cumulated CPU time (s) 1023.17
Current children cumulated vsize (Kb) 61152

[startup+1040.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14456 0 8 0 102877 435 0 0 25 0 1 0 20827800 62885888 12026 4294967295 134512640 135987407 3221224560 3221223056 134878363 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15353 12026 364 364 0 14989 0
[pid=6350] vsize: 61412
Current children cumulated CPU time (s) 1033.12
Current children cumulated vsize (Kb) 61412

[startup+1050.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14469 0 8 0 103870 438 0 0 25 0 1 0 20827800 62885888 12039 4294967295 134512640 135987407 3221224560 3221223248 134811915 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15353 12039 364 364 0 14989 0
[pid=6350] vsize: 61412
Current children cumulated CPU time (s) 1043.08
Current children cumulated vsize (Kb) 61412

[startup+1060.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14485 0 8 0 104861 441 0 0 25 0 1 0 20827800 63016960 12055 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15385 12055 364 364 0 15021 0
[pid=6350] vsize: 61540
Current children cumulated CPU time (s) 1053.02
Current children cumulated vsize (Kb) 61540

[startup+1070.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14526 0 8 0 105856 443 0 0 25 0 1 0 20827800 63152128 12096 4294967295 134512640 135987407 3221224560 3221223152 134850867 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15418 12096 364 364 0 15054 0
[pid=6350] vsize: 61672
Current children cumulated CPU time (s) 1062.99
Current children cumulated vsize (Kb) 61672

[startup+1080.18 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14547 0 8 0 106849 446 0 0 25 0 1 0 20827800 63152128 12117 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15418 12117 364 364 0 15054 0
[pid=6350] vsize: 61672
Current children cumulated CPU time (s) 1072.95
Current children cumulated vsize (Kb) 61672

[startup+1090.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14578 0 8 0 107839 450 0 0 25 0 1 0 20827800 63287296 12148 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15451 12148 364 364 0 15087 0
[pid=6350] vsize: 61804
Current children cumulated CPU time (s) 1082.89
Current children cumulated vsize (Kb) 61804

[startup+1100.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14603 0 8 0 108831 453 0 0 25 0 1 0 20827800 63414272 12173 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15482 12173 364 364 0 15118 0
[pid=6350] vsize: 61928
Current children cumulated CPU time (s) 1092.84
Current children cumulated vsize (Kb) 61928

[startup+1110.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14625 0 8 0 109822 455 0 0 25 0 1 0 20827800 63414272 12195 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15482 12195 364 364 0 15118 0
[pid=6350] vsize: 61928
Current children cumulated CPU time (s) 1102.77
Current children cumulated vsize (Kb) 61928

[startup+1120.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14634 0 8 0 110814 457 0 0 25 0 1 0 20827800 63414272 12204 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15482 12204 364 364 0 15118 0
[pid=6350] vsize: 61928
Current children cumulated CPU time (s) 1112.71
Current children cumulated vsize (Kb) 61928

[startup+1130.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14642 0 8 0 111807 461 0 0 25 0 1 0 20827800 63414272 12212 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15482 12212 364 364 0 15118 0
[pid=6350] vsize: 61928
Current children cumulated CPU time (s) 1122.68
Current children cumulated vsize (Kb) 61928

[startup+1140.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14688 0 8 0 112800 464 0 0 25 0 1 0 20827800 63680512 12258 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15547 12258 364 364 0 15183 0
[pid=6350] vsize: 62188
Current children cumulated CPU time (s) 1132.64
Current children cumulated vsize (Kb) 62188

[startup+1150.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14704 0 8 0 113793 466 0 0 25 0 1 0 20827800 63680512 12274 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15547 12274 364 364 0 15183 0
[pid=6350] vsize: 62188
Current children cumulated CPU time (s) 1142.59
Current children cumulated vsize (Kb) 62188

[startup+1160.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14711 0 8 0 114786 469 0 0 25 0 1 0 20827800 63680512 12281 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15547 12281 364 364 0 15183 0
[pid=6350] vsize: 62188
Current children cumulated CPU time (s) 1152.55
Current children cumulated vsize (Kb) 62188

[startup+1170.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14722 0 8 0 115779 471 0 0 25 0 1 0 20827800 63807488 12292 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15578 12292 364 364 0 15214 0
[pid=6350] vsize: 62312
Current children cumulated CPU time (s) 1162.5
Current children cumulated vsize (Kb) 62312

[startup+1180.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14736 0 8 0 116774 473 0 0 25 0 1 0 20827800 63807488 12306 4294967295 134512640 135987407 3221224560 3221223312 134801140 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15578 12306 364 364 0 15214 0
[pid=6350] vsize: 62312
Current children cumulated CPU time (s) 1172.47
Current children cumulated vsize (Kb) 62312

[startup+1190.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14746 0 8 0 117768 475 0 0 25 0 1 0 20827800 63807488 12316 4294967295 134512640 135987407 3221224560 3221223248 134811832 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15578 12316 364 364 0 15214 0
[pid=6350] vsize: 62312
Current children cumulated CPU time (s) 1182.43
Current children cumulated vsize (Kb) 62312

[startup+1200.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14764 0 8 0 118760 477 0 0 25 0 1 0 20827800 63807488 12334 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15578 12334 364 364 0 15214 0
[pid=6350] vsize: 62312
Current children cumulated CPU time (s) 1192.37
Current children cumulated vsize (Kb) 62312

[startup+1210.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14786 0 8 0 119751 481 0 0 25 0 1 0 20827800 63934464 12356 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15609 12356 364 364 0 15245 0
[pid=6350] vsize: 62436
Current children cumulated CPU time (s) 1202.32
Current children cumulated vsize (Kb) 62436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.19 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 6350
Raw data (/proc/6350/stat): 6350 (pb2sat) R 6349 6350 4057 0 -1 0 14786 0 8 0 119751 481 0 0 25 0 1 0 20827800 63934464 12356 4294967295 134512640 135987407 3221224560 3221223248 134811873 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6350/statm): 15609 12356 364 364 0 15245 0
[pid=6350] vsize: 62436
Current children cumulated CPU time (s) 1202.32
Current children cumulated vsize (Kb) 62436

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

Child status: 0
Real time (s): 1210.27
CPU time (s): 1202.41
CPU user time (s): 1197.57
CPU system time (s): 4.83926
CPU usage (%): 99.3499
Max. virtual memory (cumulated for all children) (Kb): 62436

Verifier Data

ERROR: no interpretation found !