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/miplib3/normalized-mps-v2-20-10-l152lav.opb
MD5SUM9d4ce12b138a2bef65a1f401ec9d1f01
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4732
Optimality of the best value was proved NO
Number of terms in the objective function 1989
Biggest coefficient in the objective function 268
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 382524
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 268
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 382524
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.44
Number of variables1989
Total number of constraints2086
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2085
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint1989

Trace number 10131

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.261
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:        897416 kB
Buffers:         16776 kB
Cached:         100796 kB
SwapCached:          0 kB
Active:          45588 kB
Inactive:        74928 kB
HighTotal:      131008 kB
HighFree:        34076 kB
LowTotal:       903652 kB
LowFree:        863340 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11092 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:13:43 (client local time) WITH STATUS 0 IN 1201.12 SECONDS
stats: 8840 7 1201.12 0

Solver Data

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

c Decision: 9828/205859	Time: 427.035/86400
c Decision: 9828/205859	Time: 505.395/86400
c Decision: 9828/205859	Time: 604.032/86400
c Decision: 9829/205859	Time: 810.916/86400
c Decision: 9829/205859	Time: 914.668/86400
c Decision: 9829/205859	Time: 999.467/86400
c Decision: 9829/205859	Time: 1086.11/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/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 18 0 0 0 0 0 0 0 20 0 1 0 21799426 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 373 2 364 364 0 9 0
[pid=9494] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-l152lav.opb

[startup+10.0021 s]
Raw data (loadavg): 0.93 0.95 0.97 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 28072 0 0 0 933 64 0 0 25 0 1 0 21799426 86757376 16942 4294967295 134512640 135987407 3221224560 3221209840 134878092 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 21181 16942 364 364 0 20817 0
[pid=9494] vsize: 84724
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 84724

[startup+20.0038 s]
Raw data (loadavg): 0.94 0.96 0.97 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 30190 0 0 0 1921 71 0 0 25 0 1 0 21799426 94470144 18656 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 23064 18656 364 364 0 22700 0
[pid=9494] vsize: 92256
Current children cumulated CPU time (s) 19.92
Current children cumulated vsize (Kb) 92256

[startup+30.0045 s]
Raw data (loadavg): 0.95 0.96 0.97 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 31124 0 0 0 2907 76 0 0 25 0 1 0 21799426 99119104 19590 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 24199 19590 364 364 0 23835 0
[pid=9494] vsize: 96796
Current children cumulated CPU time (s) 29.83
Current children cumulated vsize (Kb) 96796

