PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc205.opb
MD5SUM	436f5c6ad1ef2652c1530e8335d70a6e
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	8589934592
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	22548578283
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	25.9041
Number of variables	6090
Total number of constraints	204
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	204
Minimum length of a constraint	30
Maximum length of a constraint	120
Trace number 35223

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-28 12:11:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24386 boxname=wulflinc12 idbench=858 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  436f5c6ad1ef2652c1530e8335d70a6e  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-sc205.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-sc205.opb
IDLAUNCH: 24386
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        705908 kB
Buffers:         34820 kB
Cached:         257512 kB
SwapCached:        340 kB
Active:          23120 kB
Inactive:       280972 kB
HighTotal:      131008 kB
HighFree:       104048 kB
LowTotal:       903652 kB
LowFree:        601860 kB
SwapTotal:     2097136 kB
SwapFree:      2096008 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            19020 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:31:23 (client local time) WITH STATUS 0 IN 1201.04 SECONDS
stats: 24386 7 1201.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c CONFLICT during preprocess 
c [startup+6.63764 s]  setting bit 29 to 0
c CONFLICT during preprocess 
c [startup+7.17138 s]  setting bit 28 to 0
c CONFLICT during preprocess 
c [startup+7.70748 s]  setting bit 27 to 0
c CONFLICT during preprocess 
c [startup+8.24237 s]  setting bit 26 to 0
c CONFLICT during preprocess 
c [startup+8.77926 s]  setting bit 25 to 0
c CONFLICT during preprocess 
c [startup+9.32037 s]  setting bit 24 to 0
c CONFLICT during preprocess 
c [startup+9.85891 s]  setting bit 23 to 0
c CONFLICT during preprocess 
c [startup+10.3975 s]  setting bit 22 to 0
c CONFLICT during preprocess 
c [startup+10.939 s]  setting bit 21 to 0
c CONFLICT during preprocess 
c [startup+11.4799 s]  setting bit 20 to 0
c CONFLICT during preprocess 
c [startup+12.0243 s]  setting bit 19 to 0
c CONFLICT during preprocess 
c [startup+12.5698 s]  setting bit 18 to 0
c CONFLICT during preprocess 
c [startup+13.1185 s]  setting bit 17 to 0

Decision: 32151/143994	Time: 5.8861/86400
Decision: 32245/143994	Time: 10.1695/86400
Decision: 34410/143994	Time: 16.5535/86400
Decision: 34605/143994	Time: 24.0373/86400
Decision: 34608/143994	Time: 30.8153/86400
Decision: 34608/143994	Time: 36.3375/86400
Decision: 34608/143994	Time: 42.1226/86400
Decision: 34608/143994	Time: 48.7736/86400c [startup+63.9713 s]  setting bit 16 to 0

Decision: 24525/143994	Time: 6.20506/86400
Decision: 27333/143994	Time: 12.7251/86400
Decision: 27948/143994	Time: 19.621/86400
Decision: 27948/143994	Time: 24.5953/86400
Decision: 27948/143994	Time: 30.6673/86400
Decision: 28360/143994	Time: 39.267/86400
Decision: 28360/143994	Time: 45.897/86400
Decision: 28360/143994	Time: 52.657/86400
Decision: 28360/143994	Time: 58.8641/86400
Decision: 28360/143994	Time: 65.1231/86400
Decision: 28360/143994	Time: 72.287/86400
Decision: 28360/143994	Time: 78.2971/86400
Decision: 28360/143994	Time: 84.3202/86400
Decision: 28360/143994	Time: 92.364/86400
Decision: 28360/143994	Time: 98.2561/86400
Decision: 28360/143994	Time: 107.147/86400
Decision: 28360/143994	Time: 112.745/86400
Decision: 28360/143994	Time: 121.274/86400
Decision: 28360/143994	Time: 128.161/86400
Decision: 28362/143994	Time: 136.348/86400
Decision: 28461/143994	Time: 145.561/86400
Decision: 28668/143994	Time: 156.377/86400
Decision: 28668/143994	Time: 162.386/86400
Decision: 28668/143994	Time: 169.653/86400
Decision: 28668/143994	Time: 177.929/86400
Decision: 28668/143994	Time: 186.758/86400
Decision: 28668/143994	Time: 193.8/86400
Decision: 28668/143994	Time: 200.794/86400
Decision: 28670/143994	Time: 210.577/86400
Decision: 28670/143994	Time: 218.23/86400
Decision: 28672/143994	Time: 227.097/86400
Decision: 28829/143994	Time: 240.47/86400
Decision: 28829/143994	Time: 249.136/86400c [startup+324.675 s]  setting bit 15 to 0

