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/frb56-25-opb/normalized-frb56-25-2.opb
MD5SUM	550a32227cb0042826e9d8b0433b2655
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-42
Optimality of the best value was proved	NO
Number of terms in the objective function	1400
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	1400
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	1400
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.12
Number of variables	1400
Total number of constraints	109401
Number of constraints which are clauses	109401
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 34992

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        701200 kB
Buffers:         32704 kB
Cached:         268880 kB
SwapCached:        744 kB
Active:          24288 kB
Inactive:       279384 kB
HighTotal:      131008 kB
HighFree:        71120 kB
LowTotal:       903652 kB
LowFree:        630080 kB
SwapTotal:     2097892 kB
SwapFree:      2096256 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            23876 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:56:14 (client local time) WITH STATUS 0 IN 1202.38 SECONDS
stats: 24271 7 1202.38 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 534294/983516	Time: 203.607/86400
Decision: 535282/983516	Time: 307.185/86400
Decision: 535282/983516	Time: 388.879/86400
Decision: 538307/983516	Time: 512.397/86400
Decision: 541560/983516	Time: 851.691/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 1265
Raw data (stat): 1265 (runsolver) R 1264 20687 20686 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864497167 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99998 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 29334 0 0 0 931 67 0 0 25 0 1 0 864497167 88948736 18430 4294967295 134512640 135726644 3221224592 3221177448 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21716 18431 300 300 0 21416 0
vsize: 86864
[startup+20.0022 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 57439 0 0 0 1870 128 0 0 25 0 1 0 864497167 174399488 35582 4294967295 134512640 135726644 3221224592 3221029768 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42578 35582 300 300 0 42278 0
vsize: 170312
[startup+30.0023 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 97673 0 0 0 2786 212 0 0 25 0 1 0 864497167 298229760 54141 4294967295 134512640 135726644 3221224592 3221011768 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72810 54141 300 300 0 72510 0
vsize: 291240
[startup+40.002 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 113044 0 0 0 3752 247 0 0 25 0 1 0 864497167 344084480 69291 4294967295 134512640 135726644 3221224592 3221046480 134739530 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84005 69291 300 300 0 83705 0
vsize: 336020
[startup+50.0032 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 127654 0 0 0 4720 280 0 0 25 0 1 0 864497167 364765184 83740 4294967295 134512640 135726644 3221224592 3221221568 134541398 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89054 83740 300 300 0 88754 0
vsize: 356216
[startup+60.0034 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 137108 0 0 0 5695 304 0 0 25 0 1 0 864497167 391766016 90276 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95646 90276 300 300 0 95346 0
vsize: 382584
[startup+70.0034 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 139641 0 0 0 6690 308 0 0 25 0 1 0 864497167 401461248 92017 4294967295 134512640 135726644 3221224592 3221222916 134728949 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98013 92017 300 300 0 97713 0
vsize: 392052
[startup+80.0055 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 144104 0 0 0 7683 317 0 0 25 0 1 0 864497167 414691328 94190 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101243 94190 300 300 0 100943 0
vsize: 404972
[startup+90.0054 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 145272 0 0 0 8679 320 0 0 25 0 1 0 864497167 417980416 94695 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102046 94695 300 300 0 101746 0
vsize: 408184
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 145272 0 0 0 9678 322 0 0 25 0 1 0 864497167 417980416 94695 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102046 94695 300 300 0 101746 0
vsize: 408184
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 145297 0 0 0 10677 323 0 0 25 0 1 0 864497167 418115584 94720 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102079 94720 300 300 0 101779 0
vsize: 408316
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 145306 0 0 0 11676 324 0 0 25 0 1 0 864497167 418115584 94729 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102079 94729 300 300 0 101779 0
vsize: 408316
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 146620 0 0 0 12671 329 0 0 25 0 1 0 864497167 422010880 95336 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103030 95336 300 300 0 102730 0
vsize: 412120
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 147509 0 0 0 13670 330 0 0 25 0 1 0 864497167 424443904 95771 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103624 95771 300 300 0 103324 0
vsize: 414496
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 147807 0 0 0 14669 331 0 0 25 0 1 0 864497167 425238528 95938 4294967295 134512640 135726644 3221224592 3221223088 134743875 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103818 95938 300 300 0 103518 0
vsize: 415272
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 148883 0 0 0 15668 333 0 0 25 0 1 0 864497167 428638208 96460 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104648 96460 300 300 0 104348 0
vsize: 418592
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 150260 0 0 0 16665 336 0 0 25 0 1 0 864497167 432881664 97184 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105684 97185 300 300 0 105384 0
vsize: 422736
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 151281 0 0 0 17662 338 0 0 25 0 1 0 864497167 435650560 97653 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106360 97653 300 300 0 106060 0
vsize: 425440
[startup+190.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 151371 0 0 0 18662 339 0 0 25 0 1 0 864497167 435650560 97743 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106360 97743 300 300 0 106060 0
vsize: 425440
[startup+200.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 151688 0 0 0 19662 339 0 0 25 0 1 0 864497167 436940800 97929 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106675 97929 300 300 0 106375 0
vsize: 426700
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 151756 0 0 0 20662 340 0 0 25 0 1 0 864497167 437268480 97997 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106755 97997 300 300 0 106455 0
vsize: 427020
[startup+220.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 152024 0 0 0 21661 340 0 0 25 0 1 0 864497167 438317056 98008 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107011 98008 300 300 0 106711 0
vsize: 428044
[startup+230.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 152029 0 0 0 22661 340 0 0 25 0 1 0 864497167 438317056 98013 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107011 98013 300 300 0 106711 0
vsize: 428044
[startup+240.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 152035 0 0 0 23661 341 0 0 25 0 1 0 864497167 438317056 98019 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107011 98019 300 300 0 106711 0
vsize: 428044
[startup+250.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 152093 0 0 0 24661 341 0 0 25 0 1 0 864497167 438448128 98044 4294967295 134512640 135726644 3221224592 3221223104 134742274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107043 98044 300 300 0 106743 0
vsize: 428172
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 154476 0 0 0 25655 347 0 0 25 0 1 0 864497167 439955456 98318 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107411 98318 300 300 0 107111 0
vsize: 429644
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 155347 0 0 0 26652 350 0 0 25 0 1 0 864497167 443195392 98911 4294967295 134512640 135726644 3221224592 3221223088 134744369 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108202 98911 300 300 0 107902 0
vsize: 432808
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 156140 0 0 0 27649 352 0 0 25 0 1 0 864497167 446812160 99590 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109085 99590 300 300 0 108785 0
vsize: 436340
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 156745 0 0 0 28648 354 0 0 25 0 1 0 864497167 448831488 99901 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109578 99901 300 300 0 109278 0
vsize: 438312
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 157141 0 0 0 29647 355 0 0 25 0 1 0 864497167 450457600 100232 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109975 100232 300 300 0 109675 0
vsize: 439900
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 157545 0 0 0 30646 356 0 0 25 0 1 0 864497167 451915776 100473 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110331 100473 300 300 0 110031 0
vsize: 441324
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 158514 0 0 0 31644 359 0 0 25 0 1 0 864497167 454565888 101017 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110978 101017 300 300 0 110678 0
vsize: 443912
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 160489 0 0 0 32640 363 0 0 25 0 1 0 864497167 460886016 102239 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112521 102239 300 300 0 112221 0
vsize: 450084
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 162518 0 0 0 33636 366 0 0 25 0 1 0 864497167 466571264 103255 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113909 103255 300 300 0 113609 0
vsize: 455636
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 163670 0 0 0 34634 369 0 0 25 0 1 0 864497167 469467136 103791 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114616 103791 300 300 0 114316 0
vsize: 458464
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 165624 0 0 0 35628 374 0 0 25 0 1 0 864497167 469467136 103824 4294967295 134512640 135726644 3221224592 3221223216 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114616 103824 300 300 0 114316 0
vsize: 458464
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 166682 0 0 0 36626 377 0 0 25 0 1 0 864497167 472440832 104391 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115342 104391 300 300 0 115042 0
vsize: 461368
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 167340 0 0 0 37624 379 0 0 25 0 1 0 864497167 474488832 104721 4294967295 134512640 135726644 3221224592 3221223088 134744351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115842 104721 300 300 0 115542 0
vsize: 463368
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 167661 0 0 0 38623 380 0 0 25 0 1 0 864497167 475987968 104960 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116208 104960 300 300 0 115908 0
vsize: 464832
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 168623 0 0 0 39620 384 0 0 25 0 1 0 864497167 478752768 105419 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116883 105419 300 300 0 116583 0
vsize: 467532
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 169739 0 0 0 40618 386 0 0 25 0 1 0 864497167 482717696 106081 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117851 106081 300 300 0 117551 0
vsize: 471404
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 170249 0 0 0 41616 387 0 0 25 0 1 0 864497167 484462592 106267 4294967295 134512640 135726644 3221224592 3221223248 134731202 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118277 106267 300 300 0 117977 0
vsize: 473108
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 170339 0 0 0 42616 388 0 0 25 0 1 0 864497167 484958208 106357 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118398 106357 300 300 0 118098 0
vsize: 473592
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 172325 0 0 0 43611 393 0 0 25 0 1 0 864497167 493232128 108343 4294967295 134512640 135726644 3221224592 3221222768 134765294 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120418 108343 300 300 0 120118 0
vsize: 481672
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 172988 0 0 0 44610 394 0 0 25 0 1 0 864497167 487358464 106824 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118984 106824 300 300 0 118684 0
vsize: 475936
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 173523 0 0 0 45608 396 0 0 25 0 1 0 864497167 489078784 107098 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119404 107098 300 300 0 119104 0
vsize: 477616
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 173674 0 0 0 46607 397 0 0 25 0 1 0 864497167 489476096 107183 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119501 107183 300 300 0 119201 0
vsize: 478004
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 173964 0 0 0 47606 398 0 0 25 0 1 0 864497167 490000384 107344 4294967295 134512640 135726644 3221224592 3221223088 134744346 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119629 107344 300 300 0 119329 0
vsize: 478516
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 174053 0 0 0 48606 399 0 0 25 0 1 0 864497167 490262528 107368 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119693 107368 300 300 0 119393 0
vsize: 478772
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 174286 0 0 0 49605 400 0 0 25 0 1 0 864497167 491257856 107535 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119936 107535 300 300 0 119636 0
vsize: 479744
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 174293 0 0 0 50604 400 0 0 25 0 1 0 864497167 491257856 107542 4294967295 134512640 135726644 3221224592 3221223248 134731279 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119936 107542 300 300 0 119636 0
vsize: 479744
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 174298 0 0 0 51604 401 0 0 25 0 1 0 864497167 491257856 107547 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119936 107547 300 300 0 119636 0
vsize: 479744
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 174381 0 0 0 52603 401 0 0 25 0 1 0 864497167 491520000 107565 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120000 107565 300 300 0 119700 0
vsize: 480000
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 174545 0 0 0 53602 403 0 0 25 0 1 0 864497167 492584960 107729 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120260 107729 300 300 0 119960 0
vsize: 481040
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 174552 0 0 0 54602 403 0 0 25 0 1 0 864497167 492584960 107736 4294967295 134512640 135726644 3221224592 3221223280 134744989 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120260 107736 300 300 0 119960 0
vsize: 481040
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 174587 0 0 0 55602 403 0 0 25 0 1 0 864497167 492584960 107771 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120260 107771 300 300 0 119960 0
vsize: 481040
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 178194 0 0 0 56594 411 0 0 25 0 1 0 864497167 497389568 108566 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 121433 108566 300 300 0 121133 0
vsize: 485732
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 179798 0 0 0 57590 415 0 0 25 0 1 0 864497167 502001664 109420 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 122559 109420 300 300 0 122259 0
vsize: 490236
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 181442 0 0 0 58587 419 0 0 25 0 1 0 864497167 506748928 110251 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123718 110251 300 300 0 123418 0
vsize: 494872
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 182081 0 0 0 59584 421 0 0 25 0 1 0 864497167 508194816 110567 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124071 110567 300 300 0 123771 0
vsize: 496284
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 183829 0 0 0 60581 425 0 0 25 0 1 0 864497167 514297856 111595 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125561 111595 300 300 0 125261 0
vsize: 502244
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 184437 0 0 0 61580 426 0 0 25 0 1 0 864497167 515870720 111813 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125945 111813 300 300 0 125645 0
vsize: 503780
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 185062 0 0 0 62577 429 0 0 25 0 1 0 864497167 517840896 112082 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126426 112082 300 300 0 126126 0
vsize: 505704
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 185391 0 0 0 63576 430 0 0 25 0 1 0 864497167 518496256 112248 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126586 112248 300 300 0 126286 0
vsize: 506344
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186134 0 0 0 64574 432 0 0 25 0 1 0 864497167 520466432 112569 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127067 112569 300 300 0 126767 0
vsize: 508268
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186290 0 0 0 65573 433 0 0 25 0 1 0 864497167 520728576 112660 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127131 112660 300 300 0 126831 0
vsize: 508524
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186295 0 0 0 66573 434 0 0 25 0 1 0 864497167 520728576 112665 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127131 112665 300 300 0 126831 0
vsize: 508524
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186299 0 0 0 67572 434 0 0 25 0 1 0 864497167 520728576 112669 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127131 112669 300 300 0 126831 0
vsize: 508524
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186303 0 0 0 68572 435 0 0 25 0 1 0 864497167 520728576 112673 4294967295 134512640 135726644 3221224592 3221223152 134736792 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127131 112673 300 300 0 126831 0
vsize: 508524
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186306 0 0 0 69572 435 0 0 25 0 1 0 864497167 520728576 112676 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127131 112676 300 300 0 126831 0
vsize: 508524
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186309 0 0 0 70571 436 0 0 25 0 1 0 864497167 520728576 112679 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127131 112679 300 300 0 126831 0
vsize: 508524
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186312 0 0 0 71571 436 0 0 25 0 1 0 864497167 520728576 112682 4294967295 134512640 135726644 3221224592 3221223088 134744030 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127131 112682 300 300 0 126831 0
vsize: 508524
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186375 0 0 0 72570 437 0 0 25 0 1 0 864497167 520728576 112745 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127131 112745 300 300 0 126831 0
vsize: 508524
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186379 0 0 0 73570 437 0 0 25 0 1 0 864497167 520728576 112749 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127131 112749 300 300 0 126831 0
vsize: 508524
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186681 0 0 0 74569 438 0 0 25 0 1 0 864497167 521777152 112794 4294967295 134512640 135726644 3221224592 3221223216 134744606 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127387 112794 300 300 0 127087 0
vsize: 509548
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186713 0 0 0 75569 439 0 0 25 0 1 0 864497167 521777152 112826 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127387 112826 300 300 0 127087 0
vsize: 509548
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186768 0 0 0 76568 439 0 0 25 0 1 0 864497167 521777152 112881 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127387 112881 300 300 0 127087 0
vsize: 509548
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186819 0 0 0 77568 440 0 0 25 0 1 0 864497167 521777152 112932 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127387 112932 300 300 0 127087 0
vsize: 509548
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186825 0 0 0 78568 440 0 0 25 0 1 0 864497167 521777152 112938 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127387 112938 300 300 0 127087 0
vsize: 509548
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186829 0 0 0 79567 441 0 0 25 0 1 0 864497167 521777152 112942 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127387 112942 300 300 0 127087 0
vsize: 509548
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186832 0 0 0 80567 441 0 0 25 0 1 0 864497167 521777152 112945 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127387 112945 300 300 0 127087 0
vsize: 509548
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186835 0 0 0 81566 442 0 0 25 0 1 0 864497167 521777152 112948 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127387 112948 300 300 0 127087 0
vsize: 509548
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186837 0 0 0 82566 443 0 0 25 0 1 0 864497167 521777152 112950 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127387 112950 300 300 0 127087 0
vsize: 509548
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186839 0 0 0 83566 443 0 0 25 0 1 0 864497167 521777152 112952 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127387 112952 300 300 0 127087 0
vsize: 509548
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186843 0 0 0 84565 444 0 0 25 0 1 0 864497167 521777152 112956 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127387 112956 300 300 0 127087 0
vsize: 509548
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186846 0 0 0 85565 444 0 0 25 0 1 0 864497167 521777152 112959 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127387 112959 300 300 0 127087 0
vsize: 509548
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186848 0 0 0 86565 444 0 0 25 0 1 0 864497167 521777152 112961 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127387 112961 300 300 0 127087 0
vsize: 509548
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186852 0 0 0 87565 445 0 0 25 0 1 0 864497167 521777152 112965 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127387 112965 300 300 0 127087 0
vsize: 509548
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186855 0 0 0 88565 445 0 0 25 0 1 0 864497167 521777152 112968 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127387 112968 300 300 0 127087 0
vsize: 509548
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 186859 0 0 0 89564 445 0 0 25 0 1 0 864497167 521777152 112972 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 127387 112972 300 300 0 127087 0
vsize: 509548
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 189797 0 0 0 90558 452 0 0 25 0 1 0 864497167 524136448 113406 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 127963 113406 300 300 0 127663 0
vsize: 511852
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 189965 0 0 0 91557 452 0 0 25 0 1 0 864497167 524668928 113574 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128093 113574 300 300 0 127793 0
vsize: 512372
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 190707 0 0 0 92556 454 0 0 25 0 1 0 864497167 526639104 113895 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128574 113895 300 300 0 128274 0
vsize: 514296
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 191686 0 0 0 93554 456 0 0 25 0 1 0 864497167 529264640 114289 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129215 114289 300 300 0 128915 0
vsize: 516860
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192196 0 0 0 94554 457 0 0 25 0 1 0 864497167 530444288 114507 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114507 300 300 0 129203 0
vsize: 518012
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192199 0 0 0 95554 457 0 0 25 0 1 0 864497167 530444288 114510 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114510 300 300 0 129203 0
vsize: 518012
[startup+970.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192224 0 0 0 96554 457 0 0 25 0 1 0 864497167 530444288 114535 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114535 300 300 0 129203 0
vsize: 518012
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192228 0 0 0 97554 457 0 0 25 0 1 0 864497167 530444288 114539 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114539 300 300 0 129203 0
vsize: 518012
[startup+990.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192232 0 0 0 98554 457 0 0 25 0 1 0 864497167 530444288 114543 4294967295 134512640 135726644 3221224592 3221223280 134744845 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114543 300 300 0 129203 0
vsize: 518012
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192235 0 0 0 99554 457 0 0 25 0 1 0 864497167 530444288 114546 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114546 300 300 0 129203 0
vsize: 518012
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192238 0 0 0 100554 458 0 0 25 0 1 0 864497167 530444288 114549 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114549 300 300 0 129203 0
vsize: 518012
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192242 0 0 0 101554 458 0 0 25 0 1 0 864497167 530444288 114553 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114553 300 300 0 129203 0
vsize: 518012
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192246 0 0 0 102554 458 0 0 25 0 1 0 864497167 530444288 114557 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114557 300 300 0 129203 0
vsize: 518012
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192250 0 0 0 103554 458 0 0 25 0 1 0 864497167 530444288 114561 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114561 300 300 0 129203 0
vsize: 518012
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192255 0 0 0 104554 458 0 0 25 0 1 0 864497167 530444288 114566 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114566 300 300 0 129203 0
vsize: 518012
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192259 0 0 0 105554 458 0 0 25 0 1 0 864497167 530444288 114570 4294967295 134512640 135726644 3221224592 3221223252 134745067 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114570 300 300 0 129203 0
vsize: 518012
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192262 0 0 0 106555 458 0 0 25 0 1 0 864497167 530444288 114573 4294967295 134512640 135726644 3221224592 3221223088 134744030 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114573 300 300 0 129203 0
vsize: 518012
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192266 0 0 0 107555 458 0 0 25 0 1 0 864497167 530444288 114577 4294967295 134512640 135726644 3221224592 3221223184 134759991 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114577 300 300 0 129203 0
vsize: 518012
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192268 0 0 0 108555 458 0 0 25 0 1 0 864497167 530444288 114579 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114579 300 300 0 129203 0
vsize: 518012
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192271 0 0 0 109555 458 0 0 25 0 1 0 864497167 530444288 114582 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114582 300 300 0 129203 0
vsize: 518012
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192274 0 0 0 110555 458 0 0 25 0 1 0 864497167 530444288 114585 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114585 300 300 0 129203 0
vsize: 518012
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192278 0 0 0 111555 458 0 0 25 0 1 0 864497167 530444288 114589 4294967295 134512640 135726644 3221224592 3221223088 134744006 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114589 300 300 0 129203 0
vsize: 518012
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192283 0 0 0 112556 458 0 0 25 0 1 0 864497167 530444288 114594 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114594 300 300 0 129203 0
vsize: 518012
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192285 0 0 0 113556 458 0 0 25 0 1 0 864497167 530444288 114596 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114596 300 300 0 129203 0
vsize: 518012
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192288 0 0 0 114556 459 0 0 25 0 1 0 864497167 530444288 114599 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114599 300 300 0 129203 0
vsize: 518012
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192291 0 0 0 115556 459 0 0 25 0 1 0 864497167 530444288 114602 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114602 300 300 0 129203 0
vsize: 518012
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192294 0 0 0 116556 459 0 0 25 0 1 0 864497167 530444288 114605 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114605 300 300 0 129203 0
vsize: 518012
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192295 0 0 0 117556 459 0 0 25 0 1 0 864497167 530444288 114606 4294967295 134512640 135726644 3221224592 3221223216 134744578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114606 300 300 0 129203 0
vsize: 518012
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192297 0 0 0 118556 459 0 0 25 0 1 0 864497167 530444288 114608 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114608 300 300 0 129203 0
vsize: 518012
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192301 0 0 0 119556 459 0 0 25 0 1 0 864497167 530444288 114612 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114612 300 300 0 129203 0
vsize: 518012
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.25 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 1265
Raw data (stat): 1265 (pb2sat) R 1264 20687 20686 0 -1 0 192301 0 0 0 119556 459 0 0 25 0 1 0 864497167 530444288 114612 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129503 114612 300 300 0 129203 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.25
CPU time (s): 1202.38
CPU user time (s): 1197.57
CPU system time (s): 4.81027
CPU usage (%): 100.011
Max. virtual memory (Kb): 518012
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####