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/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-159.opb
MD5SUM	b7b224de1898888de830ec05fbd5ea69
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1327
Optimality of the best value was proved	NO
Number of terms in the objective function	2726
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	2726
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2726
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.07284
Number of variables	2726
Total number of constraints	4395
Number of constraints which are clauses	4395
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	1
Maximum length of a constraint	5
Trace number 24284

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 11:26:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2055 boxname=wulflinc31 idbench=229 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  b7b224de1898888de830ec05fbd5ea69  /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-159.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-159.opb
IDLAUNCH: 2055
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        139068 kB
Buffers:         44076 kB
Cached:         817112 kB
SwapCached:        644 kB
Active:         490696 kB
Inactive:       372796 kB
HighTotal:      131008 kB
HighFree:         1456 kB
LowTotal:       903652 kB
LowFree:        137612 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26352 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 11:46:28 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 2055 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2726 variables and 4395 constraints.
#### 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
Raw data (loadavg): 1.14 1.03 1.00 2/54 27621
Raw data (stat): 27621 (runsolver) R 27620 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 700232825 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0012 s]
Raw data (loadavg): 1.12 1.03 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 57057 0 0 0 864 132 0 0 25 0 1 0 700232825 16707584 3146 4294967295 134512640 134714540 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4079 3146 1111 63 0 4016 0
vsize: 16316
[startup+20.0021 s]
Raw data (loadavg): 1.10 1.03 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 103541 0 0 0 1757 240 0 0 25 0 1 0 700232825 25497600 5292 4294967295 134512640 134714540 3221221792 3221220172 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6225 5292 1111 63 0 6162 0
vsize: 24900
[startup+30.0036 s]
Raw data (loadavg): 1.08 1.03 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 144341 0 0 0 2658 339 0 0 25 0 1 0 700232825 29843456 6363 4294967295 134512640 134714540 3221221792 3221220572 134630846 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7286 6363 1111 63 0 7223 0
vsize: 29144
[startup+40.0039 s]
Raw data (loadavg): 1.07 1.03 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 155848 0 0 0 3630 367 0 0 25 0 1 0 700232825 33406976 7207 4294967295 134512640 134714540 3221221792 3221220520 134672911 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8156 7207 1111 63 0 8093 0
vsize: 32624
[startup+50.0039 s]
Raw data (loadavg): 1.06 1.03 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 166486 0 0 0 4603 394 0 0 25 0 1 0 700232825 37462016 8202 4294967295 134512640 134714540 3221221792 3221220328 134542982 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9146 8202 1111 63 0 9083 0
vsize: 36584
[startup+60.0048 s]
Raw data (loadavg): 1.05 1.02 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 177989 0 0 0 5577 421 0 0 25 0 1 0 700232825 40136704 8855 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9799 8855 1111 63 0 9736 0
vsize: 39196
[startup+70.0057 s]
Raw data (loadavg): 1.04 1.02 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 182071 0 0 0 6567 431 0 0 25 0 1 0 700232825 42614784 9470 4294967295 134512640 134714540 3221221792 3221220236 134536834 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10404 9470 1111 63 0 10341 0
vsize: 41616
[startup+80.0071 s]
Raw data (loadavg): 1.04 1.02 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 195527 0 0 0 7537 461 0 0 25 0 1 0 700232825 44085248 9840 4294967295 134512640 134714540 3221221792 3221220172 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10763 9840 1111 63 0 10700 0
vsize: 43052
[startup+90.0081 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 199106 0 0 0 8528 470 0 0 25 0 1 0 700232825 46800896 10487 4294967295 134512640 134714540 3221221792 3221220216 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11426 10487 1111 63 0 11363 0
vsize: 45704
[startup+100.008 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 202589 0 0 0 9521 477 0 0 25 0 1 0 700232825 49262592 11091 4294967295 134512640 134714540 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12027 11091 1111 63 0 11964 0
vsize: 48108
[startup+110.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 204752 0 0 0 10516 483 0 0 25 0 1 0 700232825 51601408 11649 4294967295 134512640 134714540 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12598 11649 1111 63 0 12535 0
vsize: 50392
[startup+120.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 228020 0 0 0 11460 539 0 0 25 0 1 0 700232825 52604928 11920 4294967295 134512640 134714540 3221221792 3221220296 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12843 11920 1111 63 0 12780 0
vsize: 51372
[startup+130.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 231701 0 0 0 12452 547 0 0 25 0 1 0 700232825 52604928 11920 4294967295 134512640 134714540 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12843 11920 1111 63 0 12780 0
vsize: 51372
[startup+140.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 233805 0 0 0 13447 552 0 0 25 0 1 0 700232825 52875264 11957 4294967295 134512640 134714540 3221221792 3221220224 134523171 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12909 11957 1111 63 0 12846 0
vsize: 51636
[startup+150.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 238987 0 0 0 14435 564 0 0 25 0 1 0 700232825 55480320 12585 4294967295 134512640 134714540 3221221792 3221220400 134529376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13545 12585 1111 63 0 13482 0
vsize: 54180
[startup+160.011 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 242082 0 0 0 15426 573 0 0 25 0 1 0 700232825 57176064 13007 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13959 13007 1111 63 0 13896 0
vsize: 55836
[startup+170.011 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 244831 0 0 0 16421 578 0 0 25 0 1 0 700232825 58560512 13319 4294967295 134512640 134714540 3221221792 3221220592 134617624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14297 13319 1111 63 0 14234 0
vsize: 57188
[startup+180.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 249633 0 0 0 17409 590 0 0 25 0 1 0 700232825 59838464 13631 4294967295 134512640 134714540 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14609 13631 1111 63 0 14546 0
vsize: 58436
[startup+190.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 250870 0 0 0 18407 593 0 0 25 0 1 0 700232825 60055552 13717 4294967295 134512640 134714540 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14662 13717 1111 63 0 14599 0
vsize: 58648
[startup+200.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 255196 0 0 0 19397 603 0 0 25 0 1 0 700232825 62414848 14264 4294967295 134512640 134714540 3221221792 3221220392 134543589 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15238 14264 1111 63 0 15175 0
vsize: 60952
[startup+210.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 257354 0 0 0 20392 608 0 0 25 0 1 0 700232825 63586304 14562 4294967295 134512640 134714540 3221221792 3221220256 134542368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15524 14562 1111 63 0 15461 0
vsize: 62096
[startup+220.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 259881 0 0 0 21387 614 0 0 25 0 1 0 700232825 63545344 14570 4294967295 134512640 134714540 3221221792 3221220272 134524108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15514 14570 1111 63 0 15451 0
vsize: 62056
[startup+230.016 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 263633 0 0 0 22377 623 0 0 25 0 1 0 700232825 65990656 15152 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16111 15152 1111 63 0 16048 0
vsize: 64444
[startup+240.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 269343 0 0 0 23366 635 0 0 25 0 1 0 700232825 66916352 15373 4294967295 134512640 134714540 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16337 15373 1111 63 0 16274 0
vsize: 65348
[startup+250.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 271403 0 0 0 24361 640 0 0 25 0 1 0 700232825 67833856 15590 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16561 15590 1111 63 0 16498 0
vsize: 66244
[startup+260.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 272313 0 0 0 25360 642 0 0 25 0 1 0 700232825 68816896 15844 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16801 15844 1111 63 0 16738 0
vsize: 67204
[startup+270.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 272987 0 0 0 26358 643 0 0 25 0 1 0 700232825 68825088 15862 4294967295 134512640 134714540 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16803 15862 1111 63 0 16740 0
vsize: 67212
[startup+280.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 275255 0 0 0 27353 648 0 0 25 0 1 0 700232825 70787072 16326 4294967295 134512640 134714540 3221221792 3221220296 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17282 16326 1111 63 0 17219 0
vsize: 69128
[startup+290.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 277280 0 0 0 28348 653 0 0 25 0 1 0 700232825 70811648 16348 4294967295 134512640 134714540 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17288 16348 1111 63 0 17225 0
vsize: 69152
[startup+300.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 279269 0 0 0 29344 658 0 0 25 0 1 0 700232825 72544256 16747 4294967295 134512640 134714540 3221221792 3221220288 134543707 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17711 16747 1111 63 0 17648 0
vsize: 70844
[startup+310.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 283046 0 0 0 30334 668 0 0 25 0 1 0 700232825 73371648 16952 4294967295 134512640 134714540 3221221792 3221220272 134539408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17913 16952 1111 63 0 17850 0
vsize: 71652
[startup+320.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 287264 0 0 0 31324 678 0 0 25 0 1 0 700232825 73207808 16903 4294967295 134512640 134714540 3221221792 3221220172 134539265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17873 16903 1111 63 0 17810 0
vsize: 71492
[startup+330.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 289201 0 0 0 32320 683 0 0 25 0 1 0 700232825 74760192 17302 4294967295 134512640 134714540 3221221792 3221220172 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18252 17302 1111 63 0 18189 0
vsize: 73008
[startup+340.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 293434 0 0 0 33311 692 0 0 25 0 1 0 700232825 75513856 17495 4294967295 134512640 134714540 3221221792 3221220208 134543686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18436 17495 1111 63 0 18373 0
vsize: 73744
[startup+350.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 294153 0 0 0 34309 694 0 0 25 0 1 0 700232825 76824576 17818 4294967295 134512640 134714540 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18756 17818 1111 63 0 18693 0
vsize: 75024
[startup+360.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 295417 0 0 0 35306 697 0 0 25 0 1 0 700232825 78155776 18141 4294967295 134512640 134714540 3221221792 3221220236 134536820 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19081 18141 1111 63 0 19018 0
vsize: 76324
[startup+370.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 296377 0 0 0 36304 699 0 0 25 0 1 0 700232825 79007744 18332 4294967295 134512640 134714540 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19289 18332 1111 63 0 19226 0
vsize: 77156
[startup+380.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 298154 0 0 0 37300 703 0 0 25 0 1 0 700232825 79810560 18521 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19485 18521 1111 63 0 19422 0
vsize: 77940
[startup+390.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 299693 0 0 0 38298 706 0 0 25 0 1 0 700232825 79282176 18419 4294967295 134512640 134714540 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19356 18419 1111 63 0 19293 0
vsize: 77424
[startup+400.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 301611 0 0 0 39293 711 0 0 25 0 1 0 700232825 81326080 18894 4294967295 134512640 134714540 3221221792 3221220304 134543686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19855 18894 1111 63 0 19792 0
vsize: 79420
[startup+410.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 302542 0 0 0 40291 713 0 0 25 0 1 0 700232825 80764928 18781 4294967295 134512640 134714540 3221221792 3221220224 134543756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19718 18781 1111 63 0 19655 0
vsize: 78872
[startup+420.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 325098 0 0 0 41238 766 0 0 25 0 1 0 700232825 82219008 19137 4294967295 134512640 134714540 3221221792 3221220200 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20073 19137 1111 63 0 20010 0
vsize: 80292
[startup+430.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 327052 0 0 0 42234 771 0 0 25 0 1 0 700232825 83353600 19387 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20350 19387 1111 63 0 20287 0
vsize: 81400
[startup+440.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 328636 0 0 0 43230 775 0 0 25 0 1 0 700232825 84099072 19565 4294967295 134512640 134714540 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20532 19565 1111 63 0 20469 0
vsize: 82128
[startup+450.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 331566 0 0 0 44223 782 0 0 25 0 1 0 700232825 83435520 19429 4294967295 134512640 134714540 3221221792 3221220320 134528738 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20370 19429 1111 63 0 20307 0
vsize: 81480
[startup+460.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 333972 0 0 0 45218 787 0 0 25 0 1 0 700232825 84410368 19673 4294967295 134512640 134714540 3221221792 3221220224 134543671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20608 19673 1111 63 0 20545 0
vsize: 82432
[startup+470.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 336787 0 0 0 46211 794 0 0 25 0 1 0 700232825 86032384 20046 4294967295 134512640 134714540 3221221792 3221220592 134617622 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21004 20046 1111 63 0 20941 0
vsize: 84016
[startup+480.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 338345 0 0 0 47207 799 0 0 25 0 1 0 700232825 86478848 20160 4294967295 134512640 134714540 3221221792 3221220296 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21113 20160 1111 63 0 21050 0
vsize: 84452
[startup+490.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 339958 0 0 0 48203 803 0 0 25 0 1 0 700232825 87224320 20331 4294967295 134512640 134714540 3221221792 3221220416 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21295 20331 1111 63 0 21232 0
vsize: 85180
[startup+500.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 341514 0 0 0 49200 806 0 0 25 0 1 0 700232825 87642112 20444 4294967295 134512640 134714540 3221221792 3221220272 134543108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21397 20444 1111 63 0 21334 0
vsize: 85588
[startup+510.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 342672 0 0 0 50197 809 0 0 25 0 1 0 700232825 88477696 20635 4294967295 134512640 134714540 3221221792 3221220592 134617624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21601 20635 1111 63 0 21538 0
vsize: 86404
[startup+520.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 343321 0 0 0 51195 811 0 0 25 0 1 0 700232825 87908352 20529 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21497 20533 1111 63 0 21434 0
vsize: 85848
[startup+530.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 347032 0 0 0 52189 818 0 0 25 0 1 0 700232825 88203264 20591 4294967295 134512640 134714540 3221221792 3221220176 134542706 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21534 20591 1111 63 0 21471 0
vsize: 86136
[startup+540.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 356732 0 0 0 53166 840 0 0 25 0 1 0 700232825 89980928 21035 4294967295 134512640 134714540 3221221792 3221220296 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21968 21035 1111 63 0 21905 0
vsize: 87872
[startup+550.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 358286 0 0 0 54164 843 0 0 25 0 1 0 700232825 90509312 21144 4294967295 134512640 134714540 3221221792 3221220272 134543070 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22097 21144 1111 63 0 22034 0
vsize: 88388
[startup+560.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 360026 0 0 0 55161 846 0 0 25 0 1 0 700232825 91000832 21263 4294967295 134512640 134714540 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22217 21263 1111 63 0 22154 0
vsize: 88868
[startup+570.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 384884 0 0 0 56100 907 0 0 25 0 1 0 700232825 91607040 21433 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22365 21433 1111 63 0 22302 0
vsize: 89460
[startup+580.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 390450 0 0 0 57087 921 0 0 25 0 1 0 700232825 92602368 21673 4294967295 134512640 134714540 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22608 21673 1111 63 0 22545 0
vsize: 90432
[startup+590.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 390665 0 0 0 58086 921 0 0 25 0 1 0 700232825 92602368 21676 4294967295 134512640 134714540 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22608 21676 1111 63 0 22545 0
vsize: 90432
[startup+600.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 391159 0 0 0 59085 922 0 0 25 0 1 0 700232825 93589504 21910 4294967295 134512640 134714540 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22849 21910 1111 63 0 22786 0
vsize: 91396
[startup+610.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 391598 0 0 0 60085 923 0 0 25 0 1 0 700232825 94015488 22011 4294967295 134512640 134714540 3221221792 3221220272 134543064 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22953 22011 1111 63 0 22890 0
vsize: 91812
[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 394282 0 0 0 61077 931 0 0 25 0 1 0 700232825 93446144 21883 4294967295 134512640 134714540 3221221792 3221220224 134543719 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22814 21883 1111 63 0 22751 0
vsize: 91256
[startup+630.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 396963 0 0 0 62071 937 0 0 25 0 1 0 700232825 95027200 22266 4294967295 134512640 134714540 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23200 22266 1111 63 0 23137 0
vsize: 92800
[startup+640.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 398219 0 0 0 63069 940 0 0 25 0 1 0 700232825 94240768 22077 4294967295 134512640 134714540 3221221792 3221220124 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23008 22077 1111 63 0 22945 0
vsize: 92032
[startup+650.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 399762 0 0 0 64065 944 0 0 25 0 1 0 700232825 95920128 22465 4294967295 134512640 134714540 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23418 22465 1111 63 0 23355 0
vsize: 93672
[startup+660.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 401367 0 0 0 65061 948 0 0 25 0 1 0 700232825 96272384 22574 4294967295 134512640 134714540 3221221792 3221220124 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23504 22574 1111 63 0 23441 0
vsize: 94016
[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 402935 0 0 0 66057 952 0 0 25 0 1 0 700232825 96976896 22722 4294967295 134512640 134714540 3221221792 3221220520 134672906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23676 22722 1111 63 0 23613 0
vsize: 94704
[startup+680.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 403161 0 0 0 67057 953 0 0 25 0 1 0 700232825 97271808 22818 4294967295 134512640 134714540 3221221792 3221220296 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23748 22818 1111 63 0 23685 0
vsize: 94992
[startup+690.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 403769 0 0 0 68056 954 0 0 25 0 1 0 700232825 96845824 22714 4294967295 134512640 134714540 3221221792 3221220256 134523872 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23644 22714 1111 63 0 23581 0
vsize: 94576
[startup+700.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 405043 0 0 0 69054 956 0 0 25 0 1 0 700232825 98131968 23007 4294967295 134512640 134714540 3221221792 3221220416 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23958 23007 1111 63 0 23895 0
vsize: 95832
[startup+710.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 406956 0 0 0 70049 961 0 0 25 0 1 0 700232825 98570240 23103 4294967295 134512640 134714540 3221221792 3221220272 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24065 23103 1111 63 0 24002 0
vsize: 96260
[startup+720.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 408459 0 0 0 71046 964 0 0 25 0 1 0 700232825 98004992 22998 4294967295 134512640 134714540 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23927 22998 1111 63 0 23864 0
vsize: 95708
[startup+730.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 411930 0 0 0 72039 971 0 0 25 0 1 0 700232825 98467840 23090 4294967295 134512640 134714540 3221221792 3221220216 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24040 23095 1111 63 0 23977 0
vsize: 96160
[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 415743 0 0 0 73031 980 0 0 25 0 1 0 700232825 99831808 23436 4294967295 134512640 134714540 3221221792 3221220296 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24373 23436 1111 63 0 24310 0
vsize: 97492
[startup+750.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 416731 0 0 0 74029 982 0 0 25 0 1 0 700232825 100179968 23526 4294967295 134512640 134714540 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24458 23526 1111 63 0 24395 0
vsize: 97832
[startup+760.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 418736 0 0 0 75024 987 0 0 25 0 1 0 700232825 99352576 23327 4294967295 134512640 134714540 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24256 23327 1111 63 0 24193 0
vsize: 97024
[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 419980 0 0 0 76021 990 0 0 25 0 1 0 700232825 99717120 23417 4294967295 134512640 134714540 3221221792 3221220308 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24345 23417 1111 63 0 24282 0
vsize: 97380
[startup+780.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 420784 0 0 0 77020 991 0 0 25 0 1 0 700232825 101371904 23792 4294967295 134512640 134714540 3221221792 3221220572 134630846 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24749 23792 1111 63 0 24686 0
vsize: 98996
[startup+790.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 422384 0 0 0 78017 995 0 0 25 0 1 0 700232825 101658624 23891 4294967295 134512640 134714540 3221221792 3221220272 134542365 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24819 23891 1111 63 0 24756 0
vsize: 99276
[startup+800.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 430348 0 0 0 78998 1014 0 0 25 0 1 0 700232825 101933056 23955 4294967295 134512640 134714540 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24886 23955 1111 63 0 24823 0
vsize: 99544
[startup+810.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 431528 0 0 0 79996 1016 0 0 25 0 1 0 700232825 102371328 24042 4294967295 134512640 134714540 3221221792 3221220396 134523848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24993 24042 1111 63 0 24930 0
vsize: 99972
[startup+820.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 432615 0 0 0 80993 1019 0 0 25 0 1 0 700232825 102817792 24175 4294967295 134512640 134714540 3221221792 3221220296 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25102 24175 1111 63 0 25039 0
vsize: 100408
[startup+830.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 432615 0 0 0 81993 1019 0 0 25 0 1 0 700232825 102817792 24175 4294967295 134512640 134714540 3221221792 3221220300 134539344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25102 24175 1111 63 0 25039 0
vsize: 100408
[startup+840.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 433381 0 0 0 82992 1021 0 0 25 0 1 0 700232825 102817792 24175 4294967295 134512640 134714540 3221221792 3221220248 134543665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25102 24175 1111 63 0 25039 0
vsize: 100408
[startup+850.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 434051 0 0 0 83991 1022 0 0 25 0 1 0 700232825 102817792 24175 4294967295 134512640 134714540 3221221792 3221220248 134536668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25102 24175 1111 63 0 25039 0
vsize: 100408
[startup+860.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 437028 0 0 0 84983 1030 0 0 25 0 1 0 700232825 104157184 24489 4294967295 134512640 134714540 3221221792 3221220172 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25429 24489 1111 63 0 25366 0
vsize: 101716
[startup+870.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 445449 0 0 0 85963 1051 0 0 25 0 1 0 700232825 104882176 24679 4294967295 134512640 134714540 3221221792 3221220308 134542962 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25606 24679 1111 63 0 25543 0
vsize: 102424
[startup+880.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 445507 0 0 0 86963 1051 0 0 25 0 1 0 700232825 104882176 24679 4294967295 134512640 134714540 3221221792 3221220320 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25606 24679 1111 63 0 25543 0
vsize: 102424
[startup+890.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 445851 0 0 0 87962 1052 0 0 25 0 1 0 700232825 104882176 24680 4294967295 134512640 134714540 3221221792 3221220184 134542295 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25606 24680 1111 63 0 25543 0
vsize: 102424
[startup+900.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 446356 0 0 0 88961 1053 0 0 25 0 1 0 700232825 105762816 24884 4294967295 134512640 134714540 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25821 24884 1111 63 0 25758 0
vsize: 103284
[startup+910.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 447026 0 0 0 89959 1055 0 0 25 0 1 0 700232825 106045440 24962 4294967295 134512640 134714540 3221221792 3221220416 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25890 24962 1111 63 0 25827 0
vsize: 103560
[startup+920.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 448001 0 0 0 90957 1057 0 0 25 0 1 0 700232825 106471424 25039 4294967295 134512640 134714540 3221221792 3221220356 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25994 25039 1111 63 0 25931 0
vsize: 103976
[startup+930.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 449219 0 0 0 91954 1060 0 0 25 0 1 0 700232825 106721280 25113 4294967295 134512640 134714540 3221221792 3221220304 134543681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26055 25113 1111 63 0 25992 0
vsize: 104220
[startup+940.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 449758 0 0 0 92953 1061 0 0 25 0 1 0 700232825 106971136 25190 4294967295 134512640 134714540 3221221792 3221220412 134536888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26116 25190 1111 63 0 26053 0
vsize: 104464
[startup+950.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 450601 0 0 0 93952 1063 0 0 25 0 1 0 700232825 107384832 25263 4294967295 134512640 134714540 3221221792 3221220416 134529401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26217 25263 1111 63 0 26154 0
vsize: 104868
[startup+960.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 451738 0 0 0 94950 1065 0 0 25 0 1 0 700232825 107683840 25338 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26290 25338 1111 63 0 26227 0
vsize: 105160
[startup+970.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 452646 0 0 0 95948 1067 0 0 25 0 1 0 700232825 106672128 25090 4294967295 134512640 134714540 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26043 25090 1111 63 0 25980 0
vsize: 104172
[startup+980.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 453874 0 0 0 96946 1069 0 0 25 0 1 0 700232825 106975232 25162 4294967295 134512640 134714540 3221221792 3221220144 134543035 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26117 25162 1111 63 0 26054 0
vsize: 104468
[startup+990.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 455101 0 0 0 97944 1072 0 0 25 0 1 0 700232825 107274240 25235 4294967295 134512640 134714540 3221221792 3221220320 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26190 25235 1111 63 0 26127 0
vsize: 104760
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 456321 0 0 0 98941 1074 0 0 25 0 1 0 700232825 108703744 25590 4294967295 134512640 134714540 3221221792 3221220272 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26539 25590 1111 63 0 26476 0
vsize: 106156
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 459860 0 0 0 99933 1083 0 0 25 0 1 0 700232825 108990464 25663 4294967295 134512640 134714540 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26609 25663 1111 63 0 26546 0
vsize: 106436
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 461086 0 0 0 100930 1086 0 0 25 0 1 0 700232825 109285376 25733 4294967295 134512640 134714540 3221221792 3221220320 134542848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26681 25733 1111 63 0 26618 0
vsize: 106724
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 461684 0 0 0 101929 1087 0 0 25 0 1 0 700232825 108838912 25648 4294967295 134512640 134714540 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26572 25648 1111 63 0 26509 0
vsize: 106288
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 462437 0 0 0 102926 1090 0 0 25 0 1 0 700232825 108838912 25648 4294967295 134512640 134714540 3221221792 3221220320 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26572 25648 1111 63 0 26509 0
vsize: 106288
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 463457 0 0 0 103924 1092 0 0 25 0 1 0 700232825 110120960 25937 4294967295 134512640 134714540 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26885 25937 1111 63 0 26822 0
vsize: 107540
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 464774 0 0 0 104921 1096 0 0 25 0 1 0 700232825 110788608 26100 4294967295 134512640 134714540 3221221792 3221220272 134539369 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27048 26100 1111 63 0 26985 0
vsize: 108192
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 466084 0 0 0 105918 1099 0 0 25 0 1 0 700232825 111378432 26260 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27192 26260 1111 63 0 27129 0
vsize: 108768
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 466981 0 0 0 106916 1101 0 0 25 0 1 0 700232825 110292992 26003 4294967295 134512640 134714540 3221221792 3221220224 134543674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26927 26003 1111 63 0 26864 0
vsize: 107708
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 468248 0 0 0 107913 1104 0 0 25 0 1 0 700232825 112029696 26354 4294967295 134512640 134714540 3221221792 3221220272 134543108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27351 26354 1111 63 0 27288 0
vsize: 109404
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 471778 0 0 0 108905 1112 0 0 25 0 1 0 700232825 112283648 26416 4294967295 134512640 134714540 3221221792 3221220256 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27413 26416 1111 63 0 27350 0
vsize: 109652
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 472561 0 0 0 109904 1114 0 0 25 0 1 0 700232825 111423488 26230 4294967295 134512640 134714540 3221221792 3221220300 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27203 26230 1111 63 0 27140 0
vsize: 108812
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 473666 0 0 0 110901 1116 0 0 25 0 1 0 700232825 111489024 26246 4294967295 134512640 134714540 3221221792 3221220272 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27219 26246 1111 63 0 27156 0
vsize: 108876
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 474880 0 0 0 111899 1119 0 0 25 0 1 0 700232825 113029120 26593 4294967295 134512640 134714540 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27595 26593 1111 63 0 27532 0
vsize: 110380
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 475777 0 0 0 112896 1122 0 0 25 0 1 0 700232825 111849472 26334 4294967295 134512640 134714540 3221221792 3221220308 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27307 26334 1111 63 0 27244 0
vsize: 109228
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 476987 0 0 0 113893 1125 0 0 25 0 1 0 700232825 113020928 26620 4294967295 134512640 134714540 3221221792 3221220252 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27593 26620 1111 63 0 27530 0
vsize: 110372
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 477413 0 0 0 114892 1126 0 0 25 0 1 0 700232825 113586176 26740 4294967295 134512640 134714540 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27731 26740 1111 63 0 27668 0
vsize: 110924
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 477888 0 0 0 115891 1127 0 0 25 0 1 0 700232825 113020928 26621 4294967295 134512640 134714540 3221221792 3221220272 134524111 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27593 26621 1111 63 0 27530 0
vsize: 110372
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 478697 0 0 0 116890 1129 0 0 25 0 1 0 700232825 113020928 26621 4294967295 134512640 134714540 3221221792 3221220124 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27593 26621 1111 63 0 27530 0
vsize: 110372
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 479720 0 0 0 117887 1131 0 0 25 0 1 0 700232825 114298880 26903 4294967295 134512640 134714540 3221221792 3221220296 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27905 26903 1111 63 0 27842 0
vsize: 111620
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27621
Raw data (stat): 27621 (bsolo_mis) R 27620 7876 7672 0 -1 0 480600 0 0 0 118885 1134 0 0 25 0 1 0 700232825 113102848 26641 4294967295 134512640 134714540 3221221792 3221220200 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27613 26641 1111 63 0 27550 0
vsize: 110452
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 27621
Raw data (stat): 27621 (bsolo_mis) Z 27620 7876 7672 0 -1 1036 480600 0 0 0 118885 1139 0 0 25 0 1 0 700232825 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.1
CPU time (s): 1200.25
CPU user time (s): 1188.86
CPU system time (s): 11.3943
CPU usage (%): 100.013
Max. virtual memory (Kb): 111620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####