Decision: 28250/143994	Time: 44.8602/86400
Decision: 28250/143994	Time: 52.0271/86400
Decision: 28250/143994	Time: 58.905/86400
Decision: 28250/143994	Time: 66.1689/86400
Decision: 28257/143994	Time: 79.5369/86400
Decision: 28355/143994	Time: 99.5009/86400
Decision: 28355/143994	Time: 107.279/86400
Decision: 28630/143994	Time: 127.718/86400c [startup+458.561 s]  setting bit 14 to 0

Decision: 28357/143994	Time: 8.78766/86400
Decision: 28357/143994	Time: 14.2598/86400
Decision: 28357/143994	Time: 21.4927/86400
Decision: 28359/143994	Time: 32.2991/86400
Decision: 28359/143994	Time: 41.6927/86400
Decision: 28359/143994	Time: 51.2952/86400
Decision: 28359/143994	Time: 57.7802/86400
Decision: 28359/143994	Time: 67.6577/86400
Decision: 28359/143994	Time: 75.0766/86400
Decision: 28359/143994	Time: 82.8424/86400
Decision: 28359/143994	Time: 92.4889/86400
Decision: 28359/143994	Time: 100.343/86400
Decision: 28359/143994	Time: 107.901/86400
Decision: 28359/143994	Time: 118.164/86400
Decision: 28359/143994	Time: 127.946/86400
Decision: 28359/143994	Time: 137.647/86400
Decision: 28359/143994	Time: 146.893/86400
Decision: 28359/143994	Time: 156.665/86400
Decision: 28446/143994	Time: 171.864/86400
Decision: 28446/143994	Time: 181.129/86400c [startup+647.934 s]  setting bit 13 to 0

Decision: 28358/143994	Time: 34.3588/86400
Decision: 28358/143994	Time: 43.9603/86400
Decision: 28358/143994	Time: 52.9769/86400
Decision: 28358/143994	Time: 63.0944/86400
Decision: 28358/143994	Time: 72.54/86400
Decision: 28358/143994	Time: 84.2812/86400
Decision: 28358/143994	Time: 94.2657/86400
Decision: 28358/143994	Time: 103.519/86400
Decision: 28358/143994	Time: 112.356/86400
Decision: 28647/143994	Time: 149.506/86400c [startup+798.227 s]  setting bit 12 to 0

Decision: 28244/143994	Time: 90.3333/86400
Decision: 28244/143994	Time: 99.1379/86400
Decision: 28355/143994	Time: 114.049/86400
Decision: 28357/143994	Time: 123.584/86400
Decision: 28359/143994	Time: 133.243/86400
Decision: 28359/143994	Time: 143.037/86400
Decision: 28359/143994	Time: 152.369/86400
Decision: 28359/143994	Time: 161.824/86400
Decision: 28359/143994	Time: 172.644/86400
Decision: 28359/143994	Time: 184.371/86400
Decision: 28359/143994	Time: 195.681/86400
Decision: 28359/143994	Time: 206.971/86400
Decision: 28363/143994	Time: 221.01/86400
Decision: 28621/143994	Time: 241.153/86400c [startup+1058.54 s]  setting bit 11 to 0

