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-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet3.opb
MD5SUM	d5b458ca51c84d53d4ddd22dc72bb5f7
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	16410049
Optimality of the best value was proved	NO
Number of terms in the objective function	9830
Biggest coefficient in the objective function	52428800
Number of bits for the biggest coefficient in the objective function	26
Sum of the numbers in the objective function	23652414692
Number of bits of the sum of numbers in the objective function	35
Biggest number in a constraint	52428800
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	23652414692
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.25
Number of variables	9890
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1072
Trace number 42780

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 14:33:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25994 boxname=wulflinc4 idbench=1294 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  d5b458ca51c84d53d4ddd22dc72bb5f7  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-fixnet3.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-fixnet3.opb
IDLAUNCH: 25994
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        784548 kB
Buffers:          5996 kB
Cached:         222192 kB
SwapCached:        904 kB
Active:          27688 kB
Inactive:       202560 kB
HighTotal:      131008 kB
HighFree:        17640 kB
LowTotal:       903652 kB
LowFree:        766908 kB
SwapTotal:     2097136 kB
SwapFree:      2095236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14308 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 14:53:40 (client local time) WITH STATUS 0 IN 1202.29 SECONDS
stats: 25994 7 1202.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 321725/1103684	Time: 162.729/86400
c Decision: 321725/1103684	Time: 193.327/86400
c Decision: 321725/1103684	Time: 223.017/86400
c Decision: 321725/1103684	Time: 247.513/86400
c Decision: 321733/1103684	Time: 296.374/86400
c Decision: 321733/1103684	Time: 323.332/86400
c Decision: 321736/1103684	Time: 354.408/86400
c Decision: 321736/1103684	Time: 375.559/86400
c Decision: 321736/1103684	Time: 396.623/86400
c Decision: 321736/1103684	Time: 413.956/86400
c Decision: 321736/1103684	Time: 440.753/86400
c Decision: 321736/1103684	Time: 462.65/86400
c Decision: 321736/1103684	Time: 482.088/86400
c Decision: 321736/1103684	Time: 502.046/86400
c Decision: 321736/1103684	Time: 528.175/86400
c Decision: 321736/1103684	Time: 556.596/86400
c Decision: 321740/1103684	Time: 593.856/86400
c Decision: 321740/1103684	Time: 611.474/86400
c Decision: 321740/1103684	Time: 630.186/86400
c Decision: 321740/1103684	Time: 647.882/86400
c Decision: 321740/1103684	Time: 675.586/86400
c Decision: 321740/1103684	Time: 722.338/86400
c Decision: 321746/1103684	Time: 768.38/86400
c Decision: 321746/1103684	Time: 791.079/86400
c Decision: 321746/1103684	Time: 811.998/86400
c Decision: 321749/1103684	Time: 850.353/86400
c Decision: 321753/1103684	Time: 883.487/86400
c Decision: 321753/1103684	Time: 900.09/86400
c Decision: 321753/1103684	Time: 922.328/86400
c Decision: 321753/1103684	Time: 943.554/86400
c Decision: 321753/1103684	Time: 965.194/86400
c Decision: 321753/1103684	Time: 989.395/86400
c Decision: 321753/1103684	Time: 1011.09/86400
c Decision: 321753/1103684	Time: 1033.59/86400
c Decision: 321753/1103684	Time: 1053.35/86400
c Decision: 321753/1103684	Time: 1074.14/86400
c Decision: 321753/1103684	Time: 1093.25/86400
c Decision: 321753/1103684	Time: 1110.5/86400
c Decision: 321753/1103684	Time: 1129.65/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.94 0.95 0.90 2/54 28549
Raw data (stat): 28549 (runsolver) R 28548 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971505777 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 24907 0 0 0 943 55 0 0 25 0 1 0 971505777 80371712 13908 4294967295 134512640 135730672 3221224576 3221017120 134786278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19622 13909 301 301 0 19321 0
vsize: 78488
[startup+20.0015 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 51419 0 0 0 1883 115 0 0 25 0 1 0 971505777 154603520 29446 4294967295 134512640 135730672 3221224576 3221030544 134786278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37745 29446 301 301 0 37444 0
vsize: 150980
[startup+30.0031 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 90489 0 0 0 2798 200 0 0 25 0 1 0 971505777 269176832 46820 4294967295 134512640 135730672 3221224576 3220969316 135301647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65717 46820 301 301 0 65416 0
vsize: 262868
[startup+40.0022 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 104475 0 0 0 3768 230 0 0 25 0 1 0 971505777 303812608 60559 4294967295 134512640 135730672 3221224576 3220843168 134546483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74173 60559 301 301 0 73872 0
vsize: 296692
[startup+50.0031 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 145139 0 0 0 4692 306 0 0 25 0 1 0 971505777 500895744 100106 4294967295 134512640 135730672 3221224576 3221172208 134775432 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 122289 100108 301 301 0 121988 0
vsize: 489156
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 177583 0 0 0 5616 381 0 0 25 0 1 0 971505777 535117824 88254 4294967295 134512640 135730672 3221224576 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130644 88254 301 301 0 130343 0
vsize: 522576
[startup+70.0053 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 177589 0 0 0 6615 382 0 0 25 0 1 0 971505777 535117824 88260 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130644 88260 301 301 0 130343 0
vsize: 522576
[startup+80.0057 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 178427 0 0 0 7613 384 0 0 25 0 1 0 971505777 539283456 89065 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 131661 89065 301 301 0 131360 0
vsize: 526644
[startup+90.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 180204 0 0 0 8608 390 0 0 25 0 1 0 971505777 547655680 90670 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133705 90670 301 301 0 133404 0
vsize: 534820
[startup+100.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 181340 0 0 0 9605 393 0 0 25 0 1 0 971505777 553496576 91757 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135131 91757 301 301 0 134830 0
vsize: 540524
[startup+110.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 182503 0 0 0 10602 396 0 0 25 0 1 0 971505777 559169536 92920 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136516 92920 301 301 0 136215 0
vsize: 546064
[startup+120.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 183261 0 0 0 11600 398 0 0 25 0 1 0 971505777 562798592 93612 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137402 93612 301 301 0 137101 0
vsize: 549608
[startup+130.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 183992 0 0 0 12597 401 0 0 25 0 1 0 971505777 566599680 94310 4294967295 134512640 135730672 3221224576 3221223056 134732800 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 138330 94310 301 301 0 138029 0
vsize: 553320
[startup+140.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 184661 0 0 0 13595 403 0 0 25 0 1 0 971505777 570355712 94946 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139247 94946 301 301 0 138946 0
vsize: 556988
[startup+150.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 184947 0 0 0 14594 405 0 0 25 0 1 0 971505777 571891712 95232 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139622 95232 301 301 0 139321 0
vsize: 558488
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 185269 0 0 0 15593 407 0 0 25 0 1 0 971505777 573710336 95554 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 140066 95554 301 301 0 139765 0
vsize: 560264
[startup+170.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 185700 0 0 0 16591 408 0 0 25 0 1 0 971505777 575913984 95919 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 140604 95919 301 301 0 140303 0
vsize: 562416
[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 185725 0 0 0 17591 408 0 0 25 0 1 0 971505777 576049152 95944 4294967295 134512640 135730672 3221224576 3221223188 135284063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 140637 95944 301 301 0 140336 0
vsize: 562548
[startup+190.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 185847 0 0 0 18590 409 0 0 25 0 1 0 971505777 576589824 96066 4294967295 134512640 135730672 3221224576 3221223072 134747584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 140769 96066 301 301 0 140468 0
vsize: 563076
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 186094 0 0 0 19590 410 0 0 25 0 1 0 971505777 577802240 96280 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141065 96280 301 301 0 140764 0
vsize: 564260
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 186405 0 0 0 20589 411 0 0 25 0 1 0 971505777 579141632 96525 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141392 96525 301 301 0 141091 0
vsize: 565568
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 188653 0 0 0 21584 417 0 0 25 0 1 0 971505777 579547136 96617 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141491 96617 301 301 0 141190 0
vsize: 565964
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 188702 0 0 0 22582 418 0 0 25 0 1 0 971505777 579817472 96666 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141557 96666 301 301 0 141256 0
vsize: 566228
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 188794 0 0 0 23581 418 0 0 25 0 1 0 971505777 580358144 96758 4294967295 134512640 135730672 3221224576 3221223200 134748101 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141689 96758 301 301 0 141388 0
vsize: 566756
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 190990 0 0 0 24576 424 0 0 25 0 1 0 971505777 580628480 96798 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141755 96798 301 301 0 141454 0
vsize: 567020
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 191069 0 0 0 25575 425 0 0 25 0 1 0 971505777 581033984 96877 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141854 96877 301 301 0 141553 0
vsize: 567416
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 191097 0 0 0 26575 426 0 0 25 0 1 0 971505777 581169152 96905 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141887 96905 301 301 0 141586 0
vsize: 567548
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 193266 0 0 0 27569 432 0 0 25 0 1 0 971505777 581169152 96918 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141887 96918 301 301 0 141586 0
vsize: 567548
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 193409 0 0 0 28567 433 0 0 25 0 1 0 971505777 581980160 97061 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142085 97061 301 301 0 141784 0
vsize: 568340
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 193546 0 0 0 29567 434 0 0 25 0 1 0 971505777 582926336 97198 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142316 97198 301 301 0 142015 0
vsize: 569264
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 195845 0 0 0 30561 440 0 0 25 0 1 0 971505777 583323648 97275 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142413 97275 301 301 0 142112 0
vsize: 569652
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 196253 0 0 0 31560 441 0 0 25 0 1 0 971505777 585056256 97551 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142836 97551 301 301 0 142535 0
vsize: 571344
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 196506 0 0 0 32559 442 0 0 25 0 1 0 971505777 586129408 97738 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143098 97738 301 301 0 142797 0
vsize: 572392
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 196512 0 0 0 33558 443 0 0 25 0 1 0 971505777 586129408 97744 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143098 97744 301 301 0 142797 0
vsize: 572392
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 198676 0 0 0 34554 448 0 0 25 0 1 0 971505777 594960384 99908 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145254 99908 301 301 0 144953 0
vsize: 581016
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 198728 0 0 0 35553 449 0 0 25 0 1 0 971505777 586260480 97771 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143130 97771 301 301 0 142829 0
vsize: 572520
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 198736 0 0 0 36552 449 0 0 25 0 1 0 971505777 586260480 97779 4294967295 134512640 135730672 3221224576 3221223196 134748215 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143130 97779 301 301 0 142829 0
vsize: 572520
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 200893 0 0 0 37548 454 0 0 25 0 1 0 971505777 586260480 97780 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143130 97780 301 301 0 142829 0
vsize: 572520
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 200975 0 0 0 38547 455 0 0 25 0 1 0 971505777 586661888 97829 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143228 97829 301 301 0 142927 0
vsize: 572912
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 201002 0 0 0 39547 456 0 0 25 0 1 0 971505777 586797056 97856 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143261 97856 301 301 0 142960 0
vsize: 573044
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 203164 0 0 0 40541 462 0 0 25 0 1 0 971505777 586797056 97862 4294967295 134512640 135730672 3221224576 3221222992 134741728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143261 97862 301 301 0 142960 0
vsize: 573044
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 203182 0 0 0 41540 463 0 0 25 0 1 0 971505777 586797056 97880 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143261 97880 301 301 0 142960 0
vsize: 573044
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 205345 0 0 0 42535 468 0 0 25 0 1 0 971505777 595628032 100043 4294967295 134512640 135730672 3221224576 3221222736 134769202 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145417 100043 301 301 0 145116 0
vsize: 581668
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 205396 0 0 0 43533 470 0 0 25 0 1 0 971505777 586928128 97905 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143293 97905 301 301 0 142992 0
vsize: 573172
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 207564 0 0 0 44528 475 0 0 25 0 1 0 971505777 595759104 100073 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145449 100073 301 301 0 145148 0
vsize: 581796
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 207595 0 0 0 45527 476 0 0 25 0 1 0 971505777 587063296 97948 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143326 97948 301 301 0 143025 0
vsize: 573304
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 209756 0 0 0 46522 482 0 0 25 0 1 0 971505777 587063296 97953 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143326 97953 301 301 0 143025 0
vsize: 573304
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 209818 0 0 0 47520 483 0 0 25 0 1 0 971505777 587333632 98015 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143392 98015 301 301 0 143091 0
vsize: 573568
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 209859 0 0 0 48520 484 0 0 25 0 1 0 971505777 587333632 98056 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143392 98056 301 301 0 143091 0
vsize: 573568
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 212027 0 0 0 49514 490 0 0 25 0 1 0 971505777 587333632 98068 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143392 98068 301 301 0 143091 0
vsize: 573568
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 212095 0 0 0 50514 491 0 0 25 0 1 0 971505777 587464704 98103 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143424 98103 301 301 0 143123 0
vsize: 573696
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 214270 0 0 0 51509 496 0 0 25 0 1 0 971505777 587464704 98122 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143424 98122 301 301 0 143123 0
vsize: 573696
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 214316 0 0 0 52508 496 0 0 25 0 1 0 971505777 587599872 98168 4294967295 134512640 135730672 3221224576 3221223180 134747727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143457 98168 301 301 0 143156 0
vsize: 573828
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 216488 0 0 0 53503 502 0 0 25 0 1 0 971505777 587599872 98184 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143457 98184 301 301 0 143156 0
vsize: 573828
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 216510 0 0 0 54502 503 0 0 25 0 1 0 971505777 587599872 98206 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143457 98206 301 301 0 143156 0
vsize: 573828
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 218681 0 0 0 55497 508 0 0 25 0 1 0 971505777 587599872 98221 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143457 98221 301 301 0 143156 0
vsize: 573828
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 218771 0 0 0 56497 509 0 0 25 0 1 0 971505777 588140544 98311 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143589 98311 301 301 0 143288 0
vsize: 574356
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 218786 0 0 0 57496 509 0 0 25 0 1 0 971505777 588140544 98326 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143589 98326 301 301 0 143288 0
vsize: 574356
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 221031 0 0 0 58490 516 0 0 25 0 1 0 971505777 588406784 98382 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143654 98382 301 301 0 143353 0
vsize: 574616
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 221040 0 0 0 59490 516 0 0 25 0 1 0 971505777 588406784 98391 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143654 98391 301 301 0 143353 0
vsize: 574616
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 223199 0 0 0 60485 521 0 0 25 0 1 0 971505777 588406784 98394 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143654 98394 301 301 0 143353 0
vsize: 574616
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 223302 0 0 0 61483 523 0 0 25 0 1 0 971505777 588668928 98431 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143718 98431 301 301 0 143417 0
vsize: 574872
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 223350 0 0 0 62484 523 0 0 25 0 1 0 971505777 588800000 98446 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143750 98446 301 301 0 143449 0
vsize: 575000
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 223356 0 0 0 63483 524 0 0 25 0 1 0 971505777 588800000 98452 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143750 98452 301 301 0 143449 0
vsize: 575000
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 225515 0 0 0 64477 530 0 0 25 0 1 0 971505777 588800000 98455 4294967295 134512640 135730672 3221224576 3221223200 134748126 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143750 98455 301 301 0 143449 0
vsize: 575000
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 225527 0 0 0 65476 531 0 0 25 0 1 0 971505777 588800000 98467 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143750 98467 301 301 0 143449 0
vsize: 575000
[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 227689 0 0 0 66471 537 0 0 25 0 1 0 971505777 588800000 98473 4294967295 134512640 135730672 3221224576 3221223232 134734837 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143750 98473 301 301 0 143449 0
vsize: 575000
[startup+680.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 227698 0 0 0 67470 538 0 0 25 0 1 0 971505777 588800000 98482 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143750 98482 301 301 0 143449 0
vsize: 575000
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 229859 0 0 0 68464 544 0 0 25 0 1 0 971505777 588800000 98487 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143750 98487 301 301 0 143449 0
vsize: 575000
[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 229868 0 0 0 69463 545 0 0 25 0 1 0 971505777 588800000 98496 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143750 98496 301 301 0 143449 0
vsize: 575000
[startup+710.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 232030 0 0 0 70457 551 0 0 25 0 1 0 971505777 588800000 98502 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143750 98502 301 301 0 143449 0
vsize: 575000
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 232047 0 0 0 71457 552 0 0 25 0 1 0 971505777 588800000 98519 4294967295 134512640 135730672 3221224576 3221223184 134744841 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143750 98519 301 301 0 143449 0
vsize: 575000
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 234443 0 0 0 72451 557 0 0 25 0 1 0 971505777 589459456 98660 4294967295 134512640 135730672 3221224576 3221223200 134783317 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143911 98660 301 301 0 143610 0
vsize: 575644
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 234574 0 0 0 73451 558 0 0 25 0 1 0 971505777 589996032 98791 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144042 98791 301 301 0 143741 0
vsize: 576168
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 235051 0 0 0 74450 559 0 0 25 0 1 0 971505777 591716352 99004 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144462 99004 301 301 0 144161 0
vsize: 577848
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 235107 0 0 0 75449 560 0 0 25 0 1 0 971505777 591847424 99027 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144494 99027 301 301 0 144193 0
vsize: 577976
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 235187 0 0 0 76449 560 0 0 25 0 1 0 971505777 592109568 99041 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144558 99041 301 301 0 144257 0
vsize: 578232
[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 237381 0 0 0 77444 566 0 0 25 0 1 0 971505777 592375808 99079 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144623 99079 301 301 0 144322 0
vsize: 578492
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 237463 0 0 0 78443 567 0 0 25 0 1 0 971505777 592642048 99161 4294967295 134512640 135730672 3221224576 3221223200 134748091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144688 99161 301 301 0 144387 0
vsize: 578752
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 237470 0 0 0 79443 567 0 0 25 0 1 0 971505777 592642048 99168 4294967295 134512640 135730672 3221224576 3221223184 134744828 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144688 99168 301 301 0 144387 0
vsize: 578752
[startup+810.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 237481 0 0 0 80442 568 0 0 25 0 1 0 971505777 592642048 99179 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144688 99179 301 301 0 144387 0
vsize: 578752
[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 237493 0 0 0 81442 568 0 0 25 0 1 0 971505777 592642048 99191 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144688 99191 301 301 0 144387 0
vsize: 578752
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 239672 0 0 0 82436 574 0 0 25 0 1 0 971505777 592642048 99214 4294967295 134512640 135730672 3221224576 3221223072 134747465 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144688 99214 301 301 0 144387 0
vsize: 578752
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 239678 0 0 0 83435 575 0 0 25 0 1 0 971505777 592642048 99220 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144688 99220 301 301 0 144387 0
vsize: 578752
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 241843 0 0 0 84429 581 0 0 25 0 1 0 971505777 592642048 99229 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144688 99229 301 301 0 144387 0
vsize: 578752
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 241935 0 0 0 85429 582 0 0 25 0 1 0 971505777 592904192 99255 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144752 99255 301 301 0 144451 0
vsize: 579008
[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 244096 0 0 0 86424 588 0 0 25 0 1 0 971505777 592904192 99260 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144752 99260 301 301 0 144451 0
vsize: 579008
[startup+880.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 244101 0 0 0 87423 588 0 0 25 0 1 0 971505777 592904192 99265 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144752 99265 301 301 0 144451 0
vsize: 579008
[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 244218 0 0 0 88423 589 0 0 25 0 1 0 971505777 593166336 99316 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144816 99316 301 301 0 144515 0
vsize: 579264
[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 246377 0 0 0 89417 594 0 0 25 0 1 0 971505777 601997312 101475 4294967295 134512640 135730672 3221224576 3221222752 134769202 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146972 101475 301 301 0 146671 0
vsize: 587888
[startup+910.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 246379 0 0 0 90417 595 0 0 25 0 1 0 971505777 593166336 99321 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144816 99321 301 301 0 144515 0
vsize: 579264
[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 246397 0 0 0 91416 596 0 0 25 0 1 0 971505777 593166336 99339 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144816 99339 301 301 0 144515 0
vsize: 579264
[startup+930.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 246446 0 0 0 92415 597 0 0 25 0 1 0 971505777 593166336 99388 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144816 99388 301 301 0 144515 0
vsize: 579264
[startup+940.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 248727 0 0 0 93409 603 0 0 25 0 1 0 971505777 593563648 99447 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144913 99447 301 301 0 144612 0
vsize: 579652
[startup+950.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 248746 0 0 0 94408 604 0 0 25 0 1 0 971505777 593563648 99466 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144913 99466 301 301 0 144612 0
vsize: 579652
[startup+960.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 250905 0 0 0 95403 609 0 0 25 0 1 0 971505777 593563648 99469 4294967295 134512640 135730672 3221224576 3221223232 134734756 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144913 99469 301 301 0 144612 0
vsize: 579652
[startup+970.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 250920 0 0 0 96402 610 0 0 25 0 1 0 971505777 593563648 99484 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144913 99484 301 301 0 144612 0
vsize: 579652
[startup+980.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 253080 0 0 0 97397 616 0 0 25 0 1 0 971505777 593563648 99488 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144913 99488 301 301 0 144612 0
vsize: 579652
[startup+990.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 253093 0 0 0 98396 617 0 0 25 0 1 0 971505777 593563648 99501 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144913 99501 301 301 0 144612 0
vsize: 579652
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 255254 0 0 0 99391 623 0 0 25 0 1 0 971505777 593563648 99506 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144913 99506 301 301 0 144612 0
vsize: 579652
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 255261 0 0 0 100390 623 0 0 25 0 1 0 971505777 593563648 99513 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144913 99513 301 301 0 144612 0
vsize: 579652
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 257421 0 0 0 101385 629 0 0 25 0 1 0 971505777 593563648 99517 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144913 99517 301 301 0 144612 0
vsize: 579652
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 257423 0 0 0 102384 630 0 0 25 0 1 0 971505777 593563648 99519 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144913 99519 301 301 0 144612 0
vsize: 579652
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 257432 0 0 0 103384 630 0 0 25 0 1 0 971505777 593563648 99528 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144913 99528 301 301 0 144612 0
vsize: 579652
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 259598 0 0 0 104378 636 0 0 25 0 1 0 971505777 593563648 99538 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144913 99538 301 301 0 144612 0
vsize: 579652
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 259600 0 0 0 105378 637 0 0 25 0 1 0 971505777 593563648 99540 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144913 99540 301 301 0 144612 0
vsize: 579652
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 261760 0 0 0 106372 643 0 0 25 0 1 0 971505777 593563648 99544 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144913 99544 301 301 0 144612 0
vsize: 579652
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 261767 0 0 0 107371 644 0 0 25 0 1 0 971505777 593563648 99551 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144913 99551 301 301 0 144612 0
vsize: 579652
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 263933 0 0 0 108365 650 0 0 25 0 1 0 971505777 593563648 99561 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144913 99561 301 301 0 144612 0
vsize: 579652
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 263941 0 0 0 109364 651 0 0 25 0 1 0 971505777 593563648 99569 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144913 99569 301 301 0 144612 0
vsize: 579652
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 266126 0 0 0 110359 656 0 0 25 0 1 0 971505777 593698816 99598 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144946 99598 301 301 0 144645 0
vsize: 579784
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 266139 0 0 0 111359 657 0 0 25 0 1 0 971505777 593698816 99611 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144946 99611 301 301 0 144645 0
vsize: 579784
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 268297 0 0 0 112353 663 0 0 25 0 1 0 971505777 593698816 99613 4294967295 134512640 135730672 3221224576 3221223232 134734790 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144946 99613 301 301 0 144645 0
vsize: 579784
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 268300 0 0 0 113352 663 0 0 25 0 1 0 971505777 593698816 99616 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144946 99616 301 301 0 144645 0
vsize: 579784
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 270458 0 0 0 114347 669 0 0 25 0 1 0 971505777 593698816 99618 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144946 99618 301 301 0 144645 0
vsize: 579784
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 270463 0 0 0 115346 670 0 0 25 0 1 0 971505777 593698816 99623 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144946 99623 301 301 0 144645 0
vsize: 579784
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 272624 0 0 0 116340 676 0 0 25 0 1 0 971505777 593698816 99628 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144946 99628 301 301 0 144645 0
vsize: 579784
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 272630 0 0 0 117340 677 0 0 25 0 1 0 971505777 593698816 99634 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144946 99634 301 301 0 144645 0
vsize: 579784
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 274791 0 0 0 118334 682 0 0 25 0 1 0 971505777 593698816 99639 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144946 99639 301 301 0 144645 0
vsize: 579784
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 274798 0 0 0 119334 683 0 0 25 0 1 0 971505777 593698816 99646 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144946 99646 301 301 0 144645 0
vsize: 579784
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.15 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 28549
Raw data (stat): 28549 (pb2sat-v2) R 28548 21152 21151 0 -1 0 274798 0 0 0 119334 683 0 0 25 0 1 0 971505777 593698816 99646 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144946 99646 301 301 0 144645 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.15
CPU time (s): 1202.29
CPU user time (s): 1195.25
CPU system time (s): 7.03693
CPU usage (%): 100.011
Max. virtual memory (Kb): 587888
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####