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/frb53-24-opb/normalized-frb53-24-1.opb
MD5SUM	20fc65112f36a5d10cc9eaa82c0beb63
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-38
Optimality of the best value was proved	NO
Number of terms in the objective function	1272
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	1272
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	1272
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	1272
Total number of constraints	94227
Number of constraints which are clauses	94227
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 34980

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-28 11:35:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24265 boxname=wulflinc15 idbench=339 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  20fc65112f36a5d10cc9eaa82c0beb63  /oldhome/oroussel/tmp/wulflinc15/normalized-frb53-24-1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc15/normalized-frb53-24-1.opb
IDLAUNCH: 24265
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        927052 kB
Buffers:         32704 kB
Cached:          52168 kB
SwapCached:        604 kB
Active:          46532 kB
Inactive:        40480 kB
HighTotal:      131008 kB
HighFree:        76664 kB
LowTotal:       903652 kB
LowFree:        850388 kB
SwapTotal:     2097136 kB
SwapFree:      2095616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            14976 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:55:08 (client local time) WITH STATUS 0 IN 1202.34 SECONDS
stats: 24265 7 1202.34 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 526441/812188	Time: 148.417/86400
Decision: 534338/812188	Time: 363.527/86400
Decision: 536368/812188	Time: 502.02/86400c [startup+1104.25 s]  setting bit 10 to 0
s 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.84 0.96 0.91 1/54 1509
Raw data (stat): 1509 (runsolver) R 1508 23514 23513 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806256210 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.0005 s]
Raw data (loadavg): 0.87 0.96 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 29109 0 0 0 937 62 0 0 25 0 1 0 806256210 88600576 18207 4294967295 134512640 135726644 3221224592 3220815744 134554681 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21631 18208 300 300 0 21331 0
vsize: 86524
[startup+20.002 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 57220 0 0 0 1877 121 0 0 25 0 1 0 806256210 173916160 35366 4294967295 134512640 135726644 3221224592 3221018764 135287576 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42460 35367 300 300 0 42160 0
vsize: 169840
[startup+30.0012 s]
Raw data (loadavg): 0.90 0.96 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 97508 0 0 0 2794 204 0 0 25 0 1 0 806256210 298151936 53978 4294967295 134512640 135726644 3221224592 3220952880 134767076 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72791 53978 300 300 0 72491 0
vsize: 291164
[startup+40.0022 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 112618 0 0 0 3762 237 0 0 25 0 1 0 806256210 343330816 68871 4294967295 134512640 135726644 3221224592 3221221664 134556257 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83821 68871 300 300 0 83521 0
vsize: 335284
[startup+50.0035 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 121074 0 0 0 4742 256 0 0 25 0 1 0 806256210 366338048 74743 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89438 74743 300 300 0 89138 0
vsize: 357752
[startup+60.0038 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 122984 0 0 0 5738 260 0 0 25 0 1 0 806256210 374284288 76060 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91378 76060 300 300 0 91078 0
vsize: 365512
[startup+70.0036 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 126359 0 0 0 6732 266 0 0 25 0 1 0 806256210 384614400 77732 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93900 77732 300 300 0 93600 0
vsize: 375600
[startup+80.0051 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 129328 0 0 0 7728 271 0 0 25 0 1 0 806256210 392806400 79198 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95900 79198 300 300 0 95600 0
vsize: 383600
[startup+90.0052 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 129330 0 0 0 8728 271 0 0 25 0 1 0 806256210 392806400 79200 4294967295 134512640 135726644 3221224592 3221223088 134744009 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95900 79200 300 300 0 95600 0
vsize: 383600
[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 129337 0 0 0 9728 271 0 0 25 0 1 0 806256210 392806400 79207 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95900 79207 300 300 0 95600 0
vsize: 383600
[startup+110.006 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 130551 0 0 0 10726 274 0 0 25 0 1 0 806256210 395976704 79833 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96674 79833 300 300 0 96374 0
vsize: 386696
[startup+120.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 130964 0 0 0 11725 275 0 0 25 0 1 0 806256210 397164544 80019 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96964 80019 300 300 0 96664 0
vsize: 387856
[startup+130.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 131028 0 0 0 12725 275 0 0 25 0 1 0 806256210 397295616 80050 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96996 80050 300 300 0 96696 0
vsize: 387984
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 131139 0 0 0 13725 275 0 0 25 0 1 0 806256210 397557760 80096 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97060 80096 300 300 0 96760 0
vsize: 388240
[startup+150.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 134878 0 0 0 14718 282 0 0 25 0 1 0 806256210 407576576 81818 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99506 81818 300 300 0 99206 0
vsize: 398024
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 139810 0 0 0 15707 293 0 0 25 0 1 0 806256210 420753408 84052 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102723 84052 300 300 0 102423 0
vsize: 410892
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 142941 0 0 0 16701 300 0 0 25 0 1 0 806256210 429182976 85429 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104781 85429 300 300 0 104481 0
vsize: 419124
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 142982 0 0 0 17701 300 0 0 25 0 1 0 806256210 429182976 85470 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104781 85470 300 300 0 104481 0
vsize: 419124
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 145127 0 0 0 18696 305 0 0 25 0 1 0 806256210 437260288 87259 4294967295 134512640 135726644 3221224592 3221222728 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106753 87259 300 300 0 106453 0
vsize: 427012
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 145249 0 0 0 19695 306 0 0 25 0 1 0 806256210 431337472 85778 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105307 85778 300 300 0 105007 0
vsize: 421228
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 145527 0 0 0 20694 307 0 0 25 0 1 0 806256210 432136192 85958 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105502 85958 300 300 0 105202 0
vsize: 422008
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 145528 0 0 0 21694 307 0 0 25 0 1 0 806256210 432136192 85959 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105502 85959 300 300 0 105202 0
vsize: 422008
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 145528 0 0 0 22694 307 0 0 25 0 1 0 806256210 432136192 85959 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105502 85959 300 300 0 105202 0
vsize: 422008
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 145675 0 0 0 23694 307 0 0 25 0 1 0 806256210 432660480 85977 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105630 85977 300 300 0 105330 0
vsize: 422520
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 145675 0 0 0 24694 307 0 0 25 0 1 0 806256210 432660480 85977 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105630 85977 300 300 0 105330 0
vsize: 422520
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 146270 0 0 0 25693 308 0 0 25 0 1 0 806256210 434360320 86345 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106045 86345 300 300 0 105745 0
vsize: 424180
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 146756 0 0 0 26693 309 0 0 25 0 1 0 806256210 435933184 86443 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106429 86443 300 300 0 106129 0
vsize: 425716
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 146874 0 0 0 27692 309 0 0 25 0 1 0 806256210 436195328 86496 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106493 86496 300 300 0 106193 0
vsize: 425972
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 146880 0 0 0 28692 310 0 0 25 0 1 0 806256210 436195328 86502 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106493 86502 300 300 0 106193 0
vsize: 425972
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 146881 0 0 0 29692 310 0 0 25 0 1 0 806256210 436195328 86503 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106493 86503 300 300 0 106193 0
vsize: 425972
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 146958 0 0 0 30693 310 0 0 25 0 1 0 806256210 436461568 86580 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106558 86580 300 300 0 106258 0
vsize: 426232
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 147197 0 0 0 31692 310 0 0 25 0 1 0 806256210 436985856 86690 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106686 86690 300 300 0 106386 0
vsize: 426744
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 147204 0 0 0 32692 310 0 0 25 0 1 0 806256210 436985856 86697 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106686 86697 300 300 0 106386 0
vsize: 426744
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 147225 0 0 0 33692 310 0 0 25 0 1 0 806256210 436985856 86718 4294967295 134512640 135726644 3221224592 3221223200 135280414 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106686 86718 300 300 0 106386 0
vsize: 426744
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 147228 0 0 0 34693 310 0 0 25 0 1 0 806256210 436985856 86721 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106686 86721 300 300 0 106386 0
vsize: 426744
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 147230 0 0 0 35693 310 0 0 25 0 1 0 806256210 436985856 86723 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106686 86723 300 300 0 106386 0
vsize: 426744
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 147314 0 0 0 36693 311 0 0 25 0 1 0 806256210 437248000 86742 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106750 86742 300 300 0 106450 0
vsize: 427000
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 147316 0 0 0 37693 311 0 0 25 0 1 0 806256210 437248000 86744 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106750 86744 300 300 0 106450 0
vsize: 427000
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 147319 0 0 0 38693 311 0 0 25 0 1 0 806256210 437248000 86747 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106750 86747 300 300 0 106450 0
vsize: 427000
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 147321 0 0 0 39693 311 0 0 25 0 1 0 806256210 437248000 86749 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106750 86749 300 300 0 106450 0
vsize: 427000
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 148909 0 0 0 40689 315 0 0 25 0 1 0 806256210 437248000 86750 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106750 86750 300 300 0 106450 0
vsize: 427000
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 148919 0 0 0 41688 315 0 0 25 0 1 0 806256210 437248000 86760 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106750 86760 300 300 0 106450 0
vsize: 427000
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 149182 0 0 0 42688 315 0 0 25 0 1 0 806256210 438456320 86958 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107045 86958 300 300 0 106745 0
vsize: 428180
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 149188 0 0 0 43688 315 0 0 25 0 1 0 806256210 438456320 86964 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107045 86964 300 300 0 106745 0
vsize: 428180
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 149353 0 0 0 44688 316 0 0 25 0 1 0 806256210 438984704 87031 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107174 87031 300 300 0 106874 0
vsize: 428696
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 149426 0 0 0 45688 316 0 0 25 0 1 0 806256210 439246848 87039 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107238 87039 300 300 0 106938 0
vsize: 428952
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 149428 0 0 0 46688 316 0 0 25 0 1 0 806256210 439246848 87041 4294967295 134512640 135726644 3221224592 3221223088 134744182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107238 87041 300 300 0 106938 0
vsize: 428952
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 149567 0 0 0 47688 316 0 0 25 0 1 0 806256210 439640064 87082 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107334 87082 300 300 0 107034 0
vsize: 429336
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 149626 0 0 0 48688 317 0 0 25 0 1 0 806256210 439906304 87141 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107399 87141 300 300 0 107099 0
vsize: 429596
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 149796 0 0 0 49687 317 0 0 25 0 1 0 806256210 440299520 87213 4294967295 134512640 135726644 3221224592 3221223088 134744346 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107495 87213 300 300 0 107195 0
vsize: 429980
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 149927 0 0 0 50687 317 0 0 25 0 1 0 806256210 440561664 87278 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107559 87278 300 300 0 107259 0
vsize: 430236
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 150244 0 0 0 51686 318 0 0 25 0 1 0 806256210 441618432 87432 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107817 87432 300 300 0 107517 0
vsize: 431268
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 150278 0 0 0 52686 319 0 0 25 0 1 0 806256210 441753600 87466 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107850 87466 300 300 0 107550 0
vsize: 431400
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 150281 0 0 0 53686 319 0 0 25 0 1 0 806256210 441753600 87469 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107850 87469 300 300 0 107550 0
vsize: 431400
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 152268 0 0 0 54682 323 0 0 25 0 1 0 806256210 442941440 87691 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108140 87691 300 300 0 107840 0
vsize: 432560
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 153184 0 0 0 55680 325 0 0 25 0 1 0 806256210 445628416 88281 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108796 88281 300 300 0 108496 0
vsize: 435184
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 154025 0 0 0 56679 326 0 0 25 0 1 0 806256210 447332352 88701 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109212 88701 300 300 0 108912 0
vsize: 436848
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 154061 0 0 0 57679 327 0 0 25 0 1 0 806256210 447299584 88729 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109204 88729 300 300 0 108904 0
vsize: 436816
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 154092 0 0 0 58679 327 0 0 25 0 1 0 806256210 447434752 88760 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109237 88760 300 300 0 108937 0
vsize: 436948
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 154336 0 0 0 59679 327 0 0 25 0 1 0 806256210 448225280 88842 4294967295 134512640 135726644 3221224592 3221223072 134729280 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109430 88842 300 300 0 109130 0
vsize: 437720
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 154338 0 0 0 60679 327 0 0 25 0 1 0 806256210 448225280 88844 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109430 88844 300 300 0 109130 0
vsize: 437720
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 154563 0 0 0 61678 328 0 0 25 0 1 0 806256210 449024000 89003 4294967295 134512640 135726644 3221224592 3221223088 134744041 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109625 89003 300 300 0 109325 0
vsize: 438500
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 154821 0 0 0 62678 328 0 0 25 0 1 0 806256210 449814528 89131 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109818 89131 300 300 0 109518 0
vsize: 439272
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 154843 0 0 0 63678 328 0 0 25 0 1 0 806256210 449814528 89153 4294967295 134512640 135726644 3221224592 3221223280 134744858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109818 89153 300 300 0 109518 0
vsize: 439272
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 154997 0 0 0 64678 329 0 0 25 0 1 0 806256210 450338816 89178 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109946 89178 300 300 0 109646 0
vsize: 439784
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155000 0 0 0 65678 329 0 0 25 0 1 0 806256210 450338816 89181 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109946 89181 300 300 0 109646 0
vsize: 439784
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155002 0 0 0 66678 329 0 0 25 0 1 0 806256210 450338816 89183 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109946 89183 300 300 0 109646 0
vsize: 439784
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155174 0 0 0 67678 329 0 0 25 0 1 0 806256210 450732032 89257 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89257 300 300 0 109742 0
vsize: 440168
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155176 0 0 0 68678 329 0 0 25 0 1 0 806256210 450732032 89259 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89259 300 300 0 109742 0
vsize: 440168
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155188 0 0 0 69679 329 0 0 25 0 1 0 806256210 450732032 89271 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89271 300 300 0 109742 0
vsize: 440168
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155192 0 0 0 70679 329 0 0 25 0 1 0 806256210 450732032 89275 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89275 300 300 0 109742 0
vsize: 440168
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155198 0 0 0 71679 329 0 0 25 0 1 0 806256210 450732032 89281 4294967295 134512640 135726644 3221224592 3221223184 134759991 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89281 300 300 0 109742 0
vsize: 440168
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155201 0 0 0 72679 329 0 0 25 0 1 0 806256210 450732032 89284 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89284 300 300 0 109742 0
vsize: 440168
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155204 0 0 0 73679 329 0 0 25 0 1 0 806256210 450732032 89287 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89287 300 300 0 109742 0
vsize: 440168
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155208 0 0 0 74679 329 0 0 25 0 1 0 806256210 450732032 89291 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89291 300 300 0 109742 0
vsize: 440168
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155211 0 0 0 75679 329 0 0 25 0 1 0 806256210 450732032 89294 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89294 300 300 0 109742 0
vsize: 440168
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155214 0 0 0 76680 329 0 0 25 0 1 0 806256210 450732032 89297 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89297 300 300 0 109742 0
vsize: 440168
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155219 0 0 0 77680 329 0 0 25 0 1 0 806256210 450732032 89302 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89302 300 300 0 109742 0
vsize: 440168
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155223 0 0 0 78680 329 0 0 25 0 1 0 806256210 450732032 89306 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89306 300 300 0 109742 0
vsize: 440168
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155227 0 0 0 79680 329 0 0 25 0 1 0 806256210 450732032 89310 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89310 300 300 0 109742 0
vsize: 440168
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155230 0 0 0 80680 329 0 0 25 0 1 0 806256210 450732032 89313 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89313 300 300 0 109742 0
vsize: 440168
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155233 0 0 0 81681 329 0 0 25 0 1 0 806256210 450732032 89316 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89316 300 300 0 109742 0
vsize: 440168
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155237 0 0 0 82681 329 0 0 25 0 1 0 806256210 450732032 89320 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89320 300 300 0 109742 0
vsize: 440168
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155241 0 0 0 83681 329 0 0 25 0 1 0 806256210 450732032 89324 4294967295 134512640 135726644 3221224592 3221223088 134744041 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89324 300 300 0 109742 0
vsize: 440168
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155243 0 0 0 84681 329 0 0 25 0 1 0 806256210 450732032 89326 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89326 300 300 0 109742 0
vsize: 440168
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155249 0 0 0 85681 329 0 0 25 0 1 0 806256210 450732032 89332 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89332 300 300 0 109742 0
vsize: 440168
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155257 0 0 0 86682 329 0 0 25 0 1 0 806256210 450732032 89340 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89340 300 300 0 109742 0
vsize: 440168
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155260 0 0 0 87682 329 0 0 25 0 1 0 806256210 450732032 89343 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89343 300 300 0 109742 0
vsize: 440168
[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155265 0 0 0 88682 329 0 0 25 0 1 0 806256210 450732032 89348 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89348 300 300 0 109742 0
vsize: 440168
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155267 0 0 0 89682 329 0 0 25 0 1 0 806256210 450732032 89350 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89350 300 300 0 109742 0
vsize: 440168
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155271 0 0 0 90682 329 0 0 25 0 1 0 806256210 450732032 89354 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89354 300 300 0 109742 0
vsize: 440168
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155275 0 0 0 91682 329 0 0 25 0 1 0 806256210 450732032 89358 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89358 300 300 0 109742 0
vsize: 440168
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155279 0 0 0 92683 329 0 0 25 0 1 0 806256210 450732032 89362 4294967295 134512640 135726644 3221224592 3221223088 134744159 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89362 300 300 0 109742 0
vsize: 440168
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155282 0 0 0 93683 329 0 0 25 0 1 0 806256210 450732032 89365 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89365 300 300 0 109742 0
vsize: 440168
[startup+950.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155286 0 0 0 94683 329 0 0 25 0 1 0 806256210 450732032 89369 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89369 300 300 0 109742 0
vsize: 440168
[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155292 0 0 0 95683 329 0 0 25 0 1 0 806256210 450732032 89375 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89375 300 300 0 109742 0
vsize: 440168
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155306 0 0 0 96683 329 0 0 25 0 1 0 806256210 450732032 89389 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89389 300 300 0 109742 0
vsize: 440168
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155321 0 0 0 97683 330 0 0 25 0 1 0 806256210 450732032 89404 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89404 300 300 0 109742 0
vsize: 440168
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155329 0 0 0 98684 330 0 0 25 0 1 0 806256210 450732032 89412 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89412 300 300 0 109742 0
vsize: 440168
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155333 0 0 0 99684 330 0 0 25 0 1 0 806256210 450732032 89416 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89416 300 300 0 109742 0
vsize: 440168
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155338 0 0 0 100684 330 0 0 25 0 1 0 806256210 450732032 89421 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89421 300 300 0 109742 0
vsize: 440168
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155343 0 0 0 101684 330 0 0 25 0 1 0 806256210 450732032 89426 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89426 300 300 0 109742 0
vsize: 440168
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155346 0 0 0 102684 330 0 0 25 0 1 0 806256210 450732032 89429 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89429 300 300 0 109742 0
vsize: 440168
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155354 0 0 0 103684 330 0 0 25 0 1 0 806256210 450732032 89437 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89437 300 300 0 109742 0
vsize: 440168
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155360 0 0 0 104684 330 0 0 25 0 1 0 806256210 450732032 89443 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89443 300 300 0 109742 0
vsize: 440168
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155379 0 0 0 105684 331 0 0 25 0 1 0 806256210 450732032 89462 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89462 300 300 0 109742 0
vsize: 440168
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155407 0 0 0 106684 331 0 0 25 0 1 0 806256210 450732032 89490 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89490 300 300 0 109742 0
vsize: 440168
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155435 0 0 0 107684 331 0 0 25 0 1 0 806256210 450732032 89518 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89518 300 300 0 109742 0
vsize: 440168
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155465 0 0 0 108684 331 0 0 25 0 1 0 806256210 450732032 89548 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89548 300 300 0 109742 0
vsize: 440168
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 155508 0 0 0 109684 331 0 0 25 0 1 0 806256210 450732032 89591 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110042 89591 300 300 0 109742 0
vsize: 440168
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 157261 0 0 0 110679 336 0 0 25 0 1 0 806256210 450994176 89692 4294967295 134512640 135726644 3221224592 3221223184 134759986 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110106 89692 300 300 0 109806 0
vsize: 440424
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 157490 0 0 0 111677 337 0 0 25 0 1 0 806256210 451956736 89855 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110341 89855 300 300 0 110041 0
vsize: 441364
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 157521 0 0 0 112677 337 0 0 25 0 1 0 806256210 451956736 89886 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110341 89886 300 300 0 110041 0
vsize: 441364
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 157716 0 0 0 113675 338 0 0 25 0 1 0 806256210 452481024 89952 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110469 89952 300 300 0 110169 0
vsize: 441876
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 157730 0 0 0 114676 338 0 0 25 0 1 0 806256210 452481024 89966 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110469 89966 300 300 0 110169 0
vsize: 441876
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 157740 0 0 0 115676 338 0 0 25 0 1 0 806256210 452481024 89976 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110469 89976 300 300 0 110169 0
vsize: 441876
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 157830 0 0 0 116676 338 0 0 25 0 1 0 806256210 452743168 90001 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110533 90001 300 300 0 110233 0
vsize: 442132
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 157845 0 0 0 117676 338 0 0 25 0 1 0 806256210 452743168 90016 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110533 90016 300 300 0 110233 0
vsize: 442132
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 157858 0 0 0 118676 339 0 0 25 0 1 0 806256210 452743168 90029 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110533 90029 300 300 0 110233 0
vsize: 442132
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 157872 0 0 0 119676 339 0 0 25 0 1 0 806256210 452743168 90043 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110533 90043 300 300 0 110233 0
vsize: 442132
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.21 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 1509
Raw data (stat): 1509 (pb2sat) R 1508 23514 23513 0 -1 0 157872 0 0 0 119676 339 0 0 25 0 1 0 806256210 452743168 90043 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110533 90043 300 300 0 110233 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.21
CPU time (s): 1202.34
CPU user time (s): 1198.77
CPU system time (s): 3.56946
CPU usage (%): 100.01
Max. virtual memory (Kb): 442132
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####