[startup+40.0042 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 31178 0 0 0 3896 80 0 0 25 0 1 0 21799426 99282944 19644 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 24239 19644 364 364 0 23875 0
[pid=9494] vsize: 96956
Current children cumulated CPU time (s) 39.76
Current children cumulated vsize (Kb) 96956

[startup+50.0049 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 31355 0 0 0 4885 84 0 0 25 0 1 0 21799426 100020224 19821 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 24419 19821 364 364 0 24055 0
[pid=9494] vsize: 97676
Current children cumulated CPU time (s) 49.69
Current children cumulated vsize (Kb) 97676

[startup+60.0056 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 31445 0 0 0 5872 88 0 0 25 0 1 0 21799426 100352000 19911 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 24500 19911 364 364 0 24136 0
[pid=9494] vsize: 98000
Current children cumulated CPU time (s) 59.6
Current children cumulated vsize (Kb) 98000

[startup+70.0063 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 31505 0 0 0 6859 91 0 0 23 0 1 0 21799426 100487168 19971 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 24533 19971 364 364 0 24169 0
[pid=9494] vsize: 98132
Current children cumulated CPU time (s) 69.5
Current children cumulated vsize (Kb) 98132

[startup+80.007 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 31548 0 0 0 7848 95 0 0 25 0 1 0 21799426 100622336 20014 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 24566 20014 364 364 0 24202 0
[pid=9494] vsize: 98264
Current children cumulated CPU time (s) 79.43
Current children cumulated vsize (Kb) 98264

[startup+90.0067 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 31614 0 0 0 8836 100 0 0 25 0 1 0 21799426 100892672 20080 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 24632 20080 364 364 0 24268 0
[pid=9494] vsize: 98528
Current children cumulated CPU time (s) 89.36
Current children cumulated vsize (Kb) 98528

[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 31749 0 0 0 9822 104 0 0 25 0 1 0 21799426 101433344 20215 4294967295 134512640 135987407 3221224560 3221223020 135480675 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 24764 20215 364 364 0 24400 0
[pid=9494] vsize: 99056
Current children cumulated CPU time (s) 99.26
Current children cumulated vsize (Kb) 99056

[startup+110.008 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 31800 0 0 0 10810 109 0 0 25 0 1 0 21799426 101568512 20266 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 24797 20266 364 364 0 24433 0
[pid=9494] vsize: 99188
Current children cumulated CPU time (s) 109.19
Current children cumulated vsize (Kb) 99188

[startup+120.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 31889 0 0 0 11799 112 0 0 25 0 1 0 21799426 101974016 20355 4294967295 134512640 135987407 3221224560 3221223320 134812118 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 24896 20355 364 364 0 24532 0
[pid=9494] vsize: 99584
Current children cumulated CPU time (s) 119.11
Current children cumulated vsize (Kb) 99584

[startup+130.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 31920 0 0 0 12787 117 0 0 25 0 1 0 21799426 101974016 20386 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 24896 20386 364 364 0 24532 0
[pid=9494] vsize: 99584
Current children cumulated CPU time (s) 129.04
Current children cumulated vsize (Kb) 99584

[startup+140.01 s]
Raw data (loadavg): 1.06 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 31972 0 0 0 13772 121 0 0 25 0 1 0 21799426 102109184 20438 4294967295 134512640 135987407 3221224560 3221223096 135499869 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 24929 20438 364 364 0 24565 0
[pid=9494] vsize: 99716
Current children cumulated CPU time (s) 138.93
Current children cumulated vsize (Kb) 99716

[startup+150.011 s]
Raw data (loadavg): 1.05 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 31999 0 0 0 14760 125 0 0 25 0 1 0 21799426 102109184 20465 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 24929 20465 364 364 0 24565 0
[pid=9494] vsize: 99716
Current children cumulated CPU time (s) 148.85
Current children cumulated vsize (Kb) 99716

[startup+160.011 s]
Raw data (loadavg): 1.04 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 32046 0 0 0 15745 131 0 0 25 0 1 0 21799426 102244352 20512 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 24962 20512 364 364 0 24598 0
[pid=9494] vsize: 99848
Current children cumulated CPU time (s) 158.76
Current children cumulated vsize (Kb) 99848

[startup+170.011 s]
Raw data (loadavg): 1.04 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 32080 0 0 0 16733 135 0 0 25 0 1 0 21799426 102244352 20546 4294967295 134512640 135987407 3221224560 3221223344 134812278 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 24962 20546 364 364 0 24598 0
[pid=9494] vsize: 99848
Current children cumulated CPU time (s) 168.68
Current children cumulated vsize (Kb) 99848

[startup+180.012 s]
Raw data (loadavg): 1.03 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 32155 0 0 0 17719 140 0 0 25 0 1 0 21799426 102514688 20621 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 25028 20621 364 364 0 24664 0
[pid=9494] vsize: 100112
Current children cumulated CPU time (s) 178.59
Current children cumulated vsize (Kb) 100112

[startup+190.013 s]
Raw data (loadavg): 1.03 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 32269 0 0 0 18706 145 0 0 25 0 1 0 21799426 102920192 20735 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 25127 20735 364 364 0 24763 0
[pid=9494] vsize: 100508
Current children cumulated CPU time (s) 188.51
Current children cumulated vsize (Kb) 100508

[startup+200.013 s]
Raw data (loadavg): 1.02 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 32302 0 0 0 19693 150 0 0 25 0 1 0 21799426 102920192 20768 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 25127 20768 364 364 0 24763 0
[pid=9494] vsize: 100508
Current children cumulated CPU time (s) 198.43
Current children cumulated vsize (Kb) 100508

[startup+210.013 s]
Raw data (loadavg): 1.02 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 32390 0 0 0 20677 155 0 0 25 0 1 0 21799426 103325696 20856 4294967295 134512640 135987407 3221224560 3221223312 134801104 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 25226 20856 364 364 0 24862 0
[pid=9494] vsize: 100904
Current children cumulated CPU time (s) 208.32
Current children cumulated vsize (Kb) 100904

[startup+220.014 s]
Raw data (loadavg): 1.01 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 32422 0 0 0 21665 160 0 0 25 0 1 0 21799426 103325696 20888 4294967295 134512640 135987407 3221224560 3221223040 134931219 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 25226 20888 364 364 0 24862 0
[pid=9494] vsize: 100904
Current children cumulated CPU time (s) 218.25
Current children cumulated vsize (Kb) 100904

[startup+230.015 s]
Raw data (loadavg): 1.01 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 32493 0 0 0 22652 165 0 0 25 0 1 0 21799426 103596032 20959 4294967295 134512640 135987407 3221224560 3221223248 134811827 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 25292 20959 364 364 0 24928 0
[pid=9494] vsize: 101168
Current children cumulated CPU time (s) 228.17
Current children cumulated vsize (Kb) 101168

[startup+240.014 s]
Raw data (loadavg): 1.01 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 32522 0 0 0 23641 169 0 0 25 0 1 0 21799426 103596032 20988 4294967295 134512640 135987407 3221224560 3221223388 134812256 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 25292 20988 364 364 0 24928 0
[pid=9494] vsize: 101168
Current children cumulated CPU time (s) 238.1
Current children cumulated vsize (Kb) 101168

[startup+250.015 s]
Raw data (loadavg): 1.01 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 32554 0 0 0 24626 174 0 0 25 0 1 0 21799426 103596032 21020 4294967295 134512640 135987407 3221224560 3221223248 134811773 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 25292 21020 364 364 0 24928 0
[pid=9494] vsize: 101168
Current children cumulated CPU time (s) 248
Current children cumulated vsize (Kb) 101168

[startup+260.016 s]
Raw data (loadavg): 1.01 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 32615 0 0 0 25614 178 0 0 25 0 1 0 21799426 103731200 21081 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 25325 21081 364 364 0 24961 0
[pid=9494] vsize: 101300
Current children cumulated CPU time (s) 257.92
Current children cumulated vsize (Kb) 101300

[startup+270.016 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 32669 0 0 0 26599 184 0 0 25 0 1 0 21799426 103866368 21135 4294967295 134512640 135987407 3221224560 3221223388 134812454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 25358 21135 364 364 0 24994 0
[pid=9494] vsize: 101432
Current children cumulated CPU time (s) 267.83
Current children cumulated vsize (Kb) 101432

[startup+280.017 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 32698 0 0 0 27588 188 0 0 25 0 1 0 21799426 103866368 21164 4294967295 134512640 135987407 3221224560 3221223248 134811790 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 25358 21164 364 364 0 24994 0
[pid=9494] vsize: 101432
Current children cumulated CPU time (s) 277.76
Current children cumulated vsize (Kb) 101432

[startup+290.018 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 32767 0 0 0 28578 190 0 0 25 0 1 0 21799426 104132608 21233 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 25423 21233 364 364 0 25059 0
[pid=9494] vsize: 101692
Current children cumulated CPU time (s) 287.68
Current children cumulated vsize (Kb) 101692

[startup+300.018 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 32803 0 0 0 29565 195 0 0 25 0 1 0 21799426 104132608 21269 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 25423 21269 364 364 0 25059 0
[pid=9494] vsize: 101692
Current children cumulated CPU time (s) 297.6
Current children cumulated vsize (Kb) 101692

[startup+310.018 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 32867 0 0 0 30555 198 0 0 25 0 1 0 21799426 104132608 21333 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 25423 21333 364 364 0 25059 0
[pid=9494] vsize: 101692
Current children cumulated CPU time (s) 307.53
Current children cumulated vsize (Kb) 101692

[startup+320.02 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 32922 0 0 0 31544 202 0 0 25 0 1 0 21799426 104132608 21388 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 25423 21388 364 364 0 25059 0
[pid=9494] vsize: 101692
Current children cumulated CPU time (s) 317.46
Current children cumulated vsize (Kb) 101692

[startup+330.021 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 32991 0 0 0 32533 206 0 0 25 0 1 0 21799426 104132608 21457 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 25423 21457 364 364 0 25059 0
[pid=9494] vsize: 101692
Current children cumulated CPU time (s) 327.39
Current children cumulated vsize (Kb) 101692

[startup+340.02 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 33031 0 0 0 33520 210 0 0 25 0 1 0 21799426 104132608 21497 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 25423 21497 364 364 0 25059 0
[pid=9494] vsize: 101692
Current children cumulated CPU time (s) 337.3
Current children cumulated vsize (Kb) 101692

[startup+350.021 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 33075 0 0 0 34506 215 0 0 25 0 1 0 21799426 104132608 21541 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 25423 21541 364 364 0 25059 0
[pid=9494] vsize: 101692
Current children cumulated CPU time (s) 347.21
Current children cumulated vsize (Kb) 101692

[startup+360.022 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 33113 0 0 0 35492 220 0 0 25 0 1 0 21799426 104132608 21579 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 25423 21579 364 364 0 25059 0
[pid=9494] vsize: 101692
Current children cumulated CPU time (s) 357.12
Current children cumulated vsize (Kb) 101692

[startup+370.021 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 33181 0 0 0 36482 223 0 0 25 0 1 0 21799426 104132608 21647 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 25423 21647 364 364 0 25059 0
[pid=9494] vsize: 101692
Current children cumulated CPU time (s) 367.05
Current children cumulated vsize (Kb) 101692

[startup+380.022 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 33222 0 0 0 37467 229 0 0 25 0 1 0 21799426 104132608 21688 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 25423 21688 364 364 0 25059 0
[pid=9494] vsize: 101692
Current children cumulated CPU time (s) 376.96
Current children cumulated vsize (Kb) 101692

[startup+390.023 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9494
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 33256 0 0 0 38452 233 0 0 25 0 1 0 21799426 104132608 21722 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 25423 21722 364 364 0 25059 0
[pid=9494] vsize: 101692
Current children cumulated CPU time (s) 386.85
Current children cumulated vsize (Kb) 101692

[startup+400.024 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9549
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 33296 0 0 0 39431 243 0 0 25 0 1 0 21799426 104132608 21762 4294967295 134512640 135987407 3221224560 3221223248 134812166 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 25423 21762 364 364 0 25059 0
[pid=9494] vsize: 101692
Current children cumulated CPU time (s) 396.74
Current children cumulated vsize (Kb) 101692

[startup+410.023 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9549
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 33334 0 0 0 40418 248 0 0 25 0 1 0 21799426 104132608 21800 4294967295 134512640 135987407 3221224560 3221223328 134812419 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 25423 21800 364 364 0 25059 0
[pid=9494] vsize: 101692
Current children cumulated CPU time (s) 406.66
Current children cumulated vsize (Kb) 101692

[startup+420.024 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9549
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 33373 0 0 0 41406 252 0 0 25 0 1 0 21799426 104132608 21839 4294967295 134512640 135987407 3221224560 3221223248 134812129 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 25423 21839 364 364 0 25059 0
[pid=9494] vsize: 101692
Current children cumulated CPU time (s) 416.58
Current children cumulated vsize (Kb) 101692

[startup+430.025 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9549
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 33455 0 0 0 42395 255 0 0 25 0 1 0 21799426 104132608 21921 4294967295 134512640 135987407 3221224560 3221223312 134801245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 25423 21921 364 364 0 25059 0
[pid=9494] vsize: 101692
Current children cumulated CPU time (s) 426.5
Current children cumulated vsize (Kb) 101692

[startup+440.024 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9549
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 33949 0 0 0 43385 259 0 0 25 0 1 0 21799426 121044992 22012 4294967295 134512640 135987407 3221224560 3221223372 134876997 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 29552 22012 364 364 0 29188 0
[pid=9494] vsize: 118208
Current children cumulated CPU time (s) 436.44
Current children cumulated vsize (Kb) 118208

[startup+450.025 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9551
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 34450 0 0 0 44381 261 0 0 25 0 1 0 21799426 122634240 22349 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 29940 22349 364 364 0 29576 0
[pid=9494] vsize: 119760
Current children cumulated CPU time (s) 446.42
Current children cumulated vsize (Kb) 119760

[startup+460.026 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9553
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 35837 0 0 0 45368 266 0 0 25 0 1 0 21799426 128815104 23440 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 31449 23440 364 364 0 31085 0
[pid=9494] vsize: 125796
Current children cumulated CPU time (s) 456.34
Current children cumulated vsize (Kb) 125796

[startup+470.025 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 36775 0 0 0 46357 272 0 0 25 0 1 0 21799426 132595712 24147 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 32372 24147 364 364 0 32008 0
[pid=9494] vsize: 129488
Current children cumulated CPU time (s) 466.29
Current children cumulated vsize (Kb) 129488

[startup+480.026 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 37559 0 0 0 47346 277 0 0 25 0 1 0 21799426 135946240 24702 4294967295 134512640 135987407 3221224560 3221223328 134812419 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 33190 24702 364 364 0 32826 0
[pid=9494] vsize: 132760
Current children cumulated CPU time (s) 476.23
Current children cumulated vsize (Kb) 132760

[startup+490.026 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 38327 0 0 0 48334 282 0 0 25 0 1 0 21799426 138653696 25206 4294967295 134512640 135987407 3221224560 3221223392 134812778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 33851 25206 364 364 0 33487 0
[pid=9494] vsize: 135404
Current children cumulated CPU time (s) 486.16
Current children cumulated vsize (Kb) 135404

[startup+500.027 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 38689 0 0 0 49322 287 0 0 25 0 1 0 21799426 140128256 25469 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 34211 25469 364 364 0 33847 0
[pid=9494] vsize: 136844
Current children cumulated CPU time (s) 496.09
Current children cumulated vsize (Kb) 136844

[startup+510.026 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 39111 0 0 0 50310 292 0 0 25 0 1 0 21799426 141455360 25693 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 34535 25693 364 364 0 34171 0
[pid=9494] vsize: 138140
Current children cumulated CPU time (s) 506.02
Current children cumulated vsize (Kb) 138140

[startup+520.026 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 39934 0 0 0 51296 298 0 0 17 0 1 0 21799426 143540224 26080 4294967295 134512640 135987407 3221224560 3221223424 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 35044 26080 364 364 0 34680 0
[pid=9494] vsize: 140176
Current children cumulated CPU time (s) 515.94
Current children cumulated vsize (Kb) 140176

[startup+530.027 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 40411 0 0 0 52286 301 0 0 25 0 1 0 21799426 144859136 26326 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 35366 26326 364 364 0 35002 0
[pid=9494] vsize: 141464
Current children cumulated CPU time (s) 525.87
Current children cumulated vsize (Kb) 141464

[startup+540.027 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 41055 0 0 0 53270 309 0 0 25 0 1 0 21799426 147427328 26789 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 35993 26789 364 364 0 35629 0
[pid=9494] vsize: 143972
Current children cumulated CPU time (s) 535.79
Current children cumulated vsize (Kb) 143972

[startup+550.028 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 41749 0 0 0 54257 315 0 0 25 0 1 0 21799426 150315008 27351 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 36698 27351 364 364 0 36334 0
[pid=9494] vsize: 146792
Current children cumulated CPU time (s) 545.72
Current children cumulated vsize (Kb) 146792

[startup+560.029 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 41963 0 0 0 55245 319 0 0 25 0 1 0 21799426 151117824 27499 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 36894 27499 364 364 0 36530 0
[pid=9494] vsize: 147576
Current children cumulated CPU time (s) 555.64
Current children cumulated vsize (Kb) 147576

[startup+570.028 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 42281 0 0 0 56231 324 0 0 25 0 1 0 21799426 152182784 27685 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 37154 27685 364 364 0 36790 0
[pid=9494] vsize: 148616
Current children cumulated CPU time (s) 565.55
Current children cumulated vsize (Kb) 148616

[startup+580.029 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 42945 0 0 0 57218 329 0 0 25 0 1 0 21799426 154034176 28020 4294967295 134512640 135987407 3221224560 3221223184 134778293 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 37606 28020 364 364 0 37242 0
[pid=9494] vsize: 150424
Current children cumulated CPU time (s) 575.47
Current children cumulated vsize (Kb) 150424

[startup+590.029 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 43533 0 0 0 58206 333 0 0 25 0 1 0 21799426 156299264 28476 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 38159 28476 364 364 0 37795 0
[pid=9494] vsize: 152636
Current children cumulated CPU time (s) 585.39
Current children cumulated vsize (Kb) 152636

[startup+600.03 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 43806 0 0 0 59196 337 0 0 25 0 1 0 21799426 157368320 28683 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 38420 28683 364 364 0 38056 0
[pid=9494] vsize: 153680
Current children cumulated CPU time (s) 595.33
Current children cumulated vsize (Kb) 153680

[startup+610.029 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 44512 0 0 0 60181 343 0 0 25 0 1 0 21799426 159485952 29109 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 38937 29109 364 364 0 38573 0
[pid=9494] vsize: 155748
Current children cumulated CPU time (s) 605.24
Current children cumulated vsize (Kb) 155748

[startup+620.029 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 45209 0 0 0 61166 349 0 0 25 0 1 0 21799426 160620544 29370 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 39214 29370 364 364 0 38850 0
[pid=9494] vsize: 156856
Current children cumulated CPU time (s) 615.15
Current children cumulated vsize (Kb) 156856

[startup+630.03 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 45424 0 0 0 62153 354 0 0 25 0 1 0 21799426 161280000 29453 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 39375 29453 364 364 0 39011 0
[pid=9494] vsize: 157500
Current children cumulated CPU time (s) 625.07
Current children cumulated vsize (Kb) 157500

[startup+640.029 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 45549 0 0 0 63144 357 0 0 25 0 1 0 21799426 161677312 29512 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 39472 29512 364 364 0 39108 0
[pid=9494] vsize: 157888
Current children cumulated CPU time (s) 635.01
Current children cumulated vsize (Kb) 157888

[startup+650.03 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 45677 0 0 0 64132 361 0 0 25 0 1 0 21799426 162209792 29607 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 39602 29607 364 364 0 39238 0
[pid=9494] vsize: 158408
Current children cumulated CPU time (s) 644.93
Current children cumulated vsize (Kb) 158408

[startup+660.031 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 45842 0 0 0 65121 365 0 0 25 0 1 0 21799426 162869248 29674 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 39763 29674 364 364 0 39399 0
[pid=9494] vsize: 159052
Current children cumulated CPU time (s) 654.86
Current children cumulated vsize (Kb) 159052

[startup+670.03 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 45865 0 0 0 66109 369 0 0 25 0 1 0 21799426 163004416 29697 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 39796 29697 364 364 0 39432 0
[pid=9494] vsize: 159184
Current children cumulated CPU time (s) 664.78
Current children cumulated vsize (Kb) 159184

[startup+680.031 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 46010 0 0 0 67095 374 0 0 25 0 1 0 21799426 163667968 29809 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 39958 29809 364 364 0 39594 0
[pid=9494] vsize: 159832
Current children cumulated CPU time (s) 674.69
Current children cumulated vsize (Kb) 159832

[startup+690.031 s]
Raw data (loadavg): 1.00 0.98 0.98 1/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) T 9493 9494 4070 0 -1 0 46167 0 0 0 68082 379 0 0 25 0 1 0 21799426 164614144 29966 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9494/statm): 40189 29966 364 364 0 39825 0
[pid=9494] vsize: 160756
Current children cumulated CPU time (s) 684.61
Current children cumulated vsize (Kb) 160756

[startup+700.032 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 46323 0 0 0 69069 383 0 0 22 0 1 0 21799426 165310464 30106 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 40359 30106 364 364 0 39995 0
[pid=9494] vsize: 161436
Current children cumulated CPU time (s) 694.52
Current children cumulated vsize (Kb) 161436

[startup+710.031 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9555
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 46552 0 0 0 70058 387 0 0 25 0 1 0 21799426 166100992 30203 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 40552 30203 364 364 0 40188 0
[pid=9494] vsize: 162208
Current children cumulated CPU time (s) 704.45
Current children cumulated vsize (Kb) 162208

[startup+720.031 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 46666 0 0 0 71045 391 0 0 25 0 1 0 21799426 166502400 30284 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 40650 30284 364 364 0 40286 0
[pid=9494] vsize: 162600
Current children cumulated CPU time (s) 714.36
Current children cumulated vsize (Kb) 162600

[startup+730.032 s]
Raw data (loadavg): 1.00 0.98 0.98 1/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) T 9493 9494 4070 0 -1 0 46723 0 0 0 72035 396 0 0 25 0 1 0 21799426 166633472 30308 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9494/statm): 40682 30308 364 364 0 40318 0
[pid=9494] vsize: 162728
Current children cumulated CPU time (s) 724.31
Current children cumulated vsize (Kb) 162728

[startup+740.032 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 47185 0 0 0 73018 402 0 0 25 0 1 0 21799426 168321024 30573 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 41094 30573 364 364 0 40730 0
[pid=9494] vsize: 164376
Current children cumulated CPU time (s) 734.2
Current children cumulated vsize (Kb) 164376

[startup+750.033 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 47326 0 0 0 74006 405 0 0 25 0 1 0 21799426 168587264 30681 4294967295 134512640 135987407 3221224560 3221223248 134788835 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 41159 30681 364 364 0 40795 0
[pid=9494] vsize: 164636
Current children cumulated CPU time (s) 744.11
Current children cumulated vsize (Kb) 164636

[startup+760.033 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 47514 0 0 0 74996 409 0 0 25 0 1 0 21799426 169381888 30803 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 41353 30803 364 364 0 40989 0
[pid=9494] vsize: 165412
Current children cumulated CPU time (s) 754.05
Current children cumulated vsize (Kb) 165412

[startup+770.034 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 47563 0 0 0 75984 412 0 0 25 0 1 0 21799426 169512960 30819 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 41385 30819 364 364 0 41021 0
[pid=9494] vsize: 165540
Current children cumulated CPU time (s) 763.96
Current children cumulated vsize (Kb) 165540

[startup+780.034 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 47573 0 0 0 76974 416 0 0 25 0 1 0 21799426 169512960 30829 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 41385 30829 364 364 0 41021 0
[pid=9494] vsize: 165540
Current children cumulated CPU time (s) 773.9
Current children cumulated vsize (Kb) 165540

[startup+790.034 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 47801 0 0 0 77960 421 0 0 25 0 1 0 21799426 170373120 30991 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 41595 30991 364 364 0 41231 0
[pid=9494] vsize: 166380
Current children cumulated CPU time (s) 783.81
Current children cumulated vsize (Kb) 166380

[startup+800.035 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 48321 0 0 0 78947 426 0 0 25 0 1 0 21799426 172097536 31281 4294967295 134512640 135987407 3221224560 3221223248 134812160 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 42016 31281 364 364 0 41652 0
[pid=9494] vsize: 168064
Current children cumulated CPU time (s) 793.73
Current children cumulated vsize (Kb) 168064

[startup+810.035 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 48633 0 0 0 79935 430 0 0 25 0 1 0 21799426 173162496 31461 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 42276 31461 364 364 0 41912 0
[pid=9494] vsize: 169104
Current children cumulated CPU time (s) 803.65
Current children cumulated vsize (Kb) 169104

[startup+820.035 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 48806 0 0 0 80924 434 0 0 25 0 1 0 21799426 173826048 31568 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 42438 31568 364 364 0 42074 0
[pid=9494] vsize: 169752
Current children cumulated CPU time (s) 813.58
Current children cumulated vsize (Kb) 169752

[startup+830.036 s]
Raw data (loadavg): 1.00 0.98 0.98 1/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) T 9493 9494 4070 0 -1 0 49342 0 0 0 81912 439 0 0 25 0 1 0 21799426 174088192 31635 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9494/statm): 42502 31635 364 364 0 42138 0
[pid=9494] vsize: 170008
Current children cumulated CPU time (s) 823.51
Current children cumulated vsize (Kb) 170008

[startup+840.036 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 49441 0 0 0 82902 442 0 0 25 0 1 0 21799426 174350336 31668 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 42566 31668 364 364 0 42202 0
[pid=9494] vsize: 170264
Current children cumulated CPU time (s) 833.44
Current children cumulated vsize (Kb) 170264

[startup+850.037 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 49483 0 0 0 83893 446 0 0 25 0 1 0 21799426 174481408 31677 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 42598 31677 364 364 0 42234 0
[pid=9494] vsize: 170392
Current children cumulated CPU time (s) 843.39
Current children cumulated vsize (Kb) 170392

[startup+860.037 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 49491 0 0 0 84885 448 0 0 25 0 1 0 21799426 174481408 31685 4294967295 134512640 135987407 3221224560 3221223128 134801607 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 42598 31685 364 364 0 42234 0
[pid=9494] vsize: 170392
Current children cumulated CPU time (s) 853.33
Current children cumulated vsize (Kb) 170392

[startup+870.037 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 49500 0 0 0 85876 451 0 0 25 0 1 0 21799426 174481408 31694 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 42598 31694 364 364 0 42234 0
[pid=9494] vsize: 170392
Current children cumulated CPU time (s) 863.27
Current children cumulated vsize (Kb) 170392

[startup+880.037 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 49553 0 0 0 86864 454 0 0 25 0 1 0 21799426 174747648 31747 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 42663 31747 364 364 0 42299 0
[pid=9494] vsize: 170652
Current children cumulated CPU time (s) 873.18
Current children cumulated vsize (Kb) 170652

[startup+890.038 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 49569 0 0 0 87853 457 0 0 25 0 1 0 21799426 174747648 31763 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 42663 31763 364 364 0 42299 0
[pid=9494] vsize: 170652
Current children cumulated CPU time (s) 883.1
Current children cumulated vsize (Kb) 170652

[startup+900.039 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 49860 0 0 0 88840 461 0 0 25 0 1 0 21799426 175673344 31923 4294967295 134512640 135987407 3221224560 3221223336 134812410 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 42889 31923 364 364 0 42525 0
[pid=9494] vsize: 171556
Current children cumulated CPU time (s) 893.01
Current children cumulated vsize (Kb) 171556

[startup+910.039 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 49920 0 0 0 89829 464 0 0 25 0 1 0 21799426 175804416 31950 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 42921 31950 364 364 0 42557 0
[pid=9494] vsize: 171684
Current children cumulated CPU time (s) 902.93
Current children cumulated vsize (Kb) 171684

[startup+920.039 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 50122 0 0 0 90817 469 0 0 25 0 1 0 21799426 176599040 32086 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 43115 32086 364 364 0 42751 0
[pid=9494] vsize: 172460
Current children cumulated CPU time (s) 912.86
Current children cumulated vsize (Kb) 172460

[startup+930.04 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 50406 0 0 0 91808 472 0 0 25 0 1 0 21799426 177520640 32207 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 43340 32207 364 364 0 42976 0
[pid=9494] vsize: 173360
Current children cumulated CPU time (s) 922.8
Current children cumulated vsize (Kb) 173360

[startup+940.039 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 50838 0 0 0 92799 477 0 0 25 0 1 0 21799426 177520640 32236 4294967295 134512640 135987407 3221224560 3221223376 134812451 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 43340 32236 364 364 0 42976 0
[pid=9494] vsize: 173360
Current children cumulated CPU time (s) 932.76
Current children cumulated vsize (Kb) 173360

[startup+950.041 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 50990 0 0 0 93789 480 0 0 25 0 1 0 21799426 178053120 32322 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 43470 32322 364 364 0 43106 0
[pid=9494] vsize: 173880
Current children cumulated CPU time (s) 942.69
Current children cumulated vsize (Kb) 173880

[startup+960.042 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 51008 0 0 0 94780 484 0 0 25 0 1 0 21799426 178053120 32340 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 43470 32340 364 364 0 43106 0
[pid=9494] vsize: 173880
Current children cumulated CPU time (s) 952.64
Current children cumulated vsize (Kb) 173880

[startup+970.042 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 51234 0 0 0 95766 489 0 0 25 0 1 0 21799426 178987008 32500 4294967295 134512640 135987407 3221224560 3221223424 134812638 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 43698 32500 364 364 0 43334 0
[pid=9494] vsize: 174792
Current children cumulated CPU time (s) 962.55
Current children cumulated vsize (Kb) 174792

[startup+980.042 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 51239 0 0 0 96756 492 0 0 25 0 1 0 21799426 178987008 32505 4294967295 134512640 135987407 3221224560 3221223248 134811824 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 43698 32505 364 364 0 43334 0
[pid=9494] vsize: 174792
Current children cumulated CPU time (s) 972.48
Current children cumulated vsize (Kb) 174792

[startup+990.042 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 51351 0 0 0 97743 496 0 0 25 0 1 0 21799426 179384320 32584 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 43795 32584 364 364 0 43431 0
[pid=9494] vsize: 175180
Current children cumulated CPU time (s) 982.39
Current children cumulated vsize (Kb) 175180

[startup+1000.04 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 51366 0 0 0 98732 502 0 0 25 0 1 0 21799426 179384320 32599 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 43795 32599 364 364 0 43431 0
[pid=9494] vsize: 175180
Current children cumulated CPU time (s) 992.34
Current children cumulated vsize (Kb) 175180

[startup+1010.04 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 51433 0 0 0 99721 505 0 0 25 0 1 0 21799426 179515392 32633 4294967295 134512640 135987407 3221224560 3221223248 134812129 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 43827 32633 364 364 0 43463 0
[pid=9494] vsize: 175308
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (Kb) 175308

[startup+1020.04 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 51851 0 0 0 100710 509 0 0 25 0 1 0 21799426 179515392 32648 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 43827 32648 364 364 0 43463 0
[pid=9494] vsize: 175308
Current children cumulated CPU time (s) 1012.19
Current children cumulated vsize (Kb) 175308

[startup+1030.04 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 51852 0 0 0 101698 513 0 0 25 0 1 0 21799426 179515392 32649 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 43827 32649 364 364 0 43463 0
[pid=9494] vsize: 175308
Current children cumulated CPU time (s) 1022.11
Current children cumulated vsize (Kb) 175308

[startup+1040.04 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 51937 0 0 0 102686 516 0 0 25 0 1 0 21799426 179646464 32701 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 43859 32701 364 364 0 43495 0
[pid=9494] vsize: 175436
Current children cumulated CPU time (s) 1032.02
Current children cumulated vsize (Kb) 175436

[startup+1050.04 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 51950 0 0 0 103674 519 0 0 25 0 1 0 21799426 179646464 32714 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 43859 32714 364 364 0 43495 0
[pid=9494] vsize: 175436
Current children cumulated CPU time (s) 1041.93
Current children cumulated vsize (Kb) 175436

[startup+1060.04 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 52143 0 0 0 104662 524 0 0 25 0 1 0 21799426 180039680 32809 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 43955 32809 364 364 0 43591 0
[pid=9494] vsize: 175820
Current children cumulated CPU time (s) 1051.86
Current children cumulated vsize (Kb) 175820

[startup+1070.04 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 52197 0 0 0 105651 528 0 0 25 0 1 0 21799426 180170752 32830 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 43987 32830 364 364 0 43623 0
[pid=9494] vsize: 175948
Current children cumulated CPU time (s) 1061.79
Current children cumulated vsize (Kb) 175948

[startup+1080.04 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 52204 0 0 0 106641 531 0 0 18 0 1 0 21799426 180170752 32837 4294967295 134512640 135987407 3221224560 3221223248 134811937 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 43987 32837 364 364 0 43623 0
[pid=9494] vsize: 175948
Current children cumulated CPU time (s) 1071.72
Current children cumulated vsize (Kb) 175948

[startup+1090.04 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 52242 0 0 0 107631 534 0 0 25 0 1 0 21799426 180301824 32842 4294967295 134512640 135987407 3221224560 3221223248 134788804 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 44019 32842 364 364 0 43655 0
[pid=9494] vsize: 176076
Current children cumulated CPU time (s) 1081.65
Current children cumulated vsize (Kb) 176076

[startup+1100.04 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 52305 0 0 0 108617 538 0 0 25 0 1 0 21799426 180768768 32905 4294967295 134512640 135987407 3221224560 3221223248 134812049 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 44133 32905 364 364 0 43769 0
[pid=9494] vsize: 176532
Current children cumulated CPU time (s) 1091.55
Current children cumulated vsize (Kb) 176532

[startup+1110.04 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 52766 0 0 0 109606 542 0 0 25 0 1 0 21799426 180899840 32930 4294967295 134512640 135987407 3221224560 3221223248 134812194 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 44165 32930 364 364 0 43801 0
[pid=9494] vsize: 176660
Current children cumulated CPU time (s) 1101.48
Current children cumulated vsize (Kb) 176660

[startup+1120.04 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 52767 0 0 0 110595 546 0 0 25 0 1 0 21799426 180899840 32931 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 44165 32931 364 364 0 43801 0
[pid=9494] vsize: 176660
Current children cumulated CPU time (s) 1111.41
Current children cumulated vsize (Kb) 176660

[startup+1130.04 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 52772 0 0 0 111586 548 0 0 25 0 1 0 21799426 180899840 32936 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 44165 32936 364 364 0 43801 0
[pid=9494] vsize: 176660
Current children cumulated CPU time (s) 1121.34
Current children cumulated vsize (Kb) 176660

[startup+1140.05 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 52868 0 0 0 112574 552 0 0 25 0 1 0 21799426 181166080 32999 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 44230 32999 364 364 0 43866 0
[pid=9494] vsize: 176920
Current children cumulated CPU time (s) 1131.26
Current children cumulated vsize (Kb) 176920

[startup+1150.05 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 52901 0 0 0 113563 557 0 0 25 0 1 0 21799426 181166080 33032 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 44230 33032 364 364 0 43866 0
[pid=9494] vsize: 176920
Current children cumulated CPU time (s) 1141.2
Current children cumulated vsize (Kb) 176920

[startup+1160.05 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 53019 0 0 0 114551 561 0 0 25 0 1 0 21799426 181428224 33084 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 44294 33084 364 364 0 43930 0
[pid=9494] vsize: 177176
Current children cumulated CPU time (s) 1151.12
Current children cumulated vsize (Kb) 177176

[startup+1170.05 s]
Raw data (loadavg): 1.00 0.98 0.98 3/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 53056 0 0 0 115537 565 0 0 25 0 1 0 21799426 181559296 33088 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 44326 33088 364 364 0 43962 0
[pid=9494] vsize: 177304
Current children cumulated CPU time (s) 1161.02
Current children cumulated vsize (Kb) 177304

[startup+1180.05 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 53090 0 0 0 116526 569 0 0 25 0 1 0 21799426 181694464 33122 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 44359 33122 364 364 0 43995 0
[pid=9494] vsize: 177436
Current children cumulated CPU time (s) 1170.95
Current children cumulated vsize (Kb) 177436

[startup+1190.05 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 53158 0 0 0 117515 572 0 0 25 0 1 0 21799426 181964800 33190 4294967295 134512640 135987407 3221224560 3221223324 134812119 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 44425 33190 364 364 0 44061 0
[pid=9494] vsize: 177700
Current children cumulated CPU time (s) 1180.87
Current children cumulated vsize (Kb) 177700

[startup+1200.05 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 53262 0 0 0 118500 578 0 0 25 0 1 0 21799426 182362112 33261 4294967295 134512640 135987407 3221224560 3221223248 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9494/statm): 44522 33261 364 364 0 44158 0
[pid=9494] vsize: 178088
Current children cumulated CPU time (s) 1190.78
Current children cumulated vsize (Kb) 178088

[startup+1210.05 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 53366 0 0 0 119486 584 0 0 25 0 1 0 21799426 182894592 33332 4294967295 134512640 135987407 3221224560 3221223248 134811956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 44652 33332 364 364 0 44288 0
[pid=9494] vsize: 178608
Current children cumulated CPU time (s) 1200.7
Current children cumulated vsize (Kb) 178608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 1.00 0.98 0.98 2/55 9557
Raw data (/proc/9494/stat): 9494 (pb2sat) R 9493 9494 4070 0 -1 0 53366 0 0 0 119486 584 0 0 25 0 1 0 21799426 182894592 33332 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9494/statm): 44652 33332 364 364 0 44288 0
[pid=9494] vsize: 178608
Current children cumulated CPU time (s) 1200.7
Current children cumulated vsize (Kb) 178608

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

Child status: 0
Real time (s): 1210.49
CPU time (s): 1201.12
CPU user time (s): 1195.21
CPU system time (s): 5.9071
CPU usage (%): 99.226
Max. virtual memory (cumulated for all children) (Kb): 178608

Verifier Data

ERROR: no interpretation found !