PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-nsrand_ipx.opb
MD5SUM	64260230da97c9a2a0e651814175b8e8
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	2355200
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	2939977599
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	136.088
Number of variables	6641
Total number of constraints	7355
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	6951
Number of constraints which are nor clauses,nor cardinality constraints	404
Minimum length of a constraint	1
Maximum length of a constraint	6641
Trace number 35805

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-28 14:05:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25080 boxname=wulflinc18 idbench=1552 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  64260230da97c9a2a0e651814175b8e8  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-nsrand_ipx.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-nsrand_ipx.opb
IDLAUNCH: 25080
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        741448 kB
Buffers:         32544 kB
Cached:         230180 kB
SwapCached:        708 kB
Active:          27220 kB
Inactive:       237508 kB
HighTotal:      131008 kB
HighFree:        14476 kB
LowTotal:       903652 kB
LowFree:        726972 kB
SwapTotal:     2097892 kB
SwapFree:      2096240 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5120 kB
Slab:            22740 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 14:25:26 (client local time) WITH STATUS 0 IN 1202.33 SECONDS
stats: 25080 7 1202.33 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c CONFLICT during preprocess 
c [startup+86.9437 s]  setting bit 20 to 0

Decision: 16053/1436027	Time: 1090.79/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.99 1.00 0.93 2/54 3855
Raw data (stat): 3855 (runsolver) R 3854 24172 24171 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865371220 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+10.0006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3855
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 26001 0 0 0 943 56 0 0 25 0 1 0 865371220 78831616 14902 4294967295 134512640 135726644 3221224576 3218738716 135287518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19246 14902 300 300 0 18946 0
vsize: 76984
[startup+20.0019 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3855
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 54663 0 0 0 1881 118 0 0 25 0 1 0 865371220 174260224 32347 4294967295 134512640 135726644 3221224576 3218684272 134554574 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42544 32347 300 300 0 42244 0
vsize: 170176
[startup+30.0019 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3855
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 75906 0 0 0 2837 162 0 0 25 0 1 0 865371220 223363072 43705 4294967295 134512640 135726644 3221224576 3220964636 134604415 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54532 43705 300 300 0 54232 0
vsize: 218128
[startup+40.0023 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 98541 0 0 0 3778 220 0 0 25 0 1 0 865371220 307249152 53857 4294967295 134512640 135726644 3221224576 3221221232 134604389 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75012 53857 300 300 0 74712 0
vsize: 300048
[startup+50.0037 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 111713 0 0 0 4744 255 0 0 25 0 1 0 865371220 311169024 66801 4294967295 134512640 135726644 3221224576 3220890224 134782642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75969 66801 300 300 0 75669 0
vsize: 303876
[startup+60.0047 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 148640 0 0 0 5673 326 0 0 25 0 1 0 865371220 434786304 84160 4294967295 134512640 135726644 3221224576 3220796536 135101187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106149 84160 300 300 0 105849 0
vsize: 424596
[startup+70.0051 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 183012 0 0 0 6598 401 0 0 25 0 1 0 865371220 535449600 93770 4294967295 134512640 135726644 3221224576 3220934696 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130725 93770 300 300 0 130425 0
vsize: 522900
[startup+80.0054 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 196294 0 0 0 7565 434 0 0 25 0 1 0 865371220 591982592 106906 4294967295 134512640 135726644 3221224576 3221222896 134765182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144527 106906 300 300 0 144227 0
vsize: 578108
[startup+90.0063 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 200822 0 0 0 8553 445 0 0 25 0 1 0 865371220 596180992 107632 4294967295 134512640 135726644 3221224576 3221222872 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145552 107632 300 300 0 145252 0
vsize: 582208
[startup+100.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 203165 0 0 0 9547 452 0 0 25 0 1 0 865371220 590749696 105905 4294967295 134512640 135726644 3221224576 3221222824 135282491 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144226 105905 300 300 0 143926 0
vsize: 576904
[startup+110.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 203377 0 0 0 10546 453 0 0 25 0 1 0 865371220 591409152 105988 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144387 105988 300 300 0 144087 0
vsize: 577548
[startup+120.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 203425 0 0 0 11546 453 0 0 25 0 1 0 865371220 591679488 106036 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144453 106036 300 300 0 144153 0
vsize: 577812
[startup+130.011 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 203456 0 0 0 12546 454 0 0 25 0 1 0 865371220 591814656 106067 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144486 106067 300 300 0 144186 0
vsize: 577944
[startup+140.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 203462 0 0 0 13546 454 0 0 25 0 1 0 865371220 591814656 106073 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144486 106073 300 300 0 144186 0
vsize: 577944
[startup+150.021 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 203471 0 0 0 14546 455 0 0 25 0 1 0 865371220 591814656 106082 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144486 106082 300 300 0 144186 0
vsize: 577944
[startup+160.023 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 203517 0 0 0 15546 455 0 0 25 0 1 0 865371220 591949824 106128 4294967295 134512640 135726644 3221224576 3221222896 134728931 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144519 106128 300 300 0 144219 0
vsize: 578076
[startup+170.022 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 204230 0 0 0 16545 456 0 0 25 0 1 0 865371220 593539072 106584 4294967295 134512640 135726644 3221224576 3221223072 134744357 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144907 106584 300 300 0 144607 0
vsize: 579628
[startup+180.022 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 205394 0 0 0 17543 458 0 0 25 0 1 0 865371220 597401600 106977 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145850 106977 300 300 0 145550 0
vsize: 583400
[startup+190.023 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 206108 0 0 0 18542 460 0 0 25 0 1 0 865371220 598855680 107434 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146205 107434 300 300 0 145905 0
vsize: 584820
[startup+200.023 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 206111 0 0 0 19542 460 0 0 25 0 1 0 865371220 598855680 107437 4294967295 134512640 135726644 3221224576 3221222824 135282491 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146205 107437 300 300 0 145905 0
vsize: 584820
[startup+210.024 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 208122 0 0 0 20538 463 0 0 25 0 1 0 865371220 604110848 108194 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147488 108194 300 300 0 147188 0
vsize: 589952
[startup+220.025 s]
Raw data (loadavg): 0.99 1.00 0.93 3/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 208882 0 0 0 21537 465 0 0 25 0 1 0 865371220 605683712 108568 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147872 108568 300 300 0 147572 0
vsize: 591488
[startup+230.025 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 209452 0 0 0 22536 466 0 0 25 0 1 0 865371220 606732288 108881 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148128 108881 300 300 0 147828 0
vsize: 592512
[startup+240.026 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 210164 0 0 0 23535 468 0 0 25 0 1 0 865371220 608305152 109207 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148512 109207 300 300 0 148212 0
vsize: 594048
[startup+250.026 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 210943 0 0 0 24533 470 0 0 25 0 1 0 865371220 610537472 109473 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149057 109473 300 300 0 148757 0
vsize: 596228
[startup+260.027 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 210955 0 0 0 25533 470 0 0 25 0 1 0 865371220 610537472 109485 4294967295 134512640 135726644 3221224576 3221223200 134744575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149057 109485 300 300 0 148757 0
vsize: 596228
[startup+270.027 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 211175 0 0 0 26533 470 0 0 25 0 1 0 865371220 610881536 109678 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149141 109678 300 300 0 148841 0
vsize: 596564
[startup+280.027 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 214245 0 0 0 27527 476 0 0 25 0 1 0 865371220 618934272 111004 4294967295 134512640 135726644 3221224576 3221223072 134744311 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151107 111004 300 300 0 150807 0
vsize: 604428
[startup+290.028 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 216935 0 0 0 28522 481 0 0 25 0 1 0 865371220 626413568 111927 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152933 111927 300 300 0 152633 0
vsize: 611732
[startup+300.027 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 219499 0 0 0 29518 486 0 0 25 0 1 0 865371220 633892864 112721 4294967295 134512640 135726644 3221224576 3221223072 134743886 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154759 112722 300 300 0 154459 0
vsize: 619036
[startup+310.028 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 222797 0 0 0 30512 492 0 0 25 0 1 0 865371220 642129920 114423 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156770 114423 300 300 0 156470 0
vsize: 627080
[startup+320.029 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 226168 0 0 0 31505 499 0 0 25 0 1 0 865371220 651087872 115946 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158957 115946 300 300 0 158657 0
vsize: 635828
[startup+330.029 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 228282 0 0 0 32502 502 0 0 25 0 1 0 865371220 656220160 116957 4294967295 134512640 135726644 3221224576 3221222904 134735638 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160210 116957 300 300 0 159910 0
vsize: 640840
[startup+340.029 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 228333 0 0 0 33502 502 0 0 25 0 1 0 865371220 656220160 117008 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160210 117008 300 300 0 159910 0
vsize: 640840
[startup+350.029 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 229027 0 0 0 34500 504 0 0 25 0 1 0 865371220 658317312 117189 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160722 117189 300 300 0 160422 0
vsize: 642888
[startup+360.03 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 229027 0 0 0 35501 504 0 0 25 0 1 0 865371220 658317312 117189 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160722 117189 300 300 0 160422 0
vsize: 642888
[startup+370.03 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 229035 0 0 0 36501 504 0 0 25 0 1 0 865371220 658317312 117197 4294967295 134512640 135726644 3221224576 3221222896 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160722 117197 300 300 0 160422 0
vsize: 642888
[startup+380.03 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 229039 0 0 0 37501 504 0 0 25 0 1 0 865371220 658317312 117201 4294967295 134512640 135726644 3221224576 3221222824 135282491 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160722 117201 300 300 0 160422 0
vsize: 642888
[startup+390.03 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 229042 0 0 0 38501 504 0 0 25 0 1 0 865371220 658452480 117204 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160755 117204 300 300 0 160455 0
vsize: 643020
[startup+400.03 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 229332 0 0 0 39501 504 0 0 25 0 1 0 865371220 658976768 117365 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160883 117365 300 300 0 160583 0
vsize: 643532
[startup+410.032 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 229339 0 0 0 40501 505 0 0 25 0 1 0 865371220 658976768 117372 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160883 117372 300 300 0 160583 0
vsize: 643532
[startup+420.032 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 229341 0 0 0 41501 505 0 0 25 0 1 0 865371220 658976768 117374 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160883 117374 300 300 0 160583 0
vsize: 643532
[startup+430.032 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 229342 0 0 0 42501 505 0 0 25 0 1 0 865371220 658976768 117375 4294967295 134512640 135726644 3221224576 3221223200 134744523 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160883 117375 300 300 0 160583 0
vsize: 643532
[startup+440.033 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 229350 0 0 0 43501 505 0 0 25 0 1 0 865371220 658976768 117383 4294967295 134512640 135726644 3221224576 3221223240 134745066 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160883 117383 300 300 0 160583 0
vsize: 643532
[startup+450.033 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 229359 0 0 0 44501 505 0 0 25 0 1 0 865371220 658976768 117392 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160883 117392 300 300 0 160583 0
vsize: 643532
[startup+460.034 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 229365 0 0 0 45501 505 0 0 25 0 1 0 865371220 658976768 117398 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160883 117398 300 300 0 160583 0
vsize: 643532
[startup+470.035 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 229366 0 0 0 46502 505 0 0 25 0 1 0 865371220 658976768 117399 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160883 117399 300 300 0 160583 0
vsize: 643532
[startup+480.035 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 229679 0 0 0 47501 506 0 0 25 0 1 0 865371220 660025344 117455 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161139 117455 300 300 0 160839 0
vsize: 644556
[startup+490.036 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 229679 0 0 0 48501 506 0 0 25 0 1 0 865371220 660025344 117455 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161139 117455 300 300 0 160839 0
vsize: 644556
[startup+500.036 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 229681 0 0 0 49501 506 0 0 25 0 1 0 865371220 660025344 117457 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161139 117457 300 300 0 160839 0
vsize: 644556
[startup+510.036 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 229683 0 0 0 50502 506 0 0 25 0 1 0 865371220 660160512 117459 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161172 117459 300 300 0 160872 0
vsize: 644688
[startup+520.036 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 229685 0 0 0 51502 506 0 0 25 0 1 0 865371220 660160512 117461 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161172 117461 300 300 0 160872 0
vsize: 644688
[startup+530.037 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 230320 0 0 0 52501 507 0 0 25 0 1 0 865371220 661762048 117805 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161563 117805 300 300 0 161263 0
vsize: 646252
[startup+540.038 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 233556 0 0 0 53495 513 0 0 25 0 1 0 865371220 670093312 119118 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163597 119118 300 300 0 163297 0
vsize: 654388
[startup+550.037 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 234308 0 0 0 54493 515 0 0 25 0 1 0 865371220 672071680 119481 4294967295 134512640 135726644 3221224576 3221223072 134744039 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164080 119481 300 300 0 163780 0
vsize: 656320
[startup+560.038 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 234309 0 0 0 55493 515 0 0 25 0 1 0 865371220 672071680 119482 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164080 119482 300 300 0 163780 0
vsize: 656320
[startup+570.039 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 234311 0 0 0 56493 516 0 0 25 0 1 0 865371220 672071680 119484 4294967295 134512640 135726644 3221224576 3221222912 134735629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164080 119484 300 300 0 163780 0
vsize: 656320
[startup+580.039 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 234312 0 0 0 57493 516 0 0 25 0 1 0 865371220 672071680 119485 4294967295 134512640 135726644 3221224576 3221223072 134744377 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164080 119485 300 300 0 163780 0
vsize: 656320
[startup+590.039 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 235261 0 0 0 58492 517 0 0 25 0 1 0 865371220 674168832 119921 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164592 119921 300 300 0 164292 0
vsize: 658368
[startup+600.039 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 235263 0 0 0 59491 518 0 0 25 0 1 0 865371220 674168832 119923 4294967295 134512640 135726644 3221224576 3221223072 134744120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164592 119923 300 300 0 164292 0
vsize: 658368
[startup+610.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 236120 0 0 0 60490 519 0 0 25 0 1 0 865371220 677314560 120010 4294967295 134512640 135726644 3221224576 3221223072 134744379 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165360 120010 300 300 0 165060 0
vsize: 661440
[startup+620.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 236192 0 0 0 61490 520 0 0 25 0 1 0 865371220 677314560 120082 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165360 120082 300 300 0 165060 0
vsize: 661440
[startup+630.039 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 236193 0 0 0 62490 520 0 0 25 0 1 0 865371220 677314560 120083 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165360 120083 300 300 0 165060 0
vsize: 661440
[startup+640.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 236203 0 0 0 63490 520 0 0 25 0 1 0 865371220 677314560 120093 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165360 120093 300 300 0 165060 0
vsize: 661440
[startup+650.041 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 237611 0 0 0 64487 523 0 0 25 0 1 0 865371220 680542208 120799 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166148 120799 300 300 0 165848 0
vsize: 664592
[startup+660.042 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 237613 0 0 0 65488 523 0 0 25 0 1 0 865371220 680542208 120801 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166148 120801 300 300 0 165848 0
vsize: 664592
[startup+670.042 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 237660 0 0 0 66488 523 0 0 25 0 1 0 865371220 680542208 120848 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166148 120848 300 300 0 165848 0
vsize: 664592
[startup+680.042 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 237661 0 0 0 67488 523 0 0 25 0 1 0 865371220 680542208 120849 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166148 120849 300 300 0 165848 0
vsize: 664592
[startup+690.043 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 237662 0 0 0 68488 523 0 0 25 0 1 0 865371220 680542208 120850 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166148 120850 300 300 0 165848 0
vsize: 664592
[startup+700.043 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 237665 0 0 0 69488 523 0 0 25 0 1 0 865371220 680542208 120853 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166148 120853 300 300 0 165848 0
vsize: 664592
[startup+710.044 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 237665 0 0 0 70488 523 0 0 25 0 1 0 865371220 680542208 120853 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166148 120853 300 300 0 165848 0
vsize: 664592
[startup+720.044 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 237666 0 0 0 71489 523 0 0 25 0 1 0 865371220 680542208 120854 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166148 120854 300 300 0 165848 0
vsize: 664592
[startup+730.044 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 237667 0 0 0 72489 523 0 0 25 0 1 0 865371220 680542208 120855 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166148 120855 300 300 0 165848 0
vsize: 664592
[startup+740.045 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 237668 0 0 0 73489 523 0 0 25 0 1 0 865371220 680542208 120856 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166148 120856 300 300 0 165848 0
vsize: 664592
[startup+750.045 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 237671 0 0 0 74489 523 0 0 25 0 1 0 865371220 680542208 120859 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166148 120859 300 300 0 165848 0
vsize: 664592
[startup+760.045 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 237673 0 0 0 75489 523 0 0 25 0 1 0 865371220 680542208 120861 4294967295 134512640 135726644 3221224576 3221222940 135287512 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166148 120861 300 300 0 165848 0
vsize: 664592
[startup+770.047 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 237674 0 0 0 76489 523 0 0 25 0 1 0 865371220 680542208 120862 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166148 120862 300 300 0 165848 0
vsize: 664592
[startup+780.047 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 237675 0 0 0 77490 523 0 0 25 0 1 0 865371220 680542208 120863 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166148 120863 300 300 0 165848 0
vsize: 664592
[startup+790.047 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 237679 0 0 0 78490 523 0 0 25 0 1 0 865371220 680542208 120867 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166148 120867 300 300 0 165848 0
vsize: 664592
[startup+800.047 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 237698 0 0 0 79490 523 0 0 25 0 1 0 865371220 680542208 120886 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166148 120886 300 300 0 165848 0
vsize: 664592
[startup+810.048 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 237705 0 0 0 80490 523 0 0 25 0 1 0 865371220 680542208 120893 4294967295 134512640 135726644 3221224576 3221223168 134760407 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166148 120893 300 300 0 165848 0
vsize: 664592
[startup+820.049 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238088 0 0 0 81490 524 0 0 25 0 1 0 865371220 681590784 121019 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166404 121019 300 300 0 166104 0
vsize: 665616
[startup+830.049 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238185 0 0 0 82490 524 0 0 25 0 1 0 865371220 681590784 121116 4294967295 134512640 135726644 3221224576 3221223056 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166404 121116 300 300 0 166104 0
vsize: 665616
[startup+840.05 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238186 0 0 0 83490 524 0 0 25 0 1 0 865371220 681590784 121117 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166404 121117 300 300 0 166104 0
vsize: 665616
[startup+850.051 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238187 0 0 0 84490 524 0 0 25 0 1 0 865371220 681590784 121118 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166404 121118 300 300 0 166104 0
vsize: 665616
[startup+860.052 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238188 0 0 0 85490 524 0 0 25 0 1 0 865371220 681590784 121119 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166404 121119 300 300 0 166104 0
vsize: 665616
[startup+870.053 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238189 0 0 0 86490 524 0 0 25 0 1 0 865371220 681590784 121120 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166404 121120 300 300 0 166104 0
vsize: 665616
[startup+880.053 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238190 0 0 0 87491 524 0 0 25 0 1 0 865371220 681590784 121121 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166404 121121 300 300 0 166104 0
vsize: 665616
[startup+890.053 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238191 0 0 0 88491 524 0 0 25 0 1 0 865371220 681590784 121122 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166404 121122 300 300 0 166104 0
vsize: 665616
[startup+900.053 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238193 0 0 0 89491 524 0 0 25 0 1 0 865371220 681590784 121124 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166404 121124 300 300 0 166104 0
vsize: 665616
[startup+910.054 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238194 0 0 0 90491 524 0 0 25 0 1 0 865371220 681590784 121125 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166404 121125 300 300 0 166104 0
vsize: 665616
[startup+920.055 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238195 0 0 0 91491 524 0 0 25 0 1 0 865371220 681590784 121126 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166404 121126 300 300 0 166104 0
vsize: 665616
[startup+930.054 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238196 0 0 0 92492 524 0 0 25 0 1 0 865371220 681590784 121127 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166404 121127 300 300 0 166104 0
vsize: 665616
[startup+940.055 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238290 0 0 0 93491 525 0 0 25 0 1 0 865371220 681590784 121221 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166404 121221 300 300 0 166104 0
vsize: 665616
[startup+950.055 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238290 0 0 0 94492 525 0 0 25 0 1 0 865371220 681590784 121221 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166404 121221 300 300 0 166104 0
vsize: 665616
[startup+960.057 s]
Raw data (loadavg): 1.07 1.02 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238291 0 0 0 95492 525 0 0 25 0 1 0 865371220 681590784 121222 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166404 121222 300 300 0 166104 0
vsize: 665616
[startup+970.057 s]
Raw data (loadavg): 1.06 1.02 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238291 0 0 0 96492 525 0 0 25 0 1 0 865371220 681590784 121222 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166404 121222 300 300 0 166104 0
vsize: 665616
[startup+980.057 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238293 0 0 0 97492 525 0 0 25 0 1 0 865371220 681590784 121224 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166404 121224 300 300 0 166104 0
vsize: 665616
[startup+990.058 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238307 0 0 0 98492 525 0 0 25 0 1 0 865371220 681725952 121238 4294967295 134512640 135726644 3221224576 3221223200 134744518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166437 121238 300 300 0 166137 0
vsize: 665748
[startup+1000.06 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238308 0 0 0 99492 525 0 0 25 0 1 0 865371220 681725952 121239 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166437 121239 300 300 0 166137 0
vsize: 665748
[startup+1010.06 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238312 0 0 0 100493 525 0 0 25 0 1 0 865371220 681725952 121243 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166437 121243 300 300 0 166137 0
vsize: 665748
[startup+1020.06 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238316 0 0 0 101493 525 0 0 25 0 1 0 865371220 681725952 121247 4294967295 134512640 135726644 3221224576 3221223072 134744059 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166437 121247 300 300 0 166137 0
vsize: 665748
[startup+1030.06 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238327 0 0 0 102493 525 0 0 25 0 1 0 865371220 681725952 121258 4294967295 134512640 135726644 3221224576 3221223200 134744588 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166437 121258 300 300 0 166137 0
vsize: 665748
[startup+1040.06 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238331 0 0 0 103493 525 0 0 25 0 1 0 865371220 681725952 121262 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166437 121262 300 300 0 166137 0
vsize: 665748
[startup+1050.06 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238334 0 0 0 104493 525 0 0 25 0 1 0 865371220 681725952 121265 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166437 121265 300 300 0 166137 0
vsize: 665748
[startup+1060.06 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 238347 0 0 0 105493 525 0 0 25 0 1 0 865371220 681861120 121278 4294967295 134512640 135726644 3221224576 3221223056 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166470 121278 300 300 0 166170 0
vsize: 665880
[startup+1070.06 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 239708 0 0 0 106491 528 0 0 25 0 1 0 865371220 685432832 121802 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167342 121802 300 300 0 167042 0
vsize: 669368
[startup+1080.06 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 241150 0 0 0 107488 531 0 0 25 0 1 0 865371220 688451584 122532 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168079 122532 300 300 0 167779 0
vsize: 672316
[startup+1090.06 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 245658 0 0 0 108478 541 0 0 25 0 1 0 865371220 700977152 124372 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171137 124372 300 300 0 170837 0
vsize: 684548
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 249631 0 0 0 109471 549 0 0 25 0 1 0 865371220 710025216 126156 4294967295 134512640 135726644 3221224576 3221223072 134744323 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 173346 126156 300 300 0 173046 0
vsize: 693384
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 254248 0 0 0 110461 558 0 0 25 0 1 0 865371220 722087936 128115 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176291 128115 300 300 0 175991 0
vsize: 705164
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 255446 0 0 0 111459 560 0 0 25 0 1 0 865371220 725237760 128606 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 177060 128606 300 300 0 176760 0
vsize: 708240
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 255769 0 0 0 112459 561 0 0 25 0 1 0 865371220 726286336 128672 4294967295 134512640 135726644 3221224576 3221223164 134744135 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 177316 128672 300 300 0 177016 0
vsize: 709264
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 256489 0 0 0 113458 562 0 0 25 0 1 0 865371220 728383488 128879 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 177828 128879 300 300 0 177528 0
vsize: 711312
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 260676 0 0 0 114450 570 0 0 25 0 1 0 865371220 739393536 130371 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 180516 130372 300 300 0 180216 0
vsize: 722064
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 262390 0 0 0 115447 573 0 0 25 0 1 0 865371220 743587840 131056 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 181540 131056 300 300 0 181240 0
vsize: 726160
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 266058 0 0 0 116439 581 0 0 25 0 1 0 865371220 756789248 134368 4294967295 134512640 135726644 3221224576 3221222728 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 184763 134368 300 300 0 184463 0
vsize: 739052
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 266058 0 0 0 117439 582 0 0 25 0 1 0 865371220 745299968 131563 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 181958 131563 300 300 0 181658 0
vsize: 727832
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 266058 0 0 0 118439 582 0 0 25 0 1 0 865371220 745299968 131563 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 181958 131563 300 300 0 181658 0
vsize: 727832
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 266150 0 0 0 119439 582 0 0 25 0 1 0 865371220 745299968 131655 4294967295 134512640 135726644 3221224576 3221223264 134744969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 181958 131655 300 300 0 181658 0
vsize: 727832
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.18 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 3857
Raw data (stat): 3855 (pb2sat) R 3854 24172 24171 0 -1 0 266150 0 0 0 119439 582 0 0 25 0 1 0 865371220 745299968 131655 4294967295 134512640 135726644 3221224576 3221223264 134744969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 181958 131655 300 300 0 181658 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.18
CPU time (s): 1202.33
CPU user time (s): 1196.25
CPU system time (s): 6.07908
CPU usage (%): 100.013
Max. virtual memory (Kb): 739052
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####