PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
MD5SUM	b85a90571dde4fe12541342d5605d680
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-37
Optimality of the best value was proved	NO
Number of terms in the objective function	1150
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1150
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1150
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.1
Number of variables	1150
Total number of constraints	80258
Number of constraints which are clauses	80258
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 34977

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-28 11:33:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24263 boxname=wulflinc19 idbench=337 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b85a90571dde4fe12541342d5605d680  /oldhome/oroussel/tmp/wulflinc19/normalized-frb50-23-4.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc19/normalized-frb50-23-4.opb
IDLAUNCH: 24263
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        439264 kB
Buffers:         33340 kB
Cached:         532208 kB
SwapCached:        960 kB
Active:          44396 kB
Inactive:       523236 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        439012 kB
SwapTotal:     2097892 kB
SwapFree:      2096060 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4936 kB
Slab:            22068 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:53:44 (client local time) WITH STATUS 0 IN 1202.34 SECONDS
stats: 24263 7 1202.34 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c [startup+70.0059 s]  setting bit 10 to 0

Decision: 197456/664140	Time: 311.551/86400
Decision: 204824/664140	Time: 416.019/86400
Decision: 204824/664140	Time: 494.034/86400
Decision: 204824/664140	Time: 574.845/86400
Decision: 205808/664140	Time: 705.917/86400
Decision: 208974/664140	Time: 930.855/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.85 0.97 0.91 2/54 19409
Raw data (stat): 19409 (runsolver) R 19408 10795 10794 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864468035 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.87 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 29548 0 0 0 939 60 0 0 25 0 1 0 864468035 89174016 18638 4294967295 134512640 135726644 3221224592 3221200568 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21771 18638 300 300 0 21471 0
vsize: 87084
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 57817 0 0 0 1877 121 0 0 25 0 1 0 864468035 174759936 35952 4294967295 134512640 135726644 3221224592 3221009384 134783921 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42666 35953 300 300 0 42366 0
vsize: 170664
[startup+30.0009 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 98007 0 0 0 2792 206 0 0 25 0 1 0 864468035 298049536 54465 4294967295 134512640 135726644 3221224592 3221083284 135289363 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72766 54465 300 300 0 72466 0
vsize: 291064
[startup+40.0009 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 104890 0 0 0 3776 223 0 0 25 0 1 0 864468035 336920576 59986 4294967295 134512640 135726644 3221224592 3221222896 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 82256 59986 300 300 0 81956 0
vsize: 329024
[startup+50.0021 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 108263 0 0 0 4768 230 0 0 25 0 1 0 864468035 350175232 62400 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85492 62400 300 300 0 85192 0
vsize: 341968
[startup+60.0014 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 112191 0 0 0 5761 237 0 0 25 0 1 0 864468035 362926080 64520 4294967295 134512640 135726644 3221224592 3221223248 134745082 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88605 64520 300 300 0 88305 0
vsize: 354420
[startup+70.0023 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 116656 0 0 0 6754 245 0 0 25 0 1 0 864468035 375877632 66632 4294967295 134512640 135726644 3221224592 3221223312 134736256 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91767 66632 300 300 0 91467 0
vsize: 367068
[startup+80.0024 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 119630 0 0 0 7748 251 0 0 25 0 1 0 864468035 381091840 67536 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93040 67536 300 300 0 92740 0
vsize: 372160
[startup+90.0029 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 121578 0 0 0 8743 256 0 0 25 0 1 0 864468035 387813376 68580 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94681 68580 300 300 0 94381 0
vsize: 378724
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 121917 0 0 0 9743 256 0 0 25 0 1 0 864468035 389312512 68837 4294967295 134512640 135726644 3221224592 3221222928 134735631 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95047 68837 300 300 0 94747 0
vsize: 380188
[startup+110.003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 122125 0 0 0 10742 257 0 0 25 0 1 0 864468035 389976064 68947 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95209 68947 300 300 0 94909 0
vsize: 380836
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 122309 0 0 0 11742 258 0 0 25 0 1 0 864468035 390373376 69065 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95306 69065 300 300 0 95006 0
vsize: 381224
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 124986 0 0 0 12738 262 0 0 25 0 1 0 864468035 398233600 70344 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97225 70344 300 300 0 96925 0
vsize: 388900
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 125991 0 0 0 13737 263 0 0 25 0 1 0 864468035 401412096 70891 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98001 70891 300 300 0 97701 0
vsize: 392004
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 126684 0 0 0 14735 265 0 0 25 0 1 0 864468035 403255296 71225 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98451 71225 300 300 0 98151 0
vsize: 393804
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 128143 0 0 0 15733 268 0 0 25 0 1 0 864468035 407076864 71905 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99384 71905 300 300 0 99084 0
vsize: 397536
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 128687 0 0 0 16732 269 0 0 25 0 1 0 864468035 408944640 72255 4294967295 134512640 135726644 3221224592 3221223088 134744120 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99840 72255 300 300 0 99540 0
vsize: 399360
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 129025 0 0 0 17731 270 0 0 25 0 1 0 864468035 410009600 72464 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100100 72464 300 300 0 99800 0
vsize: 400400
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 130533 0 0 0 18728 273 0 0 25 0 1 0 864468035 414171136 73255 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101116 73255 300 300 0 100816 0
vsize: 404464
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 130534 0 0 0 19728 273 0 0 25 0 1 0 864468035 414171136 73256 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101116 73256 300 300 0 100816 0
vsize: 404464
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 131347 0 0 0 20727 275 0 0 25 0 1 0 864468035 416268288 73552 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101628 73552 300 300 0 101328 0
vsize: 406512
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 132095 0 0 0 21725 277 0 0 25 0 1 0 864468035 418381824 73942 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102144 73942 300 300 0 101844 0
vsize: 408576
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 132139 0 0 0 22725 277 0 0 25 0 1 0 864468035 418381824 73986 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102144 73986 300 300 0 101844 0
vsize: 408576
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 132162 0 0 0 23725 277 0 0 25 0 1 0 864468035 418381824 74009 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102144 74009 300 300 0 101844 0
vsize: 408576
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 132165 0 0 0 24725 277 0 0 25 0 1 0 864468035 418381824 74012 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102144 74012 300 300 0 101844 0
vsize: 408576
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 132165 0 0 0 25725 277 0 0 25 0 1 0 864468035 418381824 74012 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102144 74012 300 300 0 101844 0
vsize: 408576
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 132165 0 0 0 26726 277 0 0 25 0 1 0 864468035 418381824 74012 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102144 74012 300 300 0 101844 0
vsize: 408576
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 132175 0 0 0 27726 277 0 0 25 0 1 0 864468035 418381824 74022 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102144 74022 300 300 0 101844 0
vsize: 408576
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 132175 0 0 0 28726 277 0 0 25 0 1 0 864468035 418381824 74022 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102144 74022 300 300 0 101844 0
vsize: 408576
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 132177 0 0 0 29726 277 0 0 25 0 1 0 864468035 418381824 74024 4294967295 134512640 135726644 3221224592 3221223248 134745073 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102144 74024 300 300 0 101844 0
vsize: 408576
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 132267 0 0 0 30726 277 0 0 25 0 1 0 864468035 418643968 74049 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102208 74049 300 300 0 101908 0
vsize: 408832
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 133058 0 0 0 31724 280 0 0 25 0 1 0 864468035 421294080 74565 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102855 74565 300 300 0 102555 0
vsize: 411420
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 133074 0 0 0 32724 280 0 0 25 0 1 0 864468035 421294080 74581 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102855 74581 300 300 0 102555 0
vsize: 411420
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 133080 0 0 0 33724 280 0 0 25 0 1 0 864468035 421294080 74587 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102855 74587 300 300 0 102555 0
vsize: 411420
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 133099 0 0 0 34724 280 0 0 25 0 1 0 864468035 421294080 74606 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102855 74606 300 300 0 102555 0
vsize: 411420
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 133112 0 0 0 35724 280 0 0 25 0 1 0 864468035 421294080 74619 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102855 74619 300 300 0 102555 0
vsize: 411420
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 133123 0 0 0 36724 280 0 0 25 0 1 0 864468035 421294080 74630 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102855 74630 300 300 0 102555 0
vsize: 411420
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 134430 0 0 0 37721 284 0 0 25 0 1 0 864468035 421294080 74639 4294967295 134512640 135726644 3221224592 3221223216 134779655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102855 74639 300 300 0 102555 0
vsize: 411420
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 134431 0 0 0 38720 284 0 0 25 0 1 0 864468035 421294080 74640 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102855 74640 300 300 0 102555 0
vsize: 411420
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 134432 0 0 0 39720 284 0 0 25 0 1 0 864468035 421294080 74641 4294967295 134512640 135726644 3221224592 3221223088 134744009 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102855 74641 300 300 0 102555 0
vsize: 411420
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 134433 0 0 0 40720 284 0 0 25 0 1 0 864468035 421294080 74642 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102855 74642 300 300 0 102555 0
vsize: 411420
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 135657 0 0 0 41718 287 0 0 25 0 1 0 864468035 424652800 75245 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103675 75245 300 300 0 103375 0
vsize: 414700
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 135683 0 0 0 42718 287 0 0 25 0 1 0 864468035 424652800 75271 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103675 75271 300 300 0 103375 0
vsize: 414700
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 135684 0 0 0 43718 287 0 0 25 0 1 0 864468035 424652800 75272 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103675 75272 300 300 0 103375 0
vsize: 414700
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 135690 0 0 0 44718 287 0 0 25 0 1 0 864468035 424652800 75278 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103675 75278 300 300 0 103375 0
vsize: 414700
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 135700 0 0 0 45718 288 0 0 25 0 1 0 864468035 424652800 75288 4294967295 134512640 135726644 3221224592 3221223136 134736652 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103675 75288 300 300 0 103375 0
vsize: 414700
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 135716 0 0 0 46718 288 0 0 25 0 1 0 864468035 424652800 75304 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103675 75304 300 300 0 103375 0
vsize: 414700
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 135729 0 0 0 47718 288 0 0 25 0 1 0 864468035 424652800 75317 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103675 75317 300 300 0 103375 0
vsize: 414700
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 137664 0 0 0 48713 293 0 0 25 0 1 0 864468035 426565632 75660 4294967295 134512640 135726644 3221224592 3221223216 134744538 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104142 75660 300 300 0 103842 0
vsize: 416568
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 138600 0 0 0 49711 295 0 0 25 0 1 0 864468035 429514752 76220 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104862 76220 300 300 0 104562 0
vsize: 419448
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 138611 0 0 0 50711 295 0 0 25 0 1 0 864468035 429514752 76231 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104862 76231 300 300 0 104562 0
vsize: 419448
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 138626 0 0 0 51711 295 0 0 25 0 1 0 864468035 429514752 76246 4294967295 134512640 135726644 3221224592 3221222924 134735640 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104862 76246 300 300 0 104562 0
vsize: 419448
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 138642 0 0 0 52711 295 0 0 25 0 1 0 864468035 429514752 76262 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104862 76262 300 300 0 104562 0
vsize: 419448
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 138660 0 0 0 53711 295 0 0 25 0 1 0 864468035 429514752 76280 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104862 76280 300 300 0 104562 0
vsize: 419448
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 138675 0 0 0 54711 295 0 0 25 0 1 0 864468035 429514752 76295 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104862 76295 300 300 0 104562 0
vsize: 419448
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 138687 0 0 0 55712 295 0 0 25 0 1 0 864468035 429514752 76307 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104862 76307 300 300 0 104562 0
vsize: 419448
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 140102 0 0 0 56709 298 0 0 25 0 1 0 864468035 429780992 76424 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104927 76424 300 300 0 104627 0
vsize: 419708
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 140120 0 0 0 57709 298 0 0 25 0 1 0 864468035 429780992 76442 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104927 76442 300 300 0 104627 0
vsize: 419708
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 140133 0 0 0 58708 299 0 0 25 0 1 0 864468035 429780992 76455 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104927 76455 300 300 0 104627 0
vsize: 419708
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 140137 0 0 0 59708 299 0 0 25 0 1 0 864468035 429780992 76459 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104927 76459 300 300 0 104627 0
vsize: 419708
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 140154 0 0 0 60708 299 0 0 25 0 1 0 864468035 429780992 76476 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104927 76476 300 300 0 104627 0
vsize: 419708
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 140257 0 0 0 61708 300 0 0 25 0 1 0 864468035 430043136 76514 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104991 76514 300 300 0 104691 0
vsize: 419964
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 140267 0 0 0 62708 300 0 0 25 0 1 0 864468035 430043136 76524 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104991 76524 300 300 0 104691 0
vsize: 419964
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 140281 0 0 0 63709 300 0 0 25 0 1 0 864468035 430043136 76538 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104991 76538 300 300 0 104691 0
vsize: 419964
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 142224 0 0 0 64703 305 0 0 25 0 1 0 864468035 432029696 76889 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105476 76889 300 300 0 105176 0
vsize: 421904
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 143618 0 0 0 65700 308 0 0 25 0 1 0 864468035 435834880 77410 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106405 77410 300 300 0 106105 0
vsize: 425620
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 144298 0 0 0 66699 310 0 0 25 0 1 0 864468035 437932032 77570 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106917 77570 300 300 0 106617 0
vsize: 427668
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 144315 0 0 0 67699 310 0 0 25 0 1 0 864468035 437932032 77587 4294967295 134512640 135726644 3221224592 3221223216 134744582 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106917 77587 300 300 0 106617 0
vsize: 427668
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 144689 0 0 0 68698 310 0 0 25 0 1 0 864468035 439115776 77733 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107206 77733 300 300 0 106906 0
vsize: 428824
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 144885 0 0 0 69698 311 0 0 25 0 1 0 864468035 439377920 77864 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107270 77864 300 300 0 106970 0
vsize: 429080
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 145082 0 0 0 70698 311 0 0 25 0 1 0 864468035 439902208 77931 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107398 77931 300 300 0 107098 0
vsize: 429592
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 145195 0 0 0 71698 312 0 0 25 0 1 0 864468035 440164352 77979 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107462 77979 300 300 0 107162 0
vsize: 429848
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 145300 0 0 0 72698 312 0 0 25 0 1 0 864468035 440426496 78019 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107526 78019 300 300 0 107226 0
vsize: 430104
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 145315 0 0 0 73698 312 0 0 25 0 1 0 864468035 440426496 78034 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107526 78034 300 300 0 107226 0
vsize: 430104
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 145332 0 0 0 74698 312 0 0 25 0 1 0 864468035 440426496 78051 4294967295 134512640 135726644 3221224592 3221223136 134736611 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107526 78051 300 300 0 107226 0
vsize: 430104
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 145343 0 0 0 75698 312 0 0 25 0 1 0 864468035 440426496 78062 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107526 78062 300 300 0 107226 0
vsize: 430104
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 145355 0 0 0 76698 312 0 0 25 0 1 0 864468035 440426496 78074 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107526 78074 300 300 0 107226 0
vsize: 430104
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 146664 0 0 0 77694 316 0 0 25 0 1 0 864468035 440426496 78085 4294967295 134512640 135726644 3221224592 3221223280 134744867 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107526 78085 300 300 0 107226 0
vsize: 430104
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 147864 0 0 0 78692 319 0 0 25 0 1 0 864468035 443985920 78699 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108395 78699 300 300 0 108095 0
vsize: 433580
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 148583 0 0 0 79691 320 0 0 25 0 1 0 864468035 445689856 78997 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108811 78997 300 300 0 108511 0
vsize: 435244
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 149801 0 0 0 80688 322 0 0 25 0 1 0 864468035 449253376 79599 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109681 79599 300 300 0 109381 0
vsize: 438724
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 150143 0 0 0 81688 323 0 0 25 0 1 0 864468035 450310144 79745 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109939 79745 300 300 0 109639 0
vsize: 439756
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 150537 0 0 0 82687 324 0 0 25 0 1 0 864468035 451362816 79912 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110196 79912 300 300 0 109896 0
vsize: 440784
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 150746 0 0 0 83686 325 0 0 25 0 1 0 864468035 451891200 80056 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110325 80056 300 300 0 110025 0
vsize: 441300
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 151916 0 0 0 84683 328 0 0 25 0 1 0 864468035 455184384 80545 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111129 80545 300 300 0 110829 0
vsize: 444516
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 152020 0 0 0 85683 328 0 0 25 0 1 0 864468035 455446528 80584 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111193 80584 300 300 0 110893 0
vsize: 444772
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 152113 0 0 0 86683 328 0 0 25 0 1 0 864468035 455712768 80644 4294967295 134512640 135726644 3221224592 3221222840 135281122 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111258 80644 300 300 0 110958 0
vsize: 445032
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 152288 0 0 0 87683 328 0 0 25 0 1 0 864468035 456237056 80690 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111386 80690 300 300 0 111086 0
vsize: 445544
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 153475 0 0 0 88681 331 0 0 25 0 1 0 864468035 459657216 81230 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112221 81230 300 300 0 111921 0
vsize: 448884
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 154629 0 0 0 89679 333 0 0 25 0 1 0 864468035 462278656 81739 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112861 81739 300 300 0 112561 0
vsize: 451444
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 154884 0 0 0 90678 334 0 0 25 0 1 0 864468035 462802944 81864 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112989 81864 300 300 0 112689 0
vsize: 451956
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 155484 0 0 0 91677 336 0 0 25 0 1 0 864468035 464113664 82141 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113309 82141 300 300 0 113009 0
vsize: 453236
[startup+930.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 155694 0 0 0 92677 336 0 0 25 0 1 0 864468035 464908288 82286 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113503 82286 300 300 0 113203 0
vsize: 454012
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 155925 0 0 0 93676 337 0 0 25 0 1 0 864468035 465432576 82388 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113631 82388 300 300 0 113331 0
vsize: 454524
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 155941 0 0 0 94676 337 0 0 25 0 1 0 864468035 465432576 82404 4294967295 134512640 135726644 3221224592 3221222912 134728861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113631 82404 300 300 0 113331 0
vsize: 454524
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 155949 0 0 0 95676 337 0 0 25 0 1 0 864468035 465432576 82412 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113631 82412 300 300 0 113331 0
vsize: 454524
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 155959 0 0 0 96676 337 0 0 25 0 1 0 864468035 465432576 82422 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113631 82422 300 300 0 113331 0
vsize: 454524
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 155969 0 0 0 97676 338 0 0 25 0 1 0 864468035 465432576 82432 4294967295 134512640 135726644 3221224592 3221223192 134744138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113631 82432 300 300 0 113331 0
vsize: 454524
[startup+990.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 155978 0 0 0 98676 338 0 0 25 0 1 0 864468035 465432576 82441 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113631 82441 300 300 0 113331 0
vsize: 454524
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 157278 0 0 0 99674 341 0 0 25 0 1 0 864468035 465432576 82443 4294967295 134512640 135726644 3221224592 3221223216 134779658 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113631 82443 300 300 0 113331 0
vsize: 454524
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 158448 0 0 0 100671 343 0 0 25 0 1 0 864468035 468877312 83060 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114472 83060 300 300 0 114172 0
vsize: 457888
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 159411 0 0 0 101668 345 0 0 25 0 1 0 864468035 471633920 83378 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115145 83378 300 300 0 114845 0
vsize: 460580
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 159602 0 0 0 102667 346 0 0 25 0 1 0 864468035 472338432 83440 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115317 83440 300 300 0 115017 0
vsize: 461268
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 159671 0 0 0 103668 346 0 0 25 0 1 0 864468035 472338432 83509 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115317 83509 300 300 0 115017 0
vsize: 461268
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 159911 0 0 0 104667 346 0 0 25 0 1 0 864468035 472600576 83683 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115381 83683 300 300 0 115081 0
vsize: 461524
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 160186 0 0 0 105667 347 0 0 25 0 1 0 864468035 473391104 83892 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115574 83892 300 300 0 115274 0
vsize: 462296
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 160526 0 0 0 106667 347 0 0 25 0 1 0 864468035 474312704 84038 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115799 84038 300 300 0 115499 0
vsize: 463196
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 160923 0 0 0 107666 348 0 0 25 0 1 0 864468035 475365376 84208 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116056 84208 300 300 0 115756 0
vsize: 464224
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 161400 0 0 0 108665 349 0 0 25 0 1 0 864468035 476676096 84362 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116376 84362 300 300 0 116076 0
vsize: 465504
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 161987 0 0 0 109663 351 0 0 25 0 1 0 864468035 478388224 84590 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116794 84590 300 300 0 116494 0
vsize: 467176
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 163081 0 0 0 110660 354 0 0 25 0 1 0 864468035 481697792 85129 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117602 85129 300 300 0 117302 0
vsize: 470408
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 163093 0 0 0 111661 354 0 0 25 0 1 0 864468035 481697792 85141 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117602 85141 300 300 0 117302 0
vsize: 470408
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 163131 0 0 0 112661 354 0 0 25 0 1 0 864468035 481697792 85179 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117602 85179 300 300 0 117302 0
vsize: 470408
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 163131 0 0 0 113661 354 0 0 25 0 1 0 864468035 481697792 85179 4294967295 134512640 135726644 3221224592 3221223088 134744320 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117602 85179 300 300 0 117302 0
vsize: 470408
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 163539 0 0 0 114661 355 0 0 25 0 1 0 864468035 482689024 85457 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117844 85457 300 300 0 117544 0
vsize: 471376
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 163732 0 0 0 115660 355 0 0 25 0 1 0 864468035 483356672 85584 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118007 85584 300 300 0 117707 0
vsize: 472028
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 164227 0 0 0 116659 357 0 0 25 0 1 0 864468035 484937728 85820 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118393 85820 300 300 0 118093 0
vsize: 473572
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 164444 0 0 0 117659 358 0 0 25 0 1 0 864468035 485732352 85972 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118587 85972 300 300 0 118287 0
vsize: 474348
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 164505 0 0 0 118658 358 0 0 25 0 1 0 864468035 485998592 86033 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118652 86033 300 300 0 118352 0
vsize: 474608
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 164948 0 0 0 119657 359 0 0 25 0 1 0 864468035 487047168 86217 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118908 86217 300 300 0 118608 0
vsize: 475632
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.2 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 19409
Raw data (stat): 19409 (pb2sat) R 19408 10795 10794 0 -1 0 164948 0 0 0 119657 359 0 0 25 0 1 0 864468035 487047168 86217 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118908 86217 300 300 0 118608 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.2
CPU time (s): 1202.34
CPU user time (s): 1198.58
CPU system time (s): 3.76143
CPU usage (%): 100.012
Max. virtual memory (Kb): 475632
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####