PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm2.opb
MD5SUM	766b2fe57cb2084b069363491485612e
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	97
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	16000000
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	241094849
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.23
Number of variables	2754
Total number of constraints	444
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	11
Maximum length of a constraint	84
Trace number 35362

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-28 12:41:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24602 boxname=wulflinc30 idbench=1074 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  766b2fe57cb2084b069363491485612e  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-vpm2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-vpm2.opb
IDLAUNCH: 24602
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 3
cpu MHz		: 451.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        828884 kB
Buffers:         34448 kB
Cached:         148196 kB
SwapCached:        752 kB
Active:          45816 kB
Inactive:       138972 kB
HighTotal:      131008 kB
HighFree:        45528 kB
LowTotal:       903652 kB
LowFree:        783356 kB
SwapTotal:     2097892 kB
SwapFree:      2096312 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5060 kB
Slab:            15496 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 13:01:39 (client local time) WITH STATUS 0 IN 1202.3 SECONDS
stats: 24602 7 1202.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 248901/1124642	Time: 221.64/86400
Decision: 248901/1124642	Time: 244.88/86400
Decision: 248901/1124642	Time: 284.465/86400
Decision: 248901/1124642	Time: 313.788/86400
Decision: 248901/1124642	Time: 340.805/86400
Decision: 248901/1124642	Time: 375.439/86400
Decision: 248901/1124642	Time: 406.457/86400
Decision: 248901/1124642	Time: 440.273/86400
Decision: 248901/1124642	Time: 473.153/86400
Decision: 248901/1124642	Time: 500.675/86400
Decision: 248901/1124642	Time: 533.811/86400
Decision: 248901/1124642	Time: 560.933/86400
Decision: 248901/1124642	Time: 588.843/86400
Decision: 248901/1124642	Time: 620.628/86400
Decision: 248901/1124642	Time: 644.771/86400
Decision: 248901/1124642	Time: 673.967/86400
Decision: 248901/1124642	Time: 703.986/86400
Decision: 248901/1124642	Time: 733.116/86400
Decision: 248901/1124642	Time: 763.668/86400
Decision: 248901/1124642	Time: 796.232/86400
Decision: 248901/1124642	Time: 831.304/86400
Decision: 248901/1124642	Time: 863.526/86400
Decision: 248901/1124642	Time: 898.472/86400
Decision: 248901/1124642	Time: 928.281/86400
Decision: 248901/1124642	Time: 960.414/86400
Decision: 248901/1124642	Time: 997.475/86400
Decision: 248901/1124642	Time: 1030.12/86400
Decision: 248901/1124642	Time: 1059.73/86400
Decision: 248901/1124642	Time: 1100.23/86400
Decision: 248901/1124642	Time: 1128.55/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.92 0.98 0.91 2/54 912
Raw data (stat): 912 (runsolver) R 911 22056 22055 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864877998 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.0006 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 27606 0 0 0 934 65 0 0 25 0 1 0 864877998 78307328 16547 4294967295 134512640 135726644 3221224576 3221205424 134782781 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19118 16547 300 300 0 18818 0
vsize: 76472
[startup+20.0023 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 55083 0 0 0 1875 124 0 0 25 0 1 0 864877998 154566656 33032 4294967295 134512640 135726644 3221224576 3221197192 134558064 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37736 33032 300 300 0 37436 0
vsize: 150944
[startup+30.0032 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 92037 0 0 0 2794 205 0 0 25 0 1 0 864877998 298569728 48302 4294967295 134512640 135726644 3221224576 3221197880 134768565 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72893 48302 300 300 0 72593 0
vsize: 291572
[startup+40.003 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 109693 0 0 0 3756 242 0 0 25 0 1 0 864877998 306679808 65663 4294967295 134512640 135726644 3221224576 3221205148 134558136 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74873 65663 300 300 0 74573 0
vsize: 299492
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 147966 0 0 0 4681 318 0 0 25 0 1 0 864877998 427724800 85359 4294967295 134512640 135726644 3221224576 3221202608 134783484 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104425 85359 300 300 0 104125 0
vsize: 417700
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 151518 0 0 0 5672 327 0 0 25 0 1 0 864877998 431726592 86575 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105402 86575 300 300 0 105102 0
vsize: 421608
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 153755 0 0 0 6666 333 0 0 25 0 1 0 864877998 440573952 88258 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107562 88258 300 300 0 107262 0
vsize: 430248
[startup+80.0047 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 154257 0 0 0 7665 334 0 0 25 0 1 0 864877998 443064320 88744 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108170 88744 300 300 0 107870 0
vsize: 432680
[startup+90.0049 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 154584 0 0 0 8664 335 0 0 25 0 1 0 864877998 444559360 89071 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108535 89071 300 300 0 108235 0
vsize: 434140
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 154795 0 0 0 9663 336 0 0 25 0 1 0 864877998 445583360 89282 4294967295 134512640 135726644 3221224576 3221223232 134731190 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108785 89282 300 300 0 108485 0
vsize: 435140
[startup+110.006 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 154965 0 0 0 10663 337 0 0 25 0 1 0 864877998 446255104 89419 4294967295 134512640 135726644 3221224576 3221223072 134744189 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108949 89419 300 300 0 108649 0
vsize: 435796
[startup+120.006 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 155224 0 0 0 11662 338 0 0 25 0 1 0 864877998 447471616 89678 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109246 89678 300 300 0 108946 0
vsize: 436984
[startup+130.007 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 155417 0 0 0 12662 338 0 0 25 0 1 0 864877998 448417792 89871 4294967295 134512640 135726644 3221224576 3221223232 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109477 89871 300 300 0 109177 0
vsize: 437908
[startup+140.008 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 155583 0 0 0 13661 340 0 0 25 0 1 0 864877998 449216512 90037 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109672 90037 300 300 0 109372 0
vsize: 438688
[startup+150.008 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 155590 0 0 0 14660 340 0 0 25 0 1 0 864877998 449216512 90044 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109672 90044 300 300 0 109372 0
vsize: 438688
[startup+160.008 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 155627 0 0 0 15660 341 0 0 25 0 1 0 864877998 449351680 90081 4294967295 134512640 135726644 3221224576 3221223232 134731177 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109705 90081 300 300 0 109405 0
vsize: 438820
[startup+170.011 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 155716 0 0 0 16660 342 0 0 25 0 1 0 864877998 449757184 90170 4294967295 134512640 135726644 3221224576 3221223232 134745073 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109804 90170 300 300 0 109504 0
vsize: 439216
[startup+180.011 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 155746 0 0 0 17660 342 0 0 25 0 1 0 864877998 449892352 90200 4294967295 134512640 135726644 3221224576 3221223072 134744244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109837 90200 300 300 0 109537 0
vsize: 439348
[startup+190.012 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 155849 0 0 0 18659 342 0 0 25 0 1 0 864877998 450433024 90303 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109969 90303 300 300 0 109669 0
vsize: 439876
[startup+200.012 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 155885 0 0 0 19659 343 0 0 25 0 1 0 864877998 450568192 90339 4294967295 134512640 135726644 3221224576 3221223072 134743889 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110002 90339 300 300 0 109702 0
vsize: 440008
[startup+210.013 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 155953 0 0 0 20659 343 0 0 25 0 1 0 864877998 450973696 90407 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110101 90407 300 300 0 109801 0
vsize: 440404
[startup+220.012 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 156221 0 0 0 21658 344 0 0 25 0 1 0 864877998 452071424 90576 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110369 90576 300 300 0 110069 0
vsize: 441476
[startup+230.013 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 156361 0 0 0 22658 345 0 0 25 0 1 0 864877998 452734976 90716 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110531 90716 300 300 0 110231 0
vsize: 442124
[startup+240.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 156476 0 0 0 23657 345 0 0 25 0 1 0 864877998 453263360 90831 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110660 90831 300 300 0 110360 0
vsize: 442640
[startup+250.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 156545 0 0 0 24657 346 0 0 25 0 1 0 864877998 453533696 90900 4294967295 134512640 135726644 3221224576 3221223072 134744030 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110726 90900 300 300 0 110426 0
vsize: 442904
[startup+260.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 156572 0 0 0 25657 346 0 0 25 0 1 0 864877998 453668864 90927 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110759 90927 300 300 0 110459 0
vsize: 443036
[startup+270.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 158773 0 0 0 26652 352 0 0 25 0 1 0 864877998 453668864 90931 4294967295 134512640 135726644 3221224576 3221223200 134779714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110759 90931 300 300 0 110459 0
vsize: 443036
[startup+280.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 159019 0 0 0 27650 353 0 0 25 0 1 0 864877998 454819840 91177 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111040 91177 300 300 0 110740 0
vsize: 444160
[startup+290.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 159109 0 0 0 28650 353 0 0 25 0 1 0 864877998 455213056 91267 4294967295 134512640 135726644 3221224576 3221222568 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111136 91267 300 300 0 110836 0
vsize: 444544
[startup+300.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 161578 0 0 0 29644 359 0 0 25 0 1 0 864877998 456208384 91441 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111379 91441 300 300 0 111079 0
vsize: 445516
[startup+310.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 161856 0 0 0 30643 360 0 0 25 0 1 0 864877998 457277440 91620 4294967295 134512640 135726644 3221224576 3221223200 134744520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111640 91620 300 300 0 111340 0
vsize: 446560
[startup+320.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 162062 0 0 0 31643 361 0 0 25 0 1 0 864877998 458567680 91826 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111955 91826 300 300 0 111655 0
vsize: 447820
[startup+330.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 162270 0 0 0 32642 361 0 0 25 0 1 0 864877998 459239424 92001 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112119 92001 300 300 0 111819 0
vsize: 448476
[startup+340.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 164529 0 0 0 33637 367 0 0 25 0 1 0 864877998 459632640 92063 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112215 92063 300 300 0 111915 0
vsize: 448860
[startup+350.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 164796 0 0 0 34636 368 0 0 25 0 1 0 864877998 461045760 92330 4294967295 134512640 135726644 3221224576 3221222568 135281194 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112560 92330 300 300 0 112260 0
vsize: 450240
[startup+360.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 164804 0 0 0 35636 368 0 0 25 0 1 0 864877998 461045760 92338 4294967295 134512640 135726644 3221224576 3221223088 134742198 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112560 92338 300 300 0 112260 0
vsize: 450240
[startup+370.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 167033 0 0 0 36630 374 0 0 25 0 1 0 864877998 461180928 92370 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112593 92370 300 300 0 112293 0
vsize: 450372
[startup+380.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 167209 0 0 0 37630 375 0 0 25 0 1 0 864877998 462123008 92513 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112823 92513 300 300 0 112523 0
vsize: 451292
[startup+390.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 167264 0 0 0 38630 375 0 0 25 0 1 0 864877998 462393344 92568 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112889 92568 300 300 0 112589 0
vsize: 451556
[startup+400.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 167348 0 0 0 39629 376 0 0 25 0 1 0 864877998 462934016 92652 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113021 92652 300 300 0 112721 0
vsize: 452084
[startup+410.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 167401 0 0 0 40628 376 0 0 25 0 1 0 864877998 463069184 92705 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113054 92705 300 300 0 112754 0
vsize: 452216
[startup+420.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 169642 0 0 0 41624 381 0 0 25 0 1 0 864877998 472338432 94946 4294967295 134512640 135726644 3221224576 3221222740 134765517 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115317 94946 300 300 0 115017 0
vsize: 461268
[startup+430.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 169670 0 0 0 42623 382 0 0 25 0 1 0 864877998 463474688 92777 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113153 92777 300 300 0 112853 0
vsize: 452612
[startup+440.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 169674 0 0 0 43623 382 0 0 25 0 1 0 864877998 463474688 92781 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113153 92781 300 300 0 112853 0
vsize: 452612
[startup+450.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 169868 0 0 0 44623 382 0 0 25 0 1 0 864877998 464015360 92975 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113285 92975 300 300 0 112985 0
vsize: 453140
[startup+460.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 172119 0 0 0 45617 388 0 0 25 0 1 0 864877998 464285696 93029 4294967295 134512640 135726644 3221224576 3221223264 134744915 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113351 93029 300 300 0 113051 0
vsize: 453404
[startup+470.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 172194 0 0 0 46617 389 0 0 25 0 1 0 864877998 464551936 93071 4294967295 134512640 135726644 3221224576 3221223224 134744673 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113416 93071 300 300 0 113116 0
vsize: 453664
[startup+480.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 172196 0 0 0 47616 389 0 0 25 0 1 0 864877998 464551936 93073 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113416 93073 300 300 0 113116 0
vsize: 453664
[startup+490.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 174394 0 0 0 48612 394 0 0 25 0 1 0 864877998 473550848 95271 4294967295 134512640 135726644 3221224576 3221222712 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115613 95271 300 300 0 115313 0
vsize: 462452
[startup+500.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 174464 0 0 0 49611 395 0 0 25 0 1 0 864877998 464822272 93144 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113482 93144 300 300 0 113182 0
vsize: 453928
[startup+510.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 174492 0 0 0 50611 396 0 0 25 0 1 0 864877998 464957440 93172 4294967295 134512640 135726644 3221224576 3221222904 134735633 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113515 93172 300 300 0 113215 0
vsize: 454060
[startup+520.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 174494 0 0 0 51610 396 0 0 25 0 1 0 864877998 464957440 93174 4294967295 134512640 135726644 3221224576 3221223088 134742272 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113515 93174 300 300 0 113215 0
vsize: 454060
[startup+530.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 176694 0 0 0 52605 401 0 0 25 0 1 0 864877998 464957440 93177 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113515 93177 300 300 0 113215 0
vsize: 454060
[startup+540.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 176700 0 0 0 53605 402 0 0 25 0 1 0 864877998 464957440 93183 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113515 93183 300 300 0 113215 0
vsize: 454060
[startup+550.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 178928 0 0 0 54600 406 0 0 25 0 1 0 864877998 474091520 95411 4294967295 134512640 135726644 3221224576 3221222736 134765172 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115745 95411 300 300 0 115445 0
vsize: 462980
[startup+560.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 178934 0 0 0 55599 408 0 0 25 0 1 0 864877998 465092608 93220 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113548 93220 300 300 0 113248 0
vsize: 454192
[startup+570.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 179035 0 0 0 56599 408 0 0 25 0 1 0 864877998 465358848 93288 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113613 93288 300 300 0 113313 0
vsize: 454452
[startup+580.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 181283 0 0 0 57594 414 0 0 25 0 1 0 864877998 474492928 95536 4294967295 134512640 135726644 3221224576 3221222736 134765241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115843 95536 300 300 0 115543 0
vsize: 463372
[startup+590.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 181432 0 0 0 58593 415 0 0 25 0 1 0 864877998 466026496 93422 4294967295 134512640 135726644 3221224576 3221223248 134745056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113776 93422 300 300 0 113476 0
vsize: 455104
[startup+600.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 181434 0 0 0 59593 415 0 0 25 0 1 0 864877998 466026496 93424 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113776 93424 300 300 0 113476 0
vsize: 455104
[startup+610.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 183632 0 0 0 60587 421 0 0 25 0 1 0 864877998 475025408 95622 4294967295 134512640 135726644 3221224576 3221222712 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115973 95622 300 300 0 115673 0
vsize: 463892
[startup+620.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 183722 0 0 0 61586 422 0 0 25 0 1 0 864877998 466292736 93482 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113841 93482 300 300 0 113541 0
vsize: 455364
[startup+630.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 183759 0 0 0 62586 422 0 0 25 0 1 0 864877998 466427904 93519 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113874 93519 300 300 0 113574 0
vsize: 455496
[startup+640.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 185958 0 0 0 63581 428 0 0 25 0 1 0 864877998 466427904 93521 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113874 93521 300 300 0 113574 0
vsize: 455496
[startup+650.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 186032 0 0 0 64581 428 0 0 25 0 1 0 864877998 466833408 93595 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113973 93595 300 300 0 113673 0
vsize: 455892
[startup+660.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 186034 0 0 0 65581 428 0 0 25 0 1 0 864877998 466833408 93597 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113973 93597 300 300 0 113673 0
vsize: 455892
[startup+670.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 212828 0 0 0 66516 493 0 0 25 0 1 0 864877998 576630784 95814 4294967295 134512640 135726644 3221224576 3221222724 134765181 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140779 95814 300 300 0 140479 0
vsize: 563116
[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 212916 0 0 0 67516 493 0 0 25 0 1 0 864877998 568037376 93705 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138681 93705 300 300 0 138381 0
vsize: 554724
[startup+690.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 212922 0 0 0 68516 494 0 0 25 0 1 0 864877998 568037376 93711 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138681 93711 300 300 0 138381 0
vsize: 554724
[startup+700.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 215145 0 0 0 69510 500 0 0 25 0 1 0 864877998 568172544 93737 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138714 93737 300 300 0 138414 0
vsize: 554856
[startup+710.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 215157 0 0 0 70509 500 0 0 25 0 1 0 864877998 568172544 93749 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138714 93749 300 300 0 138414 0
vsize: 554856
[startup+720.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 217384 0 0 0 71503 507 0 0 25 0 1 0 864877998 577306624 95976 4294967295 134512640 135726644 3221224576 3221222712 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140944 95976 300 300 0 140644 0
vsize: 563776
[startup+730.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 217385 0 0 0 72503 507 0 0 25 0 1 0 864877998 568242176 93764 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138731 93764 300 300 0 138431 0
vsize: 554924
[startup+740.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 217387 0 0 0 73502 508 0 0 25 0 1 0 864877998 568242176 93766 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138731 93766 300 300 0 138431 0
vsize: 554924
[startup+750.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 217388 0 0 0 74502 508 0 0 25 0 1 0 864877998 568242176 93767 4294967295 134512640 135726644 3221224576 3221223088 134742198 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138731 93767 300 300 0 138431 0
vsize: 554924
[startup+760.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 219586 0 0 0 75496 514 0 0 25 0 1 0 864877998 568242176 93768 4294967295 134512640 135726644 3221224576 3221223072 134744002 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138731 93768 300 300 0 138431 0
vsize: 554924
[startup+770.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 219599 0 0 0 76495 515 0 0 25 0 1 0 864877998 568242176 93781 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138731 93781 300 300 0 138431 0
vsize: 554924
[startup+780.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 219656 0 0 0 77495 516 0 0 25 0 1 0 864877998 568512512 93838 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138797 93838 300 300 0 138497 0
vsize: 555188
[startup+790.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 221859 0 0 0 78488 522 0 0 25 0 1 0 864877998 568512512 93844 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138797 93844 300 300 0 138497 0
vsize: 555188
[startup+800.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 221863 0 0 0 79488 523 0 0 25 0 1 0 864877998 568512512 93848 4294967295 134512640 135726644 3221224576 3221223164 134743858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138797 93848 300 300 0 138497 0
vsize: 555188
[startup+810.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 221889 0 0 0 80488 524 0 0 25 0 1 0 864877998 568647680 93874 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138830 93874 300 300 0 138530 0
vsize: 555320
[startup+820.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 221892 0 0 0 81487 524 0 0 25 0 1 0 864877998 568647680 93877 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138830 93877 300 300 0 138530 0
vsize: 555320
[startup+830.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 221897 0 0 0 82487 524 0 0 25 0 1 0 864877998 568647680 93882 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138830 93882 300 300 0 138530 0
vsize: 555320
[startup+840.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 221900 0 0 0 83486 525 0 0 25 0 1 0 864877998 568647680 93885 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138830 93885 300 300 0 138530 0
vsize: 555320
[startup+850.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 224099 0 0 0 84480 531 0 0 25 0 1 0 864877998 568647680 93887 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138830 93887 300 300 0 138530 0
vsize: 555320
[startup+860.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 224102 0 0 0 85481 532 0 0 25 0 1 0 864877998 568647680 93890 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138830 93890 300 300 0 138530 0
vsize: 555320
[startup+870.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 224126 0 0 0 86480 532 0 0 25 0 1 0 864877998 568782848 93914 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138863 93914 300 300 0 138563 0
vsize: 555452
[startup+880.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 226325 0 0 0 87474 539 0 0 25 0 1 0 864877998 568782848 93916 4294967295 134512640 135726644 3221224576 3221223200 134779717 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138863 93916 300 300 0 138563 0
vsize: 555452
[startup+890.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 226326 0 0 0 88473 539 0 0 25 0 1 0 864877998 568782848 93917 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138863 93917 300 300 0 138563 0
vsize: 555452
[startup+900.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 226327 0 0 0 89473 540 0 0 25 0 1 0 864877998 568782848 93918 4294967295 134512640 135726644 3221224576 3221222896 134728931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138863 93918 300 300 0 138563 0
vsize: 555452
[startup+910.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 226329 0 0 0 90473 541 0 0 25 0 1 0 864877998 568782848 93920 4294967295 134512640 135726644 3221224576 3221223088 134742265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138863 93920 300 300 0 138563 0
vsize: 555452
[startup+920.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 228526 0 0 0 91466 547 0 0 25 0 1 0 864877998 568782848 93920 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138863 93920 300 300 0 138563 0
vsize: 555452
[startup+930.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 228528 0 0 0 92466 548 0 0 25 0 1 0 864877998 568782848 93922 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138863 93922 300 300 0 138563 0
vsize: 555452
[startup+940.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 228586 0 0 0 93465 548 0 0 25 0 1 0 864877998 569053184 93980 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138929 93980 300 300 0 138629 0
vsize: 555716
[startup+950.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 230783 0 0 0 94459 554 0 0 25 0 1 0 864877998 569053184 93980 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138929 93980 300 300 0 138629 0
vsize: 555716
[startup+960.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 230786 0 0 0 95459 555 0 0 25 0 1 0 864877998 569053184 93983 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138929 93983 300 300 0 138629 0
vsize: 555716
[startup+970.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 230790 0 0 0 96458 556 0 0 25 0 1 0 864877998 569053184 93987 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138929 93987 300 300 0 138629 0
vsize: 555716
[startup+980.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 232989 0 0 0 97452 562 0 0 25 0 1 0 864877998 569053184 93989 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138929 93989 300 300 0 138629 0
vsize: 555716
[startup+990.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 232994 0 0 0 98452 563 0 0 25 0 1 0 864877998 569053184 93994 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138929 93994 300 300 0 138629 0
vsize: 555716
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 232997 0 0 0 99451 563 0 0 25 0 1 0 864877998 569053184 93997 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138929 93997 300 300 0 138629 0
vsize: 555716
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 235197 0 0 0 100445 569 0 0 25 0 1 0 864877998 578052096 96197 4294967295 134512640 135726644 3221224576 3221222724 134765517 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141126 96197 300 300 0 140826 0
vsize: 564504
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 235293 0 0 0 101445 571 0 0 25 0 1 0 864877998 569184256 94063 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138961 94063 300 300 0 138661 0
vsize: 555844
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 235297 0 0 0 102444 571 0 0 25 0 1 0 864877998 569184256 94067 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138961 94067 300 300 0 138661 0
vsize: 555844
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 235299 0 0 0 103443 572 0 0 25 0 1 0 864877998 569184256 94069 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138961 94069 300 300 0 138661 0
vsize: 555844
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 237497 0 0 0 104437 578 0 0 25 0 1 0 864877998 569184256 94070 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138961 94070 300 300 0 138661 0
vsize: 555844
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 237498 0 0 0 105437 579 0 0 25 0 1 0 864877998 569184256 94071 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138961 94071 300 300 0 138661 0
vsize: 555844
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 237683 0 0 0 106436 580 0 0 25 0 1 0 864877998 569843712 94124 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139122 94124 300 300 0 138822 0
vsize: 556488
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 240152 0 0 0 107430 586 0 0 25 0 1 0 864877998 580169728 96527 4294967295 134512640 135726644 3221224576 3221222760 134761833 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141643 96527 300 300 0 141343 0
vsize: 566572
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 240154 0 0 0 108430 587 0 0 25 0 1 0 864877998 571170816 94332 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139446 94332 300 300 0 139146 0
vsize: 557784
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 912
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 240156 0 0 0 109430 587 0 0 25 0 1 0 864877998 571170816 94334 4294967295 134512640 135726644 3221224576 3221223072 134744123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139446 94334 300 300 0 139146 0
vsize: 557784
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/58 916
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 242382 0 0 0 110424 593 0 0 25 0 1 0 864877998 571170816 94363 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139446 94363 300 300 0 139146 0
vsize: 557784
[startup+1120.04 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 965
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 242382 0 0 0 111423 594 0 0 25 0 1 0 864877998 571170816 94363 4294967295 134512640 135726644 3221224576 3221223072 134744009 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139446 94363 300 300 0 139146 0
vsize: 557784
[startup+1130.04 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 965
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 242384 0 0 0 112422 595 0 0 25 0 1 0 864877998 571170816 94365 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139446 94365 300 300 0 139146 0
vsize: 557784
[startup+1140.04 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 965
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 242387 0 0 0 113422 596 0 0 25 0 1 0 864877998 571170816 94368 4294967295 134512640 135726644 3221224576 3221223220 134744476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139446 94368 300 300 0 139146 0
vsize: 557784
[startup+1150.04 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 965
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 244587 0 0 0 114416 602 0 0 25 0 1 0 864877998 580169728 96568 4294967295 134512640 135726644 3221224576 3221222736 134765566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141643 96568 300 300 0 141343 0
vsize: 566572
[startup+1160.04 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 965
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 244590 0 0 0 115415 603 0 0 25 0 1 0 864877998 571170816 94374 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139446 94374 300 300 0 139146 0
vsize: 557784
[startup+1170.04 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 965
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 244638 0 0 0 116414 604 0 0 25 0 1 0 864877998 571301888 94389 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139478 94389 300 300 0 139178 0
vsize: 557912
[startup+1180.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 967
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 244646 0 0 0 117413 605 0 0 25 0 1 0 864877998 571301888 94397 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139478 94397 300 300 0 139178 0
vsize: 557912
[startup+1190.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 967
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 244692 0 0 0 118413 606 0 0 25 0 1 0 864877998 571432960 94410 4294967295 134512640 135726644 3221224576 3221223200 134744518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139510 94410 300 300 0 139210 0
vsize: 558040
[startup+1200.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 967
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 244696 0 0 0 119412 607 0 0 25 0 1 0 864877998 571432960 94414 4294967295 134512640 135726644 3221224576 3221223264 134744977 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139510 94414 300 300 0 139210 0
vsize: 558040
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.15 s]
Raw data (loadavg): 1.02 1.01 0.93 1/53 967
Raw data (stat): 912 (pb2sat) R 911 22056 22055 0 -1 0 244696 0 0 0 119412 607 0 0 25 0 1 0 864877998 571432960 94414 4294967295 134512640 135726644 3221224576 3221223264 134744977 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139510 94414 300 300 0 139210 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.15
CPU time (s): 1202.3
CPU user time (s): 1196.04
CPU system time (s): 6.25705
CPU usage (%): 100.012
Max. virtual memory (Kb): 566572
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####