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/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-c8.opb
MD5SUM	9b291040ec2b77d0bffb739c0db80d53
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1194
Optimality of the best value was proved	NO
Number of terms in the objective function	239
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	10012
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	10012
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.941856
Number of variables	239
Total number of constraints	524
Number of constraints which are clauses	520
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	4
Minimum length of a constraint	1
Maximum length of a constraint	36
Trace number 34931

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-28 11:06:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24176 boxname=wulflinc24 idbench=250 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  9b291040ec2b77d0bffb739c0db80d53  /oldhome/oroussel/tmp/wulflinc24/normalized-c8.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc24/normalized-c8.opb
IDLAUNCH: 24176
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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.080
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:        731968 kB
Buffers:         36040 kB
Cached:         244912 kB
SwapCached:        636 kB
Active:          20128 kB
Inactive:       262864 kB
HighTotal:      131008 kB
HighFree:        33348 kB
LowTotal:       903652 kB
LowFree:        698620 kB
SwapTotal:     2097892 kB
SwapFree:      2096360 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5148 kB
Slab:            13948 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:26:41 (client local time) WITH STATUS 0 IN 1201.95 SECONDS
stats: 24176 7 1201.95 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 513306/903902	Time: 568.567/86400
Decision: 513306/903902	Time: 679.653/86400
Decision: 518337/903902	Time: 840.835/86400
Decision: 518337/903902	Time: 1032.02/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.94 0.90 2/54 19026
Raw data (stat): 19026 (runsolver) R 19025 4613 4612 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864310868 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0007 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 30030 0 0 0 937 62 0 0 25 0 1 0 864310868 89313280 18890 4294967295 134512640 135726644 3221224592 3221151632 134766413 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21805 18890 300 300 0 21505 0
vsize: 87220
[startup+20.0018 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 59501 0 0 0 1874 125 0 0 25 0 1 0 864310868 176353280 37138 4294967295 134512640 135726644 3221224592 3221199840 134728657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43055 37138 300 300 0 42755 0
vsize: 172220
[startup+30.0026 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 99403 0 0 0 2788 211 0 0 25 0 1 0 864310868 332861440 54857 4294967295 134512640 135726644 3221224592 3221194908 134604415 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81265 54857 300 300 0 80965 0
vsize: 325060
[startup+40.0032 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 118042 0 0 0 3747 252 0 0 25 0 1 0 864310868 349622272 73240 4294967295 134512640 135726644 3221224592 3221205728 135279126 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85357 73240 300 300 0 85057 0
vsize: 341428
[startup+50.0035 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 127667 0 0 0 4727 272 0 0 25 0 1 0 864310868 373907456 80588 4294967295 134512640 135726644 3221224592 3221223088 134744372 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91286 80588 300 300 0 90986 0
vsize: 365144
[startup+60.0045 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 128364 0 0 0 5726 274 0 0 25 0 1 0 864310868 376696832 81120 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91967 81120 300 300 0 91667 0
vsize: 367868
[startup+70.0052 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 128705 0 0 0 6725 275 0 0 25 0 1 0 864310868 377999360 81330 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92285 81330 300 300 0 91985 0
vsize: 369140
[startup+80.0055 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 128852 0 0 0 7724 276 0 0 25 0 1 0 864310868 378597376 81444 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92431 81444 300 300 0 92131 0
vsize: 369724
[startup+90.0056 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 129089 0 0 0 8723 277 0 0 25 0 1 0 864310868 379252736 81518 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92591 81518 300 300 0 92291 0
vsize: 370364
[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 129139 0 0 0 9723 277 0 0 25 0 1 0 864310868 379387904 81568 4294967295 134512640 135726644 3221224592 3221223216 134744620 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92624 81568 300 300 0 92324 0
vsize: 370496
[startup+110.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 129141 0 0 0 10722 277 0 0 25 0 1 0 864310868 379387904 81570 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92624 81570 300 300 0 92324 0
vsize: 370496
[startup+120.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 129143 0 0 0 11723 278 0 0 25 0 1 0 864310868 379387904 81572 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92624 81572 300 300 0 92324 0
vsize: 370496
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 129197 0 0 0 12722 278 0 0 25 0 1 0 864310868 379654144 81626 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92689 81626 300 300 0 92389 0
vsize: 370756
[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 129222 0 0 0 13722 278 0 0 25 0 1 0 864310868 379654144 81651 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92689 81651 300 300 0 92389 0
vsize: 370756
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 129262 0 0 0 14721 279 0 0 25 0 1 0 864310868 379789312 81691 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92722 81691 300 300 0 92422 0
vsize: 370888
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 129284 0 0 0 15721 279 0 0 25 0 1 0 864310868 379789312 81713 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92722 81713 300 300 0 92422 0
vsize: 370888
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 129308 0 0 0 16721 280 0 0 25 0 1 0 864310868 379924480 81737 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92755 81737 300 300 0 92455 0
vsize: 371020
[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 129318 0 0 0 17720 280 0 0 25 0 1 0 864310868 379924480 81747 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92755 81747 300 300 0 92455 0
vsize: 371020
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 129321 0 0 0 18720 281 0 0 25 0 1 0 864310868 379924480 81750 4294967295 134512640 135726644 3221224592 3221223248 134745073 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92755 81750 300 300 0 92455 0
vsize: 371020
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 129414 0 0 0 19720 281 0 0 25 0 1 0 864310868 380526592 81843 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92902 81843 300 300 0 92602 0
vsize: 371608
[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 129418 0 0 0 20720 281 0 0 25 0 1 0 864310868 380526592 81847 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92902 81847 300 300 0 92602 0
vsize: 371608
[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 129420 0 0 0 21719 282 0 0 25 0 1 0 864310868 380526592 81849 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92902 81849 300 300 0 92602 0
vsize: 371608
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 129433 0 0 0 22720 282 0 0 25 0 1 0 864310868 380526592 81862 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92902 81862 300 300 0 92602 0
vsize: 371608
[startup+240.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 129435 0 0 0 23719 282 0 0 25 0 1 0 864310868 380526592 81864 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92902 81864 300 300 0 92602 0
vsize: 371608
[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 129442 0 0 0 24719 282 0 0 25 0 1 0 864310868 380526592 81871 4294967295 134512640 135726644 3221224592 3221223248 134745073 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92902 81871 300 300 0 92602 0
vsize: 371608
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 129459 0 0 0 25719 283 0 0 25 0 1 0 864310868 380526592 81888 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92902 81888 300 300 0 92602 0
vsize: 371608
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 129461 0 0 0 26719 283 0 0 25 0 1 0 864310868 380526592 81890 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92902 81890 300 300 0 92602 0
vsize: 371608
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 129594 0 0 0 27718 283 0 0 25 0 1 0 864310868 381059072 81990 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93032 81990 300 300 0 92732 0
vsize: 372128
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 130020 0 0 0 28717 284 0 0 25 0 1 0 864310868 382521344 82251 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93389 82251 300 300 0 93089 0
vsize: 373556
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 130216 0 0 0 29717 285 0 0 25 0 1 0 864310868 383315968 82382 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93583 82382 300 300 0 93283 0
vsize: 374332
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 130291 0 0 0 30716 286 0 0 25 0 1 0 864310868 383447040 82424 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93615 82424 300 300 0 93315 0
vsize: 374460
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 130451 0 0 0 31716 286 0 0 25 0 1 0 864310868 383840256 82485 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93711 82485 300 300 0 93411 0
vsize: 374844
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 130474 0 0 0 32715 287 0 0 25 0 1 0 864310868 383840256 82508 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93711 82508 300 300 0 93411 0
vsize: 374844
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 130560 0 0 0 33715 287 0 0 25 0 1 0 864310868 384102400 82529 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93775 82529 300 300 0 93475 0
vsize: 375100
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 130579 0 0 0 34714 288 0 0 25 0 1 0 864310868 384102400 82548 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93775 82548 300 300 0 93475 0
vsize: 375100
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 130652 0 0 0 35714 288 0 0 25 0 1 0 864310868 384364544 82556 4294967295 134512640 135726644 3221224592 3221223216 134744578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93839 82556 300 300 0 93539 0
vsize: 375356
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 130675 0 0 0 36714 289 0 0 25 0 1 0 864310868 384364544 82579 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93839 82579 300 300 0 93539 0
vsize: 375356
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 130765 0 0 0 37713 289 0 0 25 0 1 0 864310868 384626688 82604 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93903 82604 300 300 0 93603 0
vsize: 375612
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 130858 0 0 0 38713 290 0 0 25 0 1 0 864310868 384888832 82632 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93967 82632 300 300 0 93667 0
vsize: 375868
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 131181 0 0 0 39712 291 0 0 25 0 1 0 864310868 386211840 82922 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94290 82922 300 300 0 93990 0
vsize: 377160
[startup+410.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 131718 0 0 0 40713 292 0 0 25 0 1 0 864310868 388235264 83279 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94784 83279 300 300 0 94484 0
vsize: 379136
[startup+420.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 132059 0 0 0 41713 292 0 0 25 0 1 0 864310868 389488640 83457 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95090 83457 300 300 0 94790 0
vsize: 380360
[startup+430.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 132479 0 0 0 42712 293 0 0 25 0 1 0 864310868 391020544 83730 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95464 83730 300 300 0 95164 0
vsize: 381856
[startup+440.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 132895 0 0 0 43711 294 0 0 25 0 1 0 864310868 392482816 83999 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95821 83999 300 300 0 95521 0
vsize: 383284
[startup+450.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 133205 0 0 0 44710 295 0 0 25 0 1 0 864310868 393404416 84113 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96046 84113 300 300 0 95746 0
vsize: 384184
[startup+460.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 133587 0 0 0 45710 296 0 0 25 0 1 0 864310868 394461184 84299 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96304 84299 300 300 0 96004 0
vsize: 385216
[startup+470.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 134202 0 0 0 46709 297 0 0 25 0 1 0 864310868 396312576 84587 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96756 84587 300 300 0 96456 0
vsize: 387024
[startup+480.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 134397 0 0 0 47709 298 0 0 25 0 1 0 864310868 396840960 84684 4294967295 134512640 135726644 3221224592 3221223216 134744575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96885 84684 300 300 0 96585 0
vsize: 387540
[startup+490.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 134672 0 0 0 48708 298 0 0 25 0 1 0 864310868 397365248 84829 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97013 84829 300 300 0 96713 0
vsize: 388052
[startup+500.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 134793 0 0 0 49708 298 0 0 25 0 1 0 864310868 397627392 84885 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97077 84885 300 300 0 96777 0
vsize: 388308
[startup+510.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 134876 0 0 0 50708 298 0 0 25 0 1 0 864310868 398159872 84968 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97207 84968 300 300 0 96907 0
vsize: 388828
[startup+520.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 135128 0 0 0 51708 299 0 0 25 0 1 0 864310868 398815232 85057 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97367 85057 300 300 0 97067 0
vsize: 389468
[startup+530.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 135142 0 0 0 52708 299 0 0 25 0 1 0 864310868 398815232 85071 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97367 85071 300 300 0 97067 0
vsize: 389468
[startup+540.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 135341 0 0 0 53708 299 0 0 25 0 1 0 864310868 399343616 85204 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97496 85204 300 300 0 97196 0
vsize: 389984
[startup+550.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 135688 0 0 0 54708 300 0 0 25 0 1 0 864310868 400531456 85388 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97786 85388 300 300 0 97486 0
vsize: 391144
[startup+560.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 135692 0 0 0 55708 300 0 0 25 0 1 0 864310868 400531456 85392 4294967295 134512640 135726644 3221224592 3221223248 134745076 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97786 85392 300 300 0 97486 0
vsize: 391144
[startup+570.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 135870 0 0 0 56708 300 0 0 25 0 1 0 864310868 401055744 85440 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97914 85440 300 300 0 97614 0
vsize: 391656
[startup+580.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 135873 0 0 0 57708 300 0 0 25 0 1 0 864310868 401055744 85443 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97914 85443 300 300 0 97614 0
vsize: 391656
[startup+590.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 135884 0 0 0 58708 300 0 0 25 0 1 0 864310868 401055744 85454 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97914 85454 300 300 0 97614 0
vsize: 391656
[startup+600.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 135887 0 0 0 59708 300 0 0 25 0 1 0 864310868 401055744 85457 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97914 85457 300 300 0 97614 0
vsize: 391656
[startup+610.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 137657 0 0 0 60704 305 0 0 25 0 1 0 864310868 401055744 85461 4294967295 134512640 135726644 3221224592 3221223208 134779528 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97914 85461 300 300 0 97614 0
vsize: 391656
[startup+620.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 137681 0 0 0 61704 305 0 0 25 0 1 0 864310868 401055744 85485 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97914 85485 300 300 0 97614 0
vsize: 391656
[startup+630.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 137727 0 0 0 62704 305 0 0 25 0 1 0 864310868 401326080 85531 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97980 85531 300 300 0 97680 0
vsize: 391920
[startup+640.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 137730 0 0 0 63704 305 0 0 25 0 1 0 864310868 401326080 85534 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97980 85534 300 300 0 97680 0
vsize: 391920
[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 137732 0 0 0 64704 305 0 0 25 0 1 0 864310868 401326080 85536 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97980 85536 300 300 0 97680 0
vsize: 391920
[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 137738 0 0 0 65704 305 0 0 25 0 1 0 864310868 401326080 85542 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97980 85542 300 300 0 97680 0
vsize: 391920
[startup+670.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 137741 0 0 0 66704 305 0 0 25 0 1 0 864310868 401326080 85545 4294967295 134512640 135726644 3221224592 3221223184 134760396 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97980 85545 300 300 0 97680 0
vsize: 391920
[startup+680.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 137745 0 0 0 67705 305 0 0 25 0 1 0 864310868 401326080 85549 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97980 85549 300 300 0 97680 0
vsize: 391920
[startup+690.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 137759 0 0 0 68704 306 0 0 25 0 1 0 864310868 401326080 85563 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97980 85563 300 300 0 97680 0
vsize: 391920
[startup+700.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 137878 0 0 0 69704 306 0 0 25 0 1 0 864310868 401723392 85617 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98077 85617 300 300 0 97777 0
vsize: 392308
[startup+710.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 137901 0 0 0 70704 307 0 0 25 0 1 0 864310868 401723392 85640 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98077 85640 300 300 0 97777 0
vsize: 392308
[startup+720.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 137941 0 0 0 71704 307 0 0 25 0 1 0 864310868 401854464 85647 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98109 85647 300 300 0 97809 0
vsize: 392436
[startup+730.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 139977 0 0 0 72699 311 0 0 25 0 1 0 864310868 402919424 85851 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98369 85851 300 300 0 98069 0
vsize: 393476
[startup+740.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 140145 0 0 0 73698 312 0 0 25 0 1 0 864310868 403312640 85921 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98465 85921 300 300 0 98165 0
vsize: 393860
[startup+750.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 140153 0 0 0 74699 312 0 0 25 0 1 0 864310868 403312640 85929 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98465 85929 300 300 0 98165 0
vsize: 393860
[startup+760.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 140160 0 0 0 75699 312 0 0 25 0 1 0 864310868 403312640 85936 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98465 85936 300 300 0 98165 0
vsize: 393860
[startup+770.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 140400 0 0 0 76698 313 0 0 25 0 1 0 864310868 404099072 85981 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98657 85981 300 300 0 98357 0
vsize: 394628
[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 140402 0 0 0 77698 313 0 0 25 0 1 0 864310868 404099072 85983 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98657 85983 300 300 0 98357 0
vsize: 394628
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 140403 0 0 0 78697 313 0 0 25 0 1 0 864310868 404099072 85984 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98657 85984 300 300 0 98357 0
vsize: 394628
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 140406 0 0 0 79697 314 0 0 25 0 1 0 864310868 404099072 85987 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98657 85987 300 300 0 98357 0
vsize: 394628
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 140407 0 0 0 80698 314 0 0 25 0 1 0 864310868 404099072 85988 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98657 85988 300 300 0 98357 0
vsize: 394628
[startup+820.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 140408 0 0 0 81698 314 0 0 25 0 1 0 864310868 404099072 85989 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98657 85989 300 300 0 98357 0
vsize: 394628
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 140410 0 0 0 82698 314 0 0 25 0 1 0 864310868 404099072 85991 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98657 85991 300 300 0 98357 0
vsize: 394628
[startup+840.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 140412 0 0 0 83698 314 0 0 25 0 1 0 864310868 404099072 85993 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98657 85993 300 300 0 98357 0
vsize: 394628
[startup+850.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 140448 0 0 0 84698 314 0 0 25 0 1 0 864310868 404365312 86029 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98722 86029 300 300 0 98422 0
vsize: 394888
[startup+860.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 140450 0 0 0 85699 314 0 0 25 0 1 0 864310868 404365312 86031 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98722 86031 300 300 0 98422 0
vsize: 394888
[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 140451 0 0 0 86699 314 0 0 25 0 1 0 864310868 404365312 86032 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98722 86032 300 300 0 98422 0
vsize: 394888
[startup+880.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 140454 0 0 0 87699 314 0 0 25 0 1 0 864310868 404365312 86035 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98722 86035 300 300 0 98422 0
vsize: 394888
[startup+890.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 142223 0 0 0 88694 319 0 0 25 0 1 0 864310868 404365312 86038 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98722 86038 300 300 0 98422 0
vsize: 394888
[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 142228 0 0 0 89694 319 0 0 25 0 1 0 864310868 404365312 86043 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98722 86043 300 300 0 98422 0
vsize: 394888
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 142237 0 0 0 90695 319 0 0 25 0 1 0 864310868 404365312 86052 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98722 86052 300 300 0 98422 0
vsize: 394888
[startup+920.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 142239 0 0 0 91695 319 0 0 25 0 1 0 864310868 404365312 86054 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98722 86054 300 300 0 98422 0
vsize: 394888
[startup+930.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 142241 0 0 0 92695 319 0 0 25 0 1 0 864310868 404365312 86056 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98722 86056 300 300 0 98422 0
vsize: 394888
[startup+940.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 142243 0 0 0 93695 319 0 0 25 0 1 0 864310868 404365312 86058 4294967295 134512640 135726644 3221224592 3221223088 134744074 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98722 86058 300 300 0 98422 0
vsize: 394888
[startup+950.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 142244 0 0 0 94695 319 0 0 25 0 1 0 864310868 404365312 86059 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98722 86059 300 300 0 98422 0
vsize: 394888
[startup+960.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 142253 0 0 0 95695 319 0 0 25 0 1 0 864310868 404365312 86068 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98722 86068 300 300 0 98422 0
vsize: 394888
[startup+970.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 142256 0 0 0 96695 319 0 0 25 0 1 0 864310868 404365312 86071 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98722 86071 300 300 0 98422 0
vsize: 394888
[startup+980.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 142258 0 0 0 97695 319 0 0 25 0 1 0 864310868 404365312 86073 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98722 86073 300 300 0 98422 0
vsize: 394888
[startup+990.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 142259 0 0 0 98696 319 0 0 25 0 1 0 864310868 404365312 86074 4294967295 134512640 135726644 3221224592 3221223196 134743852 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98722 86074 300 300 0 98422 0
vsize: 394888
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 142262 0 0 0 99696 319 0 0 25 0 1 0 864310868 404365312 86077 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98722 86077 300 300 0 98422 0
vsize: 394888
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 142264 0 0 0 100696 319 0 0 25 0 1 0 864310868 404365312 86079 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98722 86079 300 300 0 98422 0
vsize: 394888
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 142280 0 0 0 101696 319 0 0 25 0 1 0 864310868 404365312 86095 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98722 86095 300 300 0 98422 0
vsize: 394888
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 142281 0 0 0 102696 319 0 0 25 0 1 0 864310868 404365312 86096 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98722 86096 300 300 0 98422 0
vsize: 394888
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 142282 0 0 0 103696 319 0 0 25 0 1 0 864310868 404365312 86097 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98722 86097 300 300 0 98422 0
vsize: 394888
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 142283 0 0 0 104696 319 0 0 25 0 1 0 864310868 404365312 86098 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98722 86098 300 300 0 98422 0
vsize: 394888
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 142317 0 0 0 105697 319 0 0 25 0 1 0 864310868 404365312 86132 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98722 86132 300 300 0 98422 0
vsize: 394888
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 142319 0 0 0 106697 319 0 0 25 0 1 0 864310868 404365312 86134 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98722 86134 300 300 0 98422 0
vsize: 394888
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 144111 0 0 0 107692 324 0 0 25 0 1 0 864310868 404500480 86160 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98755 86160 300 300 0 98455 0
vsize: 395020
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 144113 0 0 0 108692 324 0 0 25 0 1 0 864310868 404500480 86162 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98755 86162 300 300 0 98455 0
vsize: 395020
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 144116 0 0 0 109692 324 0 0 25 0 1 0 864310868 404500480 86165 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98755 86165 300 300 0 98455 0
vsize: 395020
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 144221 0 0 0 110692 324 0 0 25 0 1 0 864310868 404762624 86205 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98819 86205 300 300 0 98519 0
vsize: 395276
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 144298 0 0 0 111693 325 0 0 25 0 1 0 864310868 405024768 86217 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98883 86217 300 300 0 98583 0
vsize: 395532
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 144300 0 0 0 112693 325 0 0 25 0 1 0 864310868 405024768 86219 4294967295 134512640 135726644 3221224592 3221222912 134728868 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98883 86219 300 300 0 98583 0
vsize: 395532
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 144450 0 0 0 113693 325 0 0 25 0 1 0 864310868 405286912 86304 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98947 86304 300 300 0 98647 0
vsize: 395788
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 144451 0 0 0 114693 325 0 0 25 0 1 0 864310868 405286912 86305 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98947 86305 300 300 0 98647 0
vsize: 395788
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 144594 0 0 0 115693 325 0 0 25 0 1 0 864310868 405549056 86383 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99011 86383 300 300 0 98711 0
vsize: 396044
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 144644 0 0 0 116693 325 0 0 25 0 1 0 864310868 405549056 86433 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99011 86433 300 300 0 98711 0
vsize: 396044
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 144647 0 0 0 117693 325 0 0 25 0 1 0 864310868 405549056 86436 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99011 86436 300 300 0 98711 0
vsize: 396044
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 144651 0 0 0 118693 325 0 0 25 0 1 0 864310868 405549056 86440 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99011 86440 300 300 0 98711 0
vsize: 396044
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19026
Raw data (stat): 19026 (pb2sat) R 19025 4613 4612 0 -1 0 144655 0 0 0 119693 325 0 0 25 0 1 0 864310868 405549056 86444 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99011 86444 300 300 0 98711 0
vsize: 396044
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.8 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 19026
Raw data (stat): 19026 (pb2sat) Z 19025 4613 4612 0 -1 12 144656 0 0 0 119851 343 0 0 25 0 1 0 864310868 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.8
CPU time (s): 1201.95
CPU user time (s): 1198.52
CPU system time (s): 3.43548
CPU usage (%): 100.013
Max. virtual memory (Kb): 396044
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####