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/ttp/normalized-circ10_3.opb
MD5SUM	fc17fbe37098e8642918641dd9a84b04
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	350
Optimality of the best value was proved	NO
Number of terms in the objective function	900
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	2500
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	32
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	2500
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.1
Number of variables	2700
Total number of constraints	42620
Number of constraints which are clauses	20220
Number of constraints which are cardinality constraints (but not clauses)	800
Number of constraints which are nor clauses,nor cardinality constraints	21600
Minimum length of a constraint	2
Maximum length of a constraint	36
Trace number 34936

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        707004 kB
Buffers:         33476 kB
Cached:         257292 kB
SwapCached:        340 kB
Active:          23176 kB
Inactive:       279332 kB
HighTotal:      131008 kB
HighFree:       104328 kB
LowTotal:       903652 kB
LowFree:        602676 kB
SwapTotal:     2097136 kB
SwapFree:      2096008 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            19436 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:30:51 (client local time) WITH STATUS 0 IN 1202.29 SECONDS
stats: 24182 7 1202.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 527864/1095327	Time: 748.955/86400
Decision: 527864/1095327	Time: 851.543/86400
Decision: 527864/1095327	Time: 966.197/86400
Decision: 527864/1095327	Time: 1084.86/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.95 0.90 2/54 11330
Raw data (stat): 11330 (runsolver) R 11329 32284 32283 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806109855 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 30163 0 0 0 929 70 0 0 25 0 1 0 806109855 89583616 19024 4294967295 134512640 135726644 3221224592 3221000568 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21871 19024 300 300 0 21571 0
vsize: 87484
[startup+19.9999 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 58929 0 0 0 1867 131 0 0 25 0 1 0 806109855 175845376 36829 4294967295 134512640 135726644 3221224592 3221102016 135284821 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42931 36829 300 300 0 42631 0
vsize: 171724
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 98329 0 0 0 2787 212 0 0 25 0 1 0 806109855 331202560 54560 4294967295 134512640 135726644 3221224592 3221171032 135280405 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80860 54560 300 300 0 80560 0
vsize: 323440
[startup+40.0007 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 113685 0 0 0 3753 245 0 0 25 0 1 0 806109855 344178688 69698 4294967295 134512640 135726644 3221224592 3221221220 135277574 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84028 69698 300 300 0 83728 0
vsize: 336112
[startup+50.0017 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 121693 0 0 0 4732 266 0 0 25 0 1 0 806109855 344178688 77539 4294967295 134512640 135726644 3221224592 3221221684 134851284 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84028 77539 300 300 0 83728 0
vsize: 336112
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 150789 0 0 0 5675 323 0 0 25 0 1 0 806109855 441008128 88105 4294967295 134512640 135726644 3221224592 3221223168 134737974 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107668 88105 300 300 0 107368 0
vsize: 430672
[startup+70.0013 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 152936 0 0 0 6669 328 0 0 25 0 1 0 806109855 441008128 88112 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107668 88112 300 300 0 107368 0
vsize: 430672
[startup+80.0081 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 152938 0 0 0 7670 328 0 0 25 0 1 0 806109855 441008128 88114 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107668 88114 300 300 0 107368 0
vsize: 430672
[startup+90.0083 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 152941 0 0 0 8670 328 0 0 25 0 1 0 806109855 441008128 88117 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107668 88117 300 300 0 107368 0
vsize: 430672
[startup+100.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 152943 0 0 0 9670 328 0 0 25 0 1 0 806109855 441008128 88119 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107668 88119 300 300 0 107368 0
vsize: 430672
[startup+110.017 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 152946 0 0 0 10671 328 0 0 25 0 1 0 806109855 441008128 88122 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107668 88122 300 300 0 107368 0
vsize: 430672
[startup+120.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 152950 0 0 0 11671 328 0 0 25 0 1 0 806109855 441008128 88126 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107668 88126 300 300 0 107368 0
vsize: 430672
[startup+130.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 153424 0 0 0 12670 330 0 0 25 0 1 0 806109855 444166144 88600 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108439 88600 300 300 0 108139 0
vsize: 433756
[startup+140.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 153737 0 0 0 13670 330 0 0 25 0 1 0 806109855 445218816 88784 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108696 88784 300 300 0 108396 0
vsize: 434784
[startup+150.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 153996 0 0 0 14670 330 0 0 25 0 1 0 806109855 446541824 89043 4294967295 134512640 135726644 3221224592 3221223256 134745066 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109019 89043 300 300 0 108719 0
vsize: 436076
[startup+160.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 155366 0 0 0 15668 333 0 0 25 0 1 0 806109855 451026944 89883 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110114 89883 300 300 0 109814 0
vsize: 440456
[startup+170.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 156083 0 0 0 16666 335 0 0 25 0 1 0 806109855 453742592 90372 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110777 90372 300 300 0 110477 0
vsize: 443108
[startup+180.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 157072 0 0 0 17664 337 0 0 25 0 1 0 806109855 456646656 90890 4294967295 134512640 135726644 3221224592 3221223088 134743951 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111486 90890 300 300 0 111186 0
vsize: 445944
[startup+190.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 157766 0 0 0 18663 338 0 0 25 0 1 0 806109855 458907648 91339 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112038 91339 300 300 0 111738 0
vsize: 448152
[startup+200.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 158225 0 0 0 19662 339 0 0 25 0 1 0 806109855 460685312 91700 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112472 91700 300 300 0 112172 0
vsize: 449888
[startup+210.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 159477 0 0 0 20660 342 0 0 25 0 1 0 806109855 464904192 92304 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113502 92304 300 300 0 113202 0
vsize: 454008
[startup+220.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 159804 0 0 0 21659 342 0 0 25 0 1 0 806109855 466755584 92566 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113954 92566 300 300 0 113654 0
vsize: 455816
[startup+230.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 160043 0 0 0 22659 343 0 0 25 0 1 0 806109855 467546112 92676 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114147 92676 300 300 0 113847 0
vsize: 456588
[startup+240.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 160948 0 0 0 23657 345 0 0 25 0 1 0 806109855 470319104 93126 4294967295 134512640 135726644 3221224592 3221223088 134744002 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114824 93126 300 300 0 114524 0
vsize: 459296
[startup+250.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 163175 0 0 0 24653 349 0 0 25 0 1 0 806109855 477265920 94234 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116520 94234 300 300 0 116220 0
vsize: 466080
[startup+260.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 163893 0 0 0 25652 350 0 0 25 0 1 0 806109855 480702464 94788 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117359 94788 300 300 0 117059 0
vsize: 469436
[startup+270.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 164220 0 0 0 26651 351 0 0 25 0 1 0 806109855 481759232 94984 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117617 94984 300 300 0 117317 0
vsize: 470468
[startup+280.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 164577 0 0 0 27651 352 0 0 25 0 1 0 806109855 482549760 95211 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117810 95211 300 300 0 117510 0
vsize: 471240
[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 164670 0 0 0 28650 353 0 0 25 0 1 0 806109855 483078144 95304 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117939 95304 300 300 0 117639 0
vsize: 471756
[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 165110 0 0 0 29649 354 0 0 25 0 1 0 806109855 484806656 95581 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118361 95581 300 300 0 118061 0
vsize: 473444
[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 165258 0 0 0 30649 355 0 0 25 0 1 0 806109855 485478400 95696 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118525 95696 300 300 0 118225 0
vsize: 474100
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 165290 0 0 0 31649 355 0 0 25 0 1 0 806109855 485613568 95728 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118558 95728 300 300 0 118258 0
vsize: 474232
[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 165633 0 0 0 32648 356 0 0 25 0 1 0 806109855 486539264 95941 4294967295 134512640 135726644 3221224592 3221223260 134745062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118784 95941 300 300 0 118484 0
vsize: 475136
[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 165946 0 0 0 33648 356 0 0 25 0 1 0 806109855 487067648 96189 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118913 96189 300 300 0 118613 0
vsize: 475652
[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 166217 0 0 0 34647 357 0 0 25 0 1 0 806109855 487862272 96395 4294967295 134512640 135726644 3221224592 3221222912 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119107 96395 300 300 0 118807 0
vsize: 476428
[startup+360.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 166229 0 0 0 35647 357 0 0 25 0 1 0 806109855 487862272 96407 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119107 96407 300 300 0 118807 0
vsize: 476428
[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 166234 0 0 0 36647 357 0 0 25 0 1 0 806109855 487862272 96412 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119107 96412 300 300 0 118807 0
vsize: 476428
[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 166239 0 0 0 37647 357 0 0 25 0 1 0 806109855 487862272 96417 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119107 96417 300 300 0 118807 0
vsize: 476428
[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 166255 0 0 0 38647 358 0 0 25 0 1 0 806109855 488058880 96433 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119155 96433 300 300 0 118855 0
vsize: 476620
[startup+400.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 166639 0 0 0 39646 358 0 0 25 0 1 0 806109855 489115648 96752 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119413 96752 300 300 0 119113 0
vsize: 477652
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 166968 0 0 0 40645 360 0 0 25 0 1 0 806109855 490303488 96918 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119703 96918 300 300 0 119403 0
vsize: 478812
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 167303 0 0 0 41645 361 0 0 25 0 1 0 806109855 491360256 97123 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119961 97123 300 300 0 119661 0
vsize: 479844
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 167795 0 0 0 42644 362 0 0 25 0 1 0 806109855 493080576 97452 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120381 97452 300 300 0 120081 0
vsize: 481524
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 168141 0 0 0 43643 363 0 0 25 0 1 0 806109855 494133248 97604 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120638 97604 300 300 0 120338 0
vsize: 482552
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 168295 0 0 0 44643 363 0 0 25 0 1 0 806109855 494395392 97693 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120702 97693 300 300 0 120402 0
vsize: 482808
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 168489 0 0 0 45643 363 0 0 25 0 1 0 806109855 494919680 97758 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120830 97758 300 300 0 120530 0
vsize: 483320
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 168813 0 0 0 46642 364 0 0 25 0 1 0 806109855 496107520 97888 4294967295 134512640 135726644 3221224592 3221223216 134744575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 121120 97888 300 300 0 120820 0
vsize: 484480
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 169580 0 0 0 47641 366 0 0 25 0 1 0 806109855 498483200 98201 4294967295 134512640 135726644 3221224592 3221223256 134745066 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 121700 98201 300 300 0 121400 0
vsize: 486800
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 169583 0 0 0 48641 366 0 0 25 0 1 0 806109855 498483200 98204 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 121700 98204 300 300 0 121400 0
vsize: 486800
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 169744 0 0 0 49640 366 0 0 25 0 1 0 806109855 499146752 98300 4294967295 134512640 135726644 3221224592 3221223040 134726865 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 121862 98300 300 300 0 121562 0
vsize: 487448
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 169971 0 0 0 50640 367 0 0 25 0 1 0 806109855 499941376 98462 4294967295 134512640 135726644 3221224592 3221223232 134762117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 122056 98462 300 300 0 121756 0
vsize: 488224
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 170821 0 0 0 51638 369 0 0 25 0 1 0 806109855 502169600 98762 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 122600 98762 300 300 0 122300 0
vsize: 490400
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 171328 0 0 0 52637 371 0 0 25 0 1 0 806109855 503746560 98946 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 122985 98946 300 300 0 122685 0
vsize: 491940
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 171746 0 0 0 53636 371 0 0 25 0 1 0 806109855 505057280 99041 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123305 99041 300 300 0 123005 0
vsize: 493220
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 171921 0 0 0 54636 371 0 0 25 0 1 0 806109855 505581568 99087 4294967295 134512640 135726644 3221224592 3221223216 134744582 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123433 99087 300 300 0 123133 0
vsize: 493732
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 171924 0 0 0 55636 372 0 0 25 0 1 0 806109855 505581568 99090 4294967295 134512640 135726644 3221224592 3221222912 134728909 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123433 99090 300 300 0 123133 0
vsize: 493732
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 172063 0 0 0 56635 373 0 0 25 0 1 0 806109855 505974784 99131 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123529 99131 300 300 0 123229 0
vsize: 494116
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 172105 0 0 0 57635 373 0 0 25 0 1 0 806109855 505974784 99173 4294967295 134512640 135726644 3221224592 3221223088 134744048 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123529 99173 300 300 0 123229 0
vsize: 494116
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 172553 0 0 0 58634 374 0 0 25 0 1 0 806109855 507285504 99298 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123849 99298 300 300 0 123549 0
vsize: 495396
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 172688 0 0 0 59634 375 0 0 25 0 1 0 806109855 507809792 99304 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123977 99304 300 300 0 123677 0
vsize: 495908
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 172697 0 0 0 60634 375 0 0 25 0 1 0 806109855 507809792 99313 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123977 99313 300 300 0 123677 0
vsize: 495908
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 173043 0 0 0 61632 376 0 0 25 0 1 0 806109855 508858368 99401 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124233 99401 300 300 0 123933 0
vsize: 496932
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 173388 0 0 0 62631 378 0 0 25 0 1 0 806109855 509906944 99488 4294967295 134512640 135726644 3221224592 3221223256 134745066 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124489 99488 300 300 0 124189 0
vsize: 497956
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 173797 0 0 0 63631 379 0 0 25 0 1 0 806109855 511217664 99574 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124809 99574 300 300 0 124509 0
vsize: 499236
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 174148 0 0 0 64630 379 0 0 25 0 1 0 806109855 512270336 99731 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125066 99731 300 300 0 124766 0
vsize: 500264
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 174194 0 0 0 65630 379 0 0 25 0 1 0 806109855 512270336 99777 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125066 99777 300 300 0 124766 0
vsize: 500264
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 174237 0 0 0 66630 380 0 0 25 0 1 0 806109855 512270336 99820 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125066 99820 300 300 0 124766 0
vsize: 500264
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 174240 0 0 0 67630 380 0 0 25 0 1 0 806109855 512270336 99823 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125066 99823 300 300 0 124766 0
vsize: 500264
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 174387 0 0 0 68630 380 0 0 25 0 1 0 806109855 512794624 99841 4294967295 134512640 135726644 3221224592 3221223264 134745056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125194 99841 300 300 0 124894 0
vsize: 500776
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 174394 0 0 0 69630 381 0 0 25 0 1 0 806109855 512794624 99848 4294967295 134512640 135726644 3221224592 3221223216 134744626 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125194 99848 300 300 0 124894 0
vsize: 500776
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 174731 0 0 0 70629 381 0 0 25 0 1 0 806109855 513847296 99991 4294967295 134512640 135726644 3221224592 3221223088 134744006 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125451 99991 300 300 0 125151 0
vsize: 501804
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 174900 0 0 0 71629 382 0 0 25 0 1 0 806109855 514240512 100062 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125547 100062 300 300 0 125247 0
vsize: 502188
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 174942 0 0 0 72629 382 0 0 25 0 1 0 806109855 514240512 100104 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125547 100104 300 300 0 125247 0
vsize: 502188
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 175232 0 0 0 73628 383 0 0 25 0 1 0 806109855 515026944 100200 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125739 100200 300 300 0 125439 0
vsize: 502956
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 175448 0 0 0 74628 384 0 0 25 0 1 0 806109855 515420160 100318 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125835 100318 300 300 0 125535 0
vsize: 503340
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 175463 0 0 0 75627 384 0 0 25 0 1 0 806109855 515420160 100333 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125835 100333 300 300 0 125535 0
vsize: 503340
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 176230 0 0 0 76626 386 0 0 25 0 1 0 806109855 517648384 100550 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126379 100550 300 300 0 126079 0
vsize: 505516
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 176233 0 0 0 77625 386 0 0 25 0 1 0 806109855 517648384 100553 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126379 100553 300 300 0 126079 0
vsize: 505516
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 176234 0 0 0 78625 387 0 0 25 0 1 0 806109855 517648384 100554 4294967295 134512640 135726644 3221224592 3221222912 134728861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126379 100554 300 300 0 126079 0
vsize: 505516
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 176235 0 0 0 79625 388 0 0 25 0 1 0 806109855 517648384 100555 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126379 100555 300 300 0 126079 0
vsize: 505516
[startup+810.031 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 178582 0 0 0 80619 393 0 0 25 0 1 0 806109855 518176768 100697 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 126508 100697 300 300 0 126208 0
vsize: 506032
[startup+820.031 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 178590 0 0 0 81618 394 0 0 25 0 1 0 806109855 518176768 100705 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126508 100705 300 300 0 126208 0
vsize: 506032
[startup+830.031 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 178602 0 0 0 82618 394 0 0 25 0 1 0 806109855 518176768 100717 4294967295 134512640 135726644 3221224592 3221223248 134731253 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126508 100717 300 300 0 126208 0
vsize: 506032
[startup+840.032 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 178672 0 0 0 83618 395 0 0 25 0 1 0 806109855 518307840 100754 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126540 100754 300 300 0 126240 0
vsize: 506160
[startup+850.032 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 178720 0 0 0 84617 396 0 0 25 0 1 0 806109855 518307840 100802 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126540 100802 300 300 0 126240 0
vsize: 506160
[startup+860.033 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 178850 0 0 0 85617 396 0 0 25 0 1 0 806109855 518569984 100867 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126604 100867 300 300 0 126304 0
vsize: 506416
[startup+870.032 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 179016 0 0 0 86617 396 0 0 25 0 1 0 806109855 518832128 100968 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126668 100968 300 300 0 126368 0
vsize: 506672
[startup+880.032 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 179016 0 0 0 87617 397 0 0 25 0 1 0 806109855 518832128 100968 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126668 100968 300 300 0 126368 0
vsize: 506672
[startup+890.032 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 179161 0 0 0 88616 397 0 0 25 0 1 0 806109855 519356416 100984 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126796 100984 300 300 0 126496 0
vsize: 507184
[startup+900.033 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 179161 0 0 0 89616 397 0 0 25 0 1 0 806109855 519356416 100984 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126796 100984 300 300 0 126496 0
vsize: 507184
[startup+910.032 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 181302 0 0 0 90611 402 0 0 25 0 1 0 806109855 528121856 103125 4294967295 134512640 135726644 3221224592 3221222752 134765581 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 128936 103125 300 300 0 128636 0
vsize: 515744
[startup+920.033 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 181586 0 0 0 91610 403 0 0 25 0 1 0 806109855 520404992 101011 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 127052 101011 300 300 0 126752 0
vsize: 508208
[startup+930.033 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 181863 0 0 0 92609 404 0 0 25 0 1 0 806109855 521453568 101030 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127308 101030 300 300 0 127008 0
vsize: 509232
[startup+940.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 181863 0 0 0 93609 404 0 0 25 0 1 0 806109855 521453568 101030 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127308 101030 300 300 0 127008 0
vsize: 509232
[startup+950.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 181865 0 0 0 94609 405 0 0 25 0 1 0 806109855 521453568 101032 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127308 101032 300 300 0 127008 0
vsize: 509232
[startup+960.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 181865 0 0 0 95609 405 0 0 25 0 1 0 806109855 521453568 101032 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127308 101032 300 300 0 127008 0
vsize: 509232
[startup+970.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 181867 0 0 0 96609 405 0 0 25 0 1 0 806109855 521453568 101034 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127308 101034 300 300 0 127008 0
vsize: 509232
[startup+980.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 182007 0 0 0 97609 405 0 0 25 0 1 0 806109855 521977856 101045 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127436 101045 300 300 0 127136 0
vsize: 509744
[startup+990.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 182129 0 0 0 98609 405 0 0 25 0 1 0 806109855 522240000 101102 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127500 101102 300 300 0 127200 0
vsize: 510000
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 182266 0 0 0 99609 406 0 0 25 0 1 0 806109855 522764288 101110 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127628 101110 300 300 0 127328 0
vsize: 510512
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 182288 0 0 0 100608 407 0 0 25 0 1 0 806109855 522764288 101132 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127628 101132 300 300 0 127328 0
vsize: 510512
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 182289 0 0 0 101608 407 0 0 25 0 1 0 806109855 522764288 101133 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127628 101133 300 300 0 127328 0
vsize: 510512
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 184429 0 0 0 102603 412 0 0 25 0 1 0 806109855 522764288 101133 4294967295 134512640 135726644 3221224592 3221223196 134744139 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127628 101133 300 300 0 127328 0
vsize: 510512
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 184440 0 0 0 103603 412 0 0 25 0 1 0 806109855 522764288 101144 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127628 101144 300 300 0 127328 0
vsize: 510512
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 184442 0 0 0 104603 412 0 0 25 0 1 0 806109855 522764288 101146 4294967295 134512640 135726644 3221224592 3221223248 134731251 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127628 101146 300 300 0 127328 0
vsize: 510512
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 184448 0 0 0 105603 413 0 0 25 0 1 0 806109855 522764288 101152 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127628 101152 300 300 0 127328 0
vsize: 510512
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 184517 0 0 0 106603 413 0 0 25 0 1 0 806109855 522895360 101188 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127660 101188 300 300 0 127360 0
vsize: 510640
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 184521 0 0 0 107603 413 0 0 25 0 1 0 806109855 522895360 101192 4294967295 134512640 135726644 3221224592 3221223280 134745044 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127660 101192 300 300 0 127360 0
vsize: 510640
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 184562 0 0 0 108602 414 0 0 25 0 1 0 806109855 522895360 101233 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127660 101233 300 300 0 127360 0
vsize: 510640
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 184570 0 0 0 109602 414 0 0 25 0 1 0 806109855 522895360 101241 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127660 101241 300 300 0 127360 0
vsize: 510640
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 184733 0 0 0 110602 414 0 0 25 0 1 0 806109855 523419648 101275 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127788 101275 300 300 0 127488 0
vsize: 511152
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 184735 0 0 0 111602 414 0 0 25 0 1 0 806109855 523419648 101277 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127788 101277 300 300 0 127488 0
vsize: 511152
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 184737 0 0 0 112602 415 0 0 25 0 1 0 806109855 523419648 101279 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127788 101279 300 300 0 127488 0
vsize: 511152
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 184919 0 0 0 113602 415 0 0 25 0 1 0 806109855 523948032 101396 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127917 101396 300 300 0 127617 0
vsize: 511668
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 187059 0 0 0 114596 420 0 0 25 0 1 0 806109855 523948032 101396 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127917 101396 300 300 0 127617 0
vsize: 511668
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 187061 0 0 0 115596 420 0 0 25 0 1 0 806109855 523948032 101398 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127917 101398 300 300 0 127617 0
vsize: 511668
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 187063 0 0 0 116596 421 0 0 25 0 1 0 806109855 523948032 101400 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127917 101400 300 300 0 127617 0
vsize: 511668
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 187064 0 0 0 117596 421 0 0 25 0 1 0 806109855 523948032 101401 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127917 101401 300 300 0 127617 0
vsize: 511668
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 187078 0 0 0 118596 421 0 0 25 0 1 0 806109855 523948032 101415 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127917 101415 300 300 0 127617 0
vsize: 511668
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 187080 0 0 0 119596 421 0 0 25 0 1 0 806109855 523948032 101417 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127917 101417 300 300 0 127617 0
vsize: 511668
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.14 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 11330
Raw data (stat): 11330 (pb2sat) R 11329 32284 32283 0 -1 0 187080 0 0 0 119596 421 0 0 25 0 1 0 806109855 523948032 101417 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127917 101417 300 300 0 127617 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.14
CPU time (s): 1202.29
CPU user time (s): 1197.87
CPU system time (s): 4.41633
CPU usage (%): 100.012
Max. virtual memory (Kb): 515744
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####