PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-28 13:28:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24901 boxname=wulflinc4 idbench=1373 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3c0f03289c4bde51025003af805c294c  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-nsrand-ipx.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-nsrand-ipx.opb
IDLAUNCH: 24901
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
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:        713236 kB
Buffers:         33996 kB
Cached:         266672 kB
SwapCached:        640 kB
Active:          32600 kB
Inactive:       270216 kB
HighTotal:      131008 kB
HighFree:          336 kB
LowTotal:       903652 kB
LowFree:        712900 kB
SwapTotal:     2097136 kB
SwapFree:      2095656 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5304 kB
Slab:            12980 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 13:48:10 (client local time) WITH STATUS 0 IN 1202.54 SECONDS
stats: 24901 7 1202.54 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c CONFLICT during preprocess 
c [startup+79.6822 s]  setting bit 20 to 0

Decision: 16053/1436027	Time: 1077.41/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.91 0.95 0.90 2/54 30995
Raw data (stat): 30995 (runsolver) R 30994 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806932162 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.0009 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 27132 0 0 0 939 60 0 0 25 0 1 0 806932162 88924160 16020 4294967295 134512640 135726644 3221224576 3218826832 135278593 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21710 16020 300 300 0 21410 0
vsize: 86840
[startup+20.0023 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 56497 0 0 0 1876 123 0 0 25 0 1 0 806932162 176910336 34160 4294967295 134512640 135726644 3221224576 3218735424 134782652 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43191 34160 300 300 0 42891 0
vsize: 172764
[startup+30.0164 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 77170 0 0 0 2833 166 0 0 25 0 1 0 806932162 223252480 44929 4294967295 134512640 135726644 3221224576 3221221704 134574041 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54505 44929 300 300 0 54205 0
vsize: 218020
[startup+40.0181 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 101503 0 0 0 3779 220 0 0 25 0 1 0 806932162 307138560 56746 4294967295 134512640 135726644 3221224576 3220995720 135280477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74985 56746 300 300 0 74685 0
vsize: 299940
[startup+50.0188 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 131242 0 0 0 4719 280 0 0 25 0 1 0 806932162 481513472 85723 4294967295 134512640 135726644 3221224576 3220861304 135281254 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117557 85723 300 300 0 117257 0
vsize: 470228
[startup+60.0188 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 177588 0 0 0 5624 375 0 0 25 0 1 0 806932162 535474176 88434 4294967295 134512640 135726644 3221224576 3221221776 134574395 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130731 88434 300 300 0 130431 0
vsize: 522924
[startup+70.0198 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 189195 0 0 0 6590 409 0 0 25 0 1 0 806932162 569028608 99822 4294967295 134512640 135726644 3221224576 3221083344 135101181 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 138923 99822 300 300 0 138623 0
vsize: 555692
[startup+80.0204 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 198035 0 0 0 7568 431 0 0 25 0 1 0 806932162 584716288 104831 4294967295 134512640 135726644 3221224576 3221223152 134737974 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142753 104831 300 300 0 142453 0
vsize: 571012
[startup+90.0293 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 203008 0 0 0 8557 443 0 0 25 0 1 0 806932162 590245888 105832 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144103 105832 300 300 0 143803 0
vsize: 576412
[startup+100.031 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 203350 0 0 0 9556 444 0 0 25 0 1 0 806932162 591298560 105947 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144360 105947 300 300 0 144060 0
vsize: 577440
[startup+110.031 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 203354 0 0 0 10556 444 0 0 25 0 1 0 806932162 591298560 105951 4294967295 134512640 135726644 3221224576 3221222824 135281750 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144360 105951 300 300 0 144060 0
vsize: 577440
[startup+120.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 203358 0 0 0 11556 444 0 0 25 0 1 0 806932162 591298560 105955 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144360 105955 300 300 0 144060 0
vsize: 577440
[startup+130.044 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 203358 0 0 0 12557 445 0 0 25 0 1 0 806932162 591298560 105955 4294967295 134512640 135726644 3221224576 3221223200 134744555 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144360 105955 300 300 0 144060 0
vsize: 577440
[startup+140.052 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 203359 0 0 0 13557 445 0 0 25 0 1 0 806932162 591298560 105956 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144360 105956 300 300 0 144060 0
vsize: 577440
[startup+150.074 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 203392 0 0 0 14559 445 0 0 25 0 1 0 806932162 591433728 105989 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144393 105989 300 300 0 144093 0
vsize: 577572
[startup+160.074 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 203843 0 0 0 15558 446 0 0 25 0 1 0 806932162 592752640 106183 4294967295 134512640 135726644 3221224576 3221222824 135282491 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144715 106183 300 300 0 144415 0
vsize: 578860
[startup+170.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 204795 0 0 0 16555 449 0 0 25 0 1 0 806932162 595529728 106622 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145393 106622 300 300 0 145093 0
vsize: 581572
[startup+180.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 206000 0 0 0 17553 452 0 0 25 0 1 0 806932162 598310912 107312 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146072 107312 300 300 0 145772 0
vsize: 584288
[startup+190.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 206003 0 0 0 18552 452 0 0 25 0 1 0 806932162 598310912 107315 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146072 107315 300 300 0 145772 0
vsize: 584288
[startup+200.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 207014 0 0 0 19560 454 0 0 25 0 1 0 806932162 600727552 107778 4294967295 134512640 135726644 3221224576 3221223072 134744305 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146662 107778 300 300 0 146362 0
vsize: 586648
[startup+210.191 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 208775 0 0 0 20559 457 0 0 25 0 1 0 806932162 605184000 108446 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147750 108446 300 300 0 147450 0
vsize: 591000
[startup+220.206 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 208776 0 0 0 21560 458 0 0 25 0 1 0 806932162 605184000 108447 4294967295 134512640 135726644 3221224576 3221223184 134744646 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147750 108447 300 300 0 147450 0
vsize: 591000
[startup+230.206 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 209510 0 0 0 22559 459 0 0 25 0 1 0 806932162 606756864 108795 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148134 108795 300 300 0 147834 0
vsize: 592536
[startup+240.207 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 210833 0 0 0 23557 461 0 0 25 0 1 0 806932162 609902592 109348 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148902 109348 300 300 0 148602 0
vsize: 595608
[startup+250.208 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 210841 0 0 0 24557 461 0 0 25 0 1 0 806932162 610037760 109356 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148935 109356 300 300 0 148635 0
vsize: 595740
[startup+260.208 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 210847 0 0 0 25557 461 0 0 25 0 1 0 806932162 610037760 109362 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148935 109362 300 300 0 148635 0
vsize: 595740
[startup+270.209 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 213095 0 0 0 26553 466 0 0 25 0 1 0 806932162 615800832 110483 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150342 110483 300 300 0 150042 0
vsize: 601368
[startup+280.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 216147 0 0 0 27547 472 0 0 25 0 1 0 806932162 623804416 111636 4294967295 134512640 135726644 3221224576 3221223200 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152296 111636 300 300 0 151996 0
vsize: 609184
[startup+290.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 217883 0 0 0 28543 476 0 0 25 0 1 0 806932162 629190656 112088 4294967295 134512640 135726644 3221224576 3221223072 134743907 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153611 112088 300 300 0 153311 0
vsize: 614444
[startup+300.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 220960 0 0 0 29537 482 0 0 25 0 1 0 806932162 636805120 113394 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155470 113394 300 300 0 155170 0
vsize: 621880
[startup+310.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 224016 0 0 0 30531 488 0 0 25 0 1 0 806932162 645038080 114884 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157480 114884 300 300 0 157180 0
vsize: 629920
[startup+320.211 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 228014 0 0 0 31524 496 0 0 25 0 1 0 806932162 655314944 116773 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159989 116773 300 300 0 159689 0
vsize: 639956
[startup+330.211 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 228221 0 0 0 32523 496 0 0 25 0 1 0 806932162 655708160 116882 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160085 116882 300 300 0 159785 0
vsize: 640340
[startup+340.212 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 228222 0 0 0 33524 496 0 0 25 0 1 0 806932162 655708160 116883 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160085 116883 300 300 0 159785 0
vsize: 640340
[startup+350.212 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 228916 0 0 0 34522 498 0 0 25 0 1 0 806932162 657805312 117064 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160597 117064 300 300 0 160297 0
vsize: 642388
[startup+360.212 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 228918 0 0 0 35522 499 0 0 25 0 1 0 806932162 657805312 117066 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160597 117066 300 300 0 160297 0
vsize: 642388
[startup+370.213 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 228926 0 0 0 36522 499 0 0 25 0 1 0 806932162 657805312 117074 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160597 117074 300 300 0 160297 0
vsize: 642388
[startup+380.213 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 228929 0 0 0 37522 499 0 0 25 0 1 0 806932162 657805312 117077 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160597 117077 300 300 0 160297 0
vsize: 642388
[startup+390.214 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 228942 0 0 0 38522 499 0 0 25 0 1 0 806932162 657940480 117090 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160630 117090 300 300 0 160330 0
vsize: 642520
[startup+400.215 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 229223 0 0 0 39522 500 0 0 25 0 1 0 806932162 658464768 117242 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160758 117242 300 300 0 160458 0
vsize: 643032
[startup+410.215 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 229231 0 0 0 40522 500 0 0 25 0 1 0 806932162 658464768 117250 4294967295 134512640 135726644 3221224576 3221223248 134745056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160758 117250 300 300 0 160458 0
vsize: 643032
[startup+420.216 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 229232 0 0 0 41522 500 0 0 25 0 1 0 806932162 658464768 117251 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160758 117251 300 300 0 160458 0
vsize: 643032
[startup+430.217 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 229233 0 0 0 42522 500 0 0 25 0 1 0 806932162 658464768 117252 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160758 117252 300 300 0 160458 0
vsize: 643032
[startup+440.217 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 229244 0 0 0 43522 500 0 0 25 0 1 0 806932162 658464768 117263 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160758 117263 300 300 0 160458 0
vsize: 643032
[startup+450.218 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 229255 0 0 0 44522 500 0 0 25 0 1 0 806932162 658464768 117274 4294967295 134512640 135726644 3221224576 3221222896 134728931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160758 117274 300 300 0 160458 0
vsize: 643032
[startup+460.218 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 229260 0 0 0 45523 500 0 0 25 0 1 0 806932162 658599936 117279 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160791 117279 300 300 0 160491 0
vsize: 643164
[startup+470.219 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 229263 0 0 0 46523 500 0 0 25 0 1 0 806932162 658599936 117282 4294967295 134512640 135726644 3221224576 3221223072 134744229 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160791 117282 300 300 0 160491 0
vsize: 643164
[startup+480.219 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 229574 0 0 0 47522 501 0 0 25 0 1 0 806932162 659648512 117336 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161047 117336 300 300 0 160747 0
vsize: 644188
[startup+490.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 229575 0 0 0 48523 501 0 0 25 0 1 0 806932162 659648512 117337 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161047 117337 300 300 0 160747 0
vsize: 644188
[startup+500.221 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 229576 0 0 0 49523 501 0 0 25 0 1 0 806932162 659648512 117338 4294967295 134512640 135726644 3221224576 3221223072 134744053 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161047 117338 300 300 0 160747 0
vsize: 644188
[startup+510.221 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 229580 0 0 0 50523 501 0 0 25 0 1 0 806932162 659648512 117342 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161047 117342 300 300 0 160747 0
vsize: 644188
[startup+520.221 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 229582 0 0 0 51523 501 0 0 25 0 1 0 806932162 659648512 117344 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161047 117344 300 300 0 160747 0
vsize: 644188
[startup+530.222 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 230701 0 0 0 52521 503 0 0 25 0 1 0 806932162 662331392 117915 4294967295 134512640 135726644 3221224576 3221223200 134744575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161702 117915 300 300 0 161402 0
vsize: 646808
[startup+540.223 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 234010 0 0 0 53515 509 0 0 25 0 1 0 806932162 671068160 119298 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163835 119298 300 300 0 163535 0
vsize: 655340
[startup+550.224 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 234205 0 0 0 54515 509 0 0 25 0 1 0 806932162 671592448 119364 4294967295 134512640 135726644 3221224576 3221223180 134744139 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163963 119364 300 300 0 163663 0
vsize: 655852
[startup+560.224 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 234206 0 0 0 55515 509 0 0 25 0 1 0 806932162 671592448 119365 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163963 119365 300 300 0 163663 0
vsize: 655852
[startup+570.225 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 234208 0 0 0 56516 509 0 0 25 0 1 0 806932162 671592448 119367 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163963 119367 300 300 0 163663 0
vsize: 655852
[startup+580.226 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 235044 0 0 0 57514 511 0 0 25 0 1 0 806932162 673689600 119690 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164475 119690 300 300 0 164175 0
vsize: 657900
[startup+590.226 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 235158 0 0 0 58515 511 0 0 25 0 1 0 806932162 673689600 119804 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164475 119804 300 300 0 164175 0
vsize: 657900
[startup+600.227 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 235677 0 0 0 59514 512 0 0 25 0 1 0 806932162 675786752 119810 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164987 119810 300 300 0 164687 0
vsize: 659948
[startup+610.227 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 236037 0 0 0 60513 513 0 0 25 0 1 0 806932162 676835328 119913 4294967295 134512640 135726644 3221224576 3221223200 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 165243 119913 300 300 0 164943 0
vsize: 660972
[startup+620.228 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 236089 0 0 0 61513 513 0 0 25 0 1 0 806932162 676835328 119965 4294967295 134512640 135726644 3221224576 3221223168 134759994 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 165243 119965 300 300 0 164943 0
vsize: 660972
[startup+630.228 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 236099 0 0 0 62513 513 0 0 25 0 1 0 806932162 676835328 119975 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 165243 119975 300 300 0 164943 0
vsize: 660972
[startup+640.23 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 236728 0 0 0 63512 514 0 0 25 0 1 0 806932162 678088704 120386 4294967295 134512640 135726644 3221224576 3221223072 134743877 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 165549 120386 300 300 0 165249 0
vsize: 662196
[startup+650.231 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 237506 0 0 0 64511 516 0 0 25 0 1 0 806932162 680054784 120680 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166029 120680 300 300 0 165729 0
vsize: 664116
[startup+660.231 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 237508 0 0 0 65511 516 0 0 25 0 1 0 806932162 680054784 120682 4294967295 134512640 135726644 3221224576 3221223200 134744661 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166029 120682 300 300 0 165729 0
vsize: 664116
[startup+670.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 237555 0 0 0 66513 516 0 0 25 0 1 0 806932162 680054784 120729 4294967295 134512640 135726644 3221224576 3221222896 134728909 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166029 120729 300 300 0 165729 0
vsize: 664116
[startup+680.25 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 237556 0 0 0 67513 516 0 0 25 0 1 0 806932162 680054784 120730 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166029 120730 300 300 0 165729 0
vsize: 664116
[startup+690.251 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 237557 0 0 0 68513 516 0 0 25 0 1 0 806932162 680054784 120731 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166029 120731 300 300 0 165729 0
vsize: 664116
[startup+700.252 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 237560 0 0 0 69514 516 0 0 25 0 1 0 806932162 680054784 120734 4294967295 134512640 135726644 3221224576 3221223200 134744553 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166029 120734 300 300 0 165729 0
vsize: 664116
[startup+710.252 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 237560 0 0 0 70514 516 0 0 25 0 1 0 806932162 680054784 120734 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166029 120734 300 300 0 165729 0
vsize: 664116
[startup+720.253 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 237561 0 0 0 71514 516 0 0 25 0 1 0 806932162 680054784 120735 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166029 120735 300 300 0 165729 0
vsize: 664116
[startup+730.254 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 237563 0 0 0 72514 516 0 0 25 0 1 0 806932162 680054784 120737 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166029 120737 300 300 0 165729 0
vsize: 664116
[startup+740.254 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 237563 0 0 0 73514 516 0 0 25 0 1 0 806932162 680054784 120737 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166029 120737 300 300 0 165729 0
vsize: 664116
[startup+750.256 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 237566 0 0 0 74515 516 0 0 25 0 1 0 806932162 680054784 120740 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166029 120740 300 300 0 165729 0
vsize: 664116
[startup+760.256 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 237568 0 0 0 75515 516 0 0 25 0 1 0 806932162 680054784 120742 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166029 120742 300 300 0 165729 0
vsize: 664116
[startup+770.257 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 237569 0 0 0 76515 516 0 0 25 0 1 0 806932162 680054784 120743 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166029 120743 300 300 0 165729 0
vsize: 664116
[startup+780.257 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 237570 0 0 0 77515 516 0 0 25 0 1 0 806932162 680054784 120744 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166029 120744 300 300 0 165729 0
vsize: 664116
[startup+790.258 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 237574 0 0 0 78515 516 0 0 25 0 1 0 806932162 680054784 120748 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166029 120748 300 300 0 165729 0
vsize: 664116
[startup+800.259 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 237593 0 0 0 79516 517 0 0 25 0 1 0 806932162 680054784 120767 4294967295 134512640 135726644 3221224576 3221223072 134744051 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166029 120767 300 300 0 165729 0
vsize: 664116
[startup+810.259 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 237606 0 0 0 80516 517 0 0 25 0 1 0 806932162 680054784 120780 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166029 120780 300 300 0 165729 0
vsize: 664116
[startup+820.259 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 237983 0 0 0 81515 517 0 0 25 0 1 0 806932162 681103360 120900 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166285 120900 300 300 0 165985 0
vsize: 665140
[startup+830.259 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238080 0 0 0 82515 517 0 0 25 0 1 0 806932162 681103360 120997 4294967295 134512640 135726644 3221224576 3221223056 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166285 120997 300 300 0 165985 0
vsize: 665140
[startup+840.26 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238081 0 0 0 83516 517 0 0 25 0 1 0 806932162 681103360 120998 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166285 120998 300 300 0 165985 0
vsize: 665140
[startup+850.261 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238082 0 0 0 84516 517 0 0 25 0 1 0 806932162 681103360 120999 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166285 120999 300 300 0 165985 0
vsize: 665140
[startup+860.264 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238083 0 0 0 85516 518 0 0 25 0 1 0 806932162 681103360 121000 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166285 121000 300 300 0 165985 0
vsize: 665140
[startup+870.265 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238084 0 0 0 86516 518 0 0 25 0 1 0 806932162 681103360 121001 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166285 121001 300 300 0 165985 0
vsize: 665140
[startup+880.265 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238085 0 0 0 87516 518 0 0 25 0 1 0 806932162 681103360 121002 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166285 121002 300 300 0 165985 0
vsize: 665140
[startup+890.266 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238086 0 0 0 88517 518 0 0 25 0 1 0 806932162 681103360 121003 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166285 121003 300 300 0 165985 0
vsize: 665140
[startup+900.267 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238088 0 0 0 89517 518 0 0 25 0 1 0 806932162 681103360 121005 4294967295 134512640 135726644 3221224576 3221223200 134744518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166285 121005 300 300 0 165985 0
vsize: 665140
[startup+910.267 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238089 0 0 0 90517 518 0 0 25 0 1 0 806932162 681103360 121006 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166285 121006 300 300 0 165985 0
vsize: 665140
[startup+920.268 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238090 0 0 0 91517 518 0 0 25 0 1 0 806932162 681103360 121007 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166285 121007 300 300 0 165985 0
vsize: 665140
[startup+930.268 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238090 0 0 0 92517 518 0 0 25 0 1 0 806932162 681103360 121007 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166285 121007 300 300 0 165985 0
vsize: 665140
[startup+940.269 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238184 0 0 0 93517 518 0 0 25 0 1 0 806932162 681103360 121101 4294967295 134512640 135726644 3221224576 3221223056 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166285 121101 300 300 0 165985 0
vsize: 665140
[startup+950.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238185 0 0 0 94518 518 0 0 25 0 1 0 806932162 681103360 121102 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166285 121102 300 300 0 165985 0
vsize: 665140
[startup+960.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238186 0 0 0 95517 518 0 0 25 0 1 0 806932162 681103360 121103 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166285 121103 300 300 0 165985 0
vsize: 665140
[startup+970.271 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238186 0 0 0 96518 519 0 0 25 0 1 0 806932162 681103360 121103 4294967295 134512640 135726644 3221224576 3221223264 134744867 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166285 121103 300 300 0 165985 0
vsize: 665140
[startup+980.271 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238187 0 0 0 97518 519 0 0 25 0 1 0 806932162 681103360 121104 4294967295 134512640 135726644 3221224576 3221223072 134743907 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166285 121104 300 300 0 165985 0
vsize: 665140
[startup+990.272 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238204 0 0 0 98518 519 0 0 25 0 1 0 806932162 681238528 121121 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166318 121121 300 300 0 166018 0
vsize: 665272
[startup+1000.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238206 0 0 0 99518 519 0 0 25 0 1 0 806932162 681238528 121123 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166318 121123 300 300 0 166018 0
vsize: 665272
[startup+1010.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238209 0 0 0 100518 519 0 0 25 0 1 0 806932162 681238528 121126 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166318 121126 300 300 0 166018 0
vsize: 665272
[startup+1020.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238214 0 0 0 101518 519 0 0 25 0 1 0 806932162 681238528 121131 4294967295 134512640 135726644 3221224576 3221222824 135282491 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166318 121131 300 300 0 166018 0
vsize: 665272
[startup+1030.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238222 0 0 0 102518 519 0 0 25 0 1 0 806932162 681238528 121139 4294967295 134512640 135726644 3221224576 3221223072 134744369 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166318 121139 300 300 0 166018 0
vsize: 665272
[startup+1040.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238229 0 0 0 103518 520 0 0 25 0 1 0 806932162 681238528 121146 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166318 121146 300 300 0 166018 0
vsize: 665272
[startup+1050.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238231 0 0 0 104518 520 0 0 25 0 1 0 806932162 681238528 121148 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166318 121148 300 300 0 166018 0
vsize: 665272
[startup+1060.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238238 0 0 0 105519 520 0 0 25 0 1 0 806932162 681373696 121155 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166351 121155 300 300 0 166051 0
vsize: 665404
[startup+1070.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 238915 0 0 0 106517 522 0 0 25 0 1 0 806932162 683384832 121507 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166842 121507 300 300 0 166542 0
vsize: 667368
[startup+1080.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 241208 0 0 0 107513 526 0 0 25 0 1 0 806932162 689582080 122566 4294967295 134512640 135726644 3221224576 3221223200 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168355 122566 300 300 0 168055 0
vsize: 673420
[startup+1090.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 242966 0 0 0 108511 528 0 0 25 0 1 0 806932162 693256192 123454 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169252 123454 300 300 0 168952 0
vsize: 677008
[startup+1100.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 244179 0 0 0 109508 531 0 0 25 0 1 0 806932162 696143872 123989 4294967295 134512640 135726644 3221224576 3221223056 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169957 123989 300 300 0 169657 0
vsize: 679828
[startup+1110.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 244201 0 0 0 110509 531 0 0 25 0 1 0 806932162 696143872 124011 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169957 124011 300 300 0 169657 0
vsize: 679828
[startup+1120.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 244203 0 0 0 111510 531 0 0 25 0 1 0 806932162 696143872 124013 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169957 124013 300 300 0 169657 0
vsize: 679828
[startup+1130.29 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 244228 0 0 0 112510 531 0 0 25 0 1 0 806932162 696143872 124038 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169957 124038 300 300 0 169657 0
vsize: 679828
[startup+1140.29 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 244233 0 0 0 113510 531 0 0 25 0 1 0 806932162 696143872 124043 4294967295 134512640 135726644 3221224576 3221223072 134744030 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169957 124043 300 300 0 169657 0
vsize: 679828
[startup+1150.29 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 247039 0 0 0 114504 537 0 0 25 0 1 0 806932162 707633152 126849 4294967295 134512640 135726644 3221224576 3221222728 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172762 126849 300 300 0 172462 0
vsize: 691048
[startup+1160.3 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 247039 0 0 0 115504 538 0 0 25 0 1 0 806932162 696143872 124044 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169957 124044 300 300 0 169657 0
vsize: 679828
[startup+1170.3 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 247046 0 0 0 116503 538 0 0 25 0 1 0 806932162 696143872 124051 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169957 124051 300 300 0 169657 0
vsize: 679828
[startup+1180.3 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 247047 0 0 0 117503 538 0 0 25 0 1 0 806932162 696143872 124052 4294967295 134512640 135726644 3221224576 3221223168 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169957 124052 300 300 0 169657 0
vsize: 679828
[startup+1190.3 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 247047 0 0 0 118503 538 0 0 25 0 1 0 806932162 696143872 124052 4294967295 134512640 135726644 3221224576 3221223072 134743931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169957 124052 300 300 0 169657 0
vsize: 679828
[startup+1200.3 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 247047 0 0 0 119503 538 0 0 25 0 1 0 806932162 696143872 124052 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169957 124052 300 300 0 169657 0
vsize: 679828
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.41 s]
Raw data (loadavg): 1.05 1.00 0.92 1/53 30995
Raw data (stat): 30995 (pb2sat) R 30994 21152 21151 0 -1 0 247047 0 0 0 119503 538 0 0 25 0 1 0 806932162 696143872 124052 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169957 124052 300 300 0 169657 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.41
CPU time (s): 1202.54
CPU user time (s): 1196.9
CPU system time (s): 5.63314
CPU usage (%): 100.01
Max. virtual memory (Kb): 691048
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####