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/MIPLIB/miplib3/normalized-mps-v2-20-10-pk1.opb
MD5SUM	ca2f95c2509c09ae8cf1945e12d0eb97
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	2150078462
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.063989
Number of variables	985
Total number of constraints	100
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	55
Number of constraints which are nor clauses,nor cardinality constraints	45
Minimum length of a constraint	1
Maximum length of a constraint	115
Trace number 35342

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-28 12:38:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24587 boxname=wulflinc18 idbench=1059 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ca2f95c2509c09ae8cf1945e12d0eb97  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-pk1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-pk1.opb
IDLAUNCH: 24587
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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:        739108 kB
Buffers:         33304 kB
Cached:         230696 kB
SwapCached:        792 kB
Active:          16680 kB
Inactive:       249448 kB
HighTotal:      131008 kB
HighFree:        40544 kB
LowTotal:       903652 kB
LowFree:        698564 kB
SwapTotal:     2097892 kB
SwapFree:      2096240 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5120 kB
Slab:            23636 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:58:58 (client local time) WITH STATUS 0 IN 1202.24 SECONDS
stats: 24587 7 1202.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 523/911656	Time: 160.402/86400
Decision: 525/911656	Time: 402.964/86400
Decision: 527/911656	Time: 633.962/86400
Decision: 531/911656	Time: 857.231/86400
Decision: 531/911656	Time: 921.548/86400
Decision: 531/911656	Time: 992.181/86400
Decision: 535/911656	Time: 1130.1/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.91 0.96 0.91 2/54 2258
Raw data (stat): 2258 (runsolver) R 2257 24172 24171 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864852419 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 27533 0 0 0 936 63 0 0 25 0 1 0 864852419 78667776 16455 4294967295 134512640 135726644 3221224592 3221206128 134782342 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19206 16455 300 300 0 18906 0
vsize: 76824
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 53952 0 0 0 1878 122 0 0 25 0 1 0 864852419 153575424 31902 4294967295 134512640 135726644 3221224592 3221200740 134608963 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37494 31902 300 300 0 37194 0
vsize: 149976
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 91307 0 0 0 2798 200 0 0 25 0 1 0 864852419 301498368 47588 4294967295 134512640 135726644 3221224592 3221205360 134780450 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73608 47588 300 300 0 73308 0
vsize: 294432
[startup+40.0034 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 106629 0 0 0 3765 233 0 0 25 0 1 0 864852419 302854144 62638 4294967295 134512640 135726644 3221224592 3221205112 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73939 62638 300 300 0 73639 0
vsize: 295756
[startup+50.0038 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 114414 0 0 0 4747 250 0 0 25 0 1 0 864852419 326721536 68530 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79766 68530 300 300 0 79466 0
vsize: 319064
[startup+60.0043 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 115735 0 0 0 5743 254 0 0 25 0 1 0 864852419 330969088 69361 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80803 69361 300 300 0 80503 0
vsize: 323212
[startup+70.0071 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 116929 0 0 0 6742 256 0 0 25 0 1 0 864852419 334331904 69971 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81624 69971 300 300 0 81324 0
vsize: 326496
[startup+80.0074 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 117614 0 0 0 7741 257 0 0 25 0 1 0 864852419 336580608 70331 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 82173 70331 300 300 0 81873 0
vsize: 328692
[startup+90.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 118817 0 0 0 8739 259 0 0 25 0 1 0 864852419 340267008 70950 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83073 70950 300 300 0 82773 0
vsize: 332292
[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 120337 0 0 0 9737 261 0 0 25 0 1 0 864852419 344350720 71656 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84070 71656 300 300 0 83770 0
vsize: 336280
[startup+110.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 120781 0 0 0 10736 262 0 0 25 0 1 0 864852419 345403392 71906 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84327 71906 300 300 0 84027 0
vsize: 337308
[startup+120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 121341 0 0 0 11736 263 0 0 25 0 1 0 864852419 346583040 72174 4294967295 134512640 135726644 3221224592 3221223264 134745056 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84615 72174 300 300 0 84315 0
vsize: 338460
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 121663 0 0 0 12735 264 0 0 25 0 1 0 864852419 347369472 72302 4294967295 134512640 135726644 3221224592 3221223088 134744252 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84807 72302 300 300 0 84507 0
vsize: 339228
[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 121772 0 0 0 13735 264 0 0 25 0 1 0 864852419 347631616 72346 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84871 72346 300 300 0 84571 0
vsize: 339484
[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 121777 0 0 0 14735 264 0 0 25 0 1 0 864852419 347631616 72351 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84871 72351 300 300 0 84571 0
vsize: 339484
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 122266 0 0 0 15734 265 0 0 25 0 1 0 864852419 348946432 72582 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85192 72582 300 300 0 84892 0
vsize: 340768
[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 122337 0 0 0 16734 265 0 0 25 0 1 0 864852419 349212672 72653 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85257 72653 300 300 0 84957 0
vsize: 341028
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 122351 0 0 0 17734 266 0 0 25 0 1 0 864852419 349212672 72667 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85257 72667 300 300 0 84957 0
vsize: 341028
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 122353 0 0 0 18734 266 0 0 25 0 1 0 864852419 349212672 72669 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85257 72669 300 300 0 84957 0
vsize: 341028
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 124136 0 0 0 19730 270 0 0 25 0 1 0 864852419 349212672 72671 4294967295 134512640 135726644 3221224592 3221223216 134779717 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85257 72671 300 300 0 84957 0
vsize: 341028
[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 126204 0 0 0 20725 275 0 0 25 0 1 0 864852419 355532800 73733 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 86800 73733 300 300 0 86500 0
vsize: 347200
[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 127467 0 0 0 21723 278 0 0 25 0 1 0 864852419 359505920 74349 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87770 74349 300 300 0 87470 0
vsize: 351080
[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 129305 0 0 0 22720 281 0 0 25 0 1 0 864852419 364498944 75123 4294967295 134512640 135726644 3221224592 3221223088 134744280 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88989 75123 300 300 0 88689 0
vsize: 355956
[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 130232 0 0 0 23718 283 0 0 25 0 1 0 864852419 367144960 75592 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89635 75592 300 300 0 89335 0
vsize: 358540
[startup+250.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 131071 0 0 0 24716 284 0 0 25 0 1 0 864852419 369246208 75978 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90148 75978 300 300 0 89848 0
vsize: 360592
[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 131335 0 0 0 25716 285 0 0 25 0 1 0 864852419 369770496 76113 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90276 76113 300 300 0 89976 0
vsize: 361104
[startup+270.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 131658 0 0 0 26715 286 0 0 25 0 1 0 864852419 370819072 76178 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90532 76178 300 300 0 90232 0
vsize: 362128
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 131664 0 0 0 27715 286 0 0 25 0 1 0 864852419 370819072 76184 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90532 76184 300 300 0 90232 0
vsize: 362128
[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 131798 0 0 0 28716 286 0 0 25 0 1 0 864852419 370819072 76318 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90532 76318 300 300 0 90232 0
vsize: 362128
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 131800 0 0 0 29716 286 0 0 25 0 1 0 864852419 370819072 76320 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90532 76320 300 300 0 90232 0
vsize: 362128
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 132087 0 0 0 30715 287 0 0 25 0 1 0 864852419 371867648 76350 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90788 76350 300 300 0 90488 0
vsize: 363152
[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 132583 0 0 0 31714 288 0 0 25 0 1 0 864852419 372916224 76588 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91044 76588 300 300 0 90744 0
vsize: 364176
[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 132814 0 0 0 32714 289 0 0 25 0 1 0 864852419 373440512 76690 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91172 76690 300 300 0 90872 0
vsize: 364688
[startup+340.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 132828 0 0 0 33714 289 0 0 25 0 1 0 864852419 373440512 76704 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91172 76704 300 300 0 90872 0
vsize: 364688
[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 132836 0 0 0 34715 289 0 0 25 0 1 0 864852419 373440512 76712 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91172 76712 300 300 0 90872 0
vsize: 364688
[startup+360.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 132932 0 0 0 35714 289 0 0 25 0 1 0 864852419 373702656 76743 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91236 76743 300 300 0 90936 0
vsize: 364944
[startup+370.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 132933 0 0 0 36714 289 0 0 25 0 1 0 864852419 373702656 76744 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91236 76744 300 300 0 90936 0
vsize: 364944
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 132934 0 0 0 37714 289 0 0 25 0 1 0 864852419 373702656 76745 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91236 76745 300 300 0 90936 0
vsize: 364944
[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 132947 0 0 0 38715 289 0 0 25 0 1 0 864852419 373702656 76758 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91236 76758 300 300 0 90936 0
vsize: 364944
[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 132948 0 0 0 39715 289 0 0 25 0 1 0 864852419 373702656 76759 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91236 76759 300 300 0 90936 0
vsize: 364944
[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 132950 0 0 0 40715 289 0 0 25 0 1 0 864852419 373702656 76761 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91236 76761 300 300 0 90936 0
vsize: 364944
[startup+420.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 132951 0 0 0 41715 289 0 0 25 0 1 0 864852419 373702656 76762 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91236 76762 300 300 0 90936 0
vsize: 364944
[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 132979 0 0 0 42715 290 0 0 25 0 1 0 864852419 373702656 76790 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91236 76790 300 300 0 90936 0
vsize: 364944
[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 133167 0 0 0 43715 290 0 0 25 0 1 0 864852419 374226944 76849 4294967295 134512640 135726644 3221224592 3221223104 134742198 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91364 76849 300 300 0 91064 0
vsize: 365456
[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 135723 0 0 0 44708 296 0 0 25 0 1 0 864852419 376549376 77173 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91931 77173 300 300 0 91631 0
vsize: 367724
[startup+460.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 136729 0 0 0 45706 299 0 0 25 0 1 0 864852419 379187200 77593 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92575 77593 300 300 0 92275 0
vsize: 370300
[startup+470.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 138069 0 0 0 46703 302 0 0 25 0 1 0 864852419 382971904 78189 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93499 78189 300 300 0 93199 0
vsize: 373996
[startup+480.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 138990 0 0 0 47701 304 0 0 25 0 1 0 864852419 385478656 78621 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94111 78621 300 300 0 93811 0
vsize: 376444
[startup+490.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 139321 0 0 0 48700 305 0 0 25 0 1 0 864852419 386265088 78758 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94303 78758 300 300 0 94003 0
vsize: 377212
[startup+500.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 139322 0 0 0 49700 305 0 0 25 0 1 0 864852419 386265088 78759 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94303 78759 300 300 0 94003 0
vsize: 377212
[startup+510.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 139837 0 0 0 50700 306 0 0 25 0 1 0 864852419 387313664 79017 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94559 79017 300 300 0 94259 0
vsize: 378236
[startup+520.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 140296 0 0 0 51698 307 0 0 25 0 1 0 864852419 388362240 79219 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94815 79219 300 300 0 94515 0
vsize: 379260
[startup+530.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 140370 0 0 0 52698 308 0 0 25 0 1 0 864852419 388624384 79228 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94879 79228 300 300 0 94579 0
vsize: 379516
[startup+540.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 140645 0 0 0 53698 308 0 0 25 0 1 0 864852419 389148672 79374 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95007 79374 300 300 0 94707 0
vsize: 380028
[startup+550.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 141710 0 0 0 54696 311 0 0 25 0 1 0 864852419 391921664 79919 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95684 79919 300 300 0 95384 0
vsize: 382736
[startup+560.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 142111 0 0 0 55695 311 0 0 25 0 1 0 864852419 392839168 80093 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95908 80093 300 300 0 95608 0
vsize: 383632
[startup+570.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 142126 0 0 0 56695 311 0 0 25 0 1 0 864852419 392839168 80108 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95908 80108 300 300 0 95608 0
vsize: 383632
[startup+580.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 142856 0 0 0 57694 313 0 0 25 0 1 0 864852419 394936320 80322 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96420 80322 300 300 0 96120 0
vsize: 385680
[startup+590.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 143094 0 0 0 58694 313 0 0 25 0 1 0 864852419 395460608 80431 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96548 80431 300 300 0 96248 0
vsize: 386192
[startup+600.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 143591 0 0 0 59693 314 0 0 25 0 1 0 864852419 397033472 80542 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96932 80542 300 300 0 96632 0
vsize: 387728
[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 143606 0 0 0 60693 314 0 0 25 0 1 0 864852419 397033472 80557 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96932 80557 300 300 0 96632 0
vsize: 387728
[startup+620.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 143629 0 0 0 61693 314 0 0 25 0 1 0 864852419 397033472 80580 4294967295 134512640 135726644 3221224592 3221223232 134744477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96932 80580 300 300 0 96632 0
vsize: 387728
[startup+630.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 143805 0 0 0 62693 315 0 0 25 0 1 0 864852419 397557760 80627 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97060 80627 300 300 0 96760 0
vsize: 388240
[startup+640.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 143807 0 0 0 63693 315 0 0 25 0 1 0 864852419 397557760 80629 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97060 80629 300 300 0 96760 0
vsize: 388240
[startup+650.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 143808 0 0 0 64693 315 0 0 25 0 1 0 864852419 397557760 80630 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97060 80630 300 300 0 96760 0
vsize: 388240
[startup+660.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 143824 0 0 0 65693 315 0 0 25 0 1 0 864852419 397557760 80646 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97060 80646 300 300 0 96760 0
vsize: 388240
[startup+670.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 143827 0 0 0 66693 316 0 0 25 0 1 0 864852419 397557760 80649 4294967295 134512640 135726644 3221224592 3221223088 134744030 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97060 80649 300 300 0 96760 0
vsize: 388240
[startup+680.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 146171 0 0 0 67687 321 0 0 25 0 1 0 864852419 399142912 80919 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97447 80919 300 300 0 97147 0
vsize: 389788
[startup+690.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 147674 0 0 0 68683 325 0 0 25 0 1 0 864852419 403365888 81610 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98478 81610 300 300 0 98178 0
vsize: 393912
[startup+700.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 148115 0 0 0 69682 326 0 0 25 0 1 0 864852419 404963328 81856 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98868 81856 300 300 0 98568 0
vsize: 395472
[startup+710.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 149078 0 0 0 70680 328 0 0 25 0 1 0 864852419 407879680 82360 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99580 82360 300 300 0 99280 0
vsize: 398320
[startup+720.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 149329 0 0 0 71680 328 0 0 25 0 1 0 864852419 408408064 82546 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99709 82546 300 300 0 99409 0
vsize: 398836
[startup+730.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 149939 0 0 0 72678 330 0 0 25 0 1 0 864852419 409985024 82833 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100094 82833 300 300 0 99794 0
vsize: 400376
[startup+740.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 150336 0 0 0 73678 330 0 0 25 0 1 0 864852419 411033600 82973 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100350 82973 300 300 0 100050 0
vsize: 401400
[startup+750.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 150684 0 0 0 74678 331 0 0 25 0 1 0 864852419 411688960 83158 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100510 83158 300 300 0 100210 0
vsize: 402040
[startup+760.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 150685 0 0 0 75677 331 0 0 25 0 1 0 864852419 411688960 83159 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100510 83159 300 300 0 100210 0
vsize: 402040
[startup+770.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 150687 0 0 0 76678 331 0 0 25 0 1 0 864852419 411688960 83161 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100510 83161 300 300 0 100210 0
vsize: 402040
[startup+780.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 150688 0 0 0 77678 331 0 0 25 0 1 0 864852419 411688960 83162 4294967295 134512640 135726644 3221224592 3221223088 134743889 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100510 83162 300 300 0 100210 0
vsize: 402040
[startup+790.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 150689 0 0 0 78678 331 0 0 25 0 1 0 864852419 411688960 83163 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100510 83163 300 300 0 100210 0
vsize: 402040
[startup+800.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 150702 0 0 0 79678 332 0 0 25 0 1 0 864852419 411926528 83176 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100568 83176 300 300 0 100268 0
vsize: 402272
[startup+810.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 152044 0 0 0 80676 334 0 0 25 0 1 0 864852419 415072256 83742 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101336 83742 300 300 0 101036 0
vsize: 405344
[startup+820.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 152049 0 0 0 81676 334 0 0 25 0 1 0 864852419 415072256 83747 4294967295 134512640 135726644 3221224592 3221223280 134745093 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101336 83747 300 300 0 101036 0
vsize: 405344
[startup+830.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 152167 0 0 0 82676 334 0 0 25 0 1 0 864852419 415604736 83865 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101466 83865 300 300 0 101166 0
vsize: 405864
[startup+840.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 152318 0 0 0 83675 335 0 0 25 0 1 0 864852419 415997952 83918 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101562 83918 300 300 0 101262 0
vsize: 406248
[startup+850.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 152321 0 0 0 84676 335 0 0 25 0 1 0 864852419 415997952 83921 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101562 83921 300 300 0 101262 0
vsize: 406248
[startup+860.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 152327 0 0 0 85676 335 0 0 25 0 1 0 864852419 415997952 83927 4294967295 134512640 135726644 3221224592 3221223264 134745056 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101562 83927 300 300 0 101262 0
vsize: 406248
[startup+870.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 152346 0 0 0 86676 335 0 0 25 0 1 0 864852419 415997952 83946 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101562 83946 300 300 0 101262 0
vsize: 406248
[startup+880.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 152348 0 0 0 87676 335 0 0 25 0 1 0 864852419 415997952 83948 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101562 83948 300 300 0 101262 0
vsize: 406248
[startup+890.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 152348 0 0 0 88676 335 0 0 25 0 1 0 864852419 415997952 83948 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101562 83948 300 300 0 101262 0
vsize: 406248
[startup+900.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 154314 0 0 0 89671 340 0 0 25 0 1 0 864852419 416522240 84004 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101690 84004 300 300 0 101390 0
vsize: 406760
[startup+910.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 154315 0 0 0 90671 341 0 0 25 0 1 0 864852419 416522240 84005 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101690 84005 300 300 0 101390 0
vsize: 406760
[startup+920.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 154660 0 0 0 91670 342 0 0 25 0 1 0 864852419 417443840 84187 4294967295 134512640 135726644 3221224592 3221223088 134744059 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101915 84187 300 300 0 101615 0
vsize: 407660
[startup+930.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 154662 0 0 0 92669 342 0 0 25 0 1 0 864852419 417443840 84189 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101915 84189 300 300 0 101615 0
vsize: 407660
[startup+940.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 154664 0 0 0 93669 342 0 0 25 0 1 0 864852419 417443840 84191 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101915 84191 300 300 0 101615 0
vsize: 407660
[startup+950.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 154692 0 0 0 94669 343 0 0 25 0 1 0 864852419 417443840 84219 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101915 84219 300 300 0 101615 0
vsize: 407660
[startup+960.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 154779 0 0 0 95668 343 0 0 25 0 1 0 864852419 417705984 84241 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101979 84241 300 300 0 101679 0
vsize: 407916
[startup+970.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 155170 0 0 0 96667 344 0 0 25 0 1 0 864852419 418897920 84435 4294967295 134512640 135726644 3221224592 3221223248 134731192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102270 84435 300 300 0 101970 0
vsize: 409080
[startup+980.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 155555 0 0 0 97666 346 0 0 25 0 1 0 864852419 420360192 84689 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102627 84689 300 300 0 102327 0
vsize: 410508
[startup+990.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 155557 0 0 0 98666 346 0 0 25 0 1 0 864852419 420360192 84691 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102627 84691 300 300 0 102327 0
vsize: 410508
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 155559 0 0 0 99667 346 0 0 25 0 1 0 864852419 420360192 84693 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102627 84693 300 300 0 102327 0
vsize: 410508
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 155562 0 0 0 100666 346 0 0 25 0 1 0 864852419 420360192 84696 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102627 84696 300 300 0 102327 0
vsize: 410508
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 155565 0 0 0 101666 346 0 0 25 0 1 0 864852419 420360192 84699 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102627 84699 300 300 0 102327 0
vsize: 410508
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 157348 0 0 0 102662 350 0 0 25 0 1 0 864852419 420360192 84701 4294967295 134512640 135726644 3221224592 3221223216 134779426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102627 84701 300 300 0 102327 0
vsize: 410508
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 157598 0 0 0 103662 351 0 0 25 0 1 0 864852419 420884480 84822 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102755 84822 300 300 0 102455 0
vsize: 411020
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 157615 0 0 0 104663 351 0 0 25 0 1 0 864852419 420884480 84839 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102755 84839 300 300 0 102455 0
vsize: 411020
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 157642 0 0 0 105663 351 0 0 25 0 1 0 864852419 420884480 84866 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102755 84866 300 300 0 102455 0
vsize: 411020
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 157782 0 0 0 106663 352 0 0 25 0 1 0 864852419 421548032 84973 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102917 84973 300 300 0 102617 0
vsize: 411668
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 157782 0 0 0 107663 352 0 0 25 0 1 0 864852419 421548032 84973 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102917 84973 300 300 0 102617 0
vsize: 411668
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 157783 0 0 0 108663 352 0 0 25 0 1 0 864852419 421548032 84974 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102917 84974 300 300 0 102617 0
vsize: 411668
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 157954 0 0 0 109663 352 0 0 25 0 1 0 864852419 422072320 85016 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103045 85016 300 300 0 102745 0
vsize: 412180
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 157981 0 0 0 110663 352 0 0 25 0 1 0 864852419 422072320 85043 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103045 85043 300 300 0 102745 0
vsize: 412180
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 157981 0 0 0 111663 352 0 0 25 0 1 0 864852419 422072320 85043 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103045 85043 300 300 0 102745 0
vsize: 412180
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 158047 0 0 0 112663 352 0 0 25 0 1 0 864852419 422072320 85109 4294967295 134512640 135726644 3221224592 3221223184 134759986 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103045 85109 300 300 0 102745 0
vsize: 412180
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 158048 0 0 0 113663 353 0 0 25 0 1 0 864852419 422072320 85110 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103045 85110 300 300 0 102745 0
vsize: 412180
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 158048 0 0 0 114663 353 0 0 25 0 1 0 864852419 422072320 85110 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103045 85110 300 300 0 102745 0
vsize: 412180
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 158105 0 0 0 115663 353 0 0 25 0 1 0 864852419 422203392 85134 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103077 85134 300 300 0 102777 0
vsize: 412308
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 159887 0 0 0 116658 358 0 0 25 0 1 0 864852419 429498368 86916 4294967295 134512640 135726644 3221224592 3221222728 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104858 86916 300 300 0 104558 0
vsize: 419432
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 159887 0 0 0 117658 358 0 0 25 0 1 0 864852419 422203392 85135 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103077 85135 300 300 0 102777 0
vsize: 412308
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 159887 0 0 0 118658 358 0 0 25 0 1 0 864852419 422203392 85135 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103077 85135 300 300 0 102777 0
vsize: 412308
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 160027 0 0 0 119658 358 0 0 25 0 1 0 864852419 422731776 85210 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103206 85210 300 300 0 102906 0
vsize: 412824
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.13 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 2258
Raw data (stat): 2258 (pb2sat) R 2257 24172 24171 0 -1 0 160027 0 0 0 119658 358 0 0 25 0 1 0 864852419 422731776 85210 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103206 85210 300 300 0 102906 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.13
CPU time (s): 1202.24
CPU user time (s): 1198.49
CPU system time (s): 3.74943
CPU usage (%): 100.009
Max. virtual memory (Kb): 419432
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####