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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fiber.opb
MD5SUM02cc3bacd8064c2ceecf74a8d0a8ab0f
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 161076689
Optimality of the best value was proved NO
Number of terms in the objective function 1254
Biggest coefficient in the objective function 72966962
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 4807778524
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 4807778524
Number of bits of the biggest sum of numbers33
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1242.13
Number of variables2574
Total number of constraints1617
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1290
Number of constraints which are nor clauses,nor cardinality constraints327
Minimum length of a constraint1
Maximum length of a constraint61

Trace number 10072

Launcher Data

LAUNCH ON wulflinc31 THE 2005-09-23 16:31:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8769 boxname=wulflinc31 idbench=565 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  02cc3bacd8064c2ceecf74a8d0a8ab0f  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-fiber.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-fiber.opb
IDLAUNCH: 8769
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.047
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.047
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:        922164 kB
Buffers:         18956 kB
Cached:          74544 kB
SwapCached:          0 kB
Active:          41636 kB
Inactive:        54792 kB
HighTotal:      131008 kB
HighFree:        52528 kB
LowTotal:       903652 kB
LowFree:        869636 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:            10496 kB
Committed_AS:    63628 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 16:51:41 (client local time) WITH STATUS 0 IN 1208.85 SECONDS
stats: 8769 7 1208.85 0

Solver Data

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

c Decision: 6167/302694	Time: 187.175/86400
c Decision: 6178/302694	Time: 224.215/86400
c Decision: 6232/302694	Time: 321.538/86400
c Decision: 6232/302694	Time: 333.766/86400
c Decision: 6234/302694	Time: 344.736/86400
c Decision: 6235/302694	Time: 357.651/86400
c Decision: 6239/302694	Time: 368.545/86400
c Decision: 6239/302694	Time: 380.575/86400
c Decision: 6239/302694	Time: 390.429/86400
c Decision: 6239/302694	Time: 400.594/86400
c Decision: 6242/302694	Time: 415.422/86400
c Decision: 6242/302694	Time: 421.784/86400
c Decision: 6242/302694	Time: 437.857/86400
c Decision: 6246/302694	Time: 452.303/86400
c Decision: 6246/302694	Time: 461.861/86400
c Decision: 6246/302694	Time: 473.761/86400
c Decision: 6246/302694	Time: 487.643/86400
c Decision: 6246/302694	Time: 497.468/86400
c Decision: 6249/302694	Time: 512.684/86400
c Decision: 6249/302694	Time: 524.398/86400
c Decision: 6252/302694	Time: 546.292/86400
c Decision: 6252/302694	Time: 556.692/86400
c Decision: 6259/302694	Time: 570.924/86400
c Decision: 6259/302694	Time: 578.207/86400
c Decision: 6259/302694	Time: 589.38/86400
c Decision: 6263/302694	Time: 617.793/86400
c Decision: 6263/302694	Time: 630.858/86400
c Decision: 6269/302694	Time: 648.658/86400
c Decision: 6269/302694	Time: 660.441/86400
c Decision: 6269/302694	Time: 669.172/86400
c Decision: 6269/302694	Time: 680.016/86400
c Decision: 6269/302694	Time: 694.69/86400
c Decision: 6269/302694	Time: 705.83/86400
c Decision: 6269/302694	Time: 715.141/86400
c Decision: 6269/302694	Time: 724.308/86400
c Decision: 6269/302694	Time: 739.127/86400
c Decision: 6269/302694	Time: 747.182/86400
c Decision: 6269/302694	Time: 753.764/86400
c Decision: 6269/302694	Time: 762.721/86400
c Decision: 6269/302694	Time: 774.962/86400
c Decision: 6269/302694	Time: 786.355/86400
c Decision: 6269/302694	Time: 798.526/86400
c Decision: 6269/302694	Time: 806.794/86400
c Decision: 6269/302694	Time: 815.407/86400
c Decision: 6269/302694	Time: 825.025/86400
c Decision: 6269/302694	Time: 834.182/86400
c Decision: 6269/302694	Time: 844.372/86400
c Decision: 6269/302694	Time: 854.926/86400
c Decision: 6269/302694	Time: 866.068/86400
c Decision: 6269/302694	Time: 876.139/86400
c Decision: 6269/302694	Time: 884.507/86400
c Decision: 6269/302694	Time: 894.762/86400
c Decision: 6269/302694	Time: 904.383/86400
c Decision: 6269/302694	Time: 911.466/86400
c Decision: 6269/302694	Time: 922.53/86400
c Decision: 6269/302694	Time: 934.511/86400
c Decision: 6269/302694	Time: 944.35/86400
c Decision: 6269/302694	Time: 951.435/86400
c Decision: 6269/302694	Time: 960.467/86400
c Decision: 6269/302694	Time: 967.98/86400
c Decision: 6269/302694	Time: 977.362/86400
c Decision: 6269/302694	Time: 987.071/86400
c Decision: 6273/302694	Time: 998.746/86400
c Decision: 6273/302694	Time: 1009.59/86400
c Decision: 6273/302694	Time: 1017.84/86400
c Decision: 6273/302694	Time: 1025.99/86400
c Decision: 6273/302694	Time: 1034.77/86400
c Decision: 6273/302694	Time: 1043.36/86400
c Decision: 6273/302694	Time: 1052.8/86400
c Decision: 6273/302694	Time: 1062.22/86400
c Decision: 6273/302694	Time: 1070.8/86400
c Decision: 6273/302694	Time: 1079.52/86400
c Decision: 6273/302694	Time: 1088.51/86400
c Decision: 6276/302694	Time: 1102.23/86400
c Decision: 6276/302694	Time: 1111.57/86400
c Decision: 6276/302694	Time: 1119.93/86400
c Decision: 6276/302694	Time: 1132.77/86400
c Decision: 6276/302694	Time: 1144.08/86400
c Decision: 6279/302694	Time: 1157.71/86400
c Decision: 6279/302694	Time: 1170.17/86400
c Decision: 6279/302694	Time: 1183.74/86400
c Decision: 6279/302694	Time: 1194.93/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/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21603977 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8695/statm): 373 2 364 364 0 9 0
[pid=8695] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-fiber.opb