Decision: 28354/143994	Time: 8.87265/86400
Decision: 28354/143994	Time: 17.2304/86400
Decision: 28354/143994	Time: 26.263/86400
Decision: 28355/143994	Time: 35.4696/86400
Decision: 28355/143994	Time: 43.2994/86400
Decision: 28355/143994	Time: 52.901/86400
Decision: 28355/143994	Time: 63.4384/86400
Decision: 28355/143994	Time: 71.8011/86400
Decision: 28355/143994	Time: 81.2167/86400
Decision: 28355/143994	Time: 90.1413/86400
Decision: 28355/143994	Time: 98.795/86400
Decision: 28363/143994	Time: 111.214/86400
Decision: 28363/143994	Time: 121.316/86400
Decision: 28363/143994	Time: 130.677/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.98 0.93 1/54 11663
Raw data (stat): 11663 (runsolver) R 11662 32284 32283 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806472980 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 20510 0 0 0 952 45 0 0 25 0 1 0 806472980 55402496 10731 4294967295 134512640 135726644 3221224576 3221222888 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13526 10731 300 300 0 13226 0
vsize: 54104
[startup+20.0008 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 22541 0 0 0 1946 51 0 0 25 0 1 0 806472980 54423552 10506 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13287 10506 300 300 0 12987 0
vsize: 53148
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 23255 0 0 0 2943 54 0 0 25 0 1 0 806472980 55050240 10656 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13440 10656 300 300 0 13140 0
vsize: 53760
[startup+40.0021 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 23625 0 0 0 3940 56 0 0 25 0 1 0 806472980 55246848 10744 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13488 10744 300 300 0 13188 0
vsize: 53952
[startup+50.0034 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 24290 0 0 0 4939 57 0 0 25 0 1 0 806472980 55443456 10845 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13536 10845 300 300 0 13236 0
vsize: 54144
[startup+60.004 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 24669 0 0 0 5937 58 0 0 25 0 1 0 806472980 55607296 10942 4294967295 134512640 135726644 3221224576 3221222912 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13576 10942 300 300 0 13276 0
vsize: 54304
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 25621 0 0 0 6934 61 0 0 25 0 1 0 806472980 55771136 11048 4294967295 134512640 135726644 3221224576 3221223200 134779687 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13616 11048 300 300 0 13316 0
vsize: 54464
[startup+80.0047 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 25966 0 0 0 7932 63 0 0 25 0 1 0 806472980 55967744 11111 4294967295 134512640 135726644 3221224576 3221223120 134736622 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13664 11111 300 300 0 13364 0
vsize: 54656
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 26595 0 0 0 8931 64 0 0 25 0 1 0 806472980 55967744 11176 4294967295 134512640 135726644 3221224576 3221223072 134744059 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13664 11176 300 300 0 13364 0
vsize: 54656
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 27003 0 0 0 9930 66 0 0 25 0 1 0 806472980 56373248 11302 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13763 11302 300 300 0 13463 0
vsize: 55052
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 27631 0 0 0 10928 68 0 0 25 0 1 0 806472980 64958464 11366 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15859 11366 300 300 0 15559 0
vsize: 63436
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 27985 0 0 0 11926 69 0 0 25 0 1 0 806472980 64958464 11438 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15859 11438 300 300 0 15559 0
vsize: 63436
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 28655 0 0 0 12925 71 0 0 25 0 1 0 806472980 65093632 11544 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15892 11544 300 300 0 15592 0
vsize: 63568
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 28982 0 0 0 13923 73 0 0 25 0 1 0 806472980 65093632 11589 4294967295 134512640 135726644 3221224576 3221223168 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15892 11589 300 300 0 15592 0
vsize: 63568
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 29648 0 0 0 14922 75 0 0 25 0 1 0 806472980 65724416 11691 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16046 11691 300 300 0 15746 0
vsize: 64184
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 29936 0 0 0 15920 76 0 0 25 0 1 0 806472980 65724416 11697 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16046 11697 300 300 0 15746 0
vsize: 64184
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 30281 0 0 0 16920 77 0 0 25 0 1 0 806472980 65994752 11760 4294967295 134512640 135726644 3221224576 3221223164 134743858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16112 11760 300 300 0 15812 0
vsize: 64448
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 30900 0 0 0 17917 80 0 0 25 0 1 0 806472980 65994752 11815 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16112 11815 300 300 0 15812 0
vsize: 64448
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 31279 0 0 0 18916 81 0 0 25 0 1 0 806472980 66129920 11912 4294967295 134512640 135726644 3221224576 3221223056 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16145 11912 300 300 0 15845 0
vsize: 64580
[startup+200.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 31923 0 0 0 19918 83 0 0 25 0 1 0 806472980 67284992 12274 4294967295 134512640 135726644 3221224576 3221222728 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16427 12274 300 300 0 16127 0
vsize: 65708
[startup+210.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 32314 0 0 0 20917 84 0 0 25 0 1 0 806472980 66277376 12101 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16181 12101 300 300 0 15881 0
vsize: 64724
[startup+220.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 32487 0 0 0 21916 85 0 0 25 0 1 0 806472980 67432448 12274 4294967295 134512640 135726644 3221224576 3221222912 134763605 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16463 12282 300 300 0 16163 0
vsize: 65852
[startup+230.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 32921 0 0 0 22915 87 0 0 25 0 1 0 806472980 66416640 12144 4294967295 134512640 135726644 3221224576 3221223172 134744137 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16215 12144 300 300 0 15915 0
vsize: 64860
[startup+240.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 33251 0 0 0 23914 88 0 0 25 0 1 0 806472980 66416640 12192 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16215 12192 300 300 0 15915 0
vsize: 64860
[startup+250.049 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 33907 0 0 0 24912 90 0 0 25 0 1 0 806472980 67706880 12566 4294967295 134512640 135726644 3221224576 3221222752 134765508 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16530 12566 300 300 0 16230 0
vsize: 66120
[startup+260.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 34226 0 0 0 25911 91 0 0 25 0 1 0 806472980 66686976 12321 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16281 12321 300 300 0 15981 0
vsize: 65124
[startup+270.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 34659 0 0 0 26910 92 0 0 25 0 1 0 806472980 66875392 12472 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16327 12472 300 300 0 16027 0
vsize: 65308
[startup+280.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 35030 0 0 0 27909 93 0 0 25 0 1 0 806472980 66875392 12561 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16327 12561 300 300 0 16027 0
vsize: 65308
[startup+290.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 35401 0 0 0 28908 95 0 0 25 0 1 0 806472980 67010560 12650 4294967295 134512640 135726644 3221224576 3221223088 134742637 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16360 12650 300 300 0 16060 0
vsize: 65440
[startup+300.154 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 35690 0 0 0 29917 96 0 0 25 0 1 0 806472980 67010560 12657 4294967295 134512640 135726644 3221224576 3221223072 134743937 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16360 12657 300 300 0 16060 0
vsize: 65440
[startup+310.154 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 35977 0 0 0 30917 97 0 0 25 0 1 0 806472980 67010560 12662 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16360 12662 300 300 0 16060 0
vsize: 65440
[startup+320.153 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 36322 0 0 0 31916 98 0 0 25 0 1 0 806472980 67010560 12725 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16360 12725 300 300 0 16060 0
vsize: 65440
[startup+330.154 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 36690 0 0 0 32914 100 0 0 25 0 1 0 806472980 67010560 12811 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16360 12811 300 300 0 16060 0
vsize: 65440
[startup+340.154 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 36755 0 0 0 33914 100 0 0 25 0 1 0 806472980 67010560 12876 4294967295 134512640 135726644 3221224576 3221223072 134743948 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16360 12876 300 300 0 16060 0
vsize: 65440
[startup+350.155 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 36808 0 0 0 34914 100 0 0 25 0 1 0 806472980 67010560 12929 4294967295 134512640 135726644 3221224576 3221223072 134744314 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16360 12929 300 300 0 16060 0
vsize: 65440
[startup+360.155 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 36858 0 0 0 35913 101 0 0 25 0 1 0 806472980 67010560 12979 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16360 12979 300 300 0 16060 0
vsize: 65440
[startup+370.155 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 36941 0 0 0 36913 102 0 0 25 0 1 0 806472980 67145728 13062 4294967295 134512640 135726644 3221224576 3221223168 134760075 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16393 13062 300 300 0 16093 0
vsize: 65572
[startup+380.154 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 36965 0 0 0 37913 102 0 0 25 0 1 0 806472980 67284992 13086 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16427 13086 300 300 0 16127 0
vsize: 65708
[startup+390.155 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 37026 0 0 0 38912 103 0 0 25 0 1 0 806472980 67448832 13147 4294967295 134512640 135726644 3221224576 3221223120 134736707 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16467 13147 300 300 0 16167 0
vsize: 65868
[startup+400.155 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 40108 0 0 0 39904 111 0 0 25 0 1 0 806472980 80166912 13156 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19572 13156 300 300 0 19272 0
vsize: 78288
[startup+410.155 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 40410 0 0 0 40903 112 0 0 25 0 1 0 806472980 80166912 13176 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19572 13176 300 300 0 19272 0
vsize: 78288
[startup+420.155 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 40437 0 0 0 41903 112 0 0 25 0 1 0 806472980 80302080 13203 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19605 13203 300 300 0 19305 0
vsize: 78420
[startup+430.156 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 40724 0 0 0 42902 114 0 0 25 0 1 0 806472980 80302080 13208 4294967295 134512640 135726644 3221224576 3221223072 134744036 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19605 13208 300 300 0 19305 0
vsize: 78420
[startup+440.155 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 41012 0 0 0 43901 115 0 0 25 0 1 0 806472980 80302080 13214 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19605 13214 300 300 0 19305 0
vsize: 78420
[startup+450.156 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 41017 0 0 0 44900 115 0 0 25 0 1 0 806472980 80302080 13219 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19605 13219 300 300 0 19305 0
vsize: 78420
[startup+460.157 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 41594 0 0 0 45899 117 0 0 25 0 1 0 806472980 80302080 13232 4294967295 134512640 135726644 3221224576 3221223232 134731187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19605 13232 300 300 0 19305 0
vsize: 78420
[startup+470.156 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 41889 0 0 0 46898 118 0 0 25 0 1 0 806472980 80437248 13245 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19638 13245 300 300 0 19338 0
vsize: 78552
[startup+480.156 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 42484 0 0 0 47896 120 0 0 25 0 1 0 806472980 80572416 13276 4294967295 134512640 135726644 3221224576 3221223072 134744379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19671 13276 300 300 0 19371 0
vsize: 78684
[startup+490.156 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 42542 0 0 0 48895 121 0 0 25 0 1 0 806472980 80723968 13334 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19708 13334 300 300 0 19408 0
vsize: 78832
[startup+500.157 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 43111 0 0 0 49894 122 0 0 25 0 1 0 806472980 81879040 13621 4294967295 134512640 135726644 3221224576 3221222712 134761853 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19990 13621 300 300 0 19690 0
vsize: 79960
[startup+510.157 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 43115 0 0 0 50894 123 0 0 25 0 1 0 806472980 80723968 13343 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19708 13343 300 300 0 19408 0
vsize: 78832
[startup+520.157 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 43136 0 0 0 51894 123 0 0 25 0 1 0 806472980 80859136 13364 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19741 13364 300 300 0 19441 0
vsize: 78964
[startup+530.157 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 43428 0 0 0 52893 124 0 0 25 0 1 0 806472980 80859136 13374 4294967295 134512640 135726644 3221224576 3221223072 134743872 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19741 13374 300 300 0 19441 0
vsize: 78964
[startup+540.157 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 43441 0 0 0 53893 124 0 0 25 0 1 0 806472980 80859136 13387 4294967295 134512640 135726644 3221224576 3221223120 134736624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19741 13387 300 300 0 19441 0
vsize: 78964
[startup+550.157 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 43469 0 0 0 54893 125 0 0 25 0 1 0 806472980 80859136 13415 4294967295 134512640 135726644 3221224576 3221223088 134742493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19741 13415 300 300 0 19441 0
vsize: 78964
[startup+560.158 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 43829 0 0 0 55892 126 0 0 25 0 1 0 806472980 80990208 13493 4294967295 134512640 135726644 3221224576 3221222912 134735631 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19773 13493 300 300 0 19473 0
vsize: 79092
[startup+570.158 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 43934 0 0 0 56891 126 0 0 25 0 1 0 806472980 81133568 13598 4294967295 134512640 135726644 3221224576 3221223200 134744520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19808 13598 300 300 0 19508 0
vsize: 79232
[startup+580.159 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 44307 0 0 0 57890 128 0 0 25 0 1 0 806472980 81281024 13689 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19844 13689 300 300 0 19544 0
vsize: 79376
[startup+590.159 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 44690 0 0 0 58889 129 0 0 25 0 1 0 806472980 81477632 13790 4294967295 134512640 135726644 3221224576 3221223072 134744274 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19892 13790 300 300 0 19592 0
vsize: 79568
[startup+600.16 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 45090 0 0 0 59888 130 0 0 25 0 1 0 806472980 81674240 13908 4294967295 134512640 135726644 3221224576 3221223168 134759986 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19940 13908 300 300 0 19640 0
vsize: 79760
[startup+610.16 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 45460 0 0 0 60887 131 0 0 25 0 1 0 806472980 81674240 13996 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19940 13996 300 300 0 19640 0
vsize: 79760
[startup+620.16 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 45832 0 0 0 61886 132 0 0 25 0 1 0 806472980 81674240 14086 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19940 14086 300 300 0 19640 0
vsize: 79760
[startup+630.16 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 46204 0 0 0 62885 134 0 0 25 0 1 0 806472980 83025920 14458 4294967295 134512640 135726644 3221224576 3221222728 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20270 14458 300 300 0 19970 0
vsize: 81080
[startup+640.16 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 46577 0 0 0 63884 135 0 0 25 0 1 0 806472980 81870848 14267 4294967295 134512640 135726644 3221224576 3221223120 134736650 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19988 14267 300 300 0 19688 0
vsize: 79952
[startup+650.16 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 46948 0 0 0 64883 136 0 0 25 0 1 0 806472980 81870848 14356 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19988 14356 300 300 0 19688 0
vsize: 79952
[startup+660.16 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 46997 0 0 0 65883 136 0 0 25 0 1 0 806472980 81870848 14405 4294967295 134512640 135726644 3221224576 3221223072 134743898 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19988 14405 300 300 0 19688 0
vsize: 79952
[startup+670.16 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 47045 0 0 0 66883 137 0 0 25 0 1 0 806472980 81870848 14453 4294967295 134512640 135726644 3221224576 3221223072 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19988 14453 300 300 0 19688 0
vsize: 79952
[startup+680.161 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 47097 0 0 0 67882 137 0 0 25 0 1 0 806472980 81870848 14505 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19988 14505 300 300 0 19688 0
vsize: 79952
[startup+690.161 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 47404 0 0 0 68881 138 0 0 25 0 1 0 806472980 81870848 14530 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19988 14530 300 300 0 19688 0
vsize: 79952
[startup+700.162 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 47693 0 0 0 69880 140 0 0 25 0 1 0 806472980 81870848 14537 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19988 14537 300 300 0 19688 0
vsize: 79952
[startup+710.162 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 47709 0 0 0 70880 140 0 0 25 0 1 0 806472980 82067456 14553 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20036 14553 300 300 0 19736 0
vsize: 80144
[startup+720.162 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 47719 0 0 0 71880 140 0 0 25 0 1 0 806472980 82067456 14563 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20036 14563 300 300 0 19736 0
vsize: 80144
[startup+730.162 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 47723 0 0 0 72880 140 0 0 25 0 1 0 806472980 82067456 14567 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20036 14567 300 300 0 19736 0
vsize: 80144
[startup+740.163 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 48010 0 0 0 73879 142 0 0 25 0 1 0 806472980 82067456 14572 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20036 14572 300 300 0 19736 0
vsize: 80144
[startup+750.163 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 48306 0 0 0 74877 143 0 0 25 0 1 0 806472980 82067456 14586 4294967295 134512640 135726644 3221224576 3221223180 134744139 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20036 14586 300 300 0 19736 0
vsize: 80144
[startup+760.163 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 48615 0 0 0 75876 145 0 0 25 0 1 0 806472980 83406848 14895 4294967295 134512640 135726644 3221224576 3221222712 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20363 14895 300 300 0 20063 0
vsize: 81452
[startup+770.162 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 48621 0 0 0 76876 145 0 0 25 0 1 0 806472980 82251776 14619 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20081 14619 300 300 0 19781 0
vsize: 80324
[startup+780.163 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 48636 0 0 0 77876 145 0 0 25 0 1 0 806472980 82251776 14634 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20081 14634 300 300 0 19781 0
vsize: 80324
[startup+790.163 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 48644 0 0 0 78876 146 0 0 25 0 1 0 806472980 82251776 14642 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20081 14642 300 300 0 19781 0
vsize: 80324
[startup+800.164 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 49283 0 0 0 79874 147 0 0 25 0 1 0 806472980 82518016 14717 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20146 14717 300 300 0 19846 0
vsize: 80584
[startup+810.165 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 49340 0 0 0 80874 148 0 0 25 0 1 0 806472980 99295232 14774 4294967295 134512640 135726644 3221224576 3221223200 134744516 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24242 14774 300 300 0 23942 0
vsize: 96968
[startup+820.165 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 49398 0 0 0 81873 148 0 0 25 0 1 0 806472980 99295232 14832 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24242 14832 300 300 0 23942 0
vsize: 96968
[startup+830.165 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 49456 0 0 0 82873 149 0 0 25 0 1 0 806472980 99295232 14890 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24242 14890 300 300 0 23942 0
vsize: 96968
[startup+840.165 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 49511 0 0 0 83873 149 0 0 25 0 1 0 806472980 99295232 14945 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24242 14945 300 300 0 23942 0
vsize: 96968
[startup+850.166 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 49567 0 0 0 84873 149 0 0 25 0 1 0 806472980 99295232 15001 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24242 15001 300 300 0 23942 0
vsize: 96968
[startup+860.166 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 49622 0 0 0 85873 150 0 0 25 0 1 0 806472980 99295232 15056 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24242 15056 300 300 0 23942 0
vsize: 96968
[startup+870.523 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 49670 0 0 0 86908 150 0 0 25 0 1 0 806472980 99295232 15104 4294967295 134512640 135726644 3221224576 3221223200 134744591 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24242 15104 300 300 0 23942 0
vsize: 96968
[startup+880.523 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 49731 0 0 0 87908 151 0 0 25 0 1 0 806472980 99295232 15165 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24242 15165 300 300 0 23942 0
vsize: 96968
[startup+890.524 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 49776 0 0 0 88908 151 0 0 25 0 1 0 806472980 99295232 15210 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24242 15210 300 300 0 23942 0
vsize: 96968
[startup+900.525 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 49787 0 0 0 89908 151 0 0 25 0 1 0 806472980 99295232 15221 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24242 15221 300 300 0 23942 0
vsize: 96968
[startup+910.525 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 49801 0 0 0 90907 152 0 0 25 0 1 0 806472980 99295232 15235 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24242 15235 300 300 0 23942 0
vsize: 96968
[startup+920.525 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 50088 0 0 0 91903 153 0 0 25 0 1 0 806472980 99295232 15240 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24242 15240 300 300 0 23942 0
vsize: 96968
[startup+930.525 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 50391 0 0 0 92903 154 0 0 25 0 1 0 806472980 99430400 15261 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24275 15261 300 300 0 23975 0
vsize: 97100
[startup+940.528 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 50963 0 0 0 93902 156 0 0 25 0 1 0 806472980 100585472 15551 4294967295 134512640 135726644 3221224576 3221222736 134765521 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24557 15551 300 300 0 24257 0
vsize: 98228
[startup+950.528 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 51252 0 0 0 94901 157 0 0 25 0 1 0 806472980 100585472 15558 4294967295 134512640 135726644 3221224576 3221222736 134765211 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24557 15558 300 300 0 24257 0
vsize: 98228
[startup+960.528 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 51540 0 0 0 95899 158 0 0 25 0 1 0 806472980 99430400 15282 4294967295 134512640 135726644 3221224576 3221223216 134744671 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24275 15282 300 300 0 23975 0
vsize: 97100
[startup+970.528 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 51553 0 0 0 96899 158 0 0 25 0 1 0 806472980 99430400 15295 4294967295 134512640 135726644 3221224576 3221223088 134742265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24275 15295 300 300 0 23975 0
vsize: 97100
[startup+980.528 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 51849 0 0 0 97898 159 0 0 25 0 1 0 806472980 99565568 15309 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24308 15309 300 300 0 24008 0
vsize: 97232
[startup+990.528 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 52138 0 0 0 98898 160 0 0 25 0 1 0 806472980 99565568 15316 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24308 15316 300 300 0 24008 0
vsize: 97232
[startup+1000.53 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 52425 0 0 0 99897 161 0 0 25 0 1 0 806472980 99565568 15321 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24308 15321 300 300 0 24008 0
vsize: 97232
[startup+1010.53 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 52734 0 0 0 100896 162 0 0 25 0 1 0 806472980 99700736 15348 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24341 15348 300 300 0 24041 0
vsize: 97364
[startup+1020.53 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 53019 0 0 0 101895 163 0 0 25 0 1 0 806472980 99700736 15351 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24341 15351 300 300 0 24041 0
vsize: 97364
[startup+1030.53 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 53048 0 0 0 102895 163 0 0 25 0 1 0 806472980 99835904 15380 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24374 15380 300 300 0 24074 0
vsize: 97496
[startup+1040.53 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 53393 0 0 0 103892 164 0 0 25 0 1 0 806472980 99971072 15443 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24407 15443 300 300 0 24107 0
vsize: 97628
[startup+1050.53 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 53398 0 0 0 104892 165 0 0 25 0 1 0 806472980 99971072 15448 4294967295 134512640 135726644 3221224576 3221223072 134744159 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24407 15448 300 300 0 24107 0
vsize: 97628
[startup+1060.53 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 53684 0 0 0 105891 166 0 0 25 0 1 0 806472980 99971072 15452 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24407 15452 300 300 0 24107 0
vsize: 97628
[startup+1070.53 s]
Raw data (loadavg): 1.15 1.02 0.94 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 53689 0 0 0 106891 166 0 0 25 0 1 0 806472980 99971072 15457 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24407 15457 300 300 0 24107 0
vsize: 97628
[startup+1080.54 s]
Raw data (loadavg): 1.12 1.02 0.94 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 53706 0 0 0 107892 166 0 0 25 0 1 0 806472980 100106240 15474 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24440 15474 300 300 0 24140 0
vsize: 97760
[startup+1090.54 s]
Raw data (loadavg): 1.10 1.01 0.94 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 53721 0 0 0 108892 167 0 0 25 0 1 0 806472980 100106240 15489 4294967295 134512640 135726644 3221224576 3221222896 134729208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24440 15489 300 300 0 24140 0
vsize: 97760
[startup+1100.55 s]
Raw data (loadavg): 1.09 1.01 0.94 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 53726 0 0 0 109892 167 0 0 25 0 1 0 806472980 100106240 15494 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24440 15494 300 300 0 24140 0
vsize: 97760
[startup+1110.56 s]
Raw data (loadavg): 1.07 1.01 0.94 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 53734 0 0 0 110892 167 0 0 25 0 1 0 806472980 100106240 15502 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24440 15502 300 300 0 24140 0
vsize: 97760
[startup+1120.56 s]
Raw data (loadavg): 1.06 1.01 0.94 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 53737 0 0 0 111892 168 0 0 25 0 1 0 806472980 100106240 15505 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24440 15505 300 300 0 24140 0
vsize: 97760
[startup+1130.56 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 53745 0 0 0 112892 168 0 0 25 0 1 0 806472980 100241408 15513 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24473 15513 300 300 0 24173 0
vsize: 97892
[startup+1140.56 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 53760 0 0 0 113892 168 0 0 25 0 1 0 806472980 100241408 15528 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24473 15528 300 300 0 24173 0
vsize: 97892
[startup+1150.56 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 54047 0 0 0 114892 169 0 0 25 0 1 0 806472980 100241408 15533 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24473 15533 300 300 0 24173 0
vsize: 97892
[startup+1160.56 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 54056 0 0 0 115892 169 0 0 25 0 1 0 806472980 100241408 15542 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24473 15542 300 300 0 24173 0
vsize: 97892
[startup+1170.56 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 54353 0 0 0 116891 170 0 0 25 0 1 0 806472980 100241408 15557 4294967295 134512640 135726644 3221224576 3221223072 134744217 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24473 15557 300 300 0 24173 0
vsize: 97892
[startup+1180.56 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 54641 0 0 0 117890 171 0 0 25 0 1 0 806472980 100241408 15563 4294967295 134512640 135726644 3221224576 3221223072 134744357 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24473 15563 300 300 0 24173 0
vsize: 97892
[startup+1190.56 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 54928 0 0 0 118889 172 0 0 25 0 1 0 806472980 100241408 15568 4294967295 134512640 135726644 3221224576 3221223072 134743948 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24473 15568 300 300 0 24173 0
vsize: 97892
[startup+1200.56 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 11663
Raw data (stat): 11663 (pb2sat) R 11662 32284 32283 0 -1 0 54933 0 0 0 119889 172 0 0 25 0 1 0 806472980 100241408 15573 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24473 15573 300 300 0 24173 0
vsize: 97892
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.98 s]
Raw data (loadavg): 1.01 1.00 0.94 1/54 11663
Raw data (stat): 11663 (pb2sat) Z 11662 32284 32283 0 -1 12 54934 0 0 0 119928 175 0 0 25 0 1 0 806472980 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.98
CPU time (s): 1201.04
CPU user time (s): 1199.28
CPU system time (s): 1.75773
CPU usage (%): 100.005
Max. virtual memory (Kb): 98228
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####