Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos12.opb
MD5SUM8be56d63285d7b46f1a8393a6f228d5d
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10813568
Optimality of the best value was proved NO
Number of terms in the objective function 8960
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 469761600
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 524288
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 469761600
Number of bits of the biggest sum of numbers29
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1204.93
Number of variables16548
Total number of constraints11747
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3136
Number of constraints which are nor clauses,nor cardinality constraints8611
Minimum length of a constraint1
Maximum length of a constraint560

Trace number 10618

Launcher Data

LAUNCH ON wulflinc1 THE 2005-09-23 18:57:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9308 boxname=wulflinc1 idbench=1104 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8be56d63285d7b46f1a8393a6f228d5d  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-neos12.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-neos12.opb
IDLAUNCH: 9308
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.228
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.228
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:        875988 kB
Buffers:         14016 kB
Cached:         126880 kB
SwapCached:          0 kB
Active:          80168 kB
Inactive:        63632 kB
HighTotal:      131008 kB
HighFree:         7728 kB
LowTotal:       903652 kB
LowFree:        868260 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6988 kB
Slab:             9284 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 19:18:04 (client local time) WITH STATUS 0 IN 1207.09 SECONDS
stats: 9308 7 1207.09 0

Solver Data

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

c Decision: 70444/307770	Time: 472.606/86400
c Decision: 70444/307770	Time: 511.878/86400
c Decision: 70450/307770	Time: 576.535/86400
c Decision: 70456/307770	Time: 640.491/86400
c Decision: 70456/307770	Time: 689.612/86400
c Decision: 70458/307770	Time: 772.466/86400
c Decision: 70476/307770	Time: 851.133/86400
c Decision: 70476/307770	Time: 907.276/86400
c Decision: 70476/307770	Time: 952.464/86400
c Decision: 70482/307770	Time: 1044.8/86400
c Decision: 70482/307770	Time: 1097.62/86400
c Decision: 70482/307770	Time: 1146.51/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/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22545451 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 373 2 364 364 0 9 0
[pid=11873] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-neos12.opb

[startup+10.0019 s]
Raw data (loadavg): 0.93 0.95 0.92 2/55 11873
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 24950 0 0 0 941 55 0 0 25 0 1 0 22545451 80478208 13800 4294967295 134512640 135987407 3221224560 3221221800 134637837 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 19648 13800 364 364 0 19284 0
[pid=11873] vsize: 78592
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 78592

[startup+20.0027 s]
Raw data (loadavg): 0.94 0.96 0.92 2/55 11873
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 40054 0 0 0 1904 91 0 0 25 0 1 0 22545451 116449280 23322 4294967295 134512640 135987407 3221224560 3221223408 134817326 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 28430 23322 364 364 0 28066 0
[pid=11873] vsize: 113720
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 113720

[startup+30.0034 s]
Raw data (loadavg): 0.95 0.96 0.92 2/55 11873
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 41735 0 0 0 2892 98 0 0 25 0 1 0 22545451 122503168 24515 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 29908 24515 364 364 0 29544 0
[pid=11873] vsize: 119632
Current children cumulated CPU time (s) 29.9
Current children cumulated vsize (Kb) 119632

[startup+40.0032 s]
Raw data (loadavg): 0.95 0.96 0.92 2/55 11873
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 42133 0 0 0 3888 100 0 0 25 0 1 0 22545451 123834368 24749 4294967295 134512640 135987407 3221224560 3221223120 135480413 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 30233 24749 364 364 0 29869 0
[pid=11873] vsize: 120932
Current children cumulated CPU time (s) 39.88
Current children cumulated vsize (Kb) 120932

[startup+50.004 s]
Raw data (loadavg): 0.96 0.96 0.92 2/55 11873
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 42253 0 0 0 4886 101 0 0 25 0 1 0 22545451 124096512 24804 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 30297 24804 364 364 0 29933 0
[pid=11873] vsize: 121188
Current children cumulated CPU time (s) 49.87
Current children cumulated vsize (Kb) 121188

[startup+60.0048 s]
Raw data (loadavg): 0.97 0.96 0.92 2/55 11873
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 42278 0 0 0 5885 101 0 0 25 0 1 0 22545451 124231680 24829 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 30330 24829 364 364 0 29966 0
[pid=11873] vsize: 121320
Current children cumulated CPU time (s) 59.86
Current children cumulated vsize (Kb) 121320

[startup+70.0056 s]
Raw data (loadavg): 0.97 0.96 0.92 2/55 11873
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 42526 0 0 0 6883 102 0 0 25 0 1 0 22545451 124887040 24914 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 30490 24914 364 364 0 30126 0
[pid=11873] vsize: 121960
Current children cumulated CPU time (s) 69.85
Current children cumulated vsize (Kb) 121960