[startup+10.0013 s]
Raw data (loadavg): 0.92 0.95 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 28245 0 0 0 928 69 0 0 25 0 1 0 21603977 79835136 17080 4294967295 134512640 135987407 3221224560 3221215360 134560015 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8695/statm): 19491 17080 364 364 0 19127 0
[pid=8695] vsize: 77964
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 77964

[startup+20.0022 s]
Raw data (loadavg): 0.93 0.95 0.94 1/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 48398 0 0 0 1850 127 0 0 25 0 1 0 21603977 145539072 25569 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 35532 25569 364 364 0 35168 0
[pid=8695] vsize: 142128
Current children cumulated CPU time (s) 19.77
Current children cumulated vsize (Kb) 142128

[startup+30.0021 s]
Raw data (loadavg): 0.94 0.95 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 49310 0 0 0 2802 144 0 0 25 0 1 0 21603977 149528576 26481 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 36506 26481 364 364 0 36142 0
[pid=8695] vsize: 146024
Current children cumulated CPU time (s) 29.46
Current children cumulated vsize (Kb) 146024

[startup+40.003 s]
Raw data (loadavg): 0.95 0.95 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 49767 0 0 0 3764 158 0 0 25 0 1 0 21603977 151740416 26938 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 37046 26938 364 364 0 36682 0
[pid=8695] vsize: 148184
Current children cumulated CPU time (s) 39.22
Current children cumulated vsize (Kb) 148184

[startup+50.004 s]
Raw data (loadavg): 0.96 0.95 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 50086 0 0 0 4735 169 0 0 25 0 1 0 21603977 153198592 27257 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 37402 27257 364 364 0 37038 0
[pid=8695] vsize: 149608
Current children cumulated CPU time (s) 49.04
Current children cumulated vsize (Kb) 149608

[startup+60.0039 s]
Raw data (loadavg): 0.96 0.95 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 50259 0 0 0 5710 179 0 0 25 0 1 0 21603977 154181632 27430 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 37642 27430 364 364 0 37278 0
[pid=8695] vsize: 150568
Current children cumulated CPU time (s) 58.89
Current children cumulated vsize (Kb) 150568

[startup+70.0048 s]
Raw data (loadavg): 0.97 0.95 0.94 1/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 50394 0 0 0 6686 188 0 0 25 0 1 0 21603977 154836992 27565 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 37802 27565 364 364 0 37438 0
[pid=8695] vsize: 151208
Current children cumulated CPU time (s) 68.74
Current children cumulated vsize (Kb) 151208

