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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos14.opb
MD5SUM	6fb73761c5ed36f7f90dfc71d12c98e0
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	10640
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	77389328849976806080512
Number of bits of the sum of numbers in the objective function	77
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	77389328849976806080512
Number of bits of the biggest sum of numbers	77
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1250.35
Number of variables	17840
Total number of constraints	792
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	136
Number of constraints which are nor clauses,nor cardinality constraints	656
Minimum length of a constraint	1
Maximum length of a constraint	150
Trace number 42611

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 12:30:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25821 boxname=wulflinc6 idbench=1121 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6fb73761c5ed36f7f90dfc71d12c98e0  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-neos14.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-neos14.opb
IDLAUNCH: 25821
/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:        638500 kB
Buffers:         33896 kB
Cached:         339416 kB
SwapCached:       1028 kB
Active:          43096 kB
Inactive:       332388 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        638220 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            15068 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 12:50:35 (client local time) WITH STATUS 0 IN 1202.5 SECONDS
stats: 25821 7 1202.5 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 53751/1311807	Time: 92.8399/86400
c Decision: 54161/1311807	Time: 129.834/86400
c Decision: 54396/1311807	Time: 151.146/86400
c Decision: 54592/1311807	Time: 184.221/86400
c Decision: 54804/1311807	Time: 210.601/86400
c Decision: 54804/1311807	Time: 230.116/86400
c Decision: 55128/1311807	Time: 290.888/86400
c Decision: 55147/1311807	Time: 322.391/86400
c Decision: 55147/1311807	Time: 339.271/86400
c Decision: 55147/1311807	Time: 354.669/86400
c Decision: 55170/1311807	Time: 392.215/86400
c Decision: 55959/1311807	Time: 430.675/86400
c Decision: 55969/1311807	Time: 458.527/86400
c Decision: 55969/1311807	Time: 475.861/86400
c Decision: 56129/1311807	Time: 494.822/86400
c Decision: 56142/1311807	Time: 549.089/86400
c Decision: 56144/1311807	Time: 570.783/86400
c Decision: 56144/1311807	Time: 585.213/86400
c Decision: 56277/1311807	Time: 668.323/86400
c Decision: 56277/1311807	Time: 685.989/86400
c Decision: 56321/1311807	Time: 747.67/86400
c Decision: 56321/1311807	Time: 764.114/86400
c Decision: 56321/1311807	Time: 780.627/86400
c Decision: 56354/1311807	Time: 847.075/86400
c Decision: 56454/1311807	Time: 933.26/86400
c Decision: 56493/1311807	Time: 981.559/86400
c Decision: 56520/1311807	Time: 1021.79/86400
c Decision: 56522/1311807	Time: 1048.18/86400
c Decision: 56621/1311807	Time: 1123.53/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 19712
Raw data (stat): 19712 (runsolver) R 19711 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970776369 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.0011 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 23943 0 0 0 943 55 0 0 25 0 1 0 970776369 77914112 13033 4294967295 134512640 135730672 3221224576 3221201200 134785868 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19022 13033 301 301 0 18721 0
vsize: 76088
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 50258 0 0 0 1881 118 0 0 25 0 1 0 970776369 151977984 28107 4294967295 134512640 135730672 3221224576 3221207660 134608058 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37104 28107 301 301 0 36803 0
vsize: 148416
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 88487 0 0 0 2801 198 0 0 25 0 1 0 970776369 266956800 44120 4294967295 134512640 135730672 3221224576 3221211144 135291151 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65175 44120 301 301 0 64874 0
vsize: 260700
[startup+40.0022 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 101464 0 0 0 3771 228 0 0 25 0 1 0 970776369 300781568 56835 4294967295 134512640 135730672 3221224576 3221206944 134546351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73433 56835 301 301 0 73132 0
vsize: 293732
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 139593 0 0 0 4699 300 0 0 25 0 1 0 970776369 421961728 76379 4294967295 134512640 135730672 3221224576 3221207096 135284832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103018 76379 301 301 0 102717 0
vsize: 412072
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 175338 0 0 0 5617 382 0 0 25 0 1 0 970776369 518426624 86290 4294967295 134512640 135730672 3221224576 3221207372 134608058 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126569 86290 301 301 0 126268 0
vsize: 506276
[startup+70.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 181696 0 0 0 6601 397 0 0 25 0 1 0 970776369 528924672 90060 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129132 90060 301 301 0 128831 0
vsize: 516528
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 181970 0 0 0 7600 399 0 0 25 0 1 0 970776369 530034688 90334 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129403 90334 301 301 0 129102 0
vsize: 517612
[startup+90.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 182231 0 0 0 8598 401 0 0 25 0 1 0 970776369 531144704 90595 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129674 90595 301 301 0 129373 0
vsize: 518696
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 182274 0 0 0 9597 403 0 0 25 0 1 0 970776369 531423232 90638 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129742 90638 301 301 0 129441 0
vsize: 518968
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 182306 0 0 0 10596 404 0 0 25 0 1 0 970776369 531562496 90670 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129776 90670 301 301 0 129475 0
vsize: 519104
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 182331 0 0 0 11596 405 0 0 25 0 1 0 970776369 531562496 90695 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129776 90695 301 301 0 129475 0
vsize: 519104
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 182646 0 0 0 12594 407 0 0 25 0 1 0 970776369 532971520 91010 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130120 91010 301 301 0 129819 0
vsize: 520480
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 182856 0 0 0 13593 408 0 0 25 0 1 0 970776369 533856256 91220 4294967295 134512640 135730672 3221224576 3221223232 134734790 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130336 91220 301 301 0 130035 0
vsize: 521344
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 185504 0 0 0 14587 415 0 0 25 0 1 0 970776369 544665600 93868 4294967295 134512640 135730672 3221224576 3221222744 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132975 93868 301 301 0 132674 0
vsize: 531900
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 185527 0 0 0 15586 416 0 0 25 0 1 0 970776369 534167552 91328 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130412 91328 301 301 0 130111 0
vsize: 521648
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 185704 0 0 0 16585 416 0 0 25 0 1 0 970776369 534966272 91505 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130607 91505 301 301 0 130306 0
vsize: 522428
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 186084 0 0 0 17584 418 0 0 25 0 1 0 970776369 536739840 91885 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 131040 91885 301 301 0 130739 0
vsize: 524160
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 188791 0 0 0 18578 424 0 0 25 0 1 0 970776369 548057088 94592 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133803 94592 301 301 0 133502 0
vsize: 535212
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 188935 0 0 0 19577 426 0 0 25 0 1 0 970776369 538247168 92173 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 131408 92173 301 301 0 131107 0
vsize: 525632
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 191540 0 0 0 20572 431 0 0 25 0 1 0 970776369 548909056 94778 4294967295 134512640 135730672 3221224576 3221222732 134765468 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134011 94778 301 301 0 133710 0
vsize: 536044
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 191635 0 0 0 21571 432 0 0 25 0 1 0 970776369 538771456 92310 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 131536 92310 301 301 0 131235 0
vsize: 526144
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 191665 0 0 0 22571 433 0 0 25 0 1 0 970776369 538771456 92340 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 131536 92340 301 301 0 131235 0
vsize: 526144
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 191684 0 0 0 23570 434 0 0 25 0 1 0 970776369 538935296 92359 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 131576 92359 301 301 0 131275 0
vsize: 526304
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 194254 0 0 0 24563 441 0 0 25 0 1 0 970776369 538935296 92366 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 131576 92366 301 301 0 131275 0
vsize: 526304
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 194335 0 0 0 25562 442 0 0 25 0 1 0 970776369 539295744 92447 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 131664 92447 301 301 0 131363 0
vsize: 526656
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 196956 0 0 0 26556 449 0 0 25 0 1 0 970776369 549990400 95068 4294967295 134512640 135730672 3221224576 3221222736 134769172 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134275 95068 301 301 0 133974 0
vsize: 537100
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 197004 0 0 0 27555 450 0 0 25 0 1 0 970776369 539656192 92553 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 131752 92553 301 301 0 131451 0
vsize: 527008
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 199614 0 0 0 28549 456 0 0 25 0 1 0 970776369 539820032 92600 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 131792 92600 301 301 0 131491 0
vsize: 527168
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 199646 0 0 0 29548 458 0 0 25 0 1 0 970776369 539983872 92632 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 131832 92632 301 301 0 131531 0
vsize: 527328
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 199688 0 0 0 30547 459 0 0 25 0 1 0 970776369 540147712 92674 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 131872 92674 301 301 0 131571 0
vsize: 527488
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 199758 0 0 0 31547 460 0 0 25 0 1 0 970776369 540540928 92744 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 131968 92744 301 301 0 131667 0
vsize: 527872
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 199790 0 0 0 32546 461 0 0 25 0 1 0 970776369 540540928 92776 4294967295 134512640 135730672 3221224576 3221223264 134748570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 131968 92776 301 301 0 131667 0
vsize: 527872
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 199843 0 0 0 33545 462 0 0 25 0 1 0 970776369 540811264 92829 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132034 92829 301 301 0 131733 0
vsize: 528136
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 202451 0 0 0 34538 469 0 0 25 0 1 0 970776369 551505920 95437 4294967295 134512640 135730672 3221224576 3221222752 134769202 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134645 95437 301 301 0 134344 0
vsize: 538580
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 202464 0 0 0 35536 471 0 0 25 0 1 0 970776369 541007872 92887 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132082 92887 301 301 0 131781 0
vsize: 528328
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 202540 0 0 0 36536 473 0 0 25 0 1 0 970776369 541442048 92963 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132188 92963 301 301 0 131887 0
vsize: 528752
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 202555 0 0 0 37534 474 0 0 25 0 1 0 970776369 541442048 92978 4294967295 134512640 135730672 3221224576 3221222992 134741573 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132188 92978 301 301 0 131887 0
vsize: 528752
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 205202 0 0 0 38528 481 0 0 25 0 1 0 970776369 541773824 93062 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132269 93062 301 301 0 131968 0
vsize: 529076
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 207811 0 0 0 39521 488 0 0 25 0 1 0 970776369 541970432 93108 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132317 93108 301 301 0 132016 0
vsize: 529268
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 207845 0 0 0 40521 489 0 0 25 0 1 0 970776369 542167040 93142 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132365 93142 301 301 0 132064 0
vsize: 529460
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 210416 0 0 0 41515 495 0 0 25 0 1 0 970776369 542167040 93150 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132365 93150 301 301 0 132064 0
vsize: 529460
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 210525 0 0 0 42515 496 0 0 25 0 1 0 970776369 542560256 93259 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132461 93259 301 301 0 132160 0
vsize: 529844
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 210557 0 0 0 43513 497 0 0 25 0 1 0 970776369 542756864 93291 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132509 93291 301 301 0 132208 0
vsize: 530036
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 213130 0 0 0 44507 504 0 0 25 0 1 0 970776369 542756864 93301 4294967295 134512640 135730672 3221224576 3221223200 134783060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132509 93301 301 301 0 132208 0
vsize: 530036
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 213186 0 0 0 45506 505 0 0 25 0 1 0 970776369 542953472 93357 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132557 93357 301 301 0 132256 0
vsize: 530228
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 213193 0 0 0 46506 506 0 0 25 0 1 0 970776369 542953472 93364 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132557 93364 301 301 0 132256 0
vsize: 530228
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 213238 0 0 0 47505 507 0 0 25 0 1 0 970776369 543088640 93409 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132590 93409 301 301 0 132289 0
vsize: 530360
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 215807 0 0 0 48499 513 0 0 25 0 1 0 970776369 553586688 95978 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 135153 95978 301 301 0 134852 0
vsize: 540612
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 215821 0 0 0 49497 515 0 0 25 0 1 0 970776369 543088640 93429 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132590 93429 301 301 0 132289 0
vsize: 530360
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 215840 0 0 0 50498 516 0 0 25 0 1 0 970776369 543088640 93448 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132590 93448 301 301 0 132289 0
vsize: 530360
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 218410 0 0 0 51491 523 0 0 25 0 1 0 970776369 543088640 93455 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132590 93455 301 301 0 132289 0
vsize: 530360
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 218424 0 0 0 52490 524 0 0 25 0 1 0 970776369 543088640 93469 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132590 93469 301 301 0 132289 0
vsize: 530360
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 220995 0 0 0 53483 531 0 0 25 0 1 0 970776369 543088640 93477 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132590 93477 301 301 0 132289 0
vsize: 530360
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 221011 0 0 0 54482 532 0 0 25 0 1 0 970776369 543088640 93493 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132590 93493 301 301 0 132289 0
vsize: 530360
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 223581 0 0 0 55475 539 0 0 25 0 1 0 970776369 543088640 93500 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132590 93500 301 301 0 132289 0
vsize: 530360
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 223583 0 0 0 56475 541 0 0 25 0 1 0 970776369 543088640 93502 4294967295 134512640 135730672 3221224576 3221223232 134734780 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132590 93502 301 301 0 132289 0
vsize: 530360
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 223599 0 0 0 57474 542 0 0 25 0 1 0 970776369 543088640 93518 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132590 93518 301 301 0 132289 0
vsize: 530360
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 223611 0 0 0 58473 543 0 0 25 0 1 0 970776369 543088640 93530 4294967295 134512640 135730672 3221224576 3221223232 134748670 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132590 93530 301 301 0 132289 0
vsize: 530360
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 223633 0 0 0 59473 543 0 0 25 0 1 0 970776369 543088640 93552 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132590 93552 301 301 0 132289 0
vsize: 530360
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 226200 0 0 0 60467 549 0 0 25 0 1 0 970776369 543088640 93556 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132590 93556 301 301 0 132289 0
vsize: 530360
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 226231 0 0 0 61467 550 0 0 25 0 1 0 970776369 543285248 93587 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132638 93587 301 301 0 132337 0
vsize: 530552
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 228904 0 0 0 62460 557 0 0 25 0 1 0 970776369 554385408 96260 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 135348 96260 301 301 0 135047 0
vsize: 541392
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 228931 0 0 0 63460 558 0 0 25 0 1 0 970776369 543887360 93724 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132785 93724 301 301 0 132484 0
vsize: 531140
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 231572 0 0 0 64453 565 0 0 25 0 1 0 970776369 544157696 93802 4294967295 134512640 135730672 3221224576 3221223200 134748176 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132851 93802 301 301 0 132550 0
vsize: 531404
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 231586 0 0 0 65452 566 0 0 25 0 1 0 970776369 544157696 93816 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132851 93816 301 301 0 132550 0
vsize: 531404
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 231608 0 0 0 66450 569 0 0 25 0 1 0 970776369 544354304 93838 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132899 93838 301 301 0 132598 0
vsize: 531596
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 231621 0 0 0 67449 570 0 0 25 0 1 0 970776369 544354304 93851 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132899 93851 301 301 0 132598 0
vsize: 531596
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 231700 0 0 0 68449 570 0 0 25 0 1 0 970776369 544686080 93930 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132980 93930 301 301 0 132679 0
vsize: 531920
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 231898 0 0 0 69447 572 0 0 25 0 1 0 970776369 545411072 94128 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133157 94128 301 301 0 132856 0
vsize: 532628
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 231913 0 0 0 70447 573 0 0 25 0 1 0 970776369 545411072 94143 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133157 94143 301 301 0 132856 0
vsize: 532628
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 231984 0 0 0 71446 575 0 0 25 0 1 0 970776369 545804288 94214 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133253 94214 301 301 0 132952 0
vsize: 533012
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 234553 0 0 0 72439 581 0 0 25 0 1 0 970776369 545804288 94220 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133253 94220 301 301 0 132952 0
vsize: 533012
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 234590 0 0 0 73438 584 0 0 25 0 1 0 970776369 546000896 94257 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133301 94257 301 301 0 133000 0
vsize: 533204
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 237184 0 0 0 74431 591 0 0 25 0 1 0 970776369 546000896 94288 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133301 94288 301 301 0 133000 0
vsize: 533204
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 237230 0 0 0 75430 592 0 0 25 0 1 0 970776369 546197504 94334 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133349 94334 301 301 0 133048 0
vsize: 533396
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 237356 0 0 0 76429 593 0 0 25 0 1 0 970776369 546799616 94460 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133496 94460 301 301 0 133195 0
vsize: 533984
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 237369 0 0 0 77428 595 0 0 25 0 1 0 970776369 546799616 94473 4294967295 134512640 135730672 3221224576 3221223232 134734842 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133496 94473 301 301 0 133195 0
vsize: 533984
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 237384 0 0 0 78427 596 0 0 25 0 1 0 970776369 546799616 94488 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133496 94488 301 301 0 133195 0
vsize: 533984
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 237489 0 0 0 79426 597 0 0 25 0 1 0 970776369 547340288 94593 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133628 94593 301 301 0 133327 0
vsize: 534512
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 240053 0 0 0 80421 603 0 0 25 0 1 0 970776369 547340288 94594 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133628 94594 301 301 0 133327 0
vsize: 534512
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 240082 0 0 0 81420 604 0 0 25 0 1 0 970776369 547475456 94623 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133661 94623 301 301 0 133360 0
vsize: 534644
[startup+830.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 242647 0 0 0 82413 611 0 0 25 0 1 0 970776369 547475456 94625 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133661 94625 301 301 0 133360 0
vsize: 534644
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 245213 0 0 0 83408 617 0 0 25 0 1 0 970776369 557973504 97191 4294967295 134512640 135730672 3221224576 3221222716 134765468 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136224 97191 301 301 0 135923 0
vsize: 544896
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 245219 0 0 0 84406 619 0 0 25 0 1 0 970776369 547475456 94634 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133661 94634 301 301 0 133360 0
vsize: 534644
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 245220 0 0 0 85407 619 0 0 25 0 1 0 970776369 547475456 94635 4294967295 134512640 135730672 3221224576 3221223200 134748158 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133661 94635 301 301 0 133360 0
vsize: 534644
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 245220 0 0 0 86405 621 0 0 25 0 1 0 970776369 547475456 94635 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133661 94635 301 301 0 133360 0
vsize: 534644
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 245228 0 0 0 87405 622 0 0 25 0 1 0 970776369 547475456 94643 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133661 94643 301 301 0 133360 0
vsize: 534644
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 245274 0 0 0 88404 623 0 0 25 0 1 0 970776369 547672064 94689 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133709 94689 301 301 0 133408 0
vsize: 534836
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 245321 0 0 0 89403 625 0 0 25 0 1 0 970776369 547819520 94736 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133745 94736 301 301 0 133444 0
vsize: 534980
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 247901 0 0 0 90396 632 0 0 25 0 1 0 970776369 547999744 94753 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133789 94753 301 301 0 133488 0
vsize: 535156
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 247943 0 0 0 91395 633 0 0 25 0 1 0 970776369 547999744 94795 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133789 94795 301 301 0 133488 0
vsize: 535156
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 247955 0 0 0 92394 634 0 0 25 0 1 0 970776369 547999744 94807 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133789 94807 301 301 0 133488 0
vsize: 535156
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 247977 0 0 0 93394 635 0 0 25 0 1 0 970776369 548196352 94829 4294967295 134512640 135730672 3221224576 3221223216 134748065 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133837 94829 301 301 0 133536 0
vsize: 535348
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 247991 0 0 0 94392 637 0 0 25 0 1 0 970776369 548196352 94843 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133837 94843 301 301 0 133536 0
vsize: 535348
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 248002 0 0 0 95391 639 0 0 25 0 1 0 970776369 548196352 94854 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133837 94854 301 301 0 133536 0
vsize: 535348
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 248014 0 0 0 96391 639 0 0 25 0 1 0 970776369 548196352 94866 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133837 94866 301 301 0 133536 0
vsize: 535348
[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 248043 0 0 0 97389 641 0 0 25 0 1 0 970776369 548196352 94895 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133837 94895 301 301 0 133536 0
vsize: 535348
[startup+990.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 248077 0 0 0 98389 642 0 0 25 0 1 0 970776369 548392960 94929 4294967295 134512640 135730672 3221224576 3221223088 134745887 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133885 94929 301 301 0 133584 0
vsize: 535540
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 250647 0 0 0 99382 649 0 0 25 0 1 0 970776369 548392960 94936 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133885 94936 301 301 0 133584 0
vsize: 535540
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 250662 0 0 0 100382 650 0 0 25 0 1 0 970776369 548392960 94951 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133885 94951 301 301 0 133584 0
vsize: 535540
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 250694 0 0 0 101381 651 0 0 25 0 1 0 970776369 548392960 94983 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133885 94983 301 301 0 133584 0
vsize: 535540
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 250720 0 0 0 102380 652 0 0 25 0 1 0 970776369 548589568 95009 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133933 95009 301 301 0 133632 0
vsize: 535732
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 253288 0 0 0 103374 659 0 0 25 0 1 0 970776369 548589568 95014 4294967295 134512640 135730672 3221224576 3221223200 134783356 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133933 95014 301 301 0 133632 0
vsize: 535732
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 253332 0 0 0 104373 660 0 0 25 0 1 0 970776369 548724736 95058 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133966 95058 301 301 0 133665 0
vsize: 535864
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 253391 0 0 0 105372 661 0 0 25 0 1 0 970776369 548995072 95117 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134032 95117 301 301 0 133731 0
vsize: 536128
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 253400 0 0 0 106371 663 0 0 25 0 1 0 970776369 548995072 95126 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134032 95126 301 301 0 133731 0
vsize: 536128
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 255971 0 0 0 107364 670 0 0 25 0 1 0 970776369 559493120 97697 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136595 97697 301 301 0 136294 0
vsize: 546380
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 255977 0 0 0 108363 671 0 0 25 0 1 0 970776369 548995072 95140 4294967295 134512640 135730672 3221224576 3221223232 134734856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134032 95140 301 301 0 133731 0
vsize: 536128
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 255995 0 0 0 109362 673 0 0 25 0 1 0 970776369 548995072 95158 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134032 95158 301 301 0 133731 0
vsize: 536128
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 258565 0 0 0 110356 679 0 0 25 0 1 0 970776369 548995072 95165 4294967295 134512640 135730672 3221224576 3221223072 134747950 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134032 95165 301 301 0 133731 0
vsize: 536128
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 258593 0 0 0 111355 680 0 0 25 0 1 0 970776369 549191680 95193 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134080 95193 301 301 0 133779 0
vsize: 536320
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 258618 0 0 0 112355 681 0 0 25 0 1 0 970776369 549191680 95218 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134080 95218 301 301 0 133779 0
vsize: 536320
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 258650 0 0 0 113354 682 0 0 25 0 1 0 970776369 549388288 95250 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134128 95250 301 301 0 133827 0
vsize: 536512
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 258665 0 0 0 114352 684 0 0 25 0 1 0 970776369 549388288 95265 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134128 95265 301 301 0 133827 0
vsize: 536512
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 258723 0 0 0 115351 685 0 0 25 0 1 0 970776369 549584896 95323 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134176 95323 301 301 0 133875 0
vsize: 536704
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 258734 0 0 0 116350 687 0 0 25 0 1 0 970776369 549584896 95334 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134176 95334 301 301 0 133875 0
vsize: 536704
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 258799 0 0 0 117349 688 0 0 25 0 1 0 970776369 549720064 95399 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134209 95399 301 301 0 133908 0
vsize: 536836
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 261364 0 0 0 118343 695 0 0 25 0 1 0 970776369 549720064 95401 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134209 95401 301 301 0 133908 0
vsize: 536836
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 261365 0 0 0 119342 696 0 0 25 0 1 0 970776369 549720064 95402 4294967295 134512640 135730672 3221224576 3221223072 134747930 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134209 95402 301 301 0 133908 0
vsize: 536836
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.15 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 19712
Raw data (stat): 19712 (pb2sat-v2) R 19711 25568 25567 0 -1 0 261365 0 0 0 119342 696 0 0 25 0 1 0 970776369 549720064 95402 4294967295 134512640 135730672 3221224576 3221223072 134747930 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134209 95402 301 301 0 133908 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.15
CPU time (s): 1202.5
CPU user time (s): 1195.34
CPU system time (s): 7.15091
CPU usage (%): 100.029
Max. virtual memory (Kb): 546380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####