Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran13x13.opb
MD5SUM688d61d0de54e028c8c4910e094a132c
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1014445
Optimality of the best value was proved NO
Number of terms in the objective function 3549
Biggest coefficient in the objective function 5242880
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 949933178
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 949933178
Number of bits of the biggest sum of numbers30
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1239.56
Number of variables3549
Total number of constraints195
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints195
Minimum length of a constraint21
Maximum length of a constraint260

Trace number 10576

Launcher Data

LAUNCH ON wulflinc28 THE 2005-09-23 18:50:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9286 boxname=wulflinc28 idbench=1082 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  688d61d0de54e028c8c4910e094a132c  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-ran13x13.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-ran13x13.opb
IDLAUNCH: 9286
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.188
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.188
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:        932940 kB
Buffers:         12660 kB
Cached:          72136 kB
SwapCached:          0 kB
Active:          44088 kB
Inactive:        43636 kB
HighTotal:      131008 kB
HighFree:        54656 kB
LowTotal:       903652 kB
LowFree:        878284 kB
SwapTotal:     2097640 kB
SwapFree:      2097640 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             8560 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 19:12:02 (client local time) WITH STATUS 0 IN 1206.31 SECONDS
stats: 9286 7 1206.31 0

Solver Data

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

c Decision: 11312/101554	Time: 47.3248/86400
c Decision: 11312/101554	Time: 53.8958/86400
c Decision: 11312/101554	Time: 59.7009/86400
c Decision: 11312/101554	Time: 64.4952/86400
c Decision: 11312/101554	Time: 70.6733/86400
c Decision: 11312/101554	Time: 75.2826/86400
c Decision: 11312/101554	Time: 80.8547/86400
c Decision: 11312/101554	Time: 86.0579/86400
c Decision: 11312/101554	Time: 89.7004/86400
c Decision: 11312/101554	Time: 95.0416/86400
c Decision: 11312/101554	Time: 100.888/86400
c Decision: 11312/101554	Time: 106.443/86400
c Decision: 11312/101554	Time: 111.374/86400
c Decision: 11312/101554	Time: 116.952/86400
c Decision: 11312/101554	Time: 122.761/86400
c Decision: 11312/101554	Time: 129.335/86400
c Decision: 11312/101554	Time: 134.56/86400
c Decision: 11312/101554	Time: 139.681/86400
c Decision: 11312/101554	Time: 144.883/86400
c Decision: 11312/101554	Time: 151.082/86400
c Decision: 11312/101554	Time: 157.002/86400
c Decision: 11312/101554	Time: 162.469/86400
c Decision: 11312/101554	Time: 167.736/86400
c Decision: 11312/101554	Time: 173.326/86400
c Decision: 11312/101554	Time: 178.185/86400
c Decision: 11312/101554	Time: 183.917/86400
c Decision: 11312/101554	Time: 189.279/86400
c Decision: 11312/101554	Time: 193.878/86400
c Decision: 11312/101554	Time: 198.987/86400
c Decision: 11312/101554	Time: 203.874/86400
c Decision: 11312/101554	Time: 208.778/86400
c Decision: 11312/101554	Time: 213.943/86400
c Decision: 11312/101554	Time: 218.848/86400
c Decision: 11312/101554	Time: 224.016/86400
c Decision: 11312/101554	Time: 228.624/86400
c Decision: 11312/101554	Time: 233.9/86400
c Decision: 11312/101554	Time: 238.812/86400
c Decision: 11312/101554	Time: 244.093/86400
c Decision: 11312/101554	Time: 250.115/86400
c Decision: 11312/101554	Time: 254.429/86400
c Decision: 11312/101554	Time: 260.514/86400
c Decision: 11312/101554	Time: 264.978/86400
c Decision: 11312/101554	Time: 270.856/86400
c Decision: 11312/101554	Time: 276.437/86400
c Decision: 11312/101554	Time: 281.282/86400
c Decision: 11312/101554	Time: 287.149/86400
c Decision: 11312/101554	Time: 292.626/86400
c Decision: 11312/101554	Time: 298.687/86400
c Decision: 11312/101554	Time: 304.638/86400
c Decision: 11312/101554	Time: 310.992/86400
c Decision: 11312/101554	Time: 318.415/86400
c Decision: 11312/101554	Time: 323.833/86400
c Decision: 11312/101554	Time: 329.375/86400
c Decision: 11312/101554	Time: 335.792/86400
c Decision: 11312/101554	Time: 340.735/86400
c Decision: 11312/101554	Time: 348.076/86400
c Decision: 11312/101554	Time: 353.258/86400
c Decision: 11312/101554	Time: 358.525/86400
c Decision: 11312/101554	Time: 364.631/86400
c Decision: 11312/101554	Time: 370.076/86400
c Decision: 11312/101554	Time: 375.662/86400
c Decision: 11312/101554	Time: 380.31/86400
c Decision: 11312/101554	Time: 387.238/86400
c Decision: 11312/101554	Time: 391.597/86400
c Decision: 11312/101554	Time: 395.48/86400
c Decision: 11312/101554	Time: 401.234/86400
c Decision: 11312/101554	Time: 407.223/86400
c Decision: 11312/101554	Time: 412.857/86400
c Decision: 11312/101554	Time: 418.829/86400
c Decision: 11312/101554	Time: 424.078/86400
c Decision: 11312/101554	Time: 429.98/86400
c Decision: 11312/101554	Time: 435.713/86400
c Decision: 11312/101554	Time: 442.07/86400
c Decision: 11312/101554	Time: 448.211/86400
c Decision: 11312/101554	Time: 454.068/86400
c Decision: 11312/101554	Time: 460.038/86400
c Decision: 11312/101554	Time: 466.113/86400
c Decision: 11312/101554	Time: 471.255/86400
c Decision: 11312/101554	Time: 476.913/86400
c Decision: 11312/101554	Time: 483.799/86400
c Decision: 11312/101554	Time: 490.304/86400
c Decision: 11312/101554	Time: 493.806/86400
c Decision: 11312/101554	Time: 500.247/86400
c Decision: 11312/101554	Time: 506.712/86400
c Decision: 11312/101554	Time: 513.201/86400
c Decision: 11312/101554	Time: 518.193/86400
c Decision: 11312/101554	Time: 525.441/86400
c Decision: 11312/101554	Time: 531.255/86400
c Decision: 11312/101554	Time: 537.84/86400
c Decision: 11312/101554	Time: 544.375/86400
c Decision: 11312/101554	Time: 551.227/86400
c Decision: 11312/101554	Time: 557.228/86400
c Decision: 11312/101554	Time: 563.766/86400
c Decision: 11312/101554	Time: 570.098/86400
c Decision: 11312/101554	Time: 576.077/86400
c Decision: 11312/101554	Time: 581.639/86400
c Decision: 11312/101554	Time: 588.007/86400
c Decision: 11312/101554	Time: 594.576/86400
c Decision: 11312/101554	Time: 601.184/86400
c Decision: 11312/101554	Time: 607.71/86400
c Decision: 11312/101554	Time: 614.486/86400
c Decision: 11312/101554	Time: 620.606/86400
c Decision: 11312/101554	Time: 627.5/86400
c Decision: 11312/101554	Time: 634.366/86400
c Decision: 11312/101554	Time: 640.484/86400
c Decision: 11312/101554	Time: 646.874/86400
c Decision: 11312/101554	Time: 652.831/86400
c Decision: 11312/101554	Time: 660.129/86400
c Decision: 11312/101554	Time: 665.719/86400
c Decision: 11312/101554	Time: 671.633/86400
c Decision: 11312/101554	Time: 677.741/86400
c Decision: 11312/101554	Time: 684.07/86400
c Decision: 11312/101554	Time: 690.654/86400
c Decision: 11312/101554	Time: 696.038/86400
c Decision: 11312/101554	Time: 701.909/86400
c Decision: 11312/101554	Time: 708.553/86400
c Decision: 11312/101554	Time: 715.118/86400
c Decision: 11312/101554	Time: 720.949/86400
c Decision: 11312/101554	Time: 727.654/86400
c Decision: 11312/101554	Time: 734.557/86400
c Decision: 11312/101554	Time: 742.371/86400
c Decision: 11312/101554	Time: 749.037/86400
c Decision: 11312/101554	Time: 755.098/86400
c Decision: 11312/101554	Time: 761.926/86400
c Decision: 11312/101554	Time: 768.664/86400
c Decision: 11312/101554	Time: 776.32/86400
c Decision: 11312/101554	Time: 783.959/86400
c Decision: 11312/101554	Time: 791.3/86400
c Decision: 11312/101554	Time: 795.968/86400
c Decision: 11312/101554	Time: 800.539/86400
c Decision: 11312/101554	Time: 806.938/86400
c Decision: 11312/101554	Time: 813.524/86400
c Decision: 11312/101554	Time: 820.164/86400
c Decision: 11312/101554	Time: 825.271/86400
c Decision: 11312/101554	Time: 831.847/86400
c Decision: 11312/101554	Time: 839.117/86400
c Decision: 11312/101554	Time: 845.87/86400
c Decision: 11312/101554	Time: 852.794/86400
c Decision: 11312/101554	Time: 860.403/86400
c Decision: 11312/101554	Time: 867.311/86400
c Decision: 11312/101554	Time: 874.007/86400
c Decision: 11312/101554	Time: 881.219/86400
c Decision: 11312/101554	Time: 888.541/86400
c Decision: 11312/101554	Time: 895.091/86400
c Decision: 11312/101554	Time: 901.004/86400
c Decision: 11312/101554	Time: 907.326/86400
c Decision: 11312/101554	Time: 913.946/86400
c Decision: 11312/101554	Time: 921.154/86400
c Decision: 11312/101554	Time: 928.954/86400
c Decision: 11312/101554	Time: 935.858/86400
c Decision: 11312/101554	Time: 942.431/86400
c Decision: 11312/101554	Time: 949.645/86400
c Decision: 11312/101554	Time: 956.816/86400
c Decision: 11312/101554	Time: 964.464/86400
c Decision: 11312/101554	Time: 971.813/86400
c Decision: 11312/101554	Time: 978.439/86400
c Decision: 11312/101554	Time: 985.858/86400
c Decision: 11312/101554	Time: 991.392/86400
c Decision: 11312/101554	Time: 998.489/86400
c Decision: 11312/101554	Time: 1004.67/86400
c Decision: 11312/101554	Time: 1012.28/86400
c Decision: 11312/101554	Time: 1019.49/86400
c Decision: 11312/101554	Time: 1027.54/86400
c Decision: 11312/101554	Time: 1033.36/86400
c Decision: 11312/101554	Time: 1040.06/86400
c Decision: 11312/101554	Time: 1047.93/86400
c Decision: 11312/101554	Time: 1055.05/86400
c Decision: 11312/101554	Time: 1061.53/86400
c Decision: 11312/101554	Time: 1067.14/86400
c Decision: 11312/101554	Time: 1073.7/86400
c Decision: 11312/101554	Time: 1082.04/86400
c Decision: 11312/101554	Time: 1089.43/86400
c Decision: 11312/101554	Time: 1096.63/86400
c Decision: 11312/101554	Time: 1102.87/86400
c Decision: 11312/101554	Time: 1109.36/86400
c Decision: 11312/101554	Time: 1116.23/86400
c Decision: 11312/101554	Time: 1122.12/86400
c Decision: 11312/101554	Time: 1128.07/86400
c Decision: 11312/101554	Time: 1135.62/86400
c Decision: 11312/101554	Time: 1143.6/86400
c Decision: 11312/101554	Time: 1150.84/86400
c Decision: 11312/101554	Time: 1155.45/86400
c Decision: 11312/101554	Time: 1162.41/86400
c Decision: 11312/101554	Time: 1168.32/86400
c Decision: 11312/101554	Time: 1175.14/86400
c Decision: 11312/101554	Time: 1182.47/86400
c Decision: 11312/101554	Time: 1188.87/86400
c Decision: 11312/101554	Time: 1196.34/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/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22446889 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 373 2 364 364 0 9 0
[pid=10776] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-ran13x13.opb