[startup+80.0048 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 50489 0 0 0 7660 197 0 0 25 0 1 0 21603977 155197440 27660 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 37890 27660 364 364 0 37526 0
[pid=8695] vsize: 151560
Current children cumulated CPU time (s) 78.57
Current children cumulated vsize (Kb) 151560

[startup+90.0057 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 50526 0 0 0 8631 206 0 0 25 0 1 0 21603977 155361280 27697 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 37930 27697 364 364 0 37566 0
[pid=8695] vsize: 151720
Current children cumulated CPU time (s) 88.37
Current children cumulated vsize (Kb) 151720

[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 50585 0 0 0 9609 213 0 0 25 0 1 0 21603977 155525120 27756 4294967295 134512640 135987407 3221224560 3221223248 134811990 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 37970 27756 364 364 0 37606 0
[pid=8695] vsize: 151880
Current children cumulated CPU time (s) 98.22
Current children cumulated vsize (Kb) 151880

[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.94 1/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 50663 0 0 0 10586 220 0 0 25 0 1 0 21603977 155852800 27834 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38050 27834 364 364 0 37686 0
[pid=8695] vsize: 152200
Current children cumulated CPU time (s) 108.06
Current children cumulated vsize (Kb) 152200

[startup+120.007 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 50764 0 0 0 11562 228 0 0 25 0 1 0 21603977 156377088 27935 4294967295 134512640 135987407 3221224560 3221223248 134812033 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38178 27935 364 364 0 37814 0
[pid=8695] vsize: 152712
Current children cumulated CPU time (s) 117.9
Current children cumulated vsize (Kb) 152712

[startup+130.006 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 50856 0 0 0 12533 237 0 0 25 0 1 0 21603977 156737536 28027 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38266 28027 364 364 0 37902 0
[pid=8695] vsize: 153064
Current children cumulated CPU time (s) 127.7
Current children cumulated vsize (Kb) 153064

[startup+140.007 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 50874 0 0 0 13507 245 0 0 25 0 1 0 21603977 156737536 28045 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38266 28045 364 364 0 37902 0
[pid=8695] vsize: 153064
Current children cumulated CPU time (s) 137.52
Current children cumulated vsize (Kb) 153064

[startup+150.008 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 50919 0 0 0 14478 255 0 0 25 0 1 0 21603977 157065216 28090 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38346 28090 364 364 0 37982 0
[pid=8695] vsize: 153384
Current children cumulated CPU time (s) 147.33
Current children cumulated vsize (Kb) 153384

[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.94 1/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 50932 0 0 0 15450 265 0 0 25 0 1 0 21603977 157065216 28103 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38346 28103 364 364 0 37982 0
[pid=8695] vsize: 153384
Current children cumulated CPU time (s) 157.15
Current children cumulated vsize (Kb) 153384

[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 50944 0 0 0 16417 276 0 0 25 0 1 0 21603977 157065216 28115 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38346 28115 364 364 0 37982 0
[pid=8695] vsize: 153384
Current children cumulated CPU time (s) 166.93
Current children cumulated vsize (Kb) 153384

[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 50952 0 0 0 17386 288 0 0 25 0 1 0 21603977 157065216 28123 4294967295 134512640 135987407 3221224560 3221223344 134812400 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38346 28123 364 364 0 37982 0
[pid=8695] vsize: 153384
Current children cumulated CPU time (s) 176.74
Current children cumulated vsize (Kb) 153384

[startup+190.011 s]
Raw data (loadavg): 1.07 0.98 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 50970 0 0 0 18363 297 0 0 25 0 1 0 21603977 157065216 28141 4294967295 134512640 135987407 3221224560 3221223020 135481128 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38346 28141 364 364 0 37982 0
[pid=8695] vsize: 153384
Current children cumulated CPU time (s) 186.6
Current children cumulated vsize (Kb) 153384

[startup+200.012 s]
Raw data (loadavg): 1.06 0.98 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 50977 0 0 0 19329 308 0 0 25 0 1 0 21603977 157065216 28148 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38346 28148 364 364 0 37982 0
[pid=8695] vsize: 153384
Current children cumulated CPU time (s) 196.37
Current children cumulated vsize (Kb) 153384

[startup+210.012 s]
Raw data (loadavg): 1.05 0.98 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 51590 0 0 0 20304 318 0 0 25 0 1 0 21603977 157065216 28169 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38346 28169 364 364 0 37982 0
[pid=8695] vsize: 153384
Current children cumulated CPU time (s) 206.22
Current children cumulated vsize (Kb) 153384

[startup+220.013 s]
Raw data (loadavg): 1.04 0.98 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 51616 0 0 0 21273 329 0 0 25 0 1 0 21603977 157229056 28195 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38386 28195 364 364 0 38022 0
[pid=8695] vsize: 153544
Current children cumulated CPU time (s) 216.02
Current children cumulated vsize (Kb) 153544

[startup+230.013 s]
Raw data (loadavg): 1.03 0.98 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 51641 0 0 0 22236 341 0 0 25 0 1 0 21603977 157229056 28220 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38386 28220 364 364 0 38022 0
[pid=8695] vsize: 153544
Current children cumulated CPU time (s) 225.77
Current children cumulated vsize (Kb) 153544

[startup+240.014 s]
Raw data (loadavg): 1.03 0.98 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 51650 0 0 0 23207 351 0 0 25 0 1 0 21603977 157229056 28229 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38386 28229 364 364 0 38022 0
[pid=8695] vsize: 153544
Current children cumulated CPU time (s) 235.58
Current children cumulated vsize (Kb) 153544

[startup+250.015 s]
Raw data (loadavg): 1.02 0.98 0.94 1/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 52284 0 0 0 24185 359 0 0 25 0 1 0 21603977 157425664 28271 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38434 28271 364 364 0 38070 0
[pid=8695] vsize: 153736
Current children cumulated CPU time (s) 245.44
Current children cumulated vsize (Kb) 153736

[startup+260.015 s]
Raw data (loadavg): 1.02 0.98 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 52306 0 0 0 25157 368 0 0 25 0 1 0 21603977 157622272 28293 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38482 28293 364 364 0 38118 0
[pid=8695] vsize: 153928
Current children cumulated CPU time (s) 255.25
Current children cumulated vsize (Kb) 153928

[startup+270.014 s]
Raw data (loadavg): 1.02 0.98 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 52336 0 0 0 26132 376 0 0 25 0 1 0 21603977 157622272 28323 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38482 28323 364 364 0 38118 0
[pid=8695] vsize: 153928
Current children cumulated CPU time (s) 265.08
Current children cumulated vsize (Kb) 153928

[startup+280.015 s]
Raw data (loadavg): 1.01 0.98 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 52412 0 0 0 27104 386 0 0 25 0 1 0 21603977 158015488 28399 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38578 28399 364 364 0 38214 0
[pid=8695] vsize: 154312
Current children cumulated CPU time (s) 274.9
Current children cumulated vsize (Kb) 154312

[startup+290.016 s]
Raw data (loadavg): 1.01 0.98 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 52423 0 0 0 28074 396 0 0 25 0 1 0 21603977 158015488 28410 4294967295 134512640 135987407 3221224560 3221223424 134812787 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38578 28410 364 364 0 38214 0
[pid=8695] vsize: 154312
Current children cumulated CPU time (s) 284.7
Current children cumulated vsize (Kb) 154312

[startup+300.016 s]
Raw data (loadavg): 1.01 0.98 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 52456 0 0 0 29043 407 0 0 25 0 1 0 21603977 158212096 28443 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38626 28443 364 364 0 38262 0
[pid=8695] vsize: 154504
Current children cumulated CPU time (s) 294.5
Current children cumulated vsize (Kb) 154504

[startup+310.016 s]
Raw data (loadavg): 1.01 0.98 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 52484 0 0 0 30015 416 0 0 25 0 1 0 21603977 158408704 28471 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38674 28471 364 364 0 38310 0
[pid=8695] vsize: 154696
Current children cumulated CPU time (s) 304.31
Current children cumulated vsize (Kb) 154696

[startup+320.017 s]
Raw data (loadavg): 1.00 0.98 0.94 1/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 52489 0 0 0 30985 428 0 0 25 0 1 0 21603977 158408704 28476 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38674 28476 364 364 0 38310 0
[pid=8695] vsize: 154696
Current children cumulated CPU time (s) 314.13
Current children cumulated vsize (Kb) 154696

[startup+330.017 s]
Raw data (loadavg): 1.00 0.98 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 52517 0 0 0 31958 439 0 0 25 0 1 0 21603977 158408704 28504 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38674 28504 364 364 0 38310 0
[pid=8695] vsize: 154696
Current children cumulated CPU time (s) 323.97
Current children cumulated vsize (Kb) 154696

[startup+340.018 s]
Raw data (loadavg): 1.00 0.98 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 52536 0 0 0 32934 448 0 0 25 0 1 0 21603977 158408704 28523 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38674 28523 364 364 0 38310 0
[pid=8695] vsize: 154696
Current children cumulated CPU time (s) 333.82
Current children cumulated vsize (Kb) 154696

[startup+350.019 s]
Raw data (loadavg): 1.00 0.98 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 53147 0 0 0 33911 456 0 0 25 0 1 0 21603977 158408704 28542 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38674 28542 364 364 0 38310 0
[pid=8695] vsize: 154696
Current children cumulated CPU time (s) 343.67
Current children cumulated vsize (Kb) 154696

[startup+360.019 s]
Raw data (loadavg): 1.00 0.98 0.94 1/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 53751 0 0 0 34881 468 0 0 25 0 1 0 21603977 158408704 28554 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38674 28554 364 364 0 38310 0
[pid=8695] vsize: 154696
Current children cumulated CPU time (s) 353.49
Current children cumulated vsize (Kb) 154696

[startup+370.019 s]
Raw data (loadavg): 1.00 0.98 0.94 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 54402 0 0 0 35854 478 0 0 25 0 1 0 21603977 158801920 28613 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38770 28613 364 364 0 38406 0
[pid=8695] vsize: 155080
Current children cumulated CPU time (s) 363.32
Current children cumulated vsize (Kb) 155080

[startup+380.02 s]
Raw data (loadavg): 1.07 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 55013 0 0 0 36828 487 0 0 25 0 1 0 21603977 158801920 28632 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38770 28632 364 364 0 38406 0
[pid=8695] vsize: 155080
Current children cumulated CPU time (s) 373.15
Current children cumulated vsize (Kb) 155080

[startup+390.021 s]
Raw data (loadavg): 1.06 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 55615 0 0 0 37802 497 0 0 25 0 1 0 21603977 158801920 28642 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38770 28642 364 364 0 38406 0
[pid=8695] vsize: 155080
Current children cumulated CPU time (s) 382.99
Current children cumulated vsize (Kb) 155080

[startup+400.022 s]
Raw data (loadavg): 1.05 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 55625 0 0 0 38769 509 0 0 25 0 1 0 21603977 158801920 28652 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38770 28652 364 364 0 38406 0
[pid=8695] vsize: 155080
Current children cumulated CPU time (s) 392.78
Current children cumulated vsize (Kb) 155080

[startup+410.022 s]
Raw data (loadavg): 1.04 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 56229 0 0 0 39741 518 0 0 25 0 1 0 21603977 158801920 28664 4294967295 134512640 135987407 3221224560 3221223280 134813720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38770 28664 364 364 0 38406 0
[pid=8695] vsize: 155080
Current children cumulated CPU time (s) 402.59
Current children cumulated vsize (Kb) 155080

[startup+420.021 s]
Raw data (loadavg): 1.04 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 56831 0 0 0 40711 529 0 0 25 0 1 0 21603977 158801920 28674 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38770 28674 364 364 0 38406 0
[pid=8695] vsize: 155080
Current children cumulated CPU time (s) 412.4
Current children cumulated vsize (Kb) 155080

[startup+430.021 s]
Raw data (loadavg): 1.03 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 57437 0 0 0 41684 538 0 0 25 0 1 0 21603977 158801920 28688 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38770 28688 364 364 0 38406 0
[pid=8695] vsize: 155080
Current children cumulated CPU time (s) 422.22
Current children cumulated vsize (Kb) 155080

[startup+440.023 s]
Raw data (loadavg): 1.02 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 58042 0 0 0 42662 547 0 0 25 0 1 0 21603977 158801920 28701 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8695/statm): 38770 28701 364 364 0 38406 0
[pid=8695] vsize: 155080
Current children cumulated CPU time (s) 432.09
Current children cumulated vsize (Kb) 155080

[startup+450.024 s]
Raw data (loadavg): 1.02 1.00 0.95 1/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 58648 0 0 0 43640 557 0 0 25 0 1 0 21603977 158801920 28715 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38770 28715 364 364 0 38406 0
[pid=8695] vsize: 155080
Current children cumulated CPU time (s) 441.97
Current children cumulated vsize (Kb) 155080

[startup+460.024 s]
Raw data (loadavg): 1.02 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 59251 0 0 0 44615 565 0 0 25 0 1 0 21603977 158801920 28726 4294967295 134512640 135987407 3221224560 3221223376 134816639 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38770 28726 364 364 0 38406 0
[pid=8695] vsize: 155080
Current children cumulated CPU time (s) 451.8
Current children cumulated vsize (Kb) 155080

[startup+470.025 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 59266 0 0 0 45583 575 0 0 25 0 1 0 21603977 158801920 28741 4294967295 134512640 135987407 3221224560 3221223020 135481723 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8695/statm): 38770 28741 364 364 0 38406 0
[pid=8695] vsize: 155080
Current children cumulated CPU time (s) 461.58
Current children cumulated vsize (Kb) 155080

[startup+480.026 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 59897 0 0 0 46556 585 0 0 25 0 1 0 21603977 158998528 28780 4294967295 134512640 135987407 3221224560 3221223392 134787343 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 38818 28780 364 364 0 38454 0
[pid=8695] vsize: 155272
Current children cumulated CPU time (s) 471.41
Current children cumulated vsize (Kb) 155272

[startup+490.027 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 60502 0 0 0 47530 595 0 0 25 0 1 0 21603977 175775744 28793 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 42914 28793 364 364 0 42550 0
[pid=8695] vsize: 171656
Current children cumulated CPU time (s) 481.25
Current children cumulated vsize (Kb) 171656

[startup+500.028 s]
Raw data (loadavg): 1.01 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 61100 0 0 0 48505 605 0 0 25 0 1 0 21603977 175775744 28799 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 42914 28799 364 364 0 42550 0
[pid=8695] vsize: 171656
Current children cumulated CPU time (s) 491.1
Current children cumulated vsize (Kb) 171656

[startup+510.028 s]
Raw data (loadavg): 1.01 1.00 0.95 1/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 61720 0 0 0 49483 613 0 0 25 0 1 0 21603977 175972352 28827 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 42962 28827 364 364 0 42598 0
[pid=8695] vsize: 171848
Current children cumulated CPU time (s) 500.96
Current children cumulated vsize (Kb) 171848

[startup+520.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 62325 0 0 0 50455 623 0 0 25 0 1 0 21603977 175972352 28840 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 42962 28840 364 364 0 42598 0
[pid=8695] vsize: 171848
Current children cumulated CPU time (s) 510.78
Current children cumulated vsize (Kb) 171848

[startup+530.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 62353 0 0 0 51423 633 0 0 25 0 1 0 21603977 176168960 28868 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43010 28868 364 364 0 42646 0
[pid=8695] vsize: 172040
Current children cumulated CPU time (s) 520.56
Current children cumulated vsize (Kb) 172040

[startup+540.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 62956 0 0 0 52390 645 0 0 25 0 1 0 21603977 176168960 28879 4294967295 134512640 135987407 3221224560 3221223316 134811684 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43010 28879 364 364 0 42646 0
[pid=8695] vsize: 172040
Current children cumulated CPU time (s) 530.35
Current children cumulated vsize (Kb) 172040

[startup+550.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 63558 0 0 0 53367 652 0 0 25 0 1 0 21603977 176168960 28889 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43010 28889 364 364 0 42646 0
[pid=8695] vsize: 172040
Current children cumulated CPU time (s) 540.19
Current children cumulated vsize (Kb) 172040

[startup+560.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 63568 0 0 0 54338 662 0 0 25 0 1 0 21603977 176168960 28899 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43010 28899 364 364 0 42646 0
[pid=8695] vsize: 172040
Current children cumulated CPU time (s) 550
Current children cumulated vsize (Kb) 172040

[startup+570.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 64178 0 0 0 55309 673 0 0 25 0 1 0 21603977 176168960 28917 4294967295 134512640 135987407 3221224560 3221223424 134812632 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43010 28917 364 364 0 42646 0
[pid=8695] vsize: 172040
Current children cumulated CPU time (s) 559.82
Current children cumulated vsize (Kb) 172040

[startup+580.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 64787 0 0 0 56277 685 0 0 25 0 1 0 21603977 178593792 29526 4294967295 134512640 135987407 3221224560 3221222908 134827484 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43602 29526 364 364 0 43238 0
[pid=8695] vsize: 174408
Current children cumulated CPU time (s) 569.62
Current children cumulated vsize (Kb) 174408

[startup+590.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 64798 0 0 0 57249 694 0 0 25 0 1 0 21603977 176168960 28945 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43010 28945 364 364 0 42646 0
[pid=8695] vsize: 172040
Current children cumulated CPU time (s) 579.43
Current children cumulated vsize (Kb) 172040

[startup+600.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 65405 0 0 0 58220 704 0 0 25 0 1 0 21603977 176168960 28960 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43010 28960 364 364 0 42646 0
[pid=8695] vsize: 172040
Current children cumulated CPU time (s) 589.24
Current children cumulated vsize (Kb) 172040

[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 66010 0 0 0 59189 716 0 0 25 0 1 0 21603977 176168960 28973 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43010 28973 364 364 0 42646 0
[pid=8695] vsize: 172040
Current children cumulated CPU time (s) 599.05
Current children cumulated vsize (Kb) 172040

[startup+620.033 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 66607 0 0 0 60162 726 0 0 25 0 1 0 21603977 176168960 28978 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43010 28978 364 364 0 42646 0
[pid=8695] vsize: 172040
Current children cumulated CPU time (s) 608.88
Current children cumulated vsize (Kb) 172040

[startup+630.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 66616 0 0 0 61134 735 0 0 25 0 1 0 21603977 176168960 28987 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43010 28987 364 364 0 42646 0
[pid=8695] vsize: 172040
Current children cumulated CPU time (s) 618.69
Current children cumulated vsize (Kb) 172040

[startup+640.034 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 66652 0 0 0 62101 746 0 0 25 0 1 0 21603977 176332800 29023 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43050 29023 364 364 0 42686 0
[pid=8695] vsize: 172200
Current children cumulated CPU time (s) 628.47
Current children cumulated vsize (Kb) 172200

[startup+650.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 67248 0 0 0 63072 757 0 0 25 0 1 0 21603977 176332800 29027 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8695/statm): 43050 29027 364 364 0 42686 0
[pid=8695] vsize: 172200
Current children cumulated CPU time (s) 638.29
Current children cumulated vsize (Kb) 172200

[startup+660.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 67844 0 0 0 64040 770 0 0 25 0 1 0 21603977 176332800 29031 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43050 29031 364 364 0 42686 0
[pid=8695] vsize: 172200
Current children cumulated CPU time (s) 648.1
Current children cumulated vsize (Kb) 172200

[startup+670.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 67863 0 0 0 65005 783 0 0 25 0 1 0 21603977 176332800 29050 4294967295 134512640 135987407 3221224560 3221223344 134812349 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43050 29050 364 364 0 42686 0
[pid=8695] vsize: 172200
Current children cumulated CPU time (s) 657.88
Current children cumulated vsize (Kb) 172200

[startup+680.037 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 68462 0 0 0 65970 796 0 0 25 0 1 0 21603977 176332800 29057 4294967295 134512640 135987407 3221224560 3221223424 134812644 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43050 29057 364 364 0 42686 0
[pid=8695] vsize: 172200
Current children cumulated CPU time (s) 667.66
Current children cumulated vsize (Kb) 172200

[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 69065 0 0 0 66940 807 0 0 25 0 1 0 21603977 176332800 29068 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43050 29068 364 364 0 42686 0
[pid=8695] vsize: 172200
Current children cumulated CPU time (s) 677.47
Current children cumulated vsize (Kb) 172200

[startup+700.039 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 69667 0 0 0 67904 821 0 0 25 0 1 0 21603977 176332800 29078 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43050 29078 364 364 0 42686 0
[pid=8695] vsize: 172200
Current children cumulated CPU time (s) 687.25
Current children cumulated vsize (Kb) 172200

[startup+710.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 70265 0 0 0 68871 834 0 0 25 0 1 0 21603977 176332800 29084 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43050 29084 364 364 0 42686 0
[pid=8695] vsize: 172200
Current children cumulated CPU time (s) 697.05
Current children cumulated vsize (Kb) 172200

[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 70366 0 0 0 69834 848 0 0 25 0 1 0 21603977 176906240 29185 4294967295 134512640 135987407 3221224560 3221223280 134813720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43190 29185 364 364 0 42826 0
[pid=8695] vsize: 172760
Current children cumulated CPU time (s) 706.82
Current children cumulated vsize (Kb) 172760

[startup+730.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 70968 0 0 0 70801 860 0 0 25 0 1 0 21603977 176906240 29195 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43190 29195 364 364 0 42826 0
[pid=8695] vsize: 172760
Current children cumulated CPU time (s) 716.61
Current children cumulated vsize (Kb) 172760

[startup+740.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 71583 0 0 0 71775 869 0 0 25 0 1 0 21603977 176906240 29218 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43190 29218 364 364 0 42826 0
[pid=8695] vsize: 172760
Current children cumulated CPU time (s) 726.44
Current children cumulated vsize (Kb) 172760

[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 72190 0 0 0 72741 881 0 0 25 0 1 0 21603977 176906240 29233 4294967295 134512640 135987407 3221224560 3221223408 134790007 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43190 29233 364 364 0 42826 0
[pid=8695] vsize: 172760
Current children cumulated CPU time (s) 736.22
Current children cumulated vsize (Kb) 172760

[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 72812 0 0 0 73711 893 0 0 25 0 1 0 21603977 177102848 29263 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43238 29263 364 364 0 42874 0
[pid=8695] vsize: 172952
Current children cumulated CPU time (s) 746.04
Current children cumulated vsize (Kb) 172952

[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 73424 0 0 0 74682 903 0 0 25 0 1 0 21603977 177102848 29283 4294967295 134512640 135987407 3221224560 3221223424 134812658 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43238 29283 364 364 0 42874 0
[pid=8695] vsize: 172952
Current children cumulated CPU time (s) 755.85
Current children cumulated vsize (Kb) 172952

[startup+780.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 74059 0 0 0 75668 909 0 0 25 0 1 0 21603977 177102848 29326 4294967295 134512640 135987407 3221224560 3221223408 134790091 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43238 29326 364 364 0 42874 0
[pid=8695] vsize: 172952
Current children cumulated CPU time (s) 765.77
Current children cumulated vsize (Kb) 172952

[startup+790.042 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 75255 0 0 0 76648 917 0 0 25 0 1 0 21603977 179527680 29930 4294967295 134512640 135987407 3221224560 3221223032 134827835 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43830 29930 364 364 0 43466 0
[pid=8695] vsize: 175320
Current children cumulated CPU time (s) 775.65
Current children cumulated vsize (Kb) 175320

[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 75265 0 0 0 77620 927 0 0 25 0 1 0 21603977 177102848 29348 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43238 29348 364 364 0 42874 0
[pid=8695] vsize: 172952
Current children cumulated CPU time (s) 785.47
Current children cumulated vsize (Kb) 172952

[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 75875 0 0 0 78593 937 0 0 25 0 1 0 21603977 177233920 29366 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43270 29366 364 364 0 42906 0
[pid=8695] vsize: 173080
Current children cumulated CPU time (s) 795.3
Current children cumulated vsize (Kb) 173080

[startup+820.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 76479 0 0 0 79569 947 0 0 25 0 1 0 21603977 177233920 29378 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43270 29378 364 364 0 42906 0
[pid=8695] vsize: 173080
Current children cumulated CPU time (s) 805.16
Current children cumulated vsize (Kb) 173080

[startup+830.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 77118 0 0 0 80546 956 0 0 25 0 1 0 21603977 177430528 29425 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43318 29425 364 364 0 42954 0
[pid=8695] vsize: 173272
Current children cumulated CPU time (s) 815.02
Current children cumulated vsize (Kb) 173272

[startup+840.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 77743 0 0 0 81517 967 0 0 25 0 1 0 21603977 177627136 29458 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43366 29458 364 364 0 43002 0
[pid=8695] vsize: 173464
Current children cumulated CPU time (s) 824.84
Current children cumulated vsize (Kb) 173464

[startup+850.045 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 78359 0 0 0 82493 977 0 0 25 0 1 0 21603977 177627136 29482 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43366 29482 364 364 0 43002 0
[pid=8695] vsize: 173464
Current children cumulated CPU time (s) 834.7
Current children cumulated vsize (Kb) 173464

[startup+860.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 78998 0 0 0 83460 989 0 0 25 0 1 0 21603977 177823744 29529 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43414 29529 364 364 0 43050 0
[pid=8695] vsize: 173656
Current children cumulated CPU time (s) 844.49
Current children cumulated vsize (Kb) 173656

[startup+870.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 79595 0 0 0 84429 1000 0 0 25 0 1 0 21603977 177823744 29534 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43414 29534 364 364 0 43050 0
[pid=8695] vsize: 173656
Current children cumulated CPU time (s) 854.29
Current children cumulated vsize (Kb) 173656

[startup+880.045 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 80209 0 0 0 85397 1012 0 0 25 0 1 0 21603977 178020352 29556 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43462 29556 364 364 0 43098 0
[pid=8695] vsize: 173848
Current children cumulated CPU time (s) 864.09
Current children cumulated vsize (Kb) 173848

[startup+890.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 80822 0 0 0 86370 1023 0 0 25 0 1 0 21603977 178020352 29577 4294967295 134512640 135987407 3221224560 3221223248 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43462 29577 364 364 0 43098 0
[pid=8695] vsize: 173848
Current children cumulated CPU time (s) 873.93
Current children cumulated vsize (Kb) 173848

[startup+900.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 81437 0 0 0 87342 1032 0 0 25 0 1 0 21603977 178020352 29600 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8695/statm): 43462 29600 364 364 0 43098 0
[pid=8695] vsize: 173848
Current children cumulated CPU time (s) 883.74
Current children cumulated vsize (Kb) 173848

[startup+910.046 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 82044 0 0 0 88312 1043 0 0 25 0 1 0 21603977 178020352 29615 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43462 29615 364 364 0 43098 0
[pid=8695] vsize: 173848
Current children cumulated CPU time (s) 893.55
Current children cumulated vsize (Kb) 173848

[startup+920.047 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 82663 0 0 0 89288 1053 0 0 25 0 1 0 21603977 178216960 29642 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43510 29642 364 364 0 43146 0
[pid=8695] vsize: 174040
Current children cumulated CPU time (s) 903.41
Current children cumulated vsize (Kb) 174040

[startup+930.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 83298 0 0 0 90259 1064 0 0 25 0 1 0 21603977 178413568 29685 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43558 29685 364 364 0 43194 0
[pid=8695] vsize: 174232
Current children cumulated CPU time (s) 913.23
Current children cumulated vsize (Kb) 174232

[startup+940.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 83911 0 0 0 91236 1073 0 0 25 0 1 0 21603977 178413568 29706 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434789 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43558 29706 364 364 0 43194 0
[pid=8695] vsize: 174232
Current children cumulated CPU time (s) 923.09
Current children cumulated vsize (Kb) 174232

[startup+950.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 84511 0 0 0 92200 1086 0 0 25 0 1 0 21603977 178413568 29714 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43558 29714 364 364 0 43194 0
[pid=8695] vsize: 174232
Current children cumulated CPU time (s) 932.86
Current children cumulated vsize (Kb) 174232

[startup+960.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 85110 0 0 0 93171 1097 0 0 25 0 1 0 21603977 178413568 29721 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43558 29721 364 364 0 43194 0
[pid=8695] vsize: 174232
Current children cumulated CPU time (s) 942.68
Current children cumulated vsize (Kb) 174232

[startup+970.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 85721 0 0 0 94151 1104 0 0 25 0 1 0 21603977 178413568 29740 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43558 29740 364 364 0 43194 0
[pid=8695] vsize: 174232
Current children cumulated CPU time (s) 952.55
Current children cumulated vsize (Kb) 174232

[startup+980.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 85747 0 0 0 95126 1113 0 0 25 0 1 0 21603977 178548736 29766 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43591 29766 364 364 0 43227 0
[pid=8695] vsize: 174364
Current children cumulated CPU time (s) 962.39
Current children cumulated vsize (Kb) 174364

[startup+990.05 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 86362 0 0 0 96095 1124 0 0 25 0 1 0 21603977 178548736 29789 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43591 29789 364 364 0 43227 0
[pid=8695] vsize: 174364
Current children cumulated CPU time (s) 972.19
Current children cumulated vsize (Kb) 174364

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 87568 0 0 0 97070 1134 0 0 25 0 1 0 21603977 178548736 29811 4294967295 134512640 135987407 3221224560 3221223424 134812626 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43591 29811 364 364 0 43227 0
[pid=8695] vsize: 174364
Current children cumulated CPU time (s) 982.04
Current children cumulated vsize (Kb) 174364

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 88182 0 0 0 98043 1144 0 0 25 0 1 0 21603977 178683904 29833 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8695/statm): 43624 29833 364 364 0 43260 0
[pid=8695] vsize: 174496
Current children cumulated CPU time (s) 991.87
Current children cumulated vsize (Kb) 174496

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 88800 0 0 0 99022 1153 0 0 25 0 1 0 21603977 178683904 29859 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43624 29859 364 364 0 43260 0
[pid=8695] vsize: 174496
Current children cumulated CPU time (s) 1001.75
Current children cumulated vsize (Kb) 174496

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 89426 0 0 0 99993 1163 0 0 25 0 1 0 21603977 181260288 30485 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 44253 30485 364 364 0 43889 0
[pid=8695] vsize: 177012
Current children cumulated CPU time (s) 1011.56
Current children cumulated vsize (Kb) 177012

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 89450 0 0 0 100962 1175 0 0 25 0 1 0 21603977 178835456 29917 4294967295 134512640 135987407 3221224560 3221223344 134812341 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43661 29917 364 364 0 43297 0
[pid=8695] vsize: 174644
Current children cumulated CPU time (s) 1021.37
Current children cumulated vsize (Kb) 174644

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 90646 0 0 0 101936 1185 0 0 25 0 1 0 21603977 178835456 29929 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43661 29929 364 364 0 43297 0
[pid=8695] vsize: 174644
Current children cumulated CPU time (s) 1031.21
Current children cumulated vsize (Kb) 174644

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 91269 0 0 0 102918 1192 0 0 25 0 1 0 21603977 178835456 29960 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43661 29960 364 364 0 43297 0
[pid=8695] vsize: 174644
Current children cumulated CPU time (s) 1041.1
Current children cumulated vsize (Kb) 174644

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 91897 0 0 0 103888 1203 0 0 25 0 1 0 21603977 179109888 29996 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43728 29996 364 364 0 43364 0
[pid=8695] vsize: 174912
Current children cumulated CPU time (s) 1050.91
Current children cumulated vsize (Kb) 174912

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 92506 0 0 0 104867 1211 0 0 25 0 1 0 21603977 179109888 30013 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43728 30013 364 364 0 43364 0
[pid=8695] vsize: 174912
Current children cumulated CPU time (s) 1060.78
Current children cumulated vsize (Kb) 174912

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 93119 0 0 0 105844 1220 0 0 25 0 1 0 21603977 179109888 30034 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43728 30034 364 364 0 43364 0
[pid=8695] vsize: 174912
Current children cumulated CPU time (s) 1070.64
Current children cumulated vsize (Kb) 174912

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 93745 0 0 0 106818 1230 0 0 25 0 1 0 21603977 179253248 30068 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43763 30068 364 364 0 43399 0
[pid=8695] vsize: 175052
Current children cumulated CPU time (s) 1080.48
Current children cumulated vsize (Kb) 175052

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 93757 0 0 0 107795 1238 0 0 25 0 1 0 21603977 179253248 30080 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8695/statm): 43763 30080 364 364 0 43399 0
[pid=8695] vsize: 175052
Current children cumulated CPU time (s) 1090.33
Current children cumulated vsize (Kb) 175052

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 94373 0 0 0 108773 1246 0 0 25 0 1 0 21603977 179253248 30104 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43763 30104 364 364 0 43399 0
[pid=8695] vsize: 175052
Current children cumulated CPU time (s) 1100.19
Current children cumulated vsize (Kb) 175052

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 94981 0 0 0 109746 1257 0 0 25 0 1 0 21603977 179253248 30120 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43763 30120 364 364 0 43399 0
[pid=8695] vsize: 175052
Current children cumulated CPU time (s) 1110.03
Current children cumulated vsize (Kb) 175052

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 95590 0 0 0 110719 1267 0 0 25 0 1 0 21603977 179253248 30137 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43763 30137 364 364 0 43399 0
[pid=8695] vsize: 175052
Current children cumulated CPU time (s) 1119.86
Current children cumulated vsize (Kb) 175052

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 96203 0 0 0 111691 1278 0 0 25 0 1 0 21603977 179253248 30158 4294967295 134512640 135987407 3221224560 3221223248 134811927 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43763 30158 364 364 0 43399 0
[pid=8695] vsize: 175052
Current children cumulated CPU time (s) 1129.69
Current children cumulated vsize (Kb) 175052

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 96826 0 0 0 112671 1284 0 0 25 0 1 0 21603977 179384320 30189 4294967295 134512640 135987407 3221224560 3221223376 134816510 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43795 30189 364 364 0 43431 0
[pid=8695] vsize: 175180
Current children cumulated CPU time (s) 1139.55
Current children cumulated vsize (Kb) 175180

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 97438 0 0 0 113652 1292 0 0 25 0 1 0 21603977 179544064 30209 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43834 30209 364 364 0 43470 0
[pid=8695] vsize: 175336
Current children cumulated CPU time (s) 1149.44
Current children cumulated vsize (Kb) 175336

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 98043 0 0 0 114624 1301 0 0 25 0 1 0 21603977 179544064 30222 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43834 30222 364 364 0 43470 0
[pid=8695] vsize: 175336
Current children cumulated CPU time (s) 1159.25
Current children cumulated vsize (Kb) 175336

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 98064 0 0 0 115588 1313 0 0 25 0 1 0 21603977 179544064 30243 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43834 30243 364 364 0 43470 0
[pid=8695] vsize: 175336
Current children cumulated CPU time (s) 1169.01
Current children cumulated vsize (Kb) 175336

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 98669 0 0 0 116560 1324 0 0 25 0 1 0 21603977 179544064 30256 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43834 30256 364 364 0 43470 0
[pid=8695] vsize: 175336
Current children cumulated CPU time (s) 1178.84
Current children cumulated vsize (Kb) 175336

[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 99281 0 0 0 117532 1335 0 0 25 0 1 0 21603977 179544064 30276 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8695/statm): 43834 30276 364 364 0 43470 0
[pid=8695] vsize: 175336
Current children cumulated CPU time (s) 1188.67
Current children cumulated vsize (Kb) 175336

[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 99887 0 0 0 118509 1343 0 0 25 0 1 0 21603977 179679232 30290 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43867 30290 364 364 0 43503 0
[pid=8695] vsize: 175468
Current children cumulated CPU time (s) 1198.52
Current children cumulated vsize (Kb) 175468

[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) R 8694 8695 4005 0 -1 0 100509 0 0 0 119480 1353 0 0 25 0 1 0 21603977 179834880 30320 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43905 30320 364 364 0 43541 0
[pid=8695] vsize: 175620
Current children cumulated CPU time (s) 1208.33
Current children cumulated vsize (Kb) 175620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 8695
Raw data (/proc/8695/stat): 8695 (pb2sat) T 8694 8695 4005 0 -1 0 100509 0 0 0 119481 1353 0 0 25 0 1 0 21603977 179834880 30320 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8695/statm): 43905 30320 364 364 0 43541 0
[pid=8695] vsize: 175620
Current children cumulated CPU time (s) 1208.34
Current children cumulated vsize (Kb) 175620

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

Child status: 0
Real time (s): 1230.56
CPU time (s): 1208.85
CPU user time (s): 1195.24
CPU system time (s): 13.6009
CPU usage (%): 98.2351
Max. virtual memory (cumulated for all children) (Kb): 177012

Verifier Data

ERROR: no interpretation found !