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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb
MD5SUM	b95391b071a3986ad670119101f16613
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-43
Optimality of the best value was proved	NO
Number of terms in the objective function	1534
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	1534
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	1534
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	1175.13
Number of variables	1534
Total number of constraints	126082
Number of constraints which are clauses	126082
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	2
Trace number 35026

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-28 11:42:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24277 boxname=wulflinc7 idbench=351 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b95391b071a3986ad670119101f16613  /oldhome/oroussel/tmp/wulflinc7/normalized-frb59-26-3.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc7/normalized-frb59-26-3.opb
IDLAUNCH: 24277
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        750416 kB
Buffers:         35760 kB
Cached:         226824 kB
SwapCached:        644 kB
Active:          25372 kB
Inactive:       239240 kB
HighTotal:      131008 kB
HighFree:        26740 kB
LowTotal:       903652 kB
LowFree:        723676 kB
SwapTotal:     2097136 kB
SwapFree:      2095560 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            13820 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:02:57 (client local time) WITH STATUS 0 IN 1202.48 SECONDS
stats: 24277 7 1202.48 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 529311/1180426	Time: 825.132/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.84 0.94 0.90 2/54 7991
Raw data (stat): 7991 (runsolver) R 7990 24300 24299 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806317876 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.0006 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 29588 0 0 0 930 68 0 0 25 0 1 0 806317876 89456640 18681 4294967295 134512640 135726644 3221224592 3220976448 134766318 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21840 18681 300 300 0 21540 0
vsize: 87360
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 58177 0 0 0 1870 128 0 0 25 0 1 0 806317876 175448064 36312 4294967295 134512640 135726644 3221224592 3221103168 135287437 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42834 36312 300 300 0 42534 0
vsize: 171336
[startup+30.0092 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 98200 0 0 0 2785 213 0 0 25 0 1 0 806317876 331751424 54659 4294967295 134512640 135726644 3221224592 3220973912 135344553 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 80994 54659 300 300 0 80694 0
vsize: 323976
[startup+40.0083 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 113855 0 0 0 3754 244 0 0 25 0 1 0 806317876 345403392 70093 4294967295 134512640 135726644 3221224592 3221214880 134767064 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84327 70093 300 300 0 84027 0
vsize: 337308
[startup+50.0092 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 139431 0 0 0 4700 298 0 0 25 0 1 0 806317876 525996032 95221 4294967295 134512640 135726644 3221224592 3221014976 134771796 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128417 95224 300 300 0 128117 0
vsize: 513668
[startup+60.0085 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 194382 0 0 0 5587 412 0 0 25 0 1 0 806317876 594280448 107276 4294967295 134512640 135726644 3221224592 3221202608 134784489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145088 107277 300 300 0 144788 0
vsize: 580352
[startup+70.0092 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 200680 0 0 0 6568 430 0 0 25 0 1 0 806317876 646725632 113563 4294967295 134512640 135726644 3221224592 3221222916 134765181 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157892 113563 300 300 0 157592 0
vsize: 631568
[startup+80.0102 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 200687 0 0 0 7568 431 0 0 25 0 1 0 806317876 637280256 111264 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 155586 111264 300 300 0 155286 0
vsize: 622344
[startup+90.0097 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 201941 0 0 0 8565 434 0 0 25 0 1 0 806317876 642584576 112193 4294967295 134512640 135726644 3221224592 3221223088 134743875 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156881 112193 300 300 0 156581 0
vsize: 627524
[startup+100.01 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 204000 0 0 0 9561 438 0 0 25 0 1 0 806317876 649986048 113407 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158688 113407 300 300 0 158388 0
vsize: 634752
[startup+110.01 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 205336 0 0 0 10558 441 0 0 25 0 1 0 806317876 654741504 114158 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159849 114158 300 300 0 159549 0
vsize: 639396
[startup+120.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 205344 0 0 0 11559 441 0 0 25 0 1 0 806317876 654741504 114166 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159849 114166 300 300 0 159549 0
vsize: 639396
[startup+130.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 205348 0 0 0 12558 441 0 0 25 0 1 0 806317876 654741504 114170 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159849 114170 300 300 0 159549 0
vsize: 639396
[startup+140.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 207692 0 0 0 13554 446 0 0 25 0 1 0 806317876 661348352 115306 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161462 115306 300 300 0 161162 0
vsize: 645848
[startup+150.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 209188 0 0 0 14551 449 0 0 25 0 1 0 806317876 665567232 115989 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162492 115989 300 300 0 162192 0
vsize: 649968
[startup+160.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 209686 0 0 0 15550 450 0 0 25 0 1 0 806317876 667148288 116228 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162878 116228 300 300 0 162578 0
vsize: 651512
[startup+170.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 213701 0 0 0 16543 457 0 0 25 0 1 0 806317876 679284736 118492 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165841 118492 300 300 0 165541 0
vsize: 663364
[startup+180.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 214413 0 0 0 17543 458 0 0 25 0 1 0 806317876 681390080 118816 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166355 118816 300 300 0 166055 0
vsize: 665420
[startup+190.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 216810 0 0 0 18538 462 0 0 25 0 1 0 806317876 688758784 119855 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168154 119855 300 300 0 167854 0
vsize: 672616
[startup+200.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 218548 0 0 0 19536 465 0 0 25 0 1 0 806317876 694022144 120623 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169439 120623 300 300 0 169139 0
vsize: 677756
[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 218970 0 0 0 20535 466 0 0 25 0 1 0 806317876 695074816 120851 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169696 120851 300 300 0 169396 0
vsize: 678784
[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 220585 0 0 0 21533 468 0 0 25 0 1 0 806317876 699285504 121690 4294967295 134512640 135726644 3221224592 3221223088 134744150 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170724 121690 300 300 0 170424 0
vsize: 682896
[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 222647 0 0 0 22529 473 0 0 25 0 1 0 806317876 704548864 122782 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172009 122782 300 300 0 171709 0
vsize: 688036
[startup+240.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 225965 0 0 0 23521 480 0 0 25 0 1 0 806317876 712970240 124548 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174065 124548 300 300 0 173765 0
vsize: 696260
[startup+250.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 226838 0 0 0 24520 482 0 0 25 0 1 0 806317876 715075584 125033 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174579 125033 300 300 0 174279 0
vsize: 698316
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 228134 0 0 0 25518 484 0 0 25 0 1 0 806317876 718233600 125747 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 175350 125747 300 300 0 175050 0
vsize: 701400
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 229483 0 0 0 26516 486 0 0 25 0 1 0 806317876 721391616 126514 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176121 126514 300 300 0 175821 0
vsize: 704484
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 231240 0 0 0 27512 490 0 0 25 0 1 0 806317876 725602304 127495 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 177149 127495 300 300 0 176849 0
vsize: 708596
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 232105 0 0 0 28510 493 0 0 25 0 1 0 806317876 727707648 127972 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 177663 127972 300 300 0 177363 0
vsize: 710652
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 233018 0 0 0 29508 495 0 0 25 0 1 0 806317876 729812992 128497 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 178177 128497 300 300 0 177877 0
vsize: 712708
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 234425 0 0 0 30505 498 0 0 25 0 1 0 806317876 734015488 129002 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 179203 129002 300 300 0 178903 0
vsize: 716812
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 235072 0 0 0 31505 499 0 0 25 0 1 0 806317876 736116736 129198 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 179716 129198 300 300 0 179416 0
vsize: 718864
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 235149 0 0 0 32505 499 0 0 25 0 1 0 806317876 736116736 129275 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 179716 129275 300 300 0 179416 0
vsize: 718864
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 235614 0 0 0 33504 500 0 0 25 0 1 0 806317876 738234368 129610 4294967295 134512640 135726644 3221224592 3221223088 134744223 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180233 129611 300 300 0 179933 0
vsize: 720932
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 235787 0 0 0 34504 500 0 0 25 0 1 0 806317876 738758656 129654 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180361 129654 300 300 0 180061 0
vsize: 721444
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 235931 0 0 0 35504 500 0 0 25 0 1 0 806317876 739282944 129669 4294967295 134512640 135726644 3221224592 3221223104 135278676 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180489 129669 300 300 0 180189 0
vsize: 721956
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 235934 0 0 0 36504 500 0 0 25 0 1 0 806317876 739282944 129672 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180489 129672 300 300 0 180189 0
vsize: 721956
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 235935 0 0 0 37504 500 0 0 25 0 1 0 806317876 739282944 129673 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180489 129673 300 300 0 180189 0
vsize: 721956
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 235965 0 0 0 38504 500 0 0 25 0 1 0 806317876 739282944 129703 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180489 129703 300 300 0 180189 0
vsize: 721956
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 235967 0 0 0 39504 500 0 0 25 0 1 0 806317876 739282944 129705 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180489 129705 300 300 0 180189 0
vsize: 721956
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 235969 0 0 0 40504 500 0 0 25 0 1 0 806317876 739282944 129707 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180489 129707 300 300 0 180189 0
vsize: 721956
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 235972 0 0 0 41504 501 0 0 25 0 1 0 806317876 739282944 129710 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180489 129710 300 300 0 180189 0
vsize: 721956
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 236146 0 0 0 42504 501 0 0 25 0 1 0 806317876 739950592 129868 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180652 129868 300 300 0 180352 0
vsize: 722608
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 236153 0 0 0 43504 501 0 0 25 0 1 0 806317876 739950592 129875 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180652 129875 300 300 0 180352 0
vsize: 722608
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 236157 0 0 0 44504 501 0 0 25 0 1 0 806317876 739950592 129879 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180652 129879 300 300 0 180352 0
vsize: 722608
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 236161 0 0 0 45504 501 0 0 25 0 1 0 806317876 739950592 129883 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180652 129883 300 300 0 180352 0
vsize: 722608
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 236194 0 0 0 46505 501 0 0 25 0 1 0 806317876 740130816 129916 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180696 129916 300 300 0 180396 0
vsize: 722784
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 236196 0 0 0 47505 502 0 0 25 0 1 0 806317876 740130816 129918 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180696 129918 300 300 0 180396 0
vsize: 722784
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 236489 0 0 0 48504 502 0 0 25 0 1 0 806317876 741191680 130080 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180955 130080 300 300 0 180655 0
vsize: 723820
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 236501 0 0 0 49504 502 0 0 25 0 1 0 806317876 741191680 130092 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180955 130092 300 300 0 180655 0
vsize: 723820
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 236756 0 0 0 50504 503 0 0 25 0 1 0 806317876 741851136 130249 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 181116 130249 300 300 0 180816 0
vsize: 724464
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 236890 0 0 0 51504 503 0 0 25 0 1 0 806317876 742113280 130318 4294967295 134512640 135726644 3221224592 3221223088 134744153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 181180 130318 300 300 0 180880 0
vsize: 724720
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 237563 0 0 0 52502 505 0 0 25 0 1 0 806317876 744218624 130570 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 181694 130570 300 300 0 181394 0
vsize: 726776
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 239408 0 0 0 53499 508 0 0 25 0 1 0 806317876 749486080 131412 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 182980 131412 300 300 0 182680 0
vsize: 731920
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 239442 0 0 0 54499 508 0 0 25 0 1 0 806317876 749486080 131446 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 182980 131446 300 300 0 182680 0
vsize: 731920
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 239737 0 0 0 55498 509 0 0 25 0 1 0 806317876 750534656 131484 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 183236 131484 300 300 0 182936 0
vsize: 732944
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 239978 0 0 0 56498 510 0 0 25 0 1 0 806317876 751607808 131692 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 183498 131692 300 300 0 183198 0
vsize: 733992
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 240088 0 0 0 57498 510 0 0 25 0 1 0 806317876 751874048 131769 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 183563 131769 300 300 0 183263 0
vsize: 734252
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 240248 0 0 0 58498 510 0 0 25 0 1 0 806317876 751874048 131929 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 183563 131929 300 300 0 183263 0
vsize: 734252
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 240249 0 0 0 59498 510 0 0 25 0 1 0 806317876 751874048 131930 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 183563 131930 300 300 0 183263 0
vsize: 734252
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 241577 0 0 0 60495 513 0 0 25 0 1 0 806317876 755974144 132574 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184564 132574 300 300 0 184264 0
vsize: 738256
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 242816 0 0 0 61492 516 0 0 25 0 1 0 806317876 759275520 133193 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 185370 133193 300 300 0 185070 0
vsize: 741480
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 244662 0 0 0 62488 521 0 0 25 0 1 0 806317876 764272640 133938 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 186590 133938 300 300 0 186290 0
vsize: 746360
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 244687 0 0 0 63488 521 0 0 25 0 1 0 806317876 764272640 133963 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 186590 133963 300 300 0 186290 0
vsize: 746360
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 244709 0 0 0 64488 521 0 0 25 0 1 0 806317876 764272640 133985 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 186590 133985 300 300 0 186290 0
vsize: 746360
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 244744 0 0 0 65488 521 0 0 25 0 1 0 806317876 764272640 134020 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 186590 134020 300 300 0 186290 0
vsize: 746360
[startup+670.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 245049 0 0 0 66488 521 0 0 25 0 1 0 806317876 765321216 134068 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 186846 134068 300 300 0 186546 0
vsize: 747384
[startup+680.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 245141 0 0 0 67488 522 0 0 25 0 1 0 806317876 765321216 134160 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 186846 134160 300 300 0 186546 0
vsize: 747384
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 245508 0 0 0 68488 522 0 0 25 0 1 0 806317876 766373888 134300 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187103 134300 300 300 0 186803 0
vsize: 748412
[startup+700.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 245516 0 0 0 69488 522 0 0 25 0 1 0 806317876 766373888 134308 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187103 134308 300 300 0 186803 0
vsize: 748412
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 245519 0 0 0 70488 522 0 0 25 0 1 0 806317876 766373888 134311 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187103 134311 300 300 0 186803 0
vsize: 748412
[startup+720.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 245525 0 0 0 71488 522 0 0 25 0 1 0 806317876 766373888 134317 4294967295 134512640 135726644 3221224592 3221223280 134744864 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187103 134317 300 300 0 186803 0
vsize: 748412
[startup+730.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 245528 0 0 0 72488 522 0 0 25 0 1 0 806317876 766373888 134320 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187103 134320 300 300 0 186803 0
vsize: 748412
[startup+740.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 245533 0 0 0 73489 522 0 0 25 0 1 0 806317876 766373888 134325 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187103 134325 300 300 0 186803 0
vsize: 748412
[startup+750.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 245539 0 0 0 74489 522 0 0 25 0 1 0 806317876 766373888 134331 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187103 134331 300 300 0 186803 0
vsize: 748412
[startup+760.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 245548 0 0 0 75489 522 0 0 25 0 1 0 806317876 766373888 134340 4294967295 134512640 135726644 3221224592 3221222912 134728902 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187103 134340 300 300 0 186803 0
vsize: 748412
[startup+770.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 245643 0 0 0 76489 523 0 0 25 0 1 0 806317876 766640128 134402 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187168 134402 300 300 0 186868 0
vsize: 748672
[startup+780.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 245654 0 0 0 77489 523 0 0 25 0 1 0 806317876 766640128 134413 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187168 134413 300 300 0 186868 0
vsize: 748672
[startup+790.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 245658 0 0 0 78489 523 0 0 25 0 1 0 806317876 766640128 134417 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187168 134417 300 300 0 186868 0
vsize: 748672
[startup+800.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 245663 0 0 0 79489 523 0 0 25 0 1 0 806317876 766640128 134422 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187168 134422 300 300 0 186868 0
vsize: 748672
[startup+810.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 245670 0 0 0 80489 523 0 0 25 0 1 0 806317876 766640128 134429 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187168 134429 300 300 0 186868 0
vsize: 748672
[startup+820.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 245676 0 0 0 81489 523 0 0 25 0 1 0 806317876 766640128 134435 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187168 134435 300 300 0 186868 0
vsize: 748672
[startup+830.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 245684 0 0 0 82489 523 0 0 25 0 1 0 806317876 766640128 134443 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187168 134443 300 300 0 186868 0
vsize: 748672
[startup+840.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 245689 0 0 0 83490 523 0 0 25 0 1 0 806317876 766640128 134448 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187168 134448 300 300 0 186868 0
vsize: 748672
[startup+850.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 245696 0 0 0 84490 523 0 0 25 0 1 0 806317876 766640128 134455 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187168 134455 300 300 0 186868 0
vsize: 748672
[startup+860.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 245701 0 0 0 85490 523 0 0 25 0 1 0 806317876 766640128 134460 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187168 134460 300 300 0 186868 0
vsize: 748672
[startup+870.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 245740 0 0 0 86490 523 0 0 25 0 1 0 806317876 766640128 134499 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187168 134499 300 300 0 186868 0
vsize: 748672
[startup+880.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 245754 0 0 0 87490 523 0 0 25 0 1 0 806317876 766640128 134513 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187168 134513 300 300 0 186868 0
vsize: 748672
[startup+890.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 248061 0 0 0 88484 529 0 0 25 0 1 0 806317876 766640128 134514 4294967295 134512640 135726644 3221224592 3221223216 134779426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 187168 134514 300 300 0 186868 0
vsize: 748672
[startup+900.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 249993 0 0 0 89480 533 0 0 25 0 1 0 806317876 772141056 135486 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 188511 135486 300 300 0 188211 0
vsize: 754044
[startup+910.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 251219 0 0 0 90478 535 0 0 25 0 1 0 806317876 776032256 136095 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 189461 136095 300 300 0 189161 0
vsize: 757844
[startup+920.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 252173 0 0 0 91476 537 0 0 25 0 1 0 806317876 779431936 136692 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 190291 136692 300 300 0 189991 0
vsize: 761164
[startup+930.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 252318 0 0 0 92476 538 0 0 25 0 1 0 806317876 780267520 136837 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 190495 136837 300 300 0 190195 0
vsize: 761980
[startup+940.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 254137 0 0 0 93472 542 0 0 25 0 1 0 806317876 785104896 137733 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 191676 137733 300 300 0 191376 0
vsize: 766704
[startup+950.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 255704 0 0 0 94469 545 0 0 25 0 1 0 806317876 789659648 138487 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192788 138487 300 300 0 192488 0
vsize: 771152
[startup+960.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 257116 0 0 0 95465 549 0 0 25 0 1 0 806317876 793911296 139162 4294967295 134512640 135726644 3221224592 3221223192 134743853 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193826 139162 300 300 0 193526 0
vsize: 775304
[startup+970.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 257664 0 0 0 96464 550 0 0 25 0 1 0 806317876 795762688 139418 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 194278 139418 300 300 0 193978 0
vsize: 777112
[startup+980.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 258546 0 0 0 97463 552 0 0 25 0 1 0 806317876 799039488 139925 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195078 139925 300 300 0 194778 0
vsize: 780312
[startup+990.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 259362 0 0 0 98462 553 0 0 25 0 1 0 806317876 801423360 140349 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195660 140349 300 300 0 195360 0
vsize: 782640
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 259584 0 0 0 99461 554 0 0 25 0 1 0 806317876 801816576 140473 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195756 140473 300 300 0 195456 0
vsize: 783024
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 259585 0 0 0 100461 554 0 0 25 0 1 0 806317876 801816576 140474 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195756 140474 300 300 0 195456 0
vsize: 783024
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7991
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 259733 0 0 0 101461 554 0 0 25 0 1 0 806317876 802340864 140493 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195884 140493 300 300 0 195584 0
vsize: 783536
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 3/56 8026
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 259934 0 0 0 102461 555 0 0 25 0 1 0 806317876 802865152 140565 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196012 140565 300 300 0 195712 0
vsize: 784048
[startup+1040.01 s]
Raw data (loadavg): 1.23 1.02 0.93 2/54 8044
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 259934 0 0 0 103461 555 0 0 25 0 1 0 806317876 802865152 140565 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196012 140565 300 300 0 195712 0
vsize: 784048
[startup+1050.01 s]
Raw data (loadavg): 1.19 1.02 0.93 2/54 8044
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 259948 0 0 0 104461 555 0 0 25 0 1 0 806317876 802865152 140579 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196012 140579 300 300 0 195712 0
vsize: 784048
[startup+1060.01 s]
Raw data (loadavg): 1.16 1.02 0.93 2/54 8044
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 260134 0 0 0 105461 555 0 0 25 0 1 0 806317876 803389440 140636 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196140 140636 300 300 0 195840 0
vsize: 784560
[startup+1070.01 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 8044
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 260649 0 0 0 106460 557 0 0 25 0 1 0 806317876 804712448 140922 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196463 140922 300 300 0 196163 0
vsize: 785852
[startup+1080.01 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 8044
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 261388 0 0 0 107458 559 0 0 25 0 1 0 806317876 806813696 141175 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196976 141175 300 300 0 196676 0
vsize: 787904
[startup+1090.01 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 8044
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 263090 0 0 0 108455 562 0 0 25 0 1 0 806317876 811302912 142032 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198072 142032 300 300 0 197772 0
vsize: 792288
[startup+1100.01 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 8044
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 264241 0 0 0 109452 565 0 0 25 0 1 0 806317876 814596096 142500 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198876 142500 300 300 0 198576 0
vsize: 795504
[startup+1110.01 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 8046
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 265192 0 0 0 110451 567 0 0 25 0 1 0 806317876 817680384 143025 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199629 143025 300 300 0 199329 0
vsize: 798516
[startup+1120.01 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 8046
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 265930 0 0 0 111449 568 0 0 25 0 1 0 806317876 819970048 143412 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200188 143412 300 300 0 199888 0
vsize: 800752
[startup+1130.01 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 8046
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 266292 0 0 0 112448 569 0 0 25 0 1 0 806317876 821022720 143547 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200445 143547 300 300 0 200145 0
vsize: 801780
[startup+1140.01 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 8046
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 266292 0 0 0 113448 569 0 0 25 0 1 0 806317876 821022720 143547 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200445 143547 300 300 0 200145 0
vsize: 801780
[startup+1150.01 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 8046
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 266292 0 0 0 114449 569 0 0 25 0 1 0 806317876 821022720 143547 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200445 143547 300 300 0 200145 0
vsize: 801780
[startup+1160.01 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 8046
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 266293 0 0 0 115449 569 0 0 25 0 1 0 806317876 821022720 143548 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200445 143548 300 300 0 200145 0
vsize: 801780
[startup+1170.01 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 8046
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 266293 0 0 0 116449 569 0 0 25 0 1 0 806317876 821022720 143548 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200445 143548 300 300 0 200145 0
vsize: 801780
[startup+1180.01 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 8046
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 266293 0 0 0 117449 569 0 0 25 0 1 0 806317876 821022720 143548 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200445 143548 300 300 0 200145 0
vsize: 801780
[startup+1190.01 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 8046
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 266293 0 0 0 118449 569 0 0 25 0 1 0 806317876 821022720 143548 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200445 143548 300 300 0 200145 0
vsize: 801780
[startup+1200.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 8046
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 266333 0 0 0 119449 570 0 0 25 0 1 0 806317876 821153792 143555 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200477 143555 300 300 0 200177 0
vsize: 801908
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.3 s]
Raw data (loadavg): 1.01 1.00 0.93 1/53 8046
Raw data (stat): 7991 (pb2sat) R 7990 24300 24299 0 -1 0 266333 0 0 0 119449 570 0 0 25 0 1 0 806317876 821153792 143555 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200477 143555 300 300 0 200177 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.3
CPU time (s): 1202.48
CPU user time (s): 1196.5
CPU system time (s): 5.98609
CPU usage (%): 100.015
Max. virtual memory (Kb): 801908
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####