[startup+10.0021 s]
Raw data (loadavg): 0.91 0.95 0.91 1/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 14447 0 0 0 935 46 0 0 25 0 1 0 22446889 45920256 8726 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 11211 8726 364 364 0 10847 0
[pid=10776] vsize: 44844
Current children cumulated CPU time (s) 9.81
Current children cumulated vsize (Kb) 44844

[startup+20.0027 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 14900 0 0 0 1859 71 0 0 25 0 1 0 22446889 47939584 9179 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 11704 9179 364 364 0 11340 0
[pid=10776] vsize: 46816
Current children cumulated CPU time (s) 19.3
Current children cumulated vsize (Kb) 46816

[startup+30.0034 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 15119 0 0 0 2804 91 0 0 25 0 1 0 22446889 48775168 9398 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 11908 9398 364 364 0 11544 0
[pid=10776] vsize: 47632
Current children cumulated CPU time (s) 28.95
Current children cumulated vsize (Kb) 47632

[startup+40.0041 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 15321 0 0 0 3746 111 0 0 25 0 1 0 22446889 49594368 9600 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 12108 9600 364 364 0 11744 0
[pid=10776] vsize: 48432
Current children cumulated CPU time (s) 38.57
Current children cumulated vsize (Kb) 48432

[startup+50.0048 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 15469 0 0 0 4681 132 0 0 25 0 1 0 22446889 50249728 9748 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 12268 9748 364 364 0 11904 0
[pid=10776] vsize: 49072
Current children cumulated CPU time (s) 48.13
Current children cumulated vsize (Kb) 49072

[startup+60.0045 s]
Raw data (loadavg): 0.96 0.96 0.91 1/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 15718 0 0 0 5607 159 0 0 25 0 1 0 22446889 50249728 9798 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 12268 9798 364 364 0 11904 0
[pid=10776] vsize: 49072
Current children cumulated CPU time (s) 57.66
Current children cumulated vsize (Kb) 49072

[startup+70.0052 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 16169 0 0 0 6530 186 0 0 25 0 1 0 22446889 50413568 9851 4294967295 134512640 135987407 3221224560 3221223120 134776802 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 12308 9851 364 364 0 11944 0
[pid=10776] vsize: 49232
Current children cumulated CPU time (s) 67.16
Current children cumulated vsize (Kb) 49232

[startup+80.0059 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 16634 0 0 0 7438 218 0 0 25 0 1 0 22446889 50720768 9918 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 12383 9918 364 364 0 12019 0
[pid=10776] vsize: 49532
Current children cumulated CPU time (s) 76.56
Current children cumulated vsize (Kb) 49532

[startup+90.0056 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 17095 0 0 0 8351 247 0 0 25 0 1 0 22446889 50855936 9981 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 12416 9981 364 364 0 12052 0
[pid=10776] vsize: 49664
Current children cumulated CPU time (s) 85.98
Current children cumulated vsize (Kb) 49664

[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 1/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 17542 0 0 0 9252 281 0 0 25 0 1 0 22446889 50991104 10030 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 12449 10030 364 364 0 12085 0
[pid=10776] vsize: 49796
Current children cumulated CPU time (s) 95.33
Current children cumulated vsize (Kb) 49796

[startup+110.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 17807 0 0 0 10150 315 0 0 25 0 1 0 22446889 51134464 10096 4294967295 134512640 135987407 3221224560 3221223280 134813813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 12484 10096 364 364 0 12120 0
[pid=10776] vsize: 49936
Current children cumulated CPU time (s) 104.65
Current children cumulated vsize (Kb) 49936

[startup+120.008 s]
Raw data (loadavg): 0.98 0.97 0.91 1/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 18270 0 0 0 11060 349 0 0 25 0 1 0 22446889 51449856 10161 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10776/statm): 12561 10161 364 364 0 12197 0
[pid=10776] vsize: 50244
Current children cumulated CPU time (s) 114.09
Current children cumulated vsize (Kb) 50244

[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 18728 0 0 0 11964 381 0 0 24 0 1 0 22446889 51589120 10221 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 12595 10221 364 364 0 12231 0
[pid=10776] vsize: 50380
Current children cumulated CPU time (s) 123.45
Current children cumulated vsize (Kb) 50380

[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 18974 0 0 0 12863 415 0 0 25 0 1 0 22446889 51724288 10268 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 12628 10268 364 364 0 12264 0
[pid=10776] vsize: 50512
Current children cumulated CPU time (s) 132.78
Current children cumulated vsize (Kb) 50512

[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 19405 0 0 0 13761 448 0 0 25 0 1 0 22446889 51863552 10301 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10776/statm): 12662 10301 364 364 0 12298 0
[pid=10776] vsize: 50648
Current children cumulated CPU time (s) 142.09
Current children cumulated vsize (Kb) 50648

[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 19838 0 0 0 14658 482 0 0 25 0 1 0 22446889 51863552 10336 4294967295 134512640 135987407 3221224560 3221223344 134812400 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 12662 10336 364 364 0 12298 0
[pid=10776] vsize: 50648
Current children cumulated CPU time (s) 151.4
Current children cumulated vsize (Kb) 50648

[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 20077 0 0 0 15572 511 0 0 25 0 1 0 22446889 52011008 10376 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 12698 10376 364 364 0 12334 0
[pid=10776] vsize: 50792
Current children cumulated CPU time (s) 160.83
Current children cumulated vsize (Kb) 50792

[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 20525 0 0 0 16483 540 0 0 25 0 1 0 22446889 52150272 10426 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 12732 10426 364 364 0 12368 0
[pid=10776] vsize: 50928
Current children cumulated CPU time (s) 170.23
Current children cumulated vsize (Kb) 50928

[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 20972 0 0 0 17393 569 0 0 25 0 1 0 22446889 52301824 10475 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10776/statm): 12769 10475 364 364 0 12405 0
[pid=10776] vsize: 51076
Current children cumulated CPU time (s) 179.62
Current children cumulated vsize (Kb) 51076

[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 21409 0 0 0 18296 600 0 0 25 0 1 0 22446889 52301824 10514 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 12769 10514 364 364 0 12405 0
[pid=10776] vsize: 51076
Current children cumulated CPU time (s) 188.96
Current children cumulated vsize (Kb) 51076

[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 21844 0 0 0 19202 632 0 0 25 0 1 0 22446889 52465664 10551 4294967295 134512640 135987407 3221224560 3221223328 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 12809 10551 364 364 0 12445 0
[pid=10776] vsize: 51236
Current children cumulated CPU time (s) 198.34
Current children cumulated vsize (Kb) 51236

[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 22101 0 0 0 20101 665 0 0 25 0 1 0 22446889 52613120 10609 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 12845 10609 364 364 0 12481 0
[pid=10776] vsize: 51380
Current children cumulated CPU time (s) 207.66
Current children cumulated vsize (Kb) 51380

[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 22561 0 0 0 21012 694 0 0 25 0 1 0 22446889 52760576 10671 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 12881 10671 364 364 0 12517 0
[pid=10776] vsize: 51524
Current children cumulated CPU time (s) 217.06
Current children cumulated vsize (Kb) 51524

[startup+240.012 s]
Raw data (loadavg): 1.07 0.99 0.92 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 22999 0 0 0 21923 725 0 0 25 0 1 0 22446889 52895744 10711 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 12914 10711 364 364 0 12550 0
[pid=10776] vsize: 51656
Current children cumulated CPU time (s) 226.48
Current children cumulated vsize (Kb) 51656

[startup+250.012 s]
Raw data (loadavg): 1.06 0.99 0.92 1/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 23435 0 0 0 22831 758 0 0 25 0 1 0 22446889 52895744 10749 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10776/statm): 12914 10749 364 364 0 12550 0
[pid=10776] vsize: 51656
Current children cumulated CPU time (s) 235.89
Current children cumulated vsize (Kb) 51656

[startup+260.013 s]
Raw data (loadavg): 1.05 0.99 0.92 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 23868 0 0 0 23738 790 0 0 25 0 1 0 22446889 53030912 10784 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 12947 10784 364 364 0 12583 0
[pid=10776] vsize: 51788
Current children cumulated CPU time (s) 245.28
Current children cumulated vsize (Kb) 51788

[startup+270.013 s]
Raw data (loadavg): 1.04 0.99 0.92 1/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 24319 0 0 0 24642 821 0 0 25 0 1 0 22446889 53170176 10837 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 12981 10837 364 364 0 12617 0
[pid=10776] vsize: 51924
Current children cumulated CPU time (s) 254.63
Current children cumulated vsize (Kb) 51924

[startup+280.014 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 24567 0 0 0 25553 850 0 0 25 0 1 0 22446889 53305344 10886 4294967295 134512640 135987407 3221224560 3221223136 134801576 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13014 10886 364 364 0 12650 0
[pid=10776] vsize: 52056
Current children cumulated CPU time (s) 264.03
Current children cumulated vsize (Kb) 52056

[startup+290.014 s]
Raw data (loadavg): 1.03 0.99 0.92 1/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 24999 0 0 0 26471 878 0 0 25 0 1 0 22446889 53305344 10920 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13014 10920 364 364 0 12650 0
[pid=10776] vsize: 52056
Current children cumulated CPU time (s) 273.49
Current children cumulated vsize (Kb) 52056

[startup+300.015 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 25440 0 0 0 27382 908 0 0 25 0 1 0 22446889 53469184 10963 4294967295 134512640 135987407 3221224560 3221223388 134812256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 13054 10963 364 364 0 12690 0
[pid=10776] vsize: 52216
Current children cumulated CPU time (s) 282.9
Current children cumulated vsize (Kb) 52216

[startup+310.015 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 25884 0 0 0 28303 933 0 0 25 0 1 0 22446889 53604352 11009 4294967295 134512640 135987407 3221224560 3221223408 134790052 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 13087 11009 364 364 0 12723 0
[pid=10776] vsize: 52348
Current children cumulated CPU time (s) 292.36
Current children cumulated vsize (Kb) 52348

[startup+320.014 s]
Raw data (loadavg): 1.02 0.99 0.92 1/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 26109 0 0 0 29216 963 0 0 25 0 1 0 22446889 53604352 11035 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13087 11035 364 364 0 12723 0
[pid=10776] vsize: 52348
Current children cumulated CPU time (s) 301.79
Current children cumulated vsize (Kb) 52348

[startup+330.015 s]
Raw data (loadavg): 1.01 0.99 0.92 1/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 26554 0 0 0 30136 992 0 0 25 0 1 0 22446889 53739520 11082 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13120 11082 364 364 0 12756 0
[pid=10776] vsize: 52480
Current children cumulated CPU time (s) 311.28
Current children cumulated vsize (Kb) 52480

[startup+340.016 s]
Raw data (loadavg): 1.01 0.99 0.92 1/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 26779 0 0 0 31057 1019 0 0 25 0 1 0 22446889 53874688 11108 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13153 11108 364 364 0 12789 0
[pid=10776] vsize: 52612
Current children cumulated CPU time (s) 320.76
Current children cumulated vsize (Kb) 52612

[startup+350.016 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 27223 0 0 0 31981 1046 0 0 25 0 1 0 22446889 54030336 11154 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13191 11154 364 364 0 12827 0
[pid=10776] vsize: 52764
Current children cumulated CPU time (s) 330.27
Current children cumulated vsize (Kb) 52764

[startup+360.017 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 27446 0 0 0 32906 1072 0 0 25 0 1 0 22446889 54030336 11178 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 13191 11178 364 364 0 12827 0
[pid=10776] vsize: 52764
Current children cumulated CPU time (s) 339.78
Current children cumulated vsize (Kb) 52764

[startup+370.017 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 27908 0 0 0 33838 1096 0 0 25 0 1 0 22446889 54194176 11242 4294967295 134512640 135987407 3221224560 3221223376 134816545 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 13231 11242 364 364 0 12867 0
[pid=10776] vsize: 52924
Current children cumulated CPU time (s) 349.34
Current children cumulated vsize (Kb) 52924

[startup+380.017 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 28320 0 0 0 34765 1122 0 0 25 0 1 0 22446889 54194176 11256 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13231 11256 364 364 0 12867 0
[pid=10776] vsize: 52924
Current children cumulated CPU time (s) 358.87
Current children cumulated vsize (Kb) 52924

[startup+390.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 28559 0 0 0 35689 1148 0 0 25 0 1 0 22446889 54329344 11296 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 13264 11296 364 364 0 12900 0
[pid=10776] vsize: 53056
Current children cumulated CPU time (s) 368.37
Current children cumulated vsize (Kb) 53056

[startup+400.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 28797 0 0 0 36599 1178 0 0 25 0 1 0 22446889 54329344 11335 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13264 11335 364 364 0 12900 0
[pid=10776] vsize: 53056
Current children cumulated CPU time (s) 377.77
Current children cumulated vsize (Kb) 53056

[startup+410.018 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 29238 0 0 0 37515 1207 0 0 25 0 1 0 22446889 54476800 11378 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13300 11378 364 364 0 12936 0
[pid=10776] vsize: 53200
Current children cumulated CPU time (s) 387.22
Current children cumulated vsize (Kb) 53200

[startup+420.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 29673 0 0 0 38439 1233 0 0 25 0 1 0 22446889 54611968 11415 4294967295 134512640 135987407 3221224560 3221223248 134812166 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13333 11415 364 364 0 12969 0
[pid=10776] vsize: 53332
Current children cumulated CPU time (s) 396.72
Current children cumulated vsize (Kb) 53332

[startup+430.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 30124 0 0 0 39365 1258 0 0 25 0 1 0 22446889 54611968 11468 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 13333 11468 364 364 0 12969 0
[pid=10776] vsize: 53332
Current children cumulated CPU time (s) 406.23
Current children cumulated vsize (Kb) 53332

[startup+440.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 30346 0 0 0 40275 1288 0 0 25 0 1 0 22446889 54747136 11491 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13366 11491 364 364 0 13002 0
[pid=10776] vsize: 53464
Current children cumulated CPU time (s) 415.63
Current children cumulated vsize (Kb) 53464

[startup+450.019 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 30780 0 0 0 41188 1318 0 0 25 0 1 0 22446889 54747136 11527 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13366 11527 364 364 0 13002 0
[pid=10776] vsize: 53464
Current children cumulated CPU time (s) 425.06
Current children cumulated vsize (Kb) 53464

[startup+460.02 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 31212 0 0 0 42114 1346 0 0 25 0 1 0 22446889 54878208 11561 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13398 11561 364 364 0 13034 0
[pid=10776] vsize: 53592
Current children cumulated CPU time (s) 434.6
Current children cumulated vsize (Kb) 53592

[startup+470.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 31473 0 0 0 43033 1375 0 0 25 0 1 0 22446889 55017472 11623 4294967295 134512640 135987407 3221224560 3221223152 134775396 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 13432 11623 364 364 0 13068 0
[pid=10776] vsize: 53728
Current children cumulated CPU time (s) 444.08
Current children cumulated vsize (Kb) 53728

[startup+480.02 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 31896 0 0 0 43950 1406 0 0 25 0 1 0 22446889 55181312 11648 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13472 11648 364 364 0 13108 0
[pid=10776] vsize: 53888
Current children cumulated CPU time (s) 453.56
Current children cumulated vsize (Kb) 53888

[startup+490.02 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 32136 0 0 0 44860 1436 0 0 25 0 1 0 22446889 55181312 11689 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10776/statm): 13472 11689 364 364 0 13108 0
[pid=10776] vsize: 53888
Current children cumulated CPU time (s) 462.96
Current children cumulated vsize (Kb) 53888

[startup+500.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 32562 0 0 0 45784 1462 0 0 25 0 1 0 22446889 55312384 11717 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13504 11717 364 364 0 13140 0
[pid=10776] vsize: 54016
Current children cumulated CPU time (s) 472.46
Current children cumulated vsize (Kb) 54016

[startup+510.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 33003 0 0 0 46701 1488 0 0 25 0 1 0 22446889 55312384 11760 4294967295 134512640 135987407 3221224560 3221223248 134812018 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 13504 11760 364 364 0 13140 0
[pid=10776] vsize: 54016
Current children cumulated CPU time (s) 481.89
Current children cumulated vsize (Kb) 54016

[startup+520.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 33234 0 0 0 47626 1515 0 0 25 0 1 0 22446889 55443456 11792 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13536 11792 364 364 0 13172 0
[pid=10776] vsize: 54144
Current children cumulated CPU time (s) 491.41
Current children cumulated vsize (Kb) 54144

[startup+530.023 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 33699 0 0 0 48557 1538 0 0 25 0 1 0 22446889 55590912 11859 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10776/statm): 13572 11859 364 364 0 13208 0
[pid=10776] vsize: 54288
Current children cumulated CPU time (s) 500.95
Current children cumulated vsize (Kb) 54288

[startup+540.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 33930 0 0 0 49476 1565 0 0 25 0 1 0 22446889 55590912 11891 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 13572 11891 364 364 0 13208 0
[pid=10776] vsize: 54288
Current children cumulated CPU time (s) 510.41
Current children cumulated vsize (Kb) 54288

[startup+550.024 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 10776
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 34366 0 0 0 50400 1592 0 0 25 0 1 0 22446889 55721984 11929 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13604 11929 364 364 0 13240 0
[pid=10776] vsize: 54416
Current children cumulated CPU time (s) 519.92
Current children cumulated vsize (Kb) 54416

[startup+560.025 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 10831
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 34595 0 0 0 51319 1621 0 0 25 0 1 0 22446889 55721984 11959 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13604 11959 364 364 0 13240 0
[pid=10776] vsize: 54416
Current children cumulated CPU time (s) 529.4
Current children cumulated vsize (Kb) 54416

[startup+570.024 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 10831
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 35010 0 0 0 52245 1646 0 0 25 0 1 0 22446889 55857152 11976 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13637 11976 364 364 0 13273 0
[pid=10776] vsize: 54548
Current children cumulated CPU time (s) 538.91
Current children cumulated vsize (Kb) 54548

[startup+580.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10831
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 35238 0 0 0 53164 1675 0 0 25 0 1 0 22446889 55857152 12005 4294967295 134512640 135987407 3221224560 3221223280 134813845 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13637 12005 364 364 0 13273 0
[pid=10776] vsize: 54548
Current children cumulated CPU time (s) 548.39
Current children cumulated vsize (Kb) 54548

[startup+590.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10831
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 35659 0 0 0 54099 1699 0 0 25 0 1 0 22446889 55857152 12028 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13637 12028 364 364 0 13273 0
[pid=10776] vsize: 54548
Current children cumulated CPU time (s) 557.98
Current children cumulated vsize (Kb) 54548

[startup+600.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10831
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 35898 0 0 0 55016 1727 0 0 25 0 1 0 22446889 56016896 12068 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13676 12068 364 364 0 13312 0
[pid=10776] vsize: 54704
Current children cumulated CPU time (s) 567.43
Current children cumulated vsize (Kb) 54704

[startup+610.026 s]
Raw data (loadavg): 1.00 0.99 0.92 1/57 10833
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 36329 0 0 0 55936 1755 0 0 25 0 1 0 22446889 56016896 12101 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10776/statm): 13676 12101 364 364 0 13312 0
[pid=10776] vsize: 54704
Current children cumulated CPU time (s) 576.91
Current children cumulated vsize (Kb) 54704

[startup+620.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10833
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 36770 0 0 0 56855 1783 0 0 25 0 1 0 22446889 56156160 12144 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 13710 12144 364 364 0 13346 0
[pid=10776] vsize: 54840
Current children cumulated CPU time (s) 586.38
Current children cumulated vsize (Kb) 54840

[startup+630.027 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 36991 0 0 0 57773 1813 0 0 25 0 1 0 22446889 56156160 12166 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13710 12166 364 364 0 13346 0
[pid=10776] vsize: 54840
Current children cumulated CPU time (s) 595.86
Current children cumulated vsize (Kb) 54840

[startup+640.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 37219 0 0 0 58692 1840 0 0 25 0 1 0 22446889 56156160 12195 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13710 12195 364 364 0 13346 0
[pid=10776] vsize: 54840
Current children cumulated CPU time (s) 605.32
Current children cumulated vsize (Kb) 54840

[startup+650.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 37645 0 0 0 59614 1868 0 0 25 0 1 0 22446889 56291328 12223 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13743 12223 364 364 0 13379 0
[pid=10776] vsize: 54972
Current children cumulated CPU time (s) 614.82
Current children cumulated vsize (Kb) 54972

[startup+660.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 37883 0 0 0 60544 1891 0 0 25 0 1 0 22446889 56291328 12262 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 13743 12262 364 364 0 13379 0
[pid=10776] vsize: 54972
Current children cumulated CPU time (s) 624.35
Current children cumulated vsize (Kb) 54972

[startup+670.028 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 38305 0 0 0 61468 1915 0 0 25 0 1 0 22446889 64679936 12286 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 15791 12286 364 364 0 15427 0
[pid=10776] vsize: 63164
Current children cumulated CPU time (s) 633.83
Current children cumulated vsize (Kb) 63164

[startup+680.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 38535 0 0 0 62385 1943 0 0 25 0 1 0 22446889 64831488 12317 4294967295 134512640 135987407 3221224560 3221223376 134816583 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 15828 12317 364 364 0 15464 0
[pid=10776] vsize: 63312
Current children cumulated CPU time (s) 643.28
Current children cumulated vsize (Kb) 63312

[startup+690.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 38969 0 0 0 63308 1970 0 0 25 0 1 0 22446889 64831488 12353 4294967295 134512640 135987407 3221224560 3221223424 134812658 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 15828 12353 364 364 0 15464 0
[pid=10776] vsize: 63312
Current children cumulated CPU time (s) 652.78
Current children cumulated vsize (Kb) 63312

[startup+700.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 39198 0 0 0 64234 1994 0 0 25 0 1 0 22446889 64962560 12383 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 15860 12383 364 364 0 15496 0
[pid=10776] vsize: 63440
Current children cumulated CPU time (s) 662.28
Current children cumulated vsize (Kb) 63440

[startup+710.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 39633 0 0 0 65159 2018 0 0 25 0 1 0 22446889 64962560 12420 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 15860 12420 364 364 0 15496 0
[pid=10776] vsize: 63440
Current children cumulated CPU time (s) 671.77
Current children cumulated vsize (Kb) 63440

[startup+720.031 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 39870 0 0 0 66082 2044 0 0 25 0 1 0 22446889 65134592 12458 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 15902 12458 364 364 0 15538 0
[pid=10776] vsize: 63608
Current children cumulated CPU time (s) 681.26
Current children cumulated vsize (Kb) 63608

[startup+730.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 40292 0 0 0 67006 2070 0 0 25 0 1 0 22446889 65134592 12482 4294967295 134512640 135987407 3221224560 3221223376 134824129 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 15902 12482 364 364 0 15538 0
[pid=10776] vsize: 63608
Current children cumulated CPU time (s) 690.76
Current children cumulated vsize (Kb) 63608

[startup+740.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 40535 0 0 0 67933 2097 0 0 25 0 1 0 22446889 65282048 12526 4294967295 134512640 135987407 3221224560 3221223200 134789452 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 15938 12526 364 364 0 15574 0
[pid=10776] vsize: 63752
Current children cumulated CPU time (s) 700.3
Current children cumulated vsize (Kb) 63752

[startup+750.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 40970 0 0 0 68850 2125 0 0 25 0 1 0 22446889 65282048 12563 4294967295 134512640 135987407 3221224560 3221223120 134788476 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 15938 12563 364 364 0 15574 0
[pid=10776] vsize: 63752
Current children cumulated CPU time (s) 709.75
Current children cumulated vsize (Kb) 63752

[startup+760.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 41191 0 0 0 69773 2150 0 0 25 0 1 0 22446889 65282048 12585 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 15938 12585 364 364 0 15574 0
[pid=10776] vsize: 63752
Current children cumulated CPU time (s) 719.23
Current children cumulated vsize (Kb) 63752

[startup+770.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 41626 0 0 0 70700 2175 0 0 25 0 1 0 22446889 65413120 12622 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 15970 12622 364 364 0 15606 0
[pid=10776] vsize: 63880
Current children cumulated CPU time (s) 728.75
Current children cumulated vsize (Kb) 63880

[startup+780.033 s]
Raw data (loadavg): 1.08 1.00 0.92 1/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 41851 0 0 0 71623 2200 0 0 25 0 1 0 22446889 65413120 12648 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 15970 12648 364 364 0 15606 0
[pid=10776] vsize: 63880
Current children cumulated CPU time (s) 738.23
Current children cumulated vsize (Kb) 63880

[startup+790.033 s]
Raw data (loadavg): 1.07 1.00 0.92 1/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 42275 0 0 0 72552 2225 0 0 25 0 1 0 22446889 65544192 12674 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10776/statm): 16002 12674 364 364 0 15638 0
[pid=10776] vsize: 64008
Current children cumulated CPU time (s) 747.77
Current children cumulated vsize (Kb) 64008

[startup+800.033 s]
Raw data (loadavg): 1.06 1.00 0.92 1/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 42504 0 0 0 73480 2248 0 0 24 0 1 0 22446889 65544192 12704 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16002 12704 364 364 0 15638 0
[pid=10776] vsize: 64008
Current children cumulated CPU time (s) 757.28
Current children cumulated vsize (Kb) 64008

[startup+810.033 s]
Raw data (loadavg): 1.05 1.00 0.92 1/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 42930 0 0 0 74408 2271 0 0 25 0 1 0 22446889 65675264 12732 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10776/statm): 16034 12732 364 364 0 15670 0
[pid=10776] vsize: 64136
Current children cumulated CPU time (s) 766.79
Current children cumulated vsize (Kb) 64136

[startup+820.034 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 43161 0 0 0 75331 2298 0 0 25 0 1 0 22446889 65675264 12764 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16034 12764 364 364 0 15670 0
[pid=10776] vsize: 64136
Current children cumulated CPU time (s) 776.29
Current children cumulated vsize (Kb) 64136

[startup+830.034 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 43388 0 0 0 76266 2319 0 0 25 0 1 0 22446889 65675264 12792 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16034 12792 364 364 0 15670 0
[pid=10776] vsize: 64136
Current children cumulated CPU time (s) 785.85
Current children cumulated vsize (Kb) 64136

[startup+840.034 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 43613 0 0 0 77200 2344 0 0 25 0 1 0 22446889 65806336 12818 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 16066 12818 364 364 0 15702 0
[pid=10776] vsize: 64264
Current children cumulated CPU time (s) 795.44
Current children cumulated vsize (Kb) 64264

[startup+850.035 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 44258 0 0 0 78126 2370 0 0 25 0 1 0 22446889 66621440 13065 4294967295 134512640 135987407 3221224560 3221222920 134827490 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16265 13065 364 364 0 15901 0
[pid=10776] vsize: 65060
Current children cumulated CPU time (s) 804.96
Current children cumulated vsize (Kb) 65060

[startup+860.035 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 44487 0 0 0 79060 2394 0 0 25 0 1 0 22446889 65937408 12896 4294967295 134512640 135987407 3221224560 3221223248 134811915 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16098 12896 364 364 0 15734 0
[pid=10776] vsize: 64392
Current children cumulated CPU time (s) 814.54
Current children cumulated vsize (Kb) 64392

[startup+870.035 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 44716 0 0 0 79990 2419 0 0 25 0 1 0 22446889 65937408 12926 4294967295 134512640 135987407 3221224560 3221223300 135478563 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 16098 12926 364 364 0 15734 0
[pid=10776] vsize: 64392
Current children cumulated CPU time (s) 824.09
Current children cumulated vsize (Kb) 64392

[startup+880.036 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 45156 0 0 0 80926 2441 0 0 25 0 1 0 22446889 66068480 12968 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 16130 12968 364 364 0 15766 0
[pid=10776] vsize: 64520
Current children cumulated CPU time (s) 833.67
Current children cumulated vsize (Kb) 64520

[startup+890.036 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 45588 0 0 0 81853 2468 0 0 25 0 1 0 22446889 66068480 13002 4294967295 134512640 135987407 3221224560 3221223376 134876948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16130 13002 364 364 0 15766 0
[pid=10776] vsize: 64520
Current children cumulated CPU time (s) 843.21
Current children cumulated vsize (Kb) 64520

[startup+900.037 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 45805 0 0 0 82785 2489 0 0 25 0 1 0 22446889 66199552 13020 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 16162 13020 364 364 0 15798 0
[pid=10776] vsize: 64648
Current children cumulated CPU time (s) 852.74
Current children cumulated vsize (Kb) 64648

[startup+910.037 s]
Raw data (loadavg): 1.01 1.00 0.92 1/55 10837
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 46036 0 0 0 83713 2514 0 0 25 0 1 0 22446889 66199552 13052 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10776/statm): 16162 13052 364 364 0 15798 0
[pid=10776] vsize: 64648
Current children cumulated CPU time (s) 862.27
Current children cumulated vsize (Kb) 64648

[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 46463 0 0 0 84635 2540 0 0 25 0 1 0 22446889 67149824 13280 4294967295 134512640 135987407 3221224560 3221222948 134828704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16394 13280 364 364 0 16030 0
[pid=10776] vsize: 65576
Current children cumulated CPU time (s) 871.75
Current children cumulated vsize (Kb) 65576

[startup+930.038 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 46680 0 0 0 85571 2562 0 0 25 0 1 0 22446889 66334720 13099 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16195 13099 364 364 0 15831 0
[pid=10776] vsize: 64780
Current children cumulated CPU time (s) 881.33
Current children cumulated vsize (Kb) 64780

[startup+940.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 46903 0 0 0 86499 2587 0 0 25 0 1 0 22446889 66334720 13123 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16195 13123 364 364 0 15831 0
[pid=10776] vsize: 64780
Current children cumulated CPU time (s) 890.86
Current children cumulated vsize (Kb) 64780

[startup+950.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 47331 0 0 0 87422 2614 0 0 25 0 1 0 22446889 66469888 13153 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16228 13153 364 364 0 15864 0
[pid=10776] vsize: 64912
Current children cumulated CPU time (s) 900.36
Current children cumulated vsize (Kb) 64912

[startup+960.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 47561 0 0 0 88345 2641 0 0 25 0 1 0 22446889 66469888 13184 4294967295 134512640 135987407 3221224560 3221223248 134811873 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 16228 13184 364 364 0 15864 0
[pid=10776] vsize: 64912
Current children cumulated CPU time (s) 909.86
Current children cumulated vsize (Kb) 64912

[startup+970.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 47982 0 0 0 89284 2661 0 0 25 0 1 0 22446889 66469888 13207 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16228 13207 364 364 0 15864 0
[pid=10776] vsize: 64912
Current children cumulated CPU time (s) 919.45
Current children cumulated vsize (Kb) 64912

[startup+980.041 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 48210 0 0 0 90216 2683 0 0 25 0 1 0 22446889 66469888 13236 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10776/statm): 16228 13236 364 364 0 15864 0
[pid=10776] vsize: 64912
Current children cumulated CPU time (s) 928.99
Current children cumulated vsize (Kb) 64912

[startup+990.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 48436 0 0 0 91137 2710 0 0 25 0 1 0 22446889 66609152 13263 4294967295 134512640 135987407 3221224560 3221223344 134812447 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16262 13263 364 364 0 15898 0
[pid=10776] vsize: 65048
Current children cumulated CPU time (s) 938.47
Current children cumulated vsize (Kb) 65048

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 48862 0 0 0 92069 2735 0 0 25 0 1 0 22446889 66609152 13291 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16262 13291 364 364 0 15898 0
[pid=10776] vsize: 65048
Current children cumulated CPU time (s) 948.04
Current children cumulated vsize (Kb) 65048

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 49086 0 0 0 93000 2758 0 0 25 0 1 0 22446889 66609152 13316 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16262 13316 364 364 0 15898 0
[pid=10776] vsize: 65048
Current children cumulated CPU time (s) 957.58
Current children cumulated vsize (Kb) 65048

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 49311 0 0 0 93928 2783 0 0 25 0 1 0 22446889 66748416 13342 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16296 13342 364 364 0 15932 0
[pid=10776] vsize: 65184
Current children cumulated CPU time (s) 967.11
Current children cumulated vsize (Kb) 65184

[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 49537 0 0 0 94858 2806 0 0 25 0 1 0 22446889 66748416 13369 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16296 13369 364 364 0 15932 0
[pid=10776] vsize: 65184
Current children cumulated CPU time (s) 976.64
Current children cumulated vsize (Kb) 65184

[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 49764 0 0 0 95793 2828 0 0 25 0 1 0 22446889 66748416 13397 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 16296 13397 364 364 0 15932 0
[pid=10776] vsize: 65184
Current children cumulated CPU time (s) 986.21
Current children cumulated vsize (Kb) 65184

[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 49995 0 0 0 96719 2852 0 0 25 0 1 0 22446889 67694592 13628 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16527 13628 364 364 0 16163 0
[pid=10776] vsize: 66108
Current children cumulated CPU time (s) 995.71
Current children cumulated vsize (Kb) 66108

[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 50224 0 0 0 97649 2877 0 0 25 0 1 0 22446889 66879488 13459 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 16328 13459 364 364 0 15964 0
[pid=10776] vsize: 65312
Current children cumulated CPU time (s) 1005.26
Current children cumulated vsize (Kb) 65312

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 50455 0 0 0 98575 2903 0 0 25 0 1 0 22446889 66879488 13491 4294967295 134512640 135987407 3221224560 3221223392 134812778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16328 13491 364 364 0 15964 0
[pid=10776] vsize: 65312
Current children cumulated CPU time (s) 1014.78
Current children cumulated vsize (Kb) 65312

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 50880 0 0 0 99516 2924 0 0 25 0 1 0 22446889 67010560 13518 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16360 13518 364 364 0 15996 0
[pid=10776] vsize: 65440
Current children cumulated CPU time (s) 1024.4
Current children cumulated vsize (Kb) 65440

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 51106 0 0 0 100447 2946 0 0 25 0 1 0 22446889 67010560 13545 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16360 13545 364 364 0 15996 0
[pid=10776] vsize: 65440
Current children cumulated CPU time (s) 1033.93
Current children cumulated vsize (Kb) 65440

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 51338 0 0 0 101378 2970 0 0 25 0 1 0 22446889 67010560 13578 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 16360 13578 364 364 0 15996 0
[pid=10776] vsize: 65440
Current children cumulated CPU time (s) 1043.48
Current children cumulated vsize (Kb) 65440

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 51763 0 0 0 102314 2991 0 0 25 0 1 0 22446889 67141632 13605 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10776/statm): 16392 13605 364 364 0 16028 0
[pid=10776] vsize: 65568
Current children cumulated CPU time (s) 1053.05
Current children cumulated vsize (Kb) 65568

[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 51995 0 0 0 103245 3015 0 0 25 0 1 0 22446889 67141632 13638 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16392 13638 364 364 0 16028 0
[pid=10776] vsize: 65568
Current children cumulated CPU time (s) 1062.6
Current children cumulated vsize (Kb) 65568

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 52439 0 0 0 104179 3036 0 0 25 0 1 0 22446889 67272704 13684 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 16424 13684 364 364 0 16060 0
[pid=10776] vsize: 65696
Current children cumulated CPU time (s) 1072.15
Current children cumulated vsize (Kb) 65696

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 52672 0 0 0 105105 3062 0 0 25 0 1 0 22446889 67272704 13718 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16424 13718 364 364 0 16060 0
[pid=10776] vsize: 65696
Current children cumulated CPU time (s) 1081.67
Current children cumulated vsize (Kb) 65696

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 52891 0 0 0 106035 3085 0 0 19 0 1 0 22446889 67407872 13738 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16457 13738 364 364 0 16093 0
[pid=10776] vsize: 65828
Current children cumulated CPU time (s) 1091.2
Current children cumulated vsize (Kb) 65828

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 53119 0 0 0 106964 3110 0 0 25 0 1 0 22446889 67407872 13767 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16457 13767 364 364 0 16093 0
[pid=10776] vsize: 65828
Current children cumulated CPU time (s) 1100.74
Current children cumulated vsize (Kb) 65828

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 53556 0 0 0 107896 3133 0 0 25 0 1 0 22446889 67538944 13806 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16489 13806 364 364 0 16125 0
[pid=10776] vsize: 65956
Current children cumulated CPU time (s) 1110.29
Current children cumulated vsize (Kb) 65956

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 53787 0 0 0 108819 3159 0 0 25 0 1 0 22446889 67538944 13838 4294967295 134512640 135987407 3221224560 3221223344 134812319 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 16489 13838 364 364 0 16125 0
[pid=10776] vsize: 65956
Current children cumulated CPU time (s) 1119.78
Current children cumulated vsize (Kb) 65956

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) T 10775 10776 4005 0 -1 0 54018 0 0 0 109749 3183 0 0 25 0 1 0 22446889 67538944 13870 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16489 13870 364 364 0 16125 0
[pid=10776] vsize: 65956
Current children cumulated CPU time (s) 1129.32
Current children cumulated vsize (Kb) 65956

[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 54247 0 0 0 110684 3202 0 0 25 0 1 0 22446889 67674112 13900 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16522 13900 364 364 0 16158 0
[pid=10776] vsize: 66088
Current children cumulated CPU time (s) 1138.86
Current children cumulated vsize (Kb) 66088

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 54667 0 0 0 111629 3223 0 0 25 0 1 0 22446889 67674112 13922 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 16522 13922 364 364 0 16158 0
[pid=10776] vsize: 66088
Current children cumulated CPU time (s) 1148.52
Current children cumulated vsize (Kb) 66088

[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 54905 0 0 0 112568 3246 0 0 25 0 1 0 22446889 67813376 13961 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16556 13961 364 364 0 16192 0
[pid=10776] vsize: 66224
Current children cumulated CPU time (s) 1158.14
Current children cumulated vsize (Kb) 66224

[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 55347 0 0 0 113513 3266 0 0 25 0 1 0 22446889 67813376 14005 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10776/statm): 16556 14005 364 364 0 16192 0
[pid=10776] vsize: 66224
Current children cumulated CPU time (s) 1167.79
Current children cumulated vsize (Kb) 66224

[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 55581 0 0 0 114449 3288 0 0 25 0 1 0 22446889 67948544 14040 4294967295 134512640 135987407 3221224560 3221223376 134816659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 16589 14040 364 364 0 16225 0
[pid=10776] vsize: 66356
Current children cumulated CPU time (s) 1177.37
Current children cumulated vsize (Kb) 66356

[startup+1250.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 56009 0 0 0 115382 3312 0 0 25 0 1 0 22446889 67948544 14070 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 16589 14070 364 364 0 16225 0
[pid=10776] vsize: 66356
Current children cumulated CPU time (s) 1186.94
Current children cumulated vsize (Kb) 66356

[startup+1260.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 56230 0 0 0 116319 3334 0 0 25 0 1 0 22446889 67948544 14092 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 16589 14092 364 364 0 16225 0
[pid=10776] vsize: 66356
Current children cumulated CPU time (s) 1196.53
Current children cumulated vsize (Kb) 66356

[startup+1270.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 56463 0 0 0 117256 3355 0 0 25 0 1 0 22446889 68087808 14126 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 16623 14126 364 364 0 16259 0
[pid=10776] vsize: 66492
Current children cumulated CPU time (s) 1206.11
Current children cumulated vsize (Kb) 66492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1270.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 10839
Raw data (/proc/10776/stat): 10776 (pb2sat) R 10775 10776 4005 0 -1 0 56463 0 0 0 117256 3355 0 0 25 0 1 0 22446889 68087808 14126 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10776/statm): 16623 14126 364 364 0 16259 0
[pid=10776] vsize: 66492
Current children cumulated CPU time (s) 1206.11
Current children cumulated vsize (Kb) 66492

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

Child status: 0
Real time (s): 1270.24
CPU time (s): 1206.31
CPU user time (s): 1172.72
CPU system time (s): 33.5849
CPU usage (%): 94.9668
Max. virtual memory (cumulated for all children) (Kb): 66492

Verifier Data

ERROR: no interpretation found !