[startup+80.0064 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 11873
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 42638 0 0 0 7881 104 0 0 25 0 1 0 22545451 125313024 24961 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 30594 24961 364 364 0 30230 0
[pid=11873] vsize: 122376
Current children cumulated CPU time (s) 79.85
Current children cumulated vsize (Kb) 122376

[startup+90.0072 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 11873
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 42651 0 0 0 8879 104 0 0 25 0 1 0 22545451 125313024 24974 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 30594 24974 364 364 0 30230 0
[pid=11873] vsize: 122376
Current children cumulated CPU time (s) 89.83
Current children cumulated vsize (Kb) 122376

[startup+100.008 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 11873
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 42667 0 0 0 9878 105 0 0 25 0 1 0 22545451 125313024 24990 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 30594 24990 364 364 0 30230 0
[pid=11873] vsize: 122376
Current children cumulated CPU time (s) 99.83
Current children cumulated vsize (Kb) 122376

[startup+110.009 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 11873
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 43806 0 0 0 10866 110 0 0 25 0 1 0 22545451 130850816 26063 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 31946 26063 364 364 0 31582 0
[pid=11873] vsize: 127784
Current children cumulated CPU time (s) 109.76
Current children cumulated vsize (Kb) 127784

[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11873
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 45562 0 0 0 11860 115 0 0 25 0 1 0 22545451 137203712 27100 4294967295 134512640 135987407 3221224560 3221223424 134812614 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 33497 27100 364 364 0 33133 0
[pid=11873] vsize: 133988
Current children cumulated CPU time (s) 119.75
Current children cumulated vsize (Kb) 133988

[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/58 11876
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 47010 0 0 0 12852 119 0 0 25 0 1 0 22545451 142372864 27960 4294967295 134512640 135987407 3221224560 3221223120 134788469 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 34759 27960 364 364 0 34395 0
[pid=11873] vsize: 139036
Current children cumulated CPU time (s) 129.71
Current children cumulated vsize (Kb) 139036

[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11928
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 47645 0 0 0 13841 126 0 0 25 0 1 0 22545451 144236544 28302 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 35214 28302 364 364 0 34850 0
[pid=11873] vsize: 140856
Current children cumulated CPU time (s) 139.67
Current children cumulated vsize (Kb) 140856

[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11928
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 48626 0 0 0 14837 129 0 0 25 0 1 0 22545451 148078592 28924 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 36152 28924 364 364 0 35788 0
[pid=11873] vsize: 144608
Current children cumulated CPU time (s) 149.66
Current children cumulated vsize (Kb) 144608

[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11928
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 49192 0 0 0 15833 131 0 0 25 0 1 0 22545451 150462464 29327 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 36734 29327 364 364 0 36370 0
[pid=11873] vsize: 146936
Current children cumulated CPU time (s) 159.64
Current children cumulated vsize (Kb) 146936

[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11928
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 49428 0 0 0 16828 132 0 0 25 0 1 0 22545451 151121920 29465 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 36895 29465 364 364 0 36531 0
[pid=11873] vsize: 147580
Current children cumulated CPU time (s) 169.6
Current children cumulated vsize (Kb) 147580

[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 11928
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 49543 0 0 0 17824 134 0 0 25 0 1 0 22545451 151515136 29547 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 36991 29547 364 364 0 36627 0
[pid=11873] vsize: 147964
Current children cumulated CPU time (s) 179.58
Current children cumulated vsize (Kb) 147964

[startup+190.012 s]
Raw data (loadavg): 1.31 1.04 0.94 2/55 11930
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 49719 0 0 0 18817 138 0 0 25 0 1 0 22545451 152178688 29690 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 37153 29690 364 364 0 36789 0
[pid=11873] vsize: 148612
Current children cumulated CPU time (s) 189.55
Current children cumulated vsize (Kb) 148612

[startup+200.013 s]
Raw data (loadavg): 1.27 1.04 0.94 2/55 11932
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 49797 0 0 0 19814 139 0 0 25 0 1 0 22545451 152444928 29768 4294967295 134512640 135987407 3221224560 3221223424 134812644 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 37218 29768 364 364 0 36854 0
[pid=11873] vsize: 148872
Current children cumulated CPU time (s) 199.53
Current children cumulated vsize (Kb) 148872

[startup+210.014 s]
Raw data (loadavg): 1.22 1.03 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 49831 0 0 0 20812 140 0 0 25 0 1 0 22545451 152444928 29802 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 37218 29802 364 364 0 36854 0
[pid=11873] vsize: 148872
Current children cumulated CPU time (s) 209.52
Current children cumulated vsize (Kb) 148872

[startup+220.013 s]
Raw data (loadavg): 1.19 1.03 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 49942 0 0 0 21810 141 0 0 25 0 1 0 22545451 152707072 29848 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 37282 29848 364 364 0 36918 0
[pid=11873] vsize: 149128
Current children cumulated CPU time (s) 219.51
Current children cumulated vsize (Kb) 149128

[startup+230.013 s]
Raw data (loadavg): 1.16 1.03 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 50049 0 0 0 22808 142 0 0 25 0 1 0 22545451 152969216 29890 4294967295 134512640 135987407 3221224560 3221223376 134824261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 37346 29890 364 364 0 36982 0
[pid=11873] vsize: 149384
Current children cumulated CPU time (s) 229.5
Current children cumulated vsize (Kb) 149384

[startup+240.013 s]
Raw data (loadavg): 1.13 1.03 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 50104 0 0 0 23807 143 0 0 25 0 1 0 22545451 152969216 29945 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 37346 29945 364 364 0 36982 0
[pid=11873] vsize: 149384
Current children cumulated CPU time (s) 239.5
Current children cumulated vsize (Kb) 149384

[startup+250.014 s]
Raw data (loadavg): 1.11 1.03 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 50146 0 0 0 24804 144 0 0 25 0 1 0 22545451 152969216 29987 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 37346 29987 364 364 0 36982 0
[pid=11873] vsize: 149384
Current children cumulated CPU time (s) 249.48
Current children cumulated vsize (Kb) 149384

[startup+260.014 s]
Raw data (loadavg): 1.10 1.03 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 50332 0 0 0 25800 145 0 0 25 0 1 0 22545451 153493504 30043 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 37474 30043 364 364 0 37110 0
[pid=11873] vsize: 149896
Current children cumulated CPU time (s) 259.45
Current children cumulated vsize (Kb) 149896

[startup+270.014 s]
Raw data (loadavg): 1.08 1.03 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 50353 0 0 0 26797 147 0 0 25 0 1 0 22545451 153493504 30064 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 37474 30064 364 364 0 37110 0
[pid=11873] vsize: 149896
Current children cumulated CPU time (s) 269.44
Current children cumulated vsize (Kb) 149896

[startup+280.015 s]
Raw data (loadavg): 1.07 1.02 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 50376 0 0 0 27794 148 0 0 25 0 1 0 22545451 153493504 30087 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 37474 30087 364 364 0 37110 0
[pid=11873] vsize: 149896
Current children cumulated CPU time (s) 279.42
Current children cumulated vsize (Kb) 149896

[startup+290.016 s]
Raw data (loadavg): 1.06 1.02 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 50546 0 0 0 28790 150 0 0 25 0 1 0 22545451 154017792 30127 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 37602 30127 364 364 0 37238 0
[pid=11873] vsize: 150408
Current children cumulated CPU time (s) 289.4
Current children cumulated vsize (Kb) 150408

[startup+300.017 s]
Raw data (loadavg): 1.05 1.02 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 50784 0 0 0 29787 151 0 0 25 0 1 0 22545451 154804224 30170 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 37794 30170 364 364 0 37430 0
[pid=11873] vsize: 151176
Current children cumulated CPU time (s) 299.38
Current children cumulated vsize (Kb) 151176

[startup+310.017 s]
Raw data (loadavg): 1.04 1.02 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 50874 0 0 0 30783 153 0 0 25 0 1 0 22545451 155066368 30195 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 37858 30195 364 364 0 37494 0
[pid=11873] vsize: 151432
Current children cumulated CPU time (s) 309.36
Current children cumulated vsize (Kb) 151432

[startup+320.016 s]
Raw data (loadavg): 1.03 1.02 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 50903 0 0 0 31777 155 0 0 25 0 1 0 22545451 155066368 30224 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 37858 30224 364 364 0 37494 0
[pid=11873] vsize: 151432
Current children cumulated CPU time (s) 319.32
Current children cumulated vsize (Kb) 151432

[startup+330.017 s]
Raw data (loadavg): 1.03 1.02 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 50982 0 0 0 32770 156 0 0 25 0 1 0 22545451 155332608 30303 4294967295 134512640 135987407 3221224560 3221223184 134778298 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 37923 30303 364 364 0 37559 0
[pid=11873] vsize: 151692
Current children cumulated CPU time (s) 329.26
Current children cumulated vsize (Kb) 151692

[startup+340.017 s]
Raw data (loadavg): 1.02 1.02 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 51191 0 0 0 33764 159 0 0 25 0 1 0 22545451 156147712 30419 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 38122 30419 364 364 0 37758 0
[pid=11873] vsize: 152488
Current children cumulated CPU time (s) 339.23
Current children cumulated vsize (Kb) 152488

[startup+350.018 s]
Raw data (loadavg): 1.02 1.02 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 51244 0 0 0 34759 161 0 0 25 0 1 0 22545451 156610560 30472 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 38235 30472 364 364 0 37871 0
[pid=11873] vsize: 152940
Current children cumulated CPU time (s) 349.2
Current children cumulated vsize (Kb) 152940

[startup+360.019 s]
Raw data (loadavg): 1.02 1.02 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 51311 0 0 0 35753 163 0 0 25 0 1 0 22545451 156807168 30539 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 38283 30539 364 364 0 37919 0
[pid=11873] vsize: 153132
Current children cumulated CPU time (s) 359.16
Current children cumulated vsize (Kb) 153132

[startup+370.018 s]
Raw data (loadavg): 1.01 1.02 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 51444 0 0 0 36747 165 0 0 25 0 1 0 22545451 157204480 30607 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 38380 30607 364 364 0 38016 0
[pid=11873] vsize: 153520
Current children cumulated CPU time (s) 369.12
Current children cumulated vsize (Kb) 153520

[startup+380.018 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 51685 0 0 0 37741 168 0 0 25 0 1 0 22545451 158138368 30782 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 38608 30782 364 364 0 38244 0
[pid=11873] vsize: 154432
Current children cumulated CPU time (s) 379.09
Current children cumulated vsize (Kb) 154432

[startup+390.019 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 51784 0 0 0 38738 169 0 0 25 0 1 0 22545451 158400512 30816 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 38672 30816 364 364 0 38308 0
[pid=11873] vsize: 154688
Current children cumulated CPU time (s) 389.07
Current children cumulated vsize (Kb) 154688

[startup+400.02 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 51793 0 0 0 39735 170 0 0 25 0 1 0 22545451 158400512 30825 4294967295 134512640 135987407 3221224560 3221223248 134811829 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 38672 30825 364 364 0 38308 0
[pid=11873] vsize: 154688
Current children cumulated CPU time (s) 399.05
Current children cumulated vsize (Kb) 154688

[startup+410.019 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 51875 0 0 0 40731 172 0 0 25 0 1 0 22545451 158662656 30842 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 38736 30842 364 364 0 38372 0
[pid=11873] vsize: 154944
Current children cumulated CPU time (s) 409.03
Current children cumulated vsize (Kb) 154944

[startup+420.019 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 51946 0 0 0 41721 174 0 0 25 0 1 0 22545451 158928896 30913 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 38801 30913 364 364 0 38437 0
[pid=11873] vsize: 155204
Current children cumulated CPU time (s) 418.95
Current children cumulated vsize (Kb) 155204

[startup+430.02 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 51956 0 0 0 42717 176 0 0 25 0 1 0 22545451 158928896 30923 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 38801 30923 364 364 0 38437 0
[pid=11873] vsize: 155204
Current children cumulated CPU time (s) 428.93
Current children cumulated vsize (Kb) 155204

[startup+440.02 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 51971 0 0 0 43714 178 0 0 25 0 1 0 22545451 158928896 30938 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 38801 30938 364 364 0 38437 0
[pid=11873] vsize: 155204
Current children cumulated CPU time (s) 438.92
Current children cumulated vsize (Kb) 155204

[startup+450.021 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 11934
Raw data (/proc/11873/stat): 11873 (pb2sat) T 11872 11873 4704 0 -1 0 51978 0 0 0 44710 180 0 0 25 0 1 0 22545451 158928896 30945 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/11873/statm): 38801 30945 364 364 0 38437 0
[pid=11873] vsize: 155204
Current children cumulated CPU time (s) 448.9
Current children cumulated vsize (Kb) 155204

[startup+460.021 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 51987 0 0 0 45707 181 0 0 25 0 1 0 22545451 158928896 30954 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 38801 30954 364 364 0 38437 0
[pid=11873] vsize: 155204
Current children cumulated CPU time (s) 458.88
Current children cumulated vsize (Kb) 155204

[startup+470.021 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 52064 0 0 0 46703 181 0 0 25 0 1 0 22545451 159191040 30966 4294967295 134512640 135987407 3221224560 3221223248 134812043 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 38865 30966 364 364 0 38501 0
[pid=11873] vsize: 155460
Current children cumulated CPU time (s) 468.84
Current children cumulated vsize (Kb) 155460

[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 52074 0 0 0 47699 183 0 0 25 0 1 0 22545451 159191040 30976 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 38865 30976 364 364 0 38501 0
[pid=11873] vsize: 155460
Current children cumulated CPU time (s) 478.82
Current children cumulated vsize (Kb) 155460

[startup+490.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 52079 0 0 0 48693 185 0 0 25 0 1 0 22545451 159191040 30981 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 38865 30981 364 364 0 38501 0
[pid=11873] vsize: 155460
Current children cumulated CPU time (s) 488.78
Current children cumulated vsize (Kb) 155460

[startup+500.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 52832 0 0 0 49680 190 0 0 25 0 1 0 22545451 159715328 31066 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 38993 31066 364 364 0 38629 0
[pid=11873] vsize: 155972
Current children cumulated CPU time (s) 498.7
Current children cumulated vsize (Kb) 155972

[startup+510.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 52979 0 0 0 50676 192 0 0 25 0 1 0 22545451 160378880 31180 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 39155 31180 364 364 0 38791 0
[pid=11873] vsize: 156620
Current children cumulated CPU time (s) 508.68
Current children cumulated vsize (Kb) 156620

[startup+520.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 53135 0 0 0 51669 195 0 0 25 0 1 0 22545451 160903168 31206 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 39283 31206 364 364 0 38919 0
[pid=11873] vsize: 157132
Current children cumulated CPU time (s) 518.64
Current children cumulated vsize (Kb) 157132

[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 53292 0 0 0 52663 197 0 0 25 0 1 0 22545451 161427456 31233 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 39411 31233 364 364 0 39047 0
[pid=11873] vsize: 157644
Current children cumulated CPU time (s) 528.6
Current children cumulated vsize (Kb) 157644

[startup+540.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 53912 0 0 0 53657 200 0 0 25 0 1 0 22545451 161591296 31251 4294967295 134512640 135987407 3221224560 3221223128 134801607 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 39451 31251 364 364 0 39087 0
[pid=11873] vsize: 157804
Current children cumulated CPU time (s) 538.57
Current children cumulated vsize (Kb) 157804

[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 53922 0 0 0 54653 202 0 0 25 0 1 0 22545451 161591296 31261 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 39451 31261 364 364 0 39087 0
[pid=11873] vsize: 157804
Current children cumulated CPU time (s) 548.55
Current children cumulated vsize (Kb) 157804

[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 54009 0 0 0 55649 204 0 0 25 0 1 0 22545451 161853440 31283 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 39515 31283 364 364 0 39151 0
[pid=11873] vsize: 158060
Current children cumulated CPU time (s) 558.53
Current children cumulated vsize (Kb) 158060

[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 54016 0 0 0 56644 205 0 0 25 0 1 0 22545451 161853440 31290 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 39515 31290 364 364 0 39151 0
[pid=11873] vsize: 158060
Current children cumulated CPU time (s) 568.49
Current children cumulated vsize (Kb) 158060

[startup+580.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 54134 0 0 0 57640 207 0 0 25 0 1 0 22545451 162250752 31375 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 39612 31375 364 364 0 39248 0
[pid=11873] vsize: 158448
Current children cumulated CPU time (s) 578.47
Current children cumulated vsize (Kb) 158448

[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 54271 0 0 0 58634 209 0 0 25 0 1 0 22545451 162512896 31447 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 39676 31447 364 364 0 39312 0
[pid=11873] vsize: 158704
Current children cumulated CPU time (s) 588.43
Current children cumulated vsize (Kb) 158704

[startup+600.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 54970 0 0 0 59628 211 0 0 25 0 1 0 22545451 162775040 31479 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 39740 31479 364 364 0 39376 0
[pid=11873] vsize: 158960
Current children cumulated CPU time (s) 598.39
Current children cumulated vsize (Kb) 158960

[startup+610.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 55047 0 0 0 60623 213 0 0 25 0 1 0 22545451 163037184 31491 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 39804 31491 364 364 0 39440 0
[pid=11873] vsize: 159216
Current children cumulated CPU time (s) 608.36
Current children cumulated vsize (Kb) 159216

[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 55053 0 0 0 61617 215 0 0 25 0 1 0 22545451 163037184 31497 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 39804 31497 364 364 0 39440 0
[pid=11873] vsize: 159216
Current children cumulated CPU time (s) 618.32
Current children cumulated vsize (Kb) 159216

[startup+630.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 55132 0 0 0 62613 217 0 0 25 0 1 0 22545451 163299328 31511 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 39868 31511 364 364 0 39504 0
[pid=11873] vsize: 159472
Current children cumulated CPU time (s) 628.3
Current children cumulated vsize (Kb) 159472

[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 55220 0 0 0 63610 218 0 0 25 0 1 0 22545451 163561472 31534 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 39932 31534 364 364 0 39568 0
[pid=11873] vsize: 159728
Current children cumulated CPU time (s) 638.28
Current children cumulated vsize (Kb) 159728

[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 55541 0 0 0 64604 220 0 0 25 0 1 0 22545451 164847616 31725 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 40246 31725 364 364 0 39882 0
[pid=11873] vsize: 160984
Current children cumulated CPU time (s) 648.24
Current children cumulated vsize (Kb) 160984

[startup+660.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 55778 0 0 0 65599 222 0 0 25 0 1 0 22545451 165650432 31896 4294967295 134512640 135987407 3221224560 3221223136 134788831 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 40442 31896 364 364 0 40078 0
[pid=11873] vsize: 161768
Current children cumulated CPU time (s) 658.21
Current children cumulated vsize (Kb) 161768

[startup+670.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 56395 0 0 0 66595 224 0 0 25 0 1 0 22545451 165650432 31911 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 40442 31911 364 364 0 40078 0
[pid=11873] vsize: 161768
Current children cumulated CPU time (s) 668.19
Current children cumulated vsize (Kb) 161768

[startup+680.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 56402 0 0 0 67592 225 0 0 25 0 1 0 22545451 165650432 31918 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 40442 31918 364 364 0 40078 0
[pid=11873] vsize: 161768
Current children cumulated CPU time (s) 678.17
Current children cumulated vsize (Kb) 161768

[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 56409 0 0 0 68586 227 0 0 25 0 1 0 22545451 165650432 31925 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 40442 31925 364 364 0 40078 0
[pid=11873] vsize: 161768
Current children cumulated CPU time (s) 688.13
Current children cumulated vsize (Kb) 161768

[startup+700.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 56487 0 0 0 69581 228 0 0 25 0 1 0 22545451 165912576 31938 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 40506 31938 364 364 0 40142 0
[pid=11873] vsize: 162024
Current children cumulated CPU time (s) 698.09
Current children cumulated vsize (Kb) 162024

[startup+710.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 56495 0 0 0 70575 230 0 0 25 0 1 0 22545451 165912576 31946 4294967295 134512640 135987407 3221224560 3221223200 134789464 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 40506 31946 364 364 0 40142 0
[pid=11873] vsize: 162024
Current children cumulated CPU time (s) 708.05
Current children cumulated vsize (Kb) 162024

[startup+720.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 57184 0 0 0 71570 233 0 0 25 0 1 0 22545451 166174720 31968 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 40570 31968 364 364 0 40206 0
[pid=11873] vsize: 162280
Current children cumulated CPU time (s) 718.03
Current children cumulated vsize (Kb) 162280

[startup+730.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 57192 0 0 0 72565 234 0 0 25 0 1 0 22545451 166174720 31976 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 40570 31976 364 364 0 40206 0
[pid=11873] vsize: 162280
Current children cumulated CPU time (s) 727.99
Current children cumulated vsize (Kb) 162280

[startup+740.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 57212 0 0 0 73561 236 0 0 25 0 1 0 22545451 166174720 31996 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 40570 31996 364 364 0 40206 0
[pid=11873] vsize: 162280
Current children cumulated CPU time (s) 737.97
Current children cumulated vsize (Kb) 162280

[startup+750.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 57240 0 0 0 74554 237 0 0 25 0 1 0 22545451 166174720 32024 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 40570 32024 364 364 0 40206 0
[pid=11873] vsize: 162280
Current children cumulated CPU time (s) 747.91
Current children cumulated vsize (Kb) 162280

[startup+760.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 57305 0 0 0 75547 240 0 0 25 0 1 0 22545451 166305792 32056 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 40602 32056 364 364 0 40238 0
[pid=11873] vsize: 162408
Current children cumulated CPU time (s) 757.87
Current children cumulated vsize (Kb) 162408

[startup+770.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 57312 0 0 0 76543 241 0 0 25 0 1 0 22545451 166305792 32063 4294967295 134512640 135987407 3221224560 3221223120 134788483 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 40602 32063 364 364 0 40238 0
[pid=11873] vsize: 162408
Current children cumulated CPU time (s) 767.84
Current children cumulated vsize (Kb) 162408

[startup+780.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 57402 0 0 0 77537 243 0 0 25 0 1 0 22545451 166567936 32088 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 40666 32088 364 364 0 40302 0
[pid=11873] vsize: 162664
Current children cumulated CPU time (s) 777.8
Current children cumulated vsize (Kb) 162664

[startup+790.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 57423 0 0 0 78535 244 0 0 25 0 1 0 22545451 166567936 32109 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 40666 32109 364 364 0 40302 0
[pid=11873] vsize: 162664
Current children cumulated CPU time (s) 787.79
Current children cumulated vsize (Kb) 162664

[startup+800.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 58047 0 0 0 79530 246 0 0 25 0 1 0 22545451 166567936 32131 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 40666 32131 364 364 0 40302 0
[pid=11873] vsize: 162664
Current children cumulated CPU time (s) 797.76
Current children cumulated vsize (Kb) 162664

[startup+810.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 58055 0 0 0 80527 248 0 0 25 0 1 0 22545451 166567936 32139 4294967295 134512640 135987407 3221224560 3221223376 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 40666 32139 364 364 0 40302 0
[pid=11873] vsize: 162664
Current children cumulated CPU time (s) 807.75
Current children cumulated vsize (Kb) 162664

[startup+820.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 58135 0 0 0 81524 249 0 0 25 0 1 0 22545451 166834176 32219 4294967295 134512640 135987407 3221224560 3221223344 134812368 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 40731 32219 364 364 0 40367 0
[pid=11873] vsize: 162924
Current children cumulated CPU time (s) 817.73
Current children cumulated vsize (Kb) 162924

[startup+830.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 58136 0 0 0 82521 250 0 0 25 0 1 0 22545451 166834176 32220 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 40731 32220 364 364 0 40367 0
[pid=11873] vsize: 162924
Current children cumulated CPU time (s) 827.71
Current children cumulated vsize (Kb) 162924

[startup+840.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 58137 0 0 0 83517 252 0 0 25 0 1 0 22545451 166834176 32221 4294967295 134512640 135987407 3221224560 3221223248 134812046 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 40731 32221 364 364 0 40367 0
[pid=11873] vsize: 162924
Current children cumulated CPU time (s) 837.69
Current children cumulated vsize (Kb) 162924

[startup+850.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 58138 0 0 0 84511 253 0 0 25 0 1 0 22545451 166834176 32222 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 40731 32222 364 364 0 40367 0
[pid=11873] vsize: 162924
Current children cumulated CPU time (s) 847.64
Current children cumulated vsize (Kb) 162924

[startup+860.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 58139 0 0 0 85508 254 0 0 25 0 1 0 22545451 166834176 32223 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 40731 32223 364 364 0 40367 0
[pid=11873] vsize: 162924
Current children cumulated CPU time (s) 857.62
Current children cumulated vsize (Kb) 162924

[startup+870.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 58140 0 0 0 86506 255 0 0 25 0 1 0 22545451 166834176 32224 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 40731 32224 364 364 0 40367 0
[pid=11873] vsize: 162924
Current children cumulated CPU time (s) 867.61
Current children cumulated vsize (Kb) 162924

[startup+880.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 58746 0 0 0 87503 257 0 0 25 0 1 0 22545451 166834176 32228 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 40731 32228 364 364 0 40367 0
[pid=11873] vsize: 162924
Current children cumulated CPU time (s) 877.6
Current children cumulated vsize (Kb) 162924

[startup+890.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 58750 0 0 0 88502 258 0 0 25 0 1 0 22545451 166834176 32232 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 40731 32232 364 364 0 40367 0
[pid=11873] vsize: 162924
Current children cumulated CPU time (s) 887.6
Current children cumulated vsize (Kb) 162924

[startup+900.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 58758 0 0 0 89502 258 0 0 25 0 1 0 22545451 166834176 32240 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 40731 32240 364 364 0 40367 0
[pid=11873] vsize: 162924
Current children cumulated CPU time (s) 897.6
Current children cumulated vsize (Kb) 162924

[startup+910.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 58769 0 0 0 90500 259 0 0 25 0 1 0 22545451 166834176 32251 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 40731 32251 364 364 0 40367 0
[pid=11873] vsize: 162924
Current children cumulated CPU time (s) 907.59
Current children cumulated vsize (Kb) 162924

[startup+920.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 58782 0 0 0 91494 261 0 0 25 0 1 0 22545451 166834176 32264 4294967295 134512640 135987407 3221224560 3221223320 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 40731 32264 364 364 0 40367 0
[pid=11873] vsize: 162924
Current children cumulated CPU time (s) 917.55
Current children cumulated vsize (Kb) 162924

[startup+930.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 59391 0 0 0 92488 265 0 0 25 0 1 0 22545451 166834176 32271 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 40731 32271 364 364 0 40367 0
[pid=11873] vsize: 162924
Current children cumulated CPU time (s) 927.53
Current children cumulated vsize (Kb) 162924

[startup+940.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 59397 0 0 0 93485 265 0 0 25 0 1 0 22545451 166834176 32277 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 40731 32277 364 364 0 40367 0
[pid=11873] vsize: 162924
Current children cumulated CPU time (s) 937.5
Current children cumulated vsize (Kb) 162924

[startup+950.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 59409 0 0 0 94483 266 0 0 25 0 1 0 22545451 166834176 32289 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 40731 32289 364 364 0 40367 0
[pid=11873] vsize: 162924
Current children cumulated CPU time (s) 947.49
Current children cumulated vsize (Kb) 162924

[startup+960.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 59416 0 0 0 95476 268 0 0 25 0 1 0 22545451 166834176 32296 4294967295 134512640 135987407 3221224560 3221223344 134812268 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 40731 32296 364 364 0 40367 0
[pid=11873] vsize: 162924
Current children cumulated CPU time (s) 957.44
Current children cumulated vsize (Kb) 162924

[startup+970.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 59539 0 0 0 96469 270 0 0 25 0 1 0 22545451 167096320 32354 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 40795 32354 364 364 0 40431 0
[pid=11873] vsize: 163180
Current children cumulated CPU time (s) 967.39
Current children cumulated vsize (Kb) 163180

[startup+980.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 60332 0 0 0 97463 273 0 0 25 0 1 0 22545451 167624704 32447 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 40924 32447 364 364 0 40560 0
[pid=11873] vsize: 163696
Current children cumulated CPU time (s) 977.36
Current children cumulated vsize (Kb) 163696

[startup+990.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 60342 0 0 0 98458 275 0 0 25 0 1 0 22545451 167624704 32457 4294967295 134512640 135987407 3221224560 3221223344 134812310 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 40924 32457 364 364 0 40560 0
[pid=11873] vsize: 163696
Current children cumulated CPU time (s) 987.33
Current children cumulated vsize (Kb) 163696

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 60352 0 0 0 99452 277 0 0 25 0 1 0 22545451 167624704 32467 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 40924 32467 364 364 0 40560 0
[pid=11873] vsize: 163696
Current children cumulated CPU time (s) 997.29
Current children cumulated vsize (Kb) 163696

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 60362 0 0 0 100446 280 0 0 25 0 1 0 22545451 167624704 32477 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 40924 32477 364 364 0 40560 0
[pid=11873] vsize: 163696
Current children cumulated CPU time (s) 1007.26
Current children cumulated vsize (Kb) 163696

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 60369 0 0 0 101442 282 0 0 25 0 1 0 22545451 167624704 32484 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 40924 32484 364 364 0 40560 0
[pid=11873] vsize: 163696
Current children cumulated CPU time (s) 1017.24
Current children cumulated vsize (Kb) 163696

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 60378 0 0 0 102440 282 0 0 25 0 1 0 22545451 167624704 32493 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 40924 32493 364 364 0 40560 0
[pid=11873] vsize: 163696
Current children cumulated CPU time (s) 1027.22
Current children cumulated vsize (Kb) 163696

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 60384 0 0 0 103434 284 0 0 25 0 1 0 22545451 167624704 32499 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 40924 32499 364 364 0 40560 0
[pid=11873] vsize: 163696
Current children cumulated CPU time (s) 1037.18
Current children cumulated vsize (Kb) 163696

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 60598 0 0 0 104423 288 0 0 25 0 1 0 22545451 168587264 32664 4294967295 134512640 135987407 3221224560 3221223248 134811990 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 41159 32664 364 364 0 40795 0
[pid=11873] vsize: 164636
Current children cumulated CPU time (s) 1047.11
Current children cumulated vsize (Kb) 164636

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 60603 0 0 0 105416 290 0 0 25 0 1 0 22545451 168587264 32669 4294967295 134512640 135987407 3221224560 3221223248 134811735 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/11873/statm): 41159 32669 364 364 0 40795 0
[pid=11873] vsize: 164636
Current children cumulated CPU time (s) 1057.06
Current children cumulated vsize (Kb) 164636

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 61210 0 0 0 106410 293 0 0 25 0 1 0 22545451 168587264 32674 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 41159 32674 364 364 0 40795 0
[pid=11873] vsize: 164636
Current children cumulated CPU time (s) 1067.03
Current children cumulated vsize (Kb) 164636

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 61237 0 0 0 107406 294 0 0 25 0 1 0 22545451 168587264 32701 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 41159 32701 364 364 0 40795 0
[pid=11873] vsize: 164636
Current children cumulated CPU time (s) 1077
Current children cumulated vsize (Kb) 164636

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 61306 0 0 0 108401 296 0 0 25 0 1 0 22545451 168587264 32770 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 41159 32770 364 364 0 40795 0
[pid=11873] vsize: 164636
Current children cumulated CPU time (s) 1086.97
Current children cumulated vsize (Kb) 164636

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 61311 0 0 0 109395 298 0 0 25 0 1 0 22545451 168587264 32775 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 41159 32775 364 364 0 40795 0
[pid=11873] vsize: 164636
Current children cumulated CPU time (s) 1096.93
Current children cumulated vsize (Kb) 164636

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 61401 0 0 0 110389 300 0 0 25 0 1 0 22545451 169115648 32865 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 41288 32865 364 364 0 40924 0
[pid=11873] vsize: 165152
Current children cumulated CPU time (s) 1106.89
Current children cumulated vsize (Kb) 165152

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 62009 0 0 0 111385 303 0 0 25 0 1 0 22545451 169115648 32871 4294967295 134512640 135987407 3221224560 3221223344 134812394 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 41288 32871 364 364 0 40924 0
[pid=11873] vsize: 165152
Current children cumulated CPU time (s) 1116.88
Current children cumulated vsize (Kb) 165152

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 62018 0 0 0 112382 304 0 0 25 0 1 0 22545451 169115648 32880 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 41288 32880 364 364 0 40924 0
[pid=11873] vsize: 165152
Current children cumulated CPU time (s) 1126.86
Current children cumulated vsize (Kb) 165152

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 62019 0 0 0 113379 305 0 0 25 0 1 0 22545451 169115648 32881 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 41288 32881 364 364 0 40924 0
[pid=11873] vsize: 165152
Current children cumulated CPU time (s) 1136.84
Current children cumulated vsize (Kb) 165152

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 62029 0 0 0 114373 307 0 0 25 0 1 0 22545451 169115648 32891 4294967295 134512640 135987407 3221224560 3221223248 134812049 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 41288 32891 364 364 0 40924 0
[pid=11873] vsize: 165152
Current children cumulated CPU time (s) 1146.8
Current children cumulated vsize (Kb) 165152

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 62029 0 0 0 115367 309 0 0 25 0 1 0 22545451 169115648 32891 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 41288 32891 364 364 0 40924 0
[pid=11873] vsize: 165152
Current children cumulated CPU time (s) 1156.76
Current children cumulated vsize (Kb) 165152

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 62632 0 0 0 116361 312 0 0 25 0 1 0 22545451 169115648 32892 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 41288 32892 364 364 0 40924 0
[pid=11873] vsize: 165152
Current children cumulated CPU time (s) 1166.73
Current children cumulated vsize (Kb) 165152

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 62643 0 0 0 117357 313 0 0 25 0 1 0 22545451 169115648 32903 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 41288 32903 364 364 0 40924 0
[pid=11873] vsize: 165152
Current children cumulated CPU time (s) 1176.7
Current children cumulated vsize (Kb) 165152

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 62663 0 0 0 118354 315 0 0 25 0 1 0 22545451 169115648 32923 4294967295 134512640 135987407 3221224560 3221223376 134824327 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 41288 32923 364 364 0 40924 0
[pid=11873] vsize: 165152
Current children cumulated CPU time (s) 1186.69
Current children cumulated vsize (Kb) 165152

[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 62669 0 0 0 119349 317 0 0 25 0 1 0 22545451 169115648 32929 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 41288 32929 364 364 0 40924 0
[pid=11873] vsize: 165152
Current children cumulated CPU time (s) 1196.66
Current children cumulated vsize (Kb) 165152

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 62675 0 0 0 120344 319 0 0 25 0 1 0 22545451 169115648 32935 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 41288 32935 364 364 0 40924 0
[pid=11873] vsize: 165152
Current children cumulated CPU time (s) 1206.63
Current children cumulated vsize (Kb) 165152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 11936
Raw data (/proc/11873/stat): 11873 (pb2sat) R 11872 11873 4704 0 -1 0 62675 0 0 0 120344 319 0 0 25 0 1 0 22545451 169115648 32935 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/11873/statm): 41288 32935 364 364 0 40924 0
[pid=11873] vsize: 165152
Current children cumulated CPU time (s) 1206.63
Current children cumulated vsize (Kb) 165152

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

Child status: 0
Real time (s): 1210.52
CPU time (s): 1207.09
CPU user time (s): 1203.83
CPU system time (s): 3.2605
CPU usage (%): 99.7169
Max. virtual memory (cumulated for all children) (Kb): 165152

Verifier Data

ERROR: no interpretation found !