PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-liu.opb
MD5SUM	7c5b217de8d505f751f776306b4ebb3a
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3145687
Optimality of the best value was proved	NO
Number of terms in the objective function	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	2182184958
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	3785.95
Number of variables	3099
Total number of constraints	3267
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1089
Number of constraints which are nor clauses,nor cardinality constraints	2178
Minimum length of a constraint	1
Maximum length of a constraint	63
Trace number 35295

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-28 12:24:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24499 boxname=wulflinc6 idbench=971 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  7c5b217de8d505f751f776306b4ebb3a  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-liu.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-liu.opb
IDLAUNCH: 24499
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        715748 kB
Buffers:         34384 kB
Cached:         261540 kB
SwapCached:        624 kB
Active:          21708 kB
Inactive:       276384 kB
HighTotal:      131008 kB
HighFree:        69412 kB
LowTotal:       903652 kB
LowFree:        646336 kB
SwapTotal:     2097136 kB
SwapFree:      2095604 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5180 kB
Slab:            15112 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:44:15 (client local time) WITH STATUS 0 IN 1201.93 SECONDS
stats: 24499 7 1201.93 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 16598/689654	Time: 481.78/86400
Decision: 16598/689654	Time: 518.653/86400
Decision: 16598/689654	Time: 564.452/86400
Decision: 16598/689654	Time: 606.595/86400
Decision: 16598/689654	Time: 669.084/86400
Decision: 16598/689654	Time: 733.565/86400
Decision: 16598/689654	Time: 780.176/86400
Decision: 16598/689654	Time: 829.579/86400
Decision: 16598/689654	Time: 878.109/86400
Decision: 16598/689654	Time: 938.329/86400
Decision: 16598/689654	Time: 978.642/86400
Decision: 16598/689654	Time: 1025.4/86400
Decision: 16598/689654	Time: 1065.02/86400
Decision: 16598/689654	Time: 1101.77/86400
Decision: 16598/689654	Time: 1146.91/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.90 0.94 0.91 2/54 3551
Raw data (stat): 3551 (runsolver) R 3550 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806556306 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 26570 0 0 0 933 65 0 0 25 0 1 0 806556306 77021184 15413 4294967295 134512640 135726644 3221224592 3221210052 134810085 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18804 15413 300 300 0 18504 0
vsize: 75216
[startup+20.0013 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 53313 0 0 0 1867 131 0 0 25 0 1 0 806556306 152498176 30908 4294967295 134512640 135726644 3221224592 3221211424 134767091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37231 30910 300 300 0 36931 0
vsize: 148924
[startup+30.0022 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 91540 0 0 0 2788 210 0 0 25 0 1 0 806556306 271310848 47428 4294967295 134512640 135726644 3221224592 3221223100 134763817 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66238 47428 300 300 0 65938 0
vsize: 264952
[startup+40.0026 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 93933 0 0 0 3781 218 0 0 25 0 1 0 806556306 271310848 48474 4294967295 134512640 135726644 3221224592 3221222840 135280958 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66238 48474 300 300 0 65938 0
vsize: 264952
[startup+50.0111 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 93935 0 0 0 4781 218 0 0 25 0 1 0 806556306 271310848 48476 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66238 48476 300 300 0 65938 0
vsize: 264952
[startup+60.0109 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 93935 0 0 0 5778 221 0 0 25 0 1 0 806556306 271310848 48476 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66238 48476 300 300 0 65938 0
vsize: 264952
[startup+70.0111 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 94379 0 0 0 6777 223 0 0 25 0 1 0 806556306 273485824 48920 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66769 48920 300 300 0 66469 0
vsize: 267076
[startup+80.0182 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 94938 0 0 0 7776 225 0 0 25 0 1 0 806556306 276135936 49479 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67416 49479 300 300 0 67116 0
vsize: 269664
[startup+90.0184 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 95448 0 0 0 8775 227 0 0 25 0 1 0 806556306 278806528 49989 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68068 49989 300 300 0 67768 0
vsize: 272272
[startup+100.019 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 95805 0 0 0 9774 228 0 0 25 0 1 0 806556306 280608768 50346 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68508 50346 300 300 0 68208 0
vsize: 274032
[startup+110.02 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 96114 0 0 0 10773 229 0 0 25 0 1 0 806556306 282099712 50655 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68872 50655 300 300 0 68572 0
vsize: 275488
[startup+120.021 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 96320 0 0 0 11772 230 0 0 25 0 1 0 806556306 283291648 50861 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69163 50861 300 300 0 68863 0
vsize: 276652
[startup+130.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 96440 0 0 0 12772 231 0 0 25 0 1 0 806556306 283820032 50981 4294967295 134512640 135726644 3221224592 3221223212 134744627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69292 50981 300 300 0 68992 0
vsize: 277168
[startup+140.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 96634 0 0 0 13771 232 0 0 25 0 1 0 806556306 284741632 51175 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69517 51175 300 300 0 69217 0
vsize: 278068
[startup+150.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 96786 0 0 0 14770 233 0 0 25 0 1 0 806556306 285466624 51327 4294967295 134512640 135726644 3221224592 3221223184 134744136 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69694 51327 300 300 0 69394 0
vsize: 278776
[startup+160.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 96921 0 0 0 15770 234 0 0 25 0 1 0 806556306 286191616 51462 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69871 51462 300 300 0 69571 0
vsize: 279484
[startup+170.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 97049 0 0 0 16770 235 0 0 25 0 1 0 806556306 286990336 51590 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70066 51590 300 300 0 69766 0
vsize: 280264
[startup+180.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 97184 0 0 0 17770 235 0 0 25 0 1 0 806556306 287518720 51725 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70195 51725 300 300 0 69895 0
vsize: 280780
[startup+190.032 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 97345 0 0 0 18770 236 0 0 25 0 1 0 806556306 288329728 51886 4294967295 134512640 135726644 3221224592 3221223216 134744557 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70393 51886 300 300 0 70093 0
vsize: 281572
[startup+200.032 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 97377 0 0 0 19770 237 0 0 25 0 1 0 806556306 288464896 51918 4294967295 134512640 135726644 3221224592 3221223088 134744002 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70426 51918 300 300 0 70126 0
vsize: 281704
[startup+210.032 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 97387 0 0 0 20770 237 0 0 25 0 1 0 806556306 288464896 51928 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70426 51928 300 300 0 70126 0
vsize: 281704
[startup+220.042 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 97424 0 0 0 21770 238 0 0 25 0 1 0 806556306 288661504 51965 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70474 51965 300 300 0 70174 0
vsize: 281896
[startup+230.042 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 97503 0 0 0 22770 239 0 0 25 0 1 0 806556306 288993280 52044 4294967295 134512640 135726644 3221224592 3221223236 134744476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70555 52044 300 300 0 70255 0
vsize: 282220
[startup+240.042 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 97669 0 0 0 23769 240 0 0 25 0 1 0 806556306 289943552 52210 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70787 52210 300 300 0 70487 0
vsize: 283148
[startup+250.144 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 97742 0 0 0 24779 241 0 0 25 0 1 0 806556306 290533376 52283 4294967295 134512640 135726644 3221224592 3221223088 134744041 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70931 52283 300 300 0 70631 0
vsize: 283724
[startup+260.145 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 98060 0 0 0 25778 242 0 0 25 0 1 0 806556306 292130816 52601 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 71321 52601 300 300 0 71021 0
vsize: 285284
[startup+270.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 98124 0 0 0 26777 243 0 0 25 0 1 0 806556306 292462592 52665 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 71402 52665 300 300 0 71102 0
vsize: 285608
[startup+280.146 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 98260 0 0 0 27777 244 0 0 25 0 1 0 806556306 293060608 52768 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 71548 52768 300 300 0 71248 0
vsize: 286192
[startup+290.165 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 98384 0 0 0 28778 244 0 0 25 0 1 0 806556306 293650432 52892 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 71692 52892 300 300 0 71392 0
vsize: 286768
[startup+300.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 98444 0 0 0 29778 245 0 0 25 0 1 0 806556306 293920768 52952 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 71758 52952 300 300 0 71458 0
vsize: 287032
[startup+310.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 98514 0 0 0 30778 246 0 0 25 0 1 0 806556306 294313984 53022 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 71854 53022 300 300 0 71554 0
vsize: 287416
[startup+320.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 98658 0 0 0 31777 246 0 0 25 0 1 0 806556306 295174144 53166 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72064 53166 300 300 0 71764 0
vsize: 288256
[startup+330.173 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 98784 0 0 0 32777 247 0 0 25 0 1 0 806556306 295763968 53292 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72208 53292 300 300 0 71908 0
vsize: 288832
[startup+340.181 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 98965 0 0 0 33778 248 0 0 25 0 1 0 806556306 296697856 53473 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72436 53473 300 300 0 72136 0
vsize: 289744
[startup+350.181 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 99018 0 0 0 34778 249 0 0 25 0 1 0 806556306 296968192 53526 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72502 53526 300 300 0 72202 0
vsize: 290008
[startup+360.182 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 99086 0 0 0 35777 250 0 0 25 0 1 0 806556306 297299968 53594 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72583 53594 300 300 0 72283 0
vsize: 290332
[startup+370.183 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 99122 0 0 0 36777 250 0 0 25 0 1 0 806556306 297299968 53630 4294967295 134512640 135726644 3221224592 3221222912 134728909 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72583 53630 300 300 0 72283 0
vsize: 290332
[startup+380.183 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 99251 0 0 0 37776 251 0 0 25 0 1 0 806556306 298098688 53759 4294967295 134512640 135726644 3221224592 3221223256 134745066 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72778 53759 300 300 0 72478 0
vsize: 291112
[startup+390.183 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 99568 0 0 0 38776 252 0 0 25 0 1 0 806556306 299831296 54076 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73201 54076 300 300 0 72901 0
vsize: 292804
[startup+400.188 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 99606 0 0 0 39776 253 0 0 25 0 1 0 806556306 300027904 54114 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73249 54114 300 300 0 72949 0
vsize: 292996
[startup+410.188 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 99784 0 0 0 40776 254 0 0 25 0 1 0 806556306 300761088 54259 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73428 54259 300 300 0 73128 0
vsize: 293712
[startup+420.188 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 99872 0 0 0 41775 255 0 0 25 0 1 0 806556306 301154304 54347 4294967295 134512640 135726644 3221224592 3221223088 134743931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73524 54347 300 300 0 73224 0
vsize: 294096
[startup+430.189 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 99884 0 0 0 42774 255 0 0 25 0 1 0 806556306 301154304 54359 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73524 54359 300 300 0 73224 0
vsize: 294096
[startup+440.189 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 100017 0 0 0 43774 256 0 0 25 0 1 0 806556306 301965312 54492 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73722 54492 300 300 0 73422 0
vsize: 294888
[startup+450.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 100186 0 0 0 44774 257 0 0 25 0 1 0 806556306 303046656 54661 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73986 54661 300 300 0 73686 0
vsize: 295944
[startup+460.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 100241 0 0 0 45773 258 0 0 25 0 1 0 806556306 303316992 54716 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74052 54716 300 300 0 73752 0
vsize: 296208
[startup+470.191 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 100483 0 0 0 46773 259 0 0 25 0 1 0 806556306 304791552 54958 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74412 54958 300 300 0 74112 0
vsize: 297648
[startup+480.191 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 100635 0 0 0 47772 260 0 0 25 0 1 0 806556306 305590272 55110 4294967295 134512640 135726644 3221224592 3221223280 134744858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74607 55110 300 300 0 74307 0
vsize: 298428
[startup+490.191 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 100804 0 0 0 48771 261 0 0 25 0 1 0 806556306 306462720 55279 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74820 55279 300 300 0 74520 0
vsize: 299280
[startup+500.192 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 100807 0 0 0 49771 262 0 0 25 0 1 0 806556306 306462720 55282 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74820 55282 300 300 0 74520 0
vsize: 299280
[startup+510.193 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 102162 0 0 0 50767 266 0 0 25 0 1 0 806556306 306462720 55290 4294967295 134512640 135726644 3221224592 3221223212 134779522 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74820 55290 300 300 0 74520 0
vsize: 299280
[startup+520.193 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 102219 0 0 0 51766 267 0 0 25 0 1 0 806556306 306733056 55347 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74886 55347 300 300 0 74586 0
vsize: 299544
[startup+530.193 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 102256 0 0 0 52766 267 0 0 25 0 1 0 806556306 306868224 55384 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74919 55384 300 300 0 74619 0
vsize: 299676
[startup+540.194 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 102292 0 0 0 53765 268 0 0 25 0 1 0 806556306 307003392 55420 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74952 55420 300 300 0 74652 0
vsize: 299808
[startup+550.194 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 103645 0 0 0 54761 272 0 0 25 0 1 0 806556306 307003392 55426 4294967295 134512640 135726644 3221224592 3221223216 134744526 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74952 55426 300 300 0 74652 0
vsize: 299808
[startup+560.194 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 103651 0 0 0 55761 273 0 0 25 0 1 0 806556306 307003392 55432 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74952 55432 300 300 0 74652 0
vsize: 299808
[startup+570.196 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 103679 0 0 0 56761 274 0 0 25 0 1 0 806556306 307138560 55460 4294967295 134512640 135726644 3221224592 3221223180 134744135 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74985 55460 300 300 0 74685 0
vsize: 299940
[startup+580.197 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 103686 0 0 0 57761 275 0 0 25 0 1 0 806556306 307138560 55467 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74985 55467 300 300 0 74685 0
vsize: 299940
[startup+590.197 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 103701 0 0 0 58760 275 0 0 25 0 1 0 806556306 307138560 55482 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74985 55482 300 300 0 74685 0
vsize: 299940
[startup+600.198 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 105119 0 0 0 59755 279 0 0 25 0 1 0 806556306 307544064 55553 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75084 55553 300 300 0 74784 0
vsize: 300336
[startup+610.199 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 105247 0 0 0 60755 280 0 0 25 0 1 0 806556306 308219904 55681 4294967295 134512640 135726644 3221224592 3221223088 134744314 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75249 55681 300 300 0 74949 0
vsize: 300996
[startup+620.199 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 105282 0 0 0 61754 281 0 0 25 0 1 0 806556306 308355072 55716 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75282 55716 300 300 0 74982 0
vsize: 301128
[startup+630.2 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 105309 0 0 0 62754 281 0 0 25 0 1 0 806556306 308490240 55743 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75315 55743 300 300 0 75015 0
vsize: 301260
[startup+640.2 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 106709 0 0 0 63750 285 0 0 25 0 1 0 806556306 308760576 55796 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75381 55796 300 300 0 75081 0
vsize: 301524
[startup+650.201 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 106710 0 0 0 64749 286 0 0 25 0 1 0 806556306 308760576 55797 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75381 55797 300 300 0 75081 0
vsize: 301524
[startup+660.202 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 106712 0 0 0 65749 287 0 0 25 0 1 0 806556306 308760576 55799 4294967295 134512640 135726644 3221224592 3221223088 134744123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75381 55799 300 300 0 75081 0
vsize: 301524
[startup+670.203 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 106715 0 0 0 66749 288 0 0 25 0 1 0 806556306 308760576 55802 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75381 55802 300 300 0 75081 0
vsize: 301524
[startup+680.204 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 106755 0 0 0 67749 289 0 0 25 0 1 0 806556306 308895744 55842 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75414 55842 300 300 0 75114 0
vsize: 301656
[startup+690.205 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 106810 0 0 0 68748 289 0 0 25 0 1 0 806556306 309166080 55897 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75480 55897 300 300 0 75180 0
vsize: 301920
[startup+700.206 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 108209 0 0 0 69745 293 0 0 25 0 1 0 806556306 309301248 55949 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75513 55949 300 300 0 75213 0
vsize: 302052
[startup+710.207 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 108269 0 0 0 70745 293 0 0 25 0 1 0 806556306 309706752 56009 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75612 56009 300 300 0 75312 0
vsize: 302448
[startup+720.208 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 108271 0 0 0 71745 294 0 0 25 0 1 0 806556306 309706752 56011 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75612 56011 300 300 0 75312 0
vsize: 302448
[startup+730.209 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 108291 0 0 0 72744 295 0 0 25 0 1 0 806556306 309841920 56031 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75645 56031 300 300 0 75345 0
vsize: 302580
[startup+740.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 108347 0 0 0 73744 296 0 0 25 0 1 0 806556306 310112256 56087 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75711 56087 300 300 0 75411 0
vsize: 302844
[startup+750.211 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 108415 0 0 0 74744 296 0 0 25 0 1 0 806556306 310517760 56155 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75810 56155 300 300 0 75510 0
vsize: 303240
[startup+760.213 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 109822 0 0 0 75741 299 0 0 25 0 1 0 806556306 316436480 57562 4294967295 134512640 135726644 3221224592 3221222744 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77255 57562 300 300 0 76955 0
vsize: 309020
[startup+770.214 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 109823 0 0 0 76741 300 0 0 25 0 1 0 806556306 310919168 56216 4294967295 134512640 135726644 3221224592 3221223200 134741173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75908 56216 300 300 0 75608 0
vsize: 303632
[startup+780.215 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 109829 0 0 0 77741 301 0 0 25 0 1 0 806556306 310919168 56222 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75908 56222 300 300 0 75608 0
vsize: 303632
[startup+790.216 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 109832 0 0 0 78741 301 0 0 25 0 1 0 806556306 310919168 56225 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75908 56225 300 300 0 75608 0
vsize: 303632
[startup+800.217 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 109883 0 0 0 79741 302 0 0 25 0 1 0 806556306 311189504 56276 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75974 56276 300 300 0 75674 0
vsize: 303896
[startup+810.217 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 111349 0 0 0 80737 306 0 0 25 0 1 0 806556306 311730176 56395 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76106 56395 300 300 0 75806 0
vsize: 304424
[startup+820.217 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 111408 0 0 0 81736 307 0 0 25 0 1 0 806556306 312000512 56454 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76172 56454 300 300 0 75872 0
vsize: 304688
[startup+830.218 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 111449 0 0 0 82736 307 0 0 25 0 1 0 806556306 312270848 56495 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76238 56495 300 300 0 75938 0
vsize: 304952
[startup+840.217 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 111476 0 0 0 83736 308 0 0 25 0 1 0 806556306 312406016 56522 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76271 56522 300 300 0 75971 0
vsize: 305084
[startup+850.218 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 111544 0 0 0 84735 309 0 0 25 0 1 0 806556306 312811520 56590 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76370 56590 300 300 0 76070 0
vsize: 305480
[startup+860.218 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 112914 0 0 0 85732 312 0 0 25 0 1 0 806556306 312946688 56613 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76403 56613 300 300 0 76103 0
vsize: 305612
[startup+870.217 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 112936 0 0 0 86732 313 0 0 25 0 1 0 806556306 313081856 56635 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76436 56635 300 300 0 76136 0
vsize: 305744
[startup+880.216 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 112939 0 0 0 87732 313 0 0 25 0 1 0 806556306 313081856 56638 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76436 56638 300 300 0 76136 0
vsize: 305744
[startup+890.216 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 112972 0 0 0 88732 314 0 0 25 0 1 0 806556306 313217024 56671 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76469 56671 300 300 0 76169 0
vsize: 305876
[startup+900.216 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 112997 0 0 0 89732 314 0 0 25 0 1 0 806556306 313352192 56696 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76502 56696 300 300 0 76202 0
vsize: 306008
[startup+910.215 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 114350 0 0 0 90729 317 0 0 25 0 1 0 806556306 313352192 56702 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76502 56702 300 300 0 76202 0
vsize: 306008
[startup+920.216 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 114351 0 0 0 91729 318 0 0 25 0 1 0 806556306 313352192 56703 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76502 56703 300 300 0 76202 0
vsize: 306008
[startup+930.215 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 114370 0 0 0 92728 319 0 0 25 0 1 0 806556306 313487360 56722 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76535 56722 300 300 0 76235 0
vsize: 306140
[startup+940.214 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 114372 0 0 0 93728 319 0 0 25 0 1 0 806556306 313487360 56724 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76535 56724 300 300 0 76235 0
vsize: 306140
[startup+950.213 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 114375 0 0 0 94727 320 0 0 25 0 1 0 806556306 313487360 56727 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76535 56727 300 300 0 76235 0
vsize: 306140
[startup+960.213 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 114379 0 0 0 95727 320 0 0 25 0 1 0 806556306 313487360 56731 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76535 56731 300 300 0 76235 0
vsize: 306140
[startup+970.212 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 115805 0 0 0 96723 325 0 0 25 0 1 0 806556306 313892864 56810 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76634 56810 300 300 0 76334 0
vsize: 306536
[startup+980.211 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 115853 0 0 0 97723 325 0 0 25 0 1 0 806556306 314163200 56858 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76700 56858 300 300 0 76400 0
vsize: 306800
[startup+990.212 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 115878 0 0 0 98722 326 0 0 25 0 1 0 806556306 314298368 56883 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76733 56883 300 300 0 76433 0
vsize: 306932
[startup+1000.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 115882 0 0 0 99722 327 0 0 25 0 1 0 806556306 314298368 56887 4294967295 134512640 135726644 3221224592 3221223280 134744964 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76733 56887 300 300 0 76433 0
vsize: 306932
[startup+1010.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 117231 0 0 0 100718 330 0 0 25 0 1 0 806556306 314298368 56889 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76733 56889 300 300 0 76433 0
vsize: 306932
[startup+1020.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 117295 0 0 0 101718 330 0 0 25 0 1 0 806556306 314564608 56953 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76798 56953 300 300 0 76498 0
vsize: 307192
[startup+1030.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 117296 0 0 0 102718 331 0 0 25 0 1 0 806556306 314564608 56954 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76798 56954 300 300 0 76498 0
vsize: 307192
[startup+1040.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 117301 0 0 0 103718 331 0 0 25 0 1 0 806556306 314564608 56959 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76798 56959 300 300 0 76498 0
vsize: 307192
[startup+1050.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 117343 0 0 0 104717 332 0 0 25 0 1 0 806556306 314834944 57001 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76864 57001 300 300 0 76564 0
vsize: 307456
[startup+1060.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 118752 0 0 0 105714 336 0 0 25 0 1 0 806556306 315105280 57063 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76930 57063 300 300 0 76630 0
vsize: 307720
[startup+1070.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 118795 0 0 0 106713 337 0 0 25 0 1 0 806556306 315375616 57106 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76996 57106 300 300 0 76696 0
vsize: 307984
[startup+1080.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 118823 0 0 0 107713 337 0 0 25 0 1 0 806556306 315510784 57134 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77029 57134 300 300 0 76729 0
vsize: 308116
[startup+1090.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 118826 0 0 0 108712 338 0 0 25 0 1 0 806556306 315510784 57137 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77029 57137 300 300 0 76729 0
vsize: 308116
[startup+1100.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 120202 0 0 0 109709 342 0 0 25 0 1 0 806556306 315645952 57166 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77062 57166 300 300 0 76762 0
vsize: 308248
[startup+1110.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 120239 0 0 0 110708 343 0 0 25 0 1 0 806556306 315781120 57203 4294967295 134512640 135726644 3221224592 3221223216 134744661 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77095 57203 300 300 0 76795 0
vsize: 308380
[startup+1120.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 120318 0 0 0 111707 344 0 0 25 0 1 0 806556306 316047360 57249 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77160 57249 300 300 0 76860 0
vsize: 308640
[startup+1130.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 121690 0 0 0 112704 347 0 0 25 0 1 0 806556306 321699840 58621 4294967295 134512640 135726644 3221224592 3221222748 134761854 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78540 58621 300 300 0 78240 0
vsize: 314160
[startup+1140.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 121693 0 0 0 113703 349 0 0 25 0 1 0 806556306 316182528 57277 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77193 57277 300 300 0 76893 0
vsize: 308772
[startup+1150.2 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 121707 0 0 0 114702 350 0 0 25 0 1 0 806556306 316182528 57291 4294967295 134512640 135726644 3221224592 3221223188 134743856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77193 57291 300 300 0 76893 0
vsize: 308772
[startup+1160.2 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 121709 0 0 0 115702 350 0 0 25 0 1 0 806556306 316182528 57293 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77193 57293 300 300 0 76893 0
vsize: 308772
[startup+1170.2 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 121736 0 0 0 116701 351 0 0 25 0 1 0 806556306 316182528 57320 4294967295 134512640 135726644 3221224592 3221223260 134745062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77193 57320 300 300 0 76893 0
vsize: 308772
[startup+1180.2 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 123085 0 0 0 117697 355 0 0 25 0 1 0 806556306 316182528 57322 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77193 57322 300 300 0 76893 0
vsize: 308772
[startup+1190.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 123097 0 0 0 118697 356 0 0 25 0 1 0 806556306 316182528 57334 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77193 57334 300 300 0 76893 0
vsize: 308772
[startup+1200.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3551
Raw data (stat): 3551 (pb2sat) R 3550 25568 25567 0 -1 0 123100 0 0 0 119697 357 0 0 25 0 1 0 806556306 316182528 57337 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77193 57337 300 300 0 76893 0
vsize: 308772
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.59 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 3551
Raw data (stat): 3551 (pb2sat) Z 3550 25568 25567 0 -1 12 123101 0 0 0 119824 368 0 0 24 0 1 0 806556306 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.59
CPU time (s): 1201.93
CPU user time (s): 1198.25
CPU system time (s): 3.68344
CPU usage (%): 100.028
Max. virtual memory (Kb): 314160
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####