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/frb50-23-opb/normalized-frb50-23-2.opb
MD5SUM	fe7ff8b16c276b409b25a87eed31b6f9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-38
Optimality of the best value was proved	NO
Number of terms in the objective function	1150
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	1150
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	1150
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.09
Number of variables	1150
Total number of constraints	80851
Number of constraints which are clauses	80851
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 34975

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-28 11:32:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24261 boxname=wulflinc27 idbench=335 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  fe7ff8b16c276b409b25a87eed31b6f9  /oldhome/oroussel/tmp/wulflinc27/normalized-frb50-23-2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc27/normalized-frb50-23-2.opb
IDLAUNCH: 24261
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        697684 kB
Buffers:         33288 kB
Cached:         272892 kB
SwapCached:        704 kB
Active:          24172 kB
Inactive:       284172 kB
HighTotal:      131008 kB
HighFree:        63056 kB
LowTotal:       903652 kB
LowFree:        634628 kB
SwapTotal:     2097892 kB
SwapFree:      2096316 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5128 kB
Slab:            22988 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:52:46 (client local time) WITH STATUS 0 IN 1202.32 SECONDS
stats: 24261 7 1202.32 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c [startup+70.4771 s]  setting bit 10 to 0

Decision: 133149/664140	Time: 50.5813/86400
Decision: 133149/664140	Time: 161.003/86400
Decision: 134681/664140	Time: 272.859/86400
Decision: 134681/664140	Time: 334.127/86400
Decision: 142728/664140	Time: 466.807/86400
Decision: 161861/664140	Time: 578.786/86400
Decision: 165693/664140	Time: 776.063/86400
Decision: 168542/664140	Time: 912.346/86400
Decision: 168542/664140	Time: 975.003/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 18544
Raw data (stat): 18544 (runsolver) R 18543 3394 3393 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864464020 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.0007 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 29317 0 0 0 930 68 0 0 25 0 1 0 864464020 88768512 18410 4294967295 134512640 135726644 3221224592 3221111672 135281791 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21672 18410 300 300 0 21372 0
vsize: 86688
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 57777 0 0 0 1872 127 0 0 25 0 1 0 864464020 174624768 35913 4294967295 134512640 135726644 3221224592 3221025600 134782217 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42633 35914 300 300 0 42333 0
vsize: 170532
[startup+30.0014 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 98130 0 0 0 2792 207 0 0 25 0 1 0 864464020 331603968 54586 4294967295 134512640 135726644 3221224592 3221182416 134780348 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80958 54586 300 300 0 80658 0
vsize: 323832
[startup+40.0024 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 104895 0 0 0 3774 225 0 0 25 0 1 0 864464020 336920576 59991 4294967295 134512640 135726644 3221224592 3221222896 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 82256 59991 300 300 0 81956 0
vsize: 329024
[startup+50.0028 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 108137 0 0 0 4766 232 0 0 25 0 1 0 864464020 350519296 62456 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85576 62456 300 300 0 85276 0
vsize: 342304
[startup+60.003 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 112544 0 0 0 5757 241 0 0 25 0 1 0 864464020 364584960 64762 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89010 64762 300 300 0 88710 0
vsize: 356040
[startup+70.0037 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 117207 0 0 0 6748 250 0 0 25 0 1 0 864464020 377266176 67073 4294967295 134512640 135726644 3221224592 3221223312 134736258 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92106 67073 300 300 0 91806 0
vsize: 368424
[startup+80.0041 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 119711 0 0 0 7743 256 0 0 25 0 1 0 864464020 382599168 68180 4294967295 134512640 135726644 3221224592 3221223280 134744867 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93408 68180 300 300 0 93108 0
vsize: 373632
[startup+90.0043 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 120726 0 0 0 8741 258 0 0 25 0 1 0 864464020 386330624 68898 4294967295 134512640 135726644 3221224592 3221223200 134741266 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94319 68898 300 300 0 94019 0
vsize: 377276
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 121141 0 0 0 9741 258 0 0 25 0 1 0 864464020 387919872 69117 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94707 69117 300 300 0 94407 0
vsize: 378828
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 122263 0 0 0 10739 260 0 0 25 0 1 0 864464020 392298496 69880 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95776 69880 300 300 0 95476 0
vsize: 383104
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 124225 0 0 0 11735 264 0 0 25 0 1 0 864464020 394424320 70249 4294967295 134512640 135726644 3221224592 3221223216 134779655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96295 70249 300 300 0 95995 0
vsize: 385180
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 124742 0 0 0 12732 266 0 0 25 0 1 0 864464020 395956224 70508 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96669 70508 300 300 0 96369 0
vsize: 386676
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 125223 0 0 0 13731 268 0 0 25 0 1 0 864464020 398139392 70860 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97202 70860 300 300 0 96902 0
vsize: 388808
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 125629 0 0 0 14730 270 0 0 25 0 1 0 864464020 400117760 71266 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97685 71266 300 300 0 97385 0
vsize: 390740
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 125818 0 0 0 15729 271 0 0 25 0 1 0 864464020 400904192 71455 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97877 71455 300 300 0 97577 0
vsize: 391508
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 125910 0 0 0 16728 272 0 0 25 0 1 0 864464020 401166336 71481 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97941 71481 300 300 0 97641 0
vsize: 391764
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 126012 0 0 0 17727 273 0 0 25 0 1 0 864464020 401428480 71517 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98005 71517 300 300 0 97705 0
vsize: 392020
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 126027 0 0 0 18726 274 0 0 25 0 1 0 864464020 401428480 71532 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98005 71532 300 300 0 97705 0
vsize: 392020
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 126061 0 0 0 19726 274 0 0 25 0 1 0 864464020 401428480 71566 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98005 71566 300 300 0 97705 0
vsize: 392020
[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 126136 0 0 0 20726 275 0 0 25 0 1 0 864464020 401428480 71641 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98005 71641 300 300 0 97705 0
vsize: 392020
[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 126290 0 0 0 21726 275 0 0 25 0 1 0 864464020 401952768 71666 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98133 71666 300 300 0 97833 0
vsize: 392532
[startup+230.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 127787 0 0 0 22722 279 0 0 25 0 1 0 864464020 407793664 73034 4294967295 134512640 135726644 3221224592 3221222768 134765226 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99559 73034 300 300 0 99259 0
vsize: 398236
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 129870 0 0 0 23718 283 0 0 25 0 1 0 864464020 409092096 72858 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99876 72858 300 300 0 99576 0
vsize: 399504
[startup+250.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 131598 0 0 0 24715 286 0 0 25 0 1 0 864464020 415600640 73918 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101465 73918 300 300 0 101165 0
vsize: 405860
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 133658 0 0 0 25712 289 0 0 25 0 1 0 864464020 422227968 75095 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103083 75095 300 300 0 102783 0
vsize: 412332
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 135700 0 0 0 26708 293 0 0 25 0 1 0 864464020 428036096 76213 4294967295 134512640 135726644 3221224592 3221223200 134744639 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104501 76213 300 300 0 104201 0
vsize: 418004
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 136153 0 0 0 27707 294 0 0 25 0 1 0 864464020 429887488 76471 4294967295 134512640 135726644 3221224592 3221223216 134744612 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104953 76471 300 300 0 104653 0
vsize: 419812
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 136166 0 0 0 28708 294 0 0 25 0 1 0 864464020 429887488 76484 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104953 76484 300 300 0 104653 0
vsize: 419812
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 136175 0 0 0 29708 294 0 0 25 0 1 0 864464020 429887488 76493 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104953 76493 300 300 0 104653 0
vsize: 419812
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 136190 0 0 0 30708 294 0 0 25 0 1 0 864464020 429887488 76508 4294967295 134512640 135726644 3221224592 3221223088 134744159 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104953 76508 300 300 0 104653 0
vsize: 419812
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 136204 0 0 0 31709 294 0 0 25 0 1 0 864464020 429887488 76522 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104953 76522 300 300 0 104653 0
vsize: 419812
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 136221 0 0 0 32709 294 0 0 25 0 1 0 864464020 429887488 76539 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104953 76539 300 300 0 104653 0
vsize: 419812
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 136236 0 0 0 33708 295 0 0 25 0 1 0 864464020 429887488 76554 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104953 76554 300 300 0 104653 0
vsize: 419812
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 138342 0 0 0 34703 299 0 0 25 0 1 0 864464020 432824320 77005 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105670 77005 300 300 0 105370 0
vsize: 422680
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 138903 0 0 0 35702 301 0 0 25 0 1 0 864464020 434548736 77369 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106091 77369 300 300 0 105791 0
vsize: 424364
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 139039 0 0 0 36702 301 0 0 25 0 1 0 864464020 434810880 77440 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106155 77440 300 300 0 105855 0
vsize: 424620
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 139089 0 0 0 37702 302 0 0 25 0 1 0 864464020 434810880 77490 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106155 77490 300 300 0 105855 0
vsize: 424620
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 139190 0 0 0 38702 302 0 0 25 0 1 0 864464020 435073024 77526 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106219 77526 300 300 0 105919 0
vsize: 424876
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 139325 0 0 0 39701 302 0 0 25 0 1 0 864464020 435335168 77596 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106283 77596 300 300 0 105983 0
vsize: 425132
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 141659 0 0 0 40697 307 0 0 25 0 1 0 864464020 437977088 78145 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106928 78145 300 300 0 106628 0
vsize: 427712
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 142017 0 0 0 41695 309 0 0 25 0 1 0 864464020 439586816 78438 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107321 78438 300 300 0 107021 0
vsize: 429284
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 142222 0 0 0 42695 309 0 0 25 0 1 0 864464020 440389632 78578 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107517 78578 300 300 0 107217 0
vsize: 430068
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 143501 0 0 0 43691 313 0 0 25 0 1 0 864464020 443670528 79080 4294967295 134512640 135726644 3221224592 3221223088 134744263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108318 79080 300 300 0 108018 0
vsize: 433272
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 144393 0 0 0 44690 314 0 0 25 0 1 0 864464020 446304256 79422 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108961 79422 300 300 0 108661 0
vsize: 435844
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 145136 0 0 0 45689 316 0 0 25 0 1 0 864464020 448274432 79742 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109442 79742 300 300 0 109142 0
vsize: 437768
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 145484 0 0 0 46689 317 0 0 25 0 1 0 864464020 449060864 79896 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109634 79896 300 300 0 109334 0
vsize: 438536
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 146055 0 0 0 47687 318 0 0 25 0 1 0 864464020 450637824 80142 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110019 80142 300 300 0 109719 0
vsize: 440076
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 146066 0 0 0 48688 318 0 0 25 0 1 0 864464020 450637824 80153 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110019 80153 300 300 0 109719 0
vsize: 440076
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 146246 0 0 0 49688 318 0 0 25 0 1 0 864464020 451162112 80204 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110147 80204 300 300 0 109847 0
vsize: 440588
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 146273 0 0 0 50688 318 0 0 25 0 1 0 864464020 451162112 80231 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110147 80231 300 300 0 109847 0
vsize: 440588
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 146282 0 0 0 51688 318 0 0 25 0 1 0 864464020 451162112 80240 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110147 80240 300 300 0 109847 0
vsize: 440588
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 146469 0 0 0 52688 319 0 0 25 0 1 0 864464020 451690496 80362 4294967295 134512640 135726644 3221224592 3221223088 134743937 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110276 80362 300 300 0 109976 0
vsize: 441104
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 148191 0 0 0 53684 323 0 0 25 0 1 0 864464020 453275648 80592 4294967295 134512640 135726644 3221224592 3221223088 134743951 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110663 80592 300 300 0 110363 0
vsize: 442652
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 149920 0 0 0 54678 327 0 0 25 0 1 0 864464020 458145792 81445 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111852 81445 300 300 0 111552 0
vsize: 447408
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 150906 0 0 0 55675 330 0 0 25 0 1 0 864464020 460914688 81977 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112528 81977 300 300 0 112228 0
vsize: 450112
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 151541 0 0 0 56673 332 0 0 25 0 1 0 864464020 462884864 82188 4294967295 134512640 135726644 3221224592 3221222956 135287443 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113009 82188 300 300 0 112709 0
vsize: 452036
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 152506 0 0 0 57671 335 0 0 25 0 1 0 864464020 465788928 82762 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113718 82762 300 300 0 113418 0
vsize: 454872
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 152818 0 0 0 58670 336 0 0 25 0 1 0 864464020 466845696 82944 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113976 82944 300 300 0 113676 0
vsize: 455904
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 153331 0 0 0 59669 338 0 0 25 0 1 0 864464020 468295680 83230 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114330 83230 300 300 0 114030 0
vsize: 457320
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 154663 0 0 0 60665 341 0 0 25 0 1 0 864464020 471986176 83912 4294967295 134512640 135726644 3221224592 3221223216 134744626 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115231 83912 300 300 0 114931 0
vsize: 460924
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 155654 0 0 0 61663 344 0 0 25 0 1 0 864464020 474746880 84350 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115905 84350 300 300 0 115605 0
vsize: 463620
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 156435 0 0 0 62660 346 0 0 25 0 1 0 864464020 476987392 84740 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116452 84740 300 300 0 116152 0
vsize: 465808
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 157290 0 0 0 63659 348 0 0 25 0 1 0 864464020 479354880 85078 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117030 85078 300 300 0 116730 0
vsize: 468120
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 159248 0 0 0 64654 353 0 0 25 0 1 0 864464020 481062912 85349 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117447 85349 300 300 0 117147 0
vsize: 469788
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 159361 0 0 0 65653 354 0 0 25 0 1 0 864464020 481325056 85397 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117511 85397 300 300 0 117211 0
vsize: 470044
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 159375 0 0 0 66652 355 0 0 25 0 1 0 864464020 481325056 85411 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117511 85411 300 300 0 117211 0
vsize: 470044
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 160410 0 0 0 67650 357 0 0 25 0 1 0 864464020 483688448 85929 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118088 85929 300 300 0 117788 0
vsize: 472352
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 161406 0 0 0 68649 359 0 0 25 0 1 0 864464020 486182912 86374 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118697 86374 300 300 0 118397 0
vsize: 474788
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 162456 0 0 0 69647 361 0 0 25 0 1 0 864464020 488280064 86906 4294967295 134512640 135726644 3221224592 3221223232 134762102 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119209 86906 300 300 0 118909 0
vsize: 476836
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 162459 0 0 0 70646 361 0 0 25 0 1 0 864464020 488280064 86909 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119209 86909 300 300 0 118909 0
vsize: 476836
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 162461 0 0 0 71646 361 0 0 25 0 1 0 864464020 488280064 86911 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119209 86911 300 300 0 118909 0
vsize: 476836
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 162775 0 0 0 72645 363 0 0 25 0 1 0 864464020 489066496 87030 4294967295 134512640 135726644 3221224592 3221223248 134745088 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119401 87030 300 300 0 119101 0
vsize: 477604
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 162775 0 0 0 73645 363 0 0 25 0 1 0 864464020 489066496 87030 4294967295 134512640 135726644 3221224592 3221223088 134744372 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119401 87030 300 300 0 119101 0
vsize: 477604
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 162912 0 0 0 74645 363 0 0 25 0 1 0 864464020 489328640 87102 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119465 87102 300 300 0 119165 0
vsize: 477860
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 163641 0 0 0 75643 365 0 0 25 0 1 0 864464020 491032576 87410 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119881 87410 300 300 0 119581 0
vsize: 479524
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 163890 0 0 0 76643 366 0 0 25 0 1 0 864464020 491556864 87530 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120009 87530 300 300 0 119709 0
vsize: 480036
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 163988 0 0 0 77643 366 0 0 25 0 1 0 864464020 491556864 87628 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120009 87628 300 300 0 119709 0
vsize: 480036
[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 163988 0 0 0 78642 366 0 0 25 0 1 0 864464020 491556864 87628 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120009 87628 300 300 0 119709 0
vsize: 480036
[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 163989 0 0 0 79642 367 0 0 25 0 1 0 864464020 491556864 87629 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120009 87629 300 300 0 119709 0
vsize: 480036
[startup+810.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 163990 0 0 0 80642 367 0 0 25 0 1 0 864464020 491556864 87630 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120009 87630 300 300 0 119709 0
vsize: 480036
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 163991 0 0 0 81642 367 0 0 25 0 1 0 864464020 491556864 87631 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120009 87631 300 300 0 119709 0
vsize: 480036
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 163991 0 0 0 82642 367 0 0 25 0 1 0 864464020 491556864 87631 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120009 87631 300 300 0 119709 0
vsize: 480036
[startup+840.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 163992 0 0 0 83642 367 0 0 25 0 1 0 864464020 491556864 87632 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120009 87632 300 300 0 119709 0
vsize: 480036
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 165501 0 0 0 84638 371 0 0 25 0 1 0 864464020 492081152 87713 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120137 87713 300 300 0 119837 0
vsize: 480548
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 166640 0 0 0 85636 374 0 0 25 0 1 0 864464020 494702592 88204 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120777 88204 300 300 0 120477 0
vsize: 483108
[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 167628 0 0 0 86634 376 0 0 25 0 1 0 864464020 497324032 88546 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 121417 88546 300 300 0 121117 0
vsize: 485668
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 168414 0 0 0 87633 377 0 0 25 0 1 0 864464020 499552256 88781 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 121961 88781 300 300 0 121661 0
vsize: 487844
[startup+890.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 169340 0 0 0 88631 379 0 0 25 0 1 0 864464020 502452224 89252 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 122669 89252 300 300 0 122369 0
vsize: 490676
[startup+900.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 169841 0 0 0 89630 380 0 0 25 0 1 0 864464020 503635968 89526 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 122958 89526 300 300 0 122658 0
vsize: 491832
[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 171774 0 0 0 90627 384 0 0 25 0 1 0 864464020 508633088 90491 4294967295 134512640 135726644 3221224592 3221223088 134744304 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124178 90491 300 300 0 123878 0
vsize: 496712
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 171775 0 0 0 91627 384 0 0 25 0 1 0 864464020 508633088 90492 4294967295 134512640 135726644 3221224592 3221223088 134744323 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124178 90492 300 300 0 123878 0
vsize: 496712
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 171775 0 0 0 92627 384 0 0 25 0 1 0 864464020 508633088 90492 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124178 90492 300 300 0 123878 0
vsize: 496712
[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 171776 0 0 0 93627 384 0 0 25 0 1 0 864464020 508633088 90493 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124178 90493 300 300 0 123878 0
vsize: 496712
[startup+950.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 171872 0 0 0 94626 385 0 0 25 0 1 0 864464020 508895232 90524 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124242 90524 300 300 0 123942 0
vsize: 496968
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 171872 0 0 0 95626 385 0 0 25 0 1 0 864464020 508895232 90524 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124242 90524 300 300 0 123942 0
vsize: 496968
[startup+970.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 171958 0 0 0 96626 385 0 0 25 0 1 0 864464020 509157376 90545 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124306 90545 300 300 0 124006 0
vsize: 497224
[startup+980.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 171958 0 0 0 97626 386 0 0 25 0 1 0 864464020 509157376 90545 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124306 90545 300 300 0 124006 0
vsize: 497224
[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 173282 0 0 0 98622 389 0 0 25 0 1 0 864464020 509157376 90571 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 124306 90571 300 300 0 124006 0
vsize: 497224
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 173288 0 0 0 99621 389 0 0 25 0 1 0 864464020 509157376 90577 4294967295 134512640 135726644 3221224592 3221223080 134744458 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124306 90577 300 300 0 124006 0
vsize: 497224
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 173409 0 0 0 100621 390 0 0 25 0 1 0 864464020 509419520 90633 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124370 90633 300 300 0 124070 0
vsize: 497480
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 173410 0 0 0 101621 390 0 0 25 0 1 0 864464020 509419520 90634 4294967295 134512640 135726644 3221224592 3221223184 134760396 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124370 90634 300 300 0 124070 0
vsize: 497480
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 173411 0 0 0 102621 390 0 0 25 0 1 0 864464020 509419520 90635 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124370 90635 300 300 0 124070 0
vsize: 497480
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 173411 0 0 0 103622 390 0 0 25 0 1 0 864464020 509419520 90635 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124370 90635 300 300 0 124070 0
vsize: 497480
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 175067 0 0 0 104617 394 0 0 25 0 1 0 864464020 510205952 90799 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124562 90799 300 300 0 124262 0
vsize: 498248
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 175664 0 0 0 105616 396 0 0 25 0 1 0 864464020 511778816 91008 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124946 91008 300 300 0 124646 0
vsize: 499784
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 176352 0 0 0 106615 397 0 0 25 0 1 0 864464020 513884160 91306 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125460 91306 300 300 0 125160 0
vsize: 501840
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 176414 0 0 0 107615 397 0 0 25 0 1 0 864464020 513884160 91368 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125460 91368 300 300 0 125160 0
vsize: 501840
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 176540 0 0 0 108615 397 0 0 25 0 1 0 864464020 514146304 91429 4294967295 134512640 135726644 3221224592 3221223244 134744472 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125524 91429 300 300 0 125224 0
vsize: 502096
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 176541 0 0 0 109615 397 0 0 25 0 1 0 864464020 514146304 91430 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125524 91430 300 300 0 125224 0
vsize: 502096
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 176646 0 0 0 110615 398 0 0 25 0 1 0 864464020 514408448 91470 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125588 91470 300 300 0 125288 0
vsize: 502352
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 176647 0 0 0 111615 398 0 0 25 0 1 0 864464020 514408448 91471 4294967295 134512640 135726644 3221224592 3221223248 134731265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125588 91471 300 300 0 125288 0
vsize: 502352
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 176647 0 0 0 112615 398 0 0 25 0 1 0 864464020 514408448 91471 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125588 91471 300 300 0 125288 0
vsize: 502352
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 176651 0 0 0 113615 398 0 0 25 0 1 0 864464020 514408448 91475 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125588 91475 300 300 0 125288 0
vsize: 502352
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 176660 0 0 0 114616 398 0 0 25 0 1 0 864464020 514408448 91484 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125588 91484 300 300 0 125288 0
vsize: 502352
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 176664 0 0 0 115616 398 0 0 25 0 1 0 864464020 514408448 91488 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125588 91488 300 300 0 125288 0
vsize: 502352
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 176671 0 0 0 116615 399 0 0 25 0 1 0 864464020 514408448 91495 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125588 91495 300 300 0 125288 0
vsize: 502352
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 176677 0 0 0 117616 399 0 0 25 0 1 0 864464020 514408448 91501 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125588 91501 300 300 0 125288 0
vsize: 502352
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 176682 0 0 0 118616 399 0 0 25 0 1 0 864464020 514408448 91506 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125588 91506 300 300 0 125288 0
vsize: 502352
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 176688 0 0 0 119616 399 0 0 25 0 1 0 864464020 514408448 91512 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125588 91512 300 300 0 125288 0
vsize: 502352
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.22 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 18544
Raw data (stat): 18544 (pb2sat) R 18543 3394 3393 0 -1 0 176688 0 0 0 119616 399 0 0 25 0 1 0 864464020 514408448 91512 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125588 91512 300 300 0 125288 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.22
CPU time (s): 1202.32
CPU user time (s): 1198.16
CPU system time (s): 4.16237
CPU usage (%): 100.009
Max. virtual memory (Kb): 502352
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####