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/frb59-26-opb/normalized-frb59-26-4.opb
MD5SUM	f6c01aa815aa7b4a79652c8bfa8bef11
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-44
Optimality of the best value was proved	NO
Number of terms in the objective function	1534
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	1534
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	1534
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.14
Number of variables	1534
Total number of constraints	127011
Number of constraints which are clauses	127011
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 35029

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-28 11:43:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24278 boxname=wulflinc20 idbench=352 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f6c01aa815aa7b4a79652c8bfa8bef11  /oldhome/oroussel/tmp/wulflinc20/normalized-frb59-26-4.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc20/normalized-frb59-26-4.opb
IDLAUNCH: 24278
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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:        711052 kB
Buffers:         33804 kB
Cached:         265840 kB
SwapCached:        644 kB
Active:          24560 kB
Inactive:       277140 kB
HighTotal:      131008 kB
HighFree:        37128 kB
LowTotal:       903652 kB
LowFree:        673924 kB
SwapTotal:     2097892 kB
SwapFree:      2096312 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            16192 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:03:53 (client local time) WITH STATUS 0 IN 1202.49 SECONDS
stats: 24278 7 1202.49 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 543640/1180426	Time: 260.698/86400
Decision: 543649/1180426	Time: 403.465/86400
Decision: 573086/1180426	Time: 666.271/86400
Decision: 600908/1180426	Time: 798.784/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 9965
Raw data (stat): 9965 (runsolver) R 9964 25399 25398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864536128 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 29496 0 0 0 930 69 0 0 25 0 1 0 864536128 89321472 18590 4294967295 134512640 135726644 3221224592 3220833080 135280850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21807 18590 300 300 0 21507 0
vsize: 87228
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 58089 0 0 0 1872 127 0 0 25 0 1 0 864536128 175312896 36225 4294967295 134512640 135726644 3221224592 3221168968 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42801 36225 300 300 0 42501 0
vsize: 171204
[startup+30.0013 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 98200 0 0 0 2791 208 0 0 25 0 1 0 864536128 331751424 54659 4294967295 134512640 135726644 3221224592 3220974016 134780348 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80994 54659 300 300 0 80694 0
vsize: 323976
[startup+40.002 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 114327 0 0 0 3759 241 0 0 25 0 1 0 864536128 346079232 70560 4294967295 134512640 135726644 3221224592 3220896128 135279096 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84492 70562 300 300 0 84192 0
vsize: 337968
[startup+50.0024 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 143946 0 0 0 4696 303 0 0 25 0 1 0 864536128 533430272 99585 4294967295 134512640 135726644 3221224592 3221014976 134771925 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130232 99587 300 300 0 129932 0
vsize: 520928
[startup+60.0026 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 194988 0 0 0 5593 407 0 0 25 0 1 0 864536128 594280448 107871 4294967295 134512640 135726644 3221224592 3221221392 134782506 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145088 107871 300 300 0 144788 0
vsize: 580352
[startup+70.0031 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 200689 0 0 0 6575 424 0 0 25 0 1 0 864536128 646725632 113572 4294967295 134512640 135726644 3221224592 3221222904 134761853 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157892 113572 300 300 0 157592 0
vsize: 631568
[startup+80.0027 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 200693 0 0 0 7573 425 0 0 25 0 1 0 864536128 637280256 111270 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 155586 111270 300 300 0 155286 0
vsize: 622344
[startup+90.003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 201836 0 0 0 8571 427 0 0 25 0 1 0 864536128 642863104 112283 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156949 112283 300 300 0 156649 0
vsize: 627796
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 204946 0 0 0 9564 434 0 0 25 0 1 0 864536128 654229504 114093 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159724 114093 300 300 0 159424 0
vsize: 638896
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 208602 0 0 0 10557 441 0 0 25 0 1 0 864536128 665571328 116065 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162493 116065 300 300 0 162193 0
vsize: 649972
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 210852 0 0 0 11552 446 0 0 25 0 1 0 864536128 672149504 117241 4294967295 134512640 135726644 3221224592 3221223088 134743967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164099 117241 300 300 0 163799 0
vsize: 656396
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 212823 0 0 0 12549 449 0 0 25 0 1 0 864536128 677564416 118202 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 165421 118202 300 300 0 165121 0
vsize: 661684
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 213681 0 0 0 13548 451 0 0 25 0 1 0 864536128 679944192 118636 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166002 118636 300 300 0 165702 0
vsize: 664008
[startup+150.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 215569 0 0 0 14544 454 0 0 25 0 1 0 864536128 685088768 119518 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167258 119518 300 300 0 166958 0
vsize: 669032
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 215726 0 0 0 15544 455 0 0 25 0 1 0 864536128 685621248 119609 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167388 119609 300 300 0 167088 0
vsize: 669552
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 215998 0 0 0 16544 455 0 0 25 0 1 0 864536128 686608384 119719 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167629 119719 300 300 0 167329 0
vsize: 670516
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 216618 0 0 0 17543 456 0 0 25 0 1 0 864536128 688607232 120095 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168117 120095 300 300 0 167817 0
vsize: 672468
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 219472 0 0 0 18537 463 0 0 25 0 1 0 864536128 696958976 121551 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170156 121551 300 300 0 169856 0
vsize: 680624
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 220910 0 0 0 19533 467 0 0 25 0 1 0 864536128 701345792 122258 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171227 122258 300 300 0 170927 0
vsize: 684908
[startup+210.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 223052 0 0 0 20529 471 0 0 25 0 1 0 864536128 707911680 123433 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172830 123433 300 300 0 172530 0
vsize: 691320
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 223602 0 0 0 21527 473 0 0 25 0 1 0 864536128 709738496 123746 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173276 123746 300 300 0 172976 0
vsize: 693104
[startup+230.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 224041 0 0 0 22526 474 0 0 25 0 1 0 864536128 710987776 123958 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173581 123958 300 300 0 173281 0
vsize: 694324
[startup+240.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 225010 0 0 0 23524 476 0 0 25 0 1 0 864536128 713646080 124373 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174230 124373 300 300 0 173930 0
vsize: 696920
[startup+250.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 225245 0 0 0 24523 477 0 0 25 0 1 0 864536128 714338304 124510 4294967295 134512640 135726644 3221224592 3221223216 134744557 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174399 124510 300 300 0 174099 0
vsize: 697596
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 225711 0 0 0 25523 478 0 0 25 0 1 0 864536128 715780096 124621 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174751 124621 300 300 0 174451 0
vsize: 699004
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 225758 0 0 0 26523 478 0 0 25 0 1 0 864536128 715915264 124668 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174784 124668 300 300 0 174484 0
vsize: 699136
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 225780 0 0 0 27523 478 0 0 25 0 1 0 864536128 715915264 124690 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174784 124690 300 300 0 174484 0
vsize: 699136
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 225805 0 0 0 28523 478 0 0 25 0 1 0 864536128 715915264 124715 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174784 124715 300 300 0 174484 0
vsize: 699136
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 225996 0 0 0 29523 478 0 0 25 0 1 0 864536128 716439552 124777 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174912 124777 300 300 0 174612 0
vsize: 699648
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 226002 0 0 0 30523 478 0 0 25 0 1 0 864536128 716439552 124783 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174912 124783 300 300 0 174612 0
vsize: 699648
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 226006 0 0 0 31523 478 0 0 25 0 1 0 864536128 716439552 124787 4294967295 134512640 135726644 3221224592 3221223184 134759994 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174912 124787 300 300 0 174612 0
vsize: 699648
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 228389 0 0 0 32517 485 0 0 25 0 1 0 864536128 716570624 124831 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 174944 124831 300 300 0 174644 0
vsize: 699776
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 230563 0 0 0 33512 490 0 0 25 0 1 0 864536128 722714624 125966 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176444 125966 300 300 0 176144 0
vsize: 705776
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 231546 0 0 0 34511 491 0 0 25 0 1 0 864536128 725516288 126461 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 177128 126461 300 300 0 176828 0
vsize: 708512
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 232818 0 0 0 35509 493 0 0 25 0 1 0 864536128 729821184 127230 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178179 127230 300 300 0 177879 0
vsize: 712716
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 233082 0 0 0 36508 494 0 0 25 0 1 0 864536128 730345472 127365 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178307 127365 300 300 0 178007 0
vsize: 713228
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 233896 0 0 0 37506 496 0 0 25 0 1 0 864536128 732717056 127727 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178886 127727 300 300 0 178586 0
vsize: 715544
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 234547 0 0 0 38506 497 0 0 25 0 1 0 864536128 734441472 128116 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 179307 128116 300 300 0 179007 0
vsize: 717228
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 235151 0 0 0 39506 498 0 0 25 0 1 0 864536128 736022528 128394 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 179693 128394 300 300 0 179393 0
vsize: 718772
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 236303 0 0 0 40504 500 0 0 25 0 1 0 864536128 739123200 128993 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 180450 128993 300 300 0 180150 0
vsize: 721800
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 236980 0 0 0 41502 502 0 0 25 0 1 0 864536128 741101568 129281 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 180933 129281 300 300 0 180633 0
vsize: 723732
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 237160 0 0 0 42502 502 0 0 25 0 1 0 864536128 741498880 129395 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 181030 129395 300 300 0 180730 0
vsize: 724120
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 237641 0 0 0 43502 503 0 0 25 0 1 0 864536128 743088128 129665 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 181418 129665 300 300 0 181118 0
vsize: 725672
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 238747 0 0 0 44500 505 0 0 25 0 1 0 864536128 746778624 130189 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 182319 130189 300 300 0 182019 0
vsize: 729276
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 239750 0 0 0 45498 507 0 0 25 0 1 0 864536128 749543424 130640 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 182994 130640 300 300 0 182694 0
vsize: 731976
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 243211 0 0 0 46492 513 0 0 25 0 1 0 864536128 762150912 133583 4294967295 134512640 135726644 3221224592 3221222748 134761832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 186072 133583 300 300 0 185772 0
vsize: 744288
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 243512 0 0 0 47490 515 0 0 25 0 1 0 864536128 753766400 131512 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 184025 131512 300 300 0 183725 0
vsize: 736100
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 244376 0 0 0 48489 516 0 0 25 0 1 0 864536128 757252096 132145 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 184876 132145 300 300 0 184576 0
vsize: 739504
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 245450 0 0 0 49488 518 0 0 25 0 1 0 864536128 760963072 132746 4294967295 134512640 135726644 3221224592 3221223244 134744674 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185782 132746 300 300 0 185482 0
vsize: 743128
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 246273 0 0 0 50486 519 0 0 25 0 1 0 864536128 763314176 133307 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 186356 133307 300 300 0 186056 0
vsize: 745424
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 246706 0 0 0 51485 521 0 0 25 0 1 0 864536128 764637184 133546 4294967295 134512640 135726644 3221224592 3221222840 135281222 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 186679 133546 300 300 0 186379 0
vsize: 746716
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 247140 0 0 0 52485 522 0 0 25 0 1 0 864536128 765554688 133752 4294967295 134512640 135726644 3221224592 3221222924 134735640 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 186903 133752 300 300 0 186603 0
vsize: 747612
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 247233 0 0 0 53485 522 0 0 25 0 1 0 864536128 765820928 133812 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 186968 133812 300 300 0 186668 0
vsize: 747872
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 247956 0 0 0 54483 523 0 0 25 0 1 0 864536128 768196608 134080 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 187548 134080 300 300 0 187248 0
vsize: 750192
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 249084 0 0 0 55481 525 0 0 25 0 1 0 864536128 771358720 134557 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188320 134557 300 300 0 188020 0
vsize: 753280
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 249399 0 0 0 56481 526 0 0 25 0 1 0 864536128 772419584 134741 4294967295 134512640 135726644 3221224592 3221223260 134745062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188579 134741 300 300 0 188279 0
vsize: 754316
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 250156 0 0 0 57480 527 0 0 25 0 1 0 864536128 774254592 135045 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 189027 135045 300 300 0 188727 0
vsize: 756108
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 250906 0 0 0 58479 529 0 0 25 0 1 0 864536128 776761344 135404 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 189639 135404 300 300 0 189339 0
vsize: 758556
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 251332 0 0 0 59478 530 0 0 25 0 1 0 864536128 778346496 135635 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190026 135635 300 300 0 189726 0
vsize: 760104
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 251417 0 0 0 60478 530 0 0 25 0 1 0 864536128 778346496 135720 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190026 135720 300 300 0 189726 0
vsize: 760104
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 251601 0 0 0 61478 530 0 0 25 0 1 0 864536128 778870784 135775 4294967295 134512640 135726644 3221224592 3221223216 134744532 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190154 135775 300 300 0 189854 0
vsize: 760616
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 251644 0 0 0 62478 530 0 0 25 0 1 0 864536128 778870784 135818 4294967295 134512640 135726644 3221224592 3221223088 134744304 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190154 135818 300 300 0 189854 0
vsize: 760616
[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 251660 0 0 0 63478 530 0 0 25 0 1 0 864536128 778870784 135834 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190154 135834 300 300 0 189854 0
vsize: 760616
[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 251711 0 0 0 64478 531 0 0 25 0 1 0 864536128 778870784 135885 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190154 135885 300 300 0 189854 0
vsize: 760616
[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 251718 0 0 0 65479 531 0 0 25 0 1 0 864536128 778870784 135892 4294967295 134512640 135726644 3221224592 3221223136 134736698 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190154 135892 300 300 0 189854 0
vsize: 760616
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 251723 0 0 0 66479 531 0 0 25 0 1 0 864536128 778870784 135897 4294967295 134512640 135726644 3221224592 3221223200 134744634 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190154 135897 300 300 0 189854 0
vsize: 760616
[startup+680.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 251737 0 0 0 67479 531 0 0 25 0 1 0 864536128 778870784 135911 4294967295 134512640 135726644 3221224592 3221223088 134744223 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190154 135911 300 300 0 189854 0
vsize: 760616
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 251742 0 0 0 68479 531 0 0 25 0 1 0 864536128 778870784 135916 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190154 135916 300 300 0 189854 0
vsize: 760616
[startup+700.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 251746 0 0 0 69479 531 0 0 25 0 1 0 864536128 778870784 135920 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190154 135920 300 300 0 189854 0
vsize: 760616
[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 251752 0 0 0 70479 531 0 0 25 0 1 0 864536128 778870784 135926 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190154 135926 300 300 0 189854 0
vsize: 760616
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 251757 0 0 0 71480 531 0 0 25 0 1 0 864536128 778870784 135931 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190154 135931 300 300 0 189854 0
vsize: 760616
[startup+730.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 251762 0 0 0 72480 531 0 0 25 0 1 0 864536128 778870784 135936 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190154 135936 300 300 0 189854 0
vsize: 760616
[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 254488 0 0 0 73473 537 0 0 25 0 1 0 864536128 780058624 136193 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190444 136193 300 300 0 190144 0
vsize: 761776
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 254821 0 0 0 74472 538 0 0 25 0 1 0 864536128 781254656 136428 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190736 136428 300 300 0 190436 0
vsize: 762944
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 255007 0 0 0 75472 539 0 0 25 0 1 0 864536128 781651968 136548 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190833 136548 300 300 0 190533 0
vsize: 763332
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 255286 0 0 0 76471 540 0 0 25 0 1 0 864536128 782446592 136696 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191027 136696 300 300 0 190727 0
vsize: 764108
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 255737 0 0 0 77471 541 0 0 25 0 1 0 864536128 783638528 136951 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191318 136951 300 300 0 191018 0
vsize: 765272
[startup+790.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 255847 0 0 0 78471 541 0 0 25 0 1 0 864536128 783900672 136996 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191382 136996 300 300 0 191082 0
vsize: 765528
[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 255873 0 0 0 79471 541 0 0 25 0 1 0 864536128 783900672 137022 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191382 137022 300 300 0 191082 0
vsize: 765528
[startup+810.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 256178 0 0 0 80470 542 0 0 25 0 1 0 864536128 784957440 137197 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191640 137197 300 300 0 191340 0
vsize: 766560
[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 256688 0 0 0 81470 543 0 0 25 0 1 0 864536128 786137088 137415 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191928 137415 300 300 0 191628 0
vsize: 767712
[startup+830.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 257559 0 0 0 82468 545 0 0 25 0 1 0 864536128 788369408 137800 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192473 137800 300 300 0 192173 0
vsize: 769892
[startup+840.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 259012 0 0 0 83465 547 0 0 25 0 1 0 864536128 791916544 138509 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 193339 138509 300 300 0 193039 0
vsize: 773356
[startup+850.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 259302 0 0 0 84465 548 0 0 25 0 1 0 864536128 792838144 138636 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 193564 138636 300 300 0 193264 0
vsize: 774256
[startup+860.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 259406 0 0 0 85464 548 0 0 25 0 1 0 864536128 793235456 138707 4294967295 134512640 135726644 3221224592 3221223248 134745073 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 193661 138707 300 300 0 193361 0
vsize: 774644
[startup+870.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 261714 0 0 0 86459 554 0 0 25 0 1 0 864536128 793235456 138709 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 193661 138709 300 300 0 193361 0
vsize: 774644
[startup+880.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 261716 0 0 0 87458 555 0 0 25 0 1 0 864536128 793235456 138711 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 193661 138711 300 300 0 193361 0
vsize: 774644
[startup+890.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 261717 0 0 0 88458 555 0 0 25 0 1 0 864536128 793235456 138712 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 193661 138712 300 300 0 193361 0
vsize: 774644
[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 262160 0 0 0 89457 556 0 0 25 0 1 0 864536128 794284032 138896 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 193917 138896 300 300 0 193617 0
vsize: 775668
[startup+910.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 262857 0 0 0 90456 557 0 0 25 0 1 0 864536128 796389376 139205 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194431 139205 300 300 0 194131 0
vsize: 777724
[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 263234 0 0 0 91455 558 0 0 25 0 1 0 864536128 797437952 139323 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194687 139323 300 300 0 194387 0
vsize: 778748
[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 263244 0 0 0 92455 558 0 0 25 0 1 0 864536128 797437952 139333 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194687 139333 300 300 0 194387 0
vsize: 778748
[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 263246 0 0 0 93456 558 0 0 25 0 1 0 864536128 797437952 139335 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194687 139335 300 300 0 194387 0
vsize: 778748
[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 263248 0 0 0 94456 558 0 0 25 0 1 0 864536128 797437952 139337 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194687 139337 300 300 0 194387 0
vsize: 778748
[startup+960.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 263509 0 0 0 95455 559 0 0 25 0 1 0 864536128 797962240 139469 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194815 139469 300 300 0 194515 0
vsize: 779260
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9965
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 263512 0 0 0 96455 559 0 0 25 0 1 0 864536128 797962240 139472 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194815 139472 300 300 0 194515 0
vsize: 779260
[startup+980.038 s]
Raw data (loadavg): 1.23 1.02 0.93 2/54 10018
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 263515 0 0 0 97455 559 0 0 25 0 1 0 864536128 797962240 139475 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194815 139475 300 300 0 194515 0
vsize: 779260
[startup+990.039 s]
Raw data (loadavg): 1.19 1.02 0.93 2/54 10018
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 263519 0 0 0 98455 559 0 0 25 0 1 0 864536128 797962240 139479 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194815 139479 300 300 0 194515 0
vsize: 779260
[startup+1000.04 s]
Raw data (loadavg): 1.16 1.02 0.93 2/54 10018
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 263522 0 0 0 99455 559 0 0 25 0 1 0 864536128 797962240 139482 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194815 139482 300 300 0 194515 0
vsize: 779260
[startup+1010.04 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 10018
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 263524 0 0 0 100456 559 0 0 25 0 1 0 864536128 797962240 139484 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194815 139484 300 300 0 194515 0
vsize: 779260
[startup+1020.04 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 10018
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 263528 0 0 0 101456 559 0 0 25 0 1 0 864536128 797962240 139488 4294967295 134512640 135726644 3221224592 3221222832 134782642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194815 139488 300 300 0 194515 0
vsize: 779260
[startup+1030.04 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 10018
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 263529 0 0 0 102456 559 0 0 25 0 1 0 864536128 797962240 139489 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194815 139489 300 300 0 194515 0
vsize: 779260
[startup+1040.04 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 10018
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 263533 0 0 0 103456 559 0 0 25 0 1 0 864536128 797962240 139493 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194815 139493 300 300 0 194515 0
vsize: 779260
[startup+1050.04 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 10020
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 263536 0 0 0 104456 559 0 0 25 0 1 0 864536128 797962240 139496 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194815 139496 300 300 0 194515 0
vsize: 779260
[startup+1060.04 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 10020
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 263540 0 0 0 105456 559 0 0 25 0 1 0 864536128 797962240 139500 4294967295 134512640 135726644 3221224592 3221223184 134759986 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194815 139500 300 300 0 194515 0
vsize: 779260
[startup+1070.04 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 10020
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 263546 0 0 0 106457 559 0 0 25 0 1 0 864536128 797962240 139506 4294967295 134512640 135726644 3221224592 3221223280 134744915 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194815 139506 300 300 0 194515 0
vsize: 779260
[startup+1080.04 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 10020
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 263552 0 0 0 107457 559 0 0 25 0 1 0 864536128 797962240 139512 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194815 139512 300 300 0 194515 0
vsize: 779260
[startup+1090.04 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 10020
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 263562 0 0 0 108457 560 0 0 25 0 1 0 864536128 797962240 139522 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194815 139522 300 300 0 194515 0
vsize: 779260
[startup+1100.04 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 10020
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 263637 0 0 0 109457 560 0 0 25 0 1 0 864536128 797962240 139597 4294967295 134512640 135726644 3221224592 3221223088 134743925 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194815 139597 300 300 0 194515 0
vsize: 779260
[startup+1110.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 10020
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 263654 0 0 0 110457 560 0 0 25 0 1 0 864536128 797962240 139614 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194815 139614 300 300 0 194515 0
vsize: 779260
[startup+1120.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 10020
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 264003 0 0 0 111457 560 0 0 25 0 1 0 864536128 799010816 139706 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 195071 139706 300 300 0 194771 0
vsize: 780284
[startup+1130.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 10020
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 264008 0 0 0 112457 560 0 0 25 0 1 0 864536128 799010816 139711 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 195071 139711 300 300 0 194771 0
vsize: 780284
[startup+1140.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 10020
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 264012 0 0 0 113457 560 0 0 25 0 1 0 864536128 799010816 139715 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 195071 139715 300 300 0 194771 0
vsize: 780284
[startup+1150.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 10020
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 264016 0 0 0 114458 560 0 0 25 0 1 0 864536128 799010816 139719 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 195071 139719 300 300 0 194771 0
vsize: 780284
[startup+1160.05 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 10020
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 264019 0 0 0 115458 560 0 0 25 0 1 0 864536128 799010816 139722 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 195071 139722 300 300 0 194771 0
vsize: 780284
[startup+1170.06 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 10020
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 264024 0 0 0 116459 560 0 0 25 0 1 0 864536128 799010816 139727 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 195071 139727 300 300 0 194771 0
vsize: 780284
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10020
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 264026 0 0 0 117459 560 0 0 25 0 1 0 864536128 799010816 139729 4294967295 134512640 135726644 3221224592 3221223088 134744320 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 195071 139729 300 300 0 194771 0
vsize: 780284
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10020
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 264029 0 0 0 118459 560 0 0 25 0 1 0 864536128 799010816 139732 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 195071 139732 300 300 0 194771 0
vsize: 780284
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10020
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 264034 0 0 0 119459 560 0 0 25 0 1 0 864536128 799010816 139737 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 195071 139737 300 300 0 194771 0
vsize: 780284
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.34 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 10020
Raw data (stat): 9965 (pb2sat) R 9964 25399 25398 0 -1 0 264034 0 0 0 119459 560 0 0 25 0 1 0 864536128 799010816 139737 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 195071 139737 300 300 0 194771 0
vsize: 0

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