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/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d3.opb
MD5SUM	527fb49aa1a9296592f9e28b71f1006f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	802
Optimality of the best value was proved	NO
Number of terms in the objective function	1648
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1648
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1648
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	269.791
Number of variables	1648
Total number of constraints	20302
Number of constraints which are clauses	20302
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 34810

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-28 10:35:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24083 boxname=wulflinc27 idbench=157 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  527fb49aa1a9296592f9e28b71f1006f  /oldhome/oroussel/tmp/wulflinc27/normalized-ii32d3.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc27/normalized-ii32d3.opb
IDLAUNCH: 24083
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        712492 kB
Buffers:         32908 kB
Cached:         258924 kB
SwapCached:        704 kB
Active:          18308 kB
Inactive:       275512 kB
HighTotal:      131008 kB
HighFree:        78624 kB
LowTotal:       903652 kB
LowFree:        633868 kB
SwapTotal:     2097892 kB
SwapFree:      2096316 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5124 kB
Slab:            22676 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 10:55:15 (client local time) WITH STATUS 0 IN 1202.44 SECONDS
stats: 24083 7 1202.44 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s 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.95 0.76 2/54 17280
Raw data (stat): 17280 (runsolver) R 17279 3394 3393 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864118842 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0011 s]
Raw data (loadavg): 0.92 0.95 0.76 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 29331 0 0 0 932 66 0 0 25 0 1 0 864118842 89133056 18427 4294967295 134512640 135726644 3221224592 3220855872 134560377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21761 18427 300 300 0 21461 0
vsize: 87044
[startup+20.0016 s]
Raw data (loadavg): 0.93 0.95 0.76 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 57426 0 0 0 1870 128 0 0 25 0 1 0 864118842 174448640 35570 4294967295 134512640 135726644 3221224592 3220924072 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42590 35571 300 300 0 42290 0
vsize: 170360
[startup+30.0011 s]
Raw data (loadavg): 0.94 0.95 0.76 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 97656 0 0 0 2783 215 0 0 25 0 1 0 864118842 298414080 54124 4294967295 134512640 135726644 3221224592 3220739296 134782642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72855 54124 300 300 0 72555 0
vsize: 291420
[startup+40.0012 s]
Raw data (loadavg): 0.95 0.95 0.76 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 112985 0 0 0 3748 251 0 0 25 0 1 0 864118842 344133632 69234 4294967295 134512640 135726644 3221224592 3221085768 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84017 69234 300 300 0 83717 0
vsize: 336068
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.95 0.77 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 133854 0 0 0 4703 296 0 0 25 0 1 0 864118842 517021696 89830 4294967295 134512640 135726644 3221224592 3221010976 134771928 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 126226 89832 300 300 0 125926 0
vsize: 504904
[startup+60.0025 s]
Raw data (loadavg): 0.96 0.96 0.77 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 193608 0 0 0 5579 421 0 0 25 0 1 0 864118842 594362368 106516 4294967295 134512640 135726644 3221224592 3221098680 135280627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145108 106516 300 300 0 144808 0
vsize: 580432
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.96 0.77 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 204934 0 0 0 6553 446 0 0 25 0 1 0 864118842 627916800 117640 4294967295 134512640 135726644 3221224592 3221221536 134541174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153300 117640 300 300 0 153000 0
vsize: 613200
[startup+80.0035 s]
Raw data (loadavg): 0.97 0.96 0.77 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 213206 0 0 0 7534 464 0 0 25 0 1 0 864118842 651636736 122827 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159091 122827 300 300 0 158791 0
vsize: 636364
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.96 0.77 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 214451 0 0 0 8531 467 0 0 25 0 1 0 864118842 655568896 123464 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160051 123464 300 300 0 159751 0
vsize: 640204
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.78 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 214655 0 0 0 9531 468 0 0 25 0 1 0 864118842 655933440 123635 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160140 123635 300 300 0 159840 0
vsize: 640560
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.78 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 215321 0 0 0 10530 469 0 0 25 0 1 0 864118842 657793024 123914 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160594 123914 300 300 0 160294 0
vsize: 642376
[startup+120.005 s]
Raw data (loadavg): 0.98 0.96 0.78 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 215644 0 0 0 11529 470 0 0 25 0 1 0 864118842 658579456 124043 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160786 124043 300 300 0 160486 0
vsize: 643144
[startup+130.004 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 215983 0 0 0 12528 470 0 0 25 0 1 0 864118842 659365888 124188 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160978 124188 300 300 0 160678 0
vsize: 643912
[startup+140.005 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 216240 0 0 0 13528 471 0 0 25 0 1 0 864118842 660025344 124314 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161139 124314 300 300 0 160839 0
vsize: 644556
[startup+150.006 s]
Raw data (loadavg): 0.99 0.96 0.79 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 217054 0 0 0 14527 472 0 0 25 0 1 0 864118842 662282240 124677 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161690 124677 300 300 0 161390 0
vsize: 646760
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 218064 0 0 0 15525 474 0 0 25 0 1 0 864118842 664846336 125231 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162316 125231 300 300 0 162016 0
vsize: 649264
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 219228 0 0 0 16523 477 0 0 25 0 1 0 864118842 668143616 125794 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163121 125794 300 300 0 162821 0
vsize: 652484
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 219947 0 0 0 17522 478 0 0 25 0 1 0 864118842 670248960 126092 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163635 126092 300 300 0 163335 0
vsize: 654540
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 221296 0 0 0 18520 480 0 0 25 0 1 0 864118842 674070528 126711 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164568 126711 300 300 0 164268 0
vsize: 658272
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 221770 0 0 0 19519 481 0 0 25 0 1 0 864118842 675385344 126926 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164889 126926 300 300 0 164589 0
vsize: 659556
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 222905 0 0 0 20517 483 0 0 25 0 1 0 864118842 678813696 127543 4294967295 134512640 135726644 3221224592 3221223248 134731253 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165726 127543 300 300 0 165426 0
vsize: 662904
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 224857 0 0 0 21513 487 0 0 25 0 1 0 864118842 684077056 128394 4294967295 134512640 135726644 3221224592 3221223088 134744280 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167011 128394 300 300 0 166711 0
vsize: 668044
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 225878 0 0 0 22511 489 0 0 25 0 1 0 864118842 686706688 128832 4294967295 134512640 135726644 3221224592 3221223196 134743852 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167653 128832 300 300 0 167353 0
vsize: 670612
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 225881 0 0 0 23511 490 0 0 25 0 1 0 864118842 686706688 128835 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167653 128835 300 300 0 167353 0
vsize: 670612
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 225882 0 0 0 24511 490 0 0 25 0 1 0 864118842 686706688 128836 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167653 128836 300 300 0 167353 0
vsize: 670612
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 226104 0 0 0 25511 490 0 0 25 0 1 0 864118842 687235072 128960 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167782 128960 300 300 0 167482 0
vsize: 671128
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 227225 0 0 0 26509 492 0 0 25 0 1 0 864118842 690659328 129433 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168618 129433 300 300 0 168318 0
vsize: 674472
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 227915 0 0 0 27508 494 0 0 25 0 1 0 864118842 692232192 129736 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169002 129736 300 300 0 168702 0
vsize: 676008
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 228416 0 0 0 28507 495 0 0 25 0 1 0 864118842 693280768 129979 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169258 129979 300 300 0 168958 0
vsize: 677032
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 228418 0 0 0 29507 495 0 0 25 0 1 0 864118842 693280768 129981 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169258 129981 300 300 0 168958 0
vsize: 677032
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 228448 0 0 0 30507 495 0 0 25 0 1 0 864118842 693280768 130011 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169258 130011 300 300 0 168958 0
vsize: 677032
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 228533 0 0 0 31507 495 0 0 25 0 1 0 864118842 693547008 130096 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169323 130096 300 300 0 169023 0
vsize: 677292
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 228831 0 0 0 32506 496 0 0 25 0 1 0 864118842 694337536 130264 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169516 130264 300 300 0 169216 0
vsize: 678064
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 228834 0 0 0 33506 497 0 0 25 0 1 0 864118842 694337536 130267 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169516 130267 300 300 0 169216 0
vsize: 678064
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 229137 0 0 0 34506 497 0 0 25 0 1 0 864118842 695386112 130312 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169772 130312 300 300 0 169472 0
vsize: 679088
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 229155 0 0 0 35506 497 0 0 25 0 1 0 864118842 695386112 130330 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169772 130330 300 300 0 169472 0
vsize: 679088
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 229375 0 0 0 36506 498 0 0 25 0 1 0 864118842 695914496 130485 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169901 130485 300 300 0 169601 0
vsize: 679604
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 229380 0 0 0 37506 498 0 0 25 0 1 0 864118842 695914496 130490 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169901 130490 300 300 0 169601 0
vsize: 679604
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 229410 0 0 0 38506 498 0 0 25 0 1 0 864118842 695914496 130520 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169901 130520 300 300 0 169601 0
vsize: 679604
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 229596 0 0 0 39506 498 0 0 25 0 1 0 864118842 696438784 130577 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170029 130577 300 300 0 169729 0
vsize: 680116
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 229690 0 0 0 40506 498 0 0 25 0 1 0 864118842 696569856 130638 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170061 130638 300 300 0 169761 0
vsize: 680244
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 229697 0 0 0 41506 499 0 0 25 0 1 0 864118842 696569856 130645 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170061 130645 300 300 0 169761 0
vsize: 680244
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 229698 0 0 0 42506 499 0 0 25 0 1 0 864118842 696569856 130646 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170061 130646 300 300 0 169761 0
vsize: 680244
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 229710 0 0 0 43506 499 0 0 25 0 1 0 864118842 696569856 130658 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170061 130658 300 300 0 169761 0
vsize: 680244
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 229789 0 0 0 44506 499 0 0 25 0 1 0 864118842 696832000 130672 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170125 130672 300 300 0 169825 0
vsize: 680500
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 230135 0 0 0 45506 499 0 0 25 0 1 0 864118842 697618432 130824 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170317 130824 300 300 0 170017 0
vsize: 681268
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 230267 0 0 0 46505 500 0 0 25 0 1 0 864118842 697884672 130923 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170382 130923 300 300 0 170082 0
vsize: 681528
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 230270 0 0 0 47505 500 0 0 25 0 1 0 864118842 697884672 130926 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170382 130926 300 300 0 170082 0
vsize: 681528
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 230272 0 0 0 48505 500 0 0 25 0 1 0 864118842 697884672 130928 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170382 130928 300 300 0 170082 0
vsize: 681528
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 230272 0 0 0 49505 500 0 0 25 0 1 0 864118842 697884672 130928 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170382 130928 300 300 0 170082 0
vsize: 681528
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 230804 0 0 0 50505 501 0 0 25 0 1 0 864118842 699457536 131074 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170766 131074 300 300 0 170466 0
vsize: 683064
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 230806 0 0 0 51505 501 0 0 25 0 1 0 864118842 699457536 131076 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170766 131076 300 300 0 170466 0
vsize: 683064
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 230809 0 0 0 52505 501 0 0 25 0 1 0 864118842 699457536 131079 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170766 131079 300 300 0 170466 0
vsize: 683064
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 230810 0 0 0 53505 501 0 0 25 0 1 0 864118842 699457536 131080 4294967295 134512640 135726644 3221224592 3221223216 134744578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170766 131080 300 300 0 170466 0
vsize: 683064
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 230863 0 0 0 54505 501 0 0 25 0 1 0 864118842 699457536 131133 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170766 131133 300 300 0 170466 0
vsize: 683064
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 230866 0 0 0 55505 501 0 0 25 0 1 0 864118842 699457536 131136 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170766 131136 300 300 0 170466 0
vsize: 683064
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 230868 0 0 0 56506 502 0 0 25 0 1 0 864118842 699457536 131138 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170766 131138 300 300 0 170466 0
vsize: 683064
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 230870 0 0 0 57505 502 0 0 25 0 1 0 864118842 699457536 131140 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170766 131140 300 300 0 170466 0
vsize: 683064
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 230879 0 0 0 58506 502 0 0 25 0 1 0 864118842 699457536 131149 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170766 131149 300 300 0 170466 0
vsize: 683064
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 230883 0 0 0 59506 502 0 0 25 0 1 0 864118842 699457536 131153 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170766 131153 300 300 0 170466 0
vsize: 683064
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 230884 0 0 0 60506 502 0 0 25 0 1 0 864118842 699457536 131154 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170766 131154 300 300 0 170466 0
vsize: 683064
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 230980 0 0 0 61506 502 0 0 25 0 1 0 864118842 699719680 131185 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170830 131185 300 300 0 170530 0
vsize: 683320
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231176 0 0 0 62505 503 0 0 25 0 1 0 864118842 700243968 131252 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170958 131252 300 300 0 170658 0
vsize: 683832
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231182 0 0 0 63505 503 0 0 25 0 1 0 864118842 700383232 131258 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170992 131258 300 300 0 170692 0
vsize: 683968
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231188 0 0 0 64505 503 0 0 25 0 1 0 864118842 700383232 131264 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170992 131264 300 300 0 170692 0
vsize: 683968
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231193 0 0 0 65505 503 0 0 25 0 1 0 864118842 700383232 131269 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170992 131269 300 300 0 170692 0
vsize: 683968
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231194 0 0 0 66506 503 0 0 25 0 1 0 864118842 700383232 131270 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170992 131270 300 300 0 170692 0
vsize: 683968
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231459 0 0 0 67505 504 0 0 25 0 1 0 864118842 701431808 131278 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171248 131278 300 300 0 170948 0
vsize: 684992
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231465 0 0 0 68505 504 0 0 25 0 1 0 864118842 701431808 131284 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171248 131284 300 300 0 170948 0
vsize: 684992
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231467 0 0 0 69504 505 0 0 25 0 1 0 864118842 701431808 131286 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171248 131286 300 300 0 170948 0
vsize: 684992
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231469 0 0 0 70503 505 0 0 25 0 1 0 864118842 701431808 131288 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171248 131288 300 300 0 170948 0
vsize: 684992
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231474 0 0 0 71504 505 0 0 25 0 1 0 864118842 701431808 131293 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171248 131293 300 300 0 170948 0
vsize: 684992
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231476 0 0 0 72504 505 0 0 25 0 1 0 864118842 701431808 131295 4294967295 134512640 135726644 3221224592 3221223088 134744274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171248 131295 300 300 0 170948 0
vsize: 684992
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231480 0 0 0 73504 505 0 0 25 0 1 0 864118842 701431808 131299 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171248 131299 300 300 0 170948 0
vsize: 684992
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231482 0 0 0 74504 505 0 0 25 0 1 0 864118842 701431808 131301 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171248 131301 300 300 0 170948 0
vsize: 684992
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231538 0 0 0 75504 506 0 0 25 0 1 0 864118842 701431808 131357 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171248 131357 300 300 0 170948 0
vsize: 684992
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231538 0 0 0 76504 506 0 0 25 0 1 0 864118842 701431808 131357 4294967295 134512640 135726644 3221224592 3221223184 134759994 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171248 131357 300 300 0 170948 0
vsize: 684992
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231541 0 0 0 77504 506 0 0 25 0 1 0 864118842 701431808 131360 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171248 131360 300 300 0 170948 0
vsize: 684992
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231543 0 0 0 78504 506 0 0 25 0 1 0 864118842 701431808 131362 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171248 131362 300 300 0 170948 0
vsize: 684992
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231548 0 0 0 79505 506 0 0 25 0 1 0 864118842 701431808 131367 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171248 131367 300 300 0 170948 0
vsize: 684992
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231552 0 0 0 80505 506 0 0 25 0 1 0 864118842 701431808 131371 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171248 131371 300 300 0 170948 0
vsize: 684992
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231555 0 0 0 81505 506 0 0 25 0 1 0 864118842 701431808 131374 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171248 131374 300 300 0 170948 0
vsize: 684992
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231560 0 0 0 82505 506 0 0 25 0 1 0 864118842 701571072 131379 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171282 131379 300 300 0 170982 0
vsize: 685128
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231564 0 0 0 83505 506 0 0 25 0 1 0 864118842 701571072 131383 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171282 131383 300 300 0 170982 0
vsize: 685128
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231566 0 0 0 84505 506 0 0 25 0 1 0 864118842 701571072 131385 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171282 131385 300 300 0 170982 0
vsize: 685128
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231567 0 0 0 85505 506 0 0 25 0 1 0 864118842 701571072 131386 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171282 131386 300 300 0 170982 0
vsize: 685128
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231580 0 0 0 86506 506 0 0 25 0 1 0 864118842 701571072 131399 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171282 131399 300 300 0 170982 0
vsize: 685128
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231581 0 0 0 87506 506 0 0 25 0 1 0 864118842 701571072 131400 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171282 131400 300 300 0 170982 0
vsize: 685128
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231583 0 0 0 88506 506 0 0 25 0 1 0 864118842 701571072 131402 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171282 131402 300 300 0 170982 0
vsize: 685128
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231585 0 0 0 89506 506 0 0 25 0 1 0 864118842 701571072 131404 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171282 131404 300 300 0 170982 0
vsize: 685128
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231707 0 0 0 90506 507 0 0 25 0 1 0 864118842 701833216 131461 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171346 131461 300 300 0 171046 0
vsize: 685384
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231713 0 0 0 91506 507 0 0 25 0 1 0 864118842 701833216 131467 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171346 131467 300 300 0 171046 0
vsize: 685384
[startup+930.024 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231725 0 0 0 92506 507 0 0 25 0 1 0 864118842 701833216 131479 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171346 131479 300 300 0 171046 0
vsize: 685384
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231734 0 0 0 93506 507 0 0 25 0 1 0 864118842 701833216 131488 4294967295 134512640 135726644 3221224592 3221223200 134744639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171346 131488 300 300 0 171046 0
vsize: 685384
[startup+950.025 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231932 0 0 0 94506 507 0 0 25 0 1 0 864118842 702357504 131557 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171474 131557 300 300 0 171174 0
vsize: 685896
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231955 0 0 0 95506 508 0 0 25 0 1 0 864118842 702357504 131580 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171474 131580 300 300 0 171174 0
vsize: 685896
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231957 0 0 0 96506 508 0 0 25 0 1 0 864118842 702357504 131582 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171474 131582 300 300 0 171174 0
vsize: 685896
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231959 0 0 0 97506 508 0 0 25 0 1 0 864118842 702357504 131584 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171474 131584 300 300 0 171174 0
vsize: 685896
[startup+990.027 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231966 0 0 0 98506 508 0 0 25 0 1 0 864118842 702504960 131591 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171510 131591 300 300 0 171210 0
vsize: 686040
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231969 0 0 0 99506 508 0 0 25 0 1 0 864118842 702504960 131594 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171510 131594 300 300 0 171210 0
vsize: 686040
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231970 0 0 0 100507 508 0 0 25 0 1 0 864118842 702504960 131595 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171510 131595 300 300 0 171210 0
vsize: 686040
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231972 0 0 0 101507 508 0 0 25 0 1 0 864118842 702504960 131597 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171510 131597 300 300 0 171210 0
vsize: 686040
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231974 0 0 0 102507 508 0 0 25 0 1 0 864118842 702504960 131599 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171510 131599 300 300 0 171210 0
vsize: 686040
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231979 0 0 0 103507 508 0 0 25 0 1 0 864118842 702504960 131604 4294967295 134512640 135726644 3221224592 3221223184 134759982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171510 131604 300 300 0 171210 0
vsize: 686040
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231982 0 0 0 104507 508 0 0 25 0 1 0 864118842 702504960 131607 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171510 131607 300 300 0 171210 0
vsize: 686040
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231986 0 0 0 105507 508 0 0 25 0 1 0 864118842 702504960 131611 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171510 131611 300 300 0 171210 0
vsize: 686040
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231989 0 0 0 106507 508 0 0 25 0 1 0 864118842 702504960 131614 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171510 131614 300 300 0 171210 0
vsize: 686040
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231991 0 0 0 107507 508 0 0 25 0 1 0 864118842 702504960 131616 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171510 131616 300 300 0 171210 0
vsize: 686040
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231993 0 0 0 108508 508 0 0 25 0 1 0 864118842 702504960 131618 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171510 131618 300 300 0 171210 0
vsize: 686040
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231996 0 0 0 109508 509 0 0 25 0 1 0 864118842 702504960 131621 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171510 131621 300 300 0 171210 0
vsize: 686040
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 231998 0 0 0 110508 509 0 0 25 0 1 0 864118842 702504960 131623 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171510 131623 300 300 0 171210 0
vsize: 686040
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 232000 0 0 0 111508 509 0 0 25 0 1 0 864118842 702504960 131625 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171510 131625 300 300 0 171210 0
vsize: 686040
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 232347 0 0 0 112507 509 0 0 25 0 1 0 864118842 703553536 131715 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171766 131715 300 300 0 171466 0
vsize: 687064
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 232349 0 0 0 113508 509 0 0 25 0 1 0 864118842 703553536 131717 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171766 131717 300 300 0 171466 0
vsize: 687064
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 232351 0 0 0 114508 510 0 0 25 0 1 0 864118842 703553536 131719 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171766 131719 300 300 0 171466 0
vsize: 687064
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 232354 0 0 0 115508 510 0 0 25 0 1 0 864118842 703553536 131722 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171766 131722 300 300 0 171466 0
vsize: 687064
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 232770 0 0 0 116507 510 0 0 25 0 1 0 864118842 704655360 131916 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172035 131916 300 300 0 171735 0
vsize: 688140
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 232796 0 0 0 117507 511 0 0 25 0 1 0 864118842 704655360 131942 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172035 131942 300 300 0 171735 0
vsize: 688140
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 232821 0 0 0 118507 511 0 0 25 0 1 0 864118842 704655360 131967 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172035 131967 300 300 0 171735 0
vsize: 688140
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 232822 0 0 0 119507 511 0 0 25 0 1 0 864118842 704655360 131968 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172035 131968 300 300 0 171735 0
vsize: 688140
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.29 s]
Raw data (loadavg): 0.99 0.97 0.90 1/53 17280
Raw data (stat): 17280 (pb2sat) R 17279 3394 3393 0 -1 0 232822 0 0 0 119507 511 0 0 25 0 1 0 864118842 704655360 131968 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172035 131968 300 300 0 171735 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.28
CPU time (s): 1202.44
CPU user time (s): 1197.08
CPU system time (s): 5.36418
CPU usage (%): 100.013
Max. virtual memory (Kb): 688140
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####