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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc105.opb
MD5SUM	c822b1c022f6bb2b01940173213da6e2
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	8388608
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	22020075
Number of bits of the biggest sum of numbers	25
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	2.85756
Number of variables	2060
Total number of constraints	104
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	104
Minimum length of a constraint	40
Maximum length of a constraint	80
Trace number 26003

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 20:40:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16123 boxname=wulflinc31 idbench=1241 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  c822b1c022f6bb2b01940173213da6e2  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sc105.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sc105.opb
IDLAUNCH: 16123
/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:        909120 kB
Buffers:          3720 kB
Cached:         101280 kB
SwapCached:       1352 kB
Active:          82464 kB
Inactive:        25028 kB
HighTotal:      131008 kB
HighFree:        26796 kB
LowTotal:       903652 kB
LowFree:        882324 kB
SwapTotal:     2097892 kB
SwapFree:      2095532 kB
Dirty:             136 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            12420 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 20:52:32 (client local time) WITH STATUS 0 IN 747.956 SECONDS
stats: 16123 7 747.956 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2060 variables and 149 constraints.
c After prepocess the problem consists of 1726 variables and 149 constraints.
c preprocess terminated 0.782 s
c Initial Lower Bound: -16383
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
#### 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): 0.92 0.98 0.93 2/55 14504
Raw data (stat): 14504 (runsolver) R 14503 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 824528899 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.0011 s]
Raw data (loadavg): 0.93 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 5177 0 0 0 981 15 0 0 25 0 1 0 824528899 24981504 5151 4294967295 134512640 134714540 3221221776 3221220532 134556497 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6099 5151 1111 63 0 6036 0
vsize: 24396
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 8743 0 0 0 1971 25 0 0 25 0 1 0 824528899 39845888 8689 4294967295 134512640 134714540 3221221776 3221220592 134610844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9728 8689 1111 63 0 9665 0
vsize: 38912
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 12293 0 0 0 2960 36 0 0 25 0 1 0 824528899 55066624 12155 4294967295 134512640 134714540 3221221776 3221220580 134610916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13444 12155 1111 63 0 13381 0
vsize: 53776
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 15588 0 0 0 3949 47 0 0 25 0 1 0 824528899 68214784 15444 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16654 15444 1111 63 0 16591 0
vsize: 66616
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 19399 0 0 0 4939 58 0 0 25 0 1 0 824528899 85778432 19093 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20942 19093 1111 63 0 20879 0
vsize: 83768
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 22281 0 0 0 5930 67 0 0 25 0 1 0 824528899 97533952 21957 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23812 21957 1111 63 0 23749 0
vsize: 95248
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 25381 0 0 0 6920 76 0 0 25 0 1 0 824528899 109969408 25057 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26848 25057 1111 63 0 26785 0
vsize: 107392
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 28742 0 0 0 7911 85 0 0 25 0 1 0 824528899 122724352 28240 4294967295 134512640 134714540 3221221776 3221220524 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29962 28240 1111 63 0 29899 0
vsize: 119848
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 31651 0 0 0 8905 92 0 0 25 0 1 0 824528899 134213632 31149 4294967295 134512640 134714540 3221221776 3221220464 134524417 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32767 31149 1111 63 0 32704 0
vsize: 131068
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 37088 0 0 0 9894 104 0 0 25 0 1 0 824528899 156717056 34987 4294967295 134512640 134714540 3221221776 3221220492 134558630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38261 34987 1111 63 0 38198 0
vsize: 153044
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 40384 0 0 0 10886 111 0 0 25 0 1 0 824528899 169541632 38119 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41392 38119 1111 63 0 41329 0
vsize: 165568
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 42978 0 0 0 11879 119 0 0 25 0 1 0 824528899 179466240 40631 4294967295 134512640 134714540 3221221776 3221220452 134553176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43815 40631 1111 63 0 43752 0
vsize: 175260
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 46007 0 0 0 12870 128 0 0 25 0 1 0 824528899 191361024 43660 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46719 43660 1111 63 0 46656 0
vsize: 186876
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 48981 0 0 0 13862 136 0 0 25 0 1 0 824528899 202985472 46634 4294967295 134512640 134714540 3221221776 3221220564 134624376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49557 46634 1111 63 0 49494 0
vsize: 198228
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 52014 0 0 0 14852 146 0 0 25 0 1 0 824528899 214867968 49576 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52458 49576 1111 63 0 52395 0
vsize: 209832
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 55800 0 0 0 15842 156 0 0 25 0 1 0 824528899 228204544 52972 4294967295 134512640 134714540 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55714 52972 1111 63 0 55651 0
vsize: 222856
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 58767 0 0 0 16834 165 0 0 25 0 1 0 824528899 239828992 55939 4294967295 134512640 134714540 3221221776 3221220496 134556783 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58552 55939 1111 63 0 58489 0
vsize: 234208
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 61462 0 0 0 17826 173 0 0 25 0 1 0 824528899 250372096 58634 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61126 58634 1111 63 0 61063 0
vsize: 244504
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 64519 0 0 0 18816 183 0 0 25 0 1 0 824528899 262270976 61691 4294967295 134512640 134714540 3221221776 3221220492 134558620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64031 61691 1111 63 0 63968 0
vsize: 256124
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 72993 0 0 0 19798 201 0 0 25 0 1 0 824528899 293339136 65710 4294967295 134512640 134714540 3221221776 3221220464 134528602 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71616 65710 1111 63 0 71553 0
vsize: 286464
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 76249 0 0 0 20789 211 0 0 25 0 1 0 824528899 305868800 68642 4294967295 134512640 134714540 3221221776 3221220400 134535439 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 74675 68643 1111 63 0 74612 0
vsize: 298700
[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 79489 0 0 0 21780 220 0 0 25 0 1 0 824528899 318418944 71720 4294967295 134512640 134714540 3221221776 3221220512 134556392 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77739 71720 1111 63 0 77676 0
vsize: 310956
[startup+230.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 82454 0 0 0 22773 227 0 0 25 0 1 0 824528899 329908224 74685 4294967295 134512640 134714540 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80544 74685 1111 63 0 80481 0
vsize: 322176
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 84917 0 0 0 23765 235 0 0 25 0 1 0 824528899 339349504 76986 4294967295 134512640 134714540 3221221776 3221220384 134536849 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82849 76986 1111 63 0 82786 0
vsize: 331396
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 87347 0 0 0 24759 242 0 0 25 0 1 0 824528899 348811264 79416 4294967295 134512640 134714540 3221221776 3221220516 134556384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85159 79417 1111 63 0 85096 0
vsize: 340636
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 90314 0 0 0 25749 251 0 0 25 0 1 0 824528899 360300544 82383 4294967295 134512640 134714540 3221221776 3221220496 134556763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 87964 82383 1111 63 0 87901 0
vsize: 351856
[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 93298 0 0 0 26740 261 0 0 25 0 1 0 824528899 372064256 85367 4294967295 134512640 134714540 3221221776 3221220480 134556775 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90836 85367 1111 63 0 90773 0
vsize: 363344
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 96164 0 0 0 27730 271 0 0 25 0 1 0 824528899 383148032 88233 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93542 88233 1111 63 0 93479 0
vsize: 374168
[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 99122 0 0 0 28721 280 0 0 25 0 1 0 824528899 394772480 91191 4294967295 134512640 134714540 3221221776 3221220540 134556376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96380 91192 1111 63 0 96317 0
vsize: 385520
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 102111 0 0 0 29711 290 0 0 25 0 1 0 824528899 406396928 94180 4294967295 134512640 134714540 3221221776 3221220496 134556763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99218 94180 1111 63 0 99155 0
vsize: 396872
[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 105116 0 0 0 30702 299 0 0 25 0 1 0 824528899 418062336 96941 4294967295 134512640 134714540 3221221776 3221220496 134556894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102066 96941 1111 63 0 102003 0
vsize: 408264
[startup+320.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 108057 0 0 0 31693 308 0 0 25 0 1 0 824528899 429551616 99882 4294967295 134512640 134714540 3221221776 3221220540 134543540 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104871 99882 1111 63 0 104808 0
vsize: 419484
[startup+330.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 112580 0 0 0 32679 322 0 0 25 0 1 0 824528899 444211200 103631 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 108450 103631 1111 63 0 108387 0
vsize: 433800
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 115460 0 0 0 33671 330 0 0 25 0 1 0 824528899 455569408 106511 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 111223 106511 1111 63 0 111160 0
vsize: 444892
[startup+350.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 118390 0 0 0 34664 339 0 0 25 0 1 0 824528899 466923520 109441 4294967295 134512640 134714540 3221221776 3221220580 134610916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 113995 109441 1111 63 0 113932 0
vsize: 455980
[startup+360.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 121342 0 0 0 35655 348 0 0 25 0 1 0 824528899 478412800 112393 4294967295 134512640 134714540 3221221776 3221220512 134556545 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116800 112393 1111 63 0 116737 0
vsize: 467200
[startup+370.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 123668 0 0 0 36648 355 0 0 25 0 1 0 824528899 487604224 114719 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 119044 114719 1111 63 0 118981 0
vsize: 476176
[startup+380.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 126667 0 0 0 37641 362 0 0 25 0 1 0 824528899 499228672 117718 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 121882 117718 1111 63 0 121819 0
vsize: 487528
[startup+390.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 129612 0 0 0 38633 370 0 0 25 0 1 0 824528899 510717952 120663 4294967295 134512640 134714540 3221221776 3221220612 134623280 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 124687 120663 1111 63 0 124624 0
vsize: 498748
[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 132489 0 0 0 39623 380 0 0 25 0 1 0 824528899 521940992 123540 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127427 123540 1111 63 0 127364 0
vsize: 509708
[startup+410.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 146756 0 0 0 40595 408 0 0 25 0 1 0 824528899 571154432 128630 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 139442 128630 1111 63 0 139379 0
vsize: 557768
[startup+420.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 150481 0 0 0 41586 417 0 0 25 0 1 0 824528899 585265152 131711 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 142887 131711 1111 63 0 142824 0
vsize: 571548
[startup+430.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 153538 0 0 0 42577 427 0 0 25 0 1 0 824528899 596848640 134446 4294967295 134512640 134714540 3221221776 3221220496 134556642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 145715 134446 1111 63 0 145652 0
vsize: 582860
[startup+440.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 156535 0 0 0 43568 435 0 0 25 0 1 0 824528899 608608256 137443 4294967295 134512640 134714540 3221221776 3221220516 134556384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 148586 137443 1111 63 0 148523 0
vsize: 594344
[startup+450.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 159868 0 0 0 44559 445 0 0 25 0 1 0 824528899 621273088 140454 4294967295 134512640 134714540 3221221776 3221220512 134556630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 151678 140454 1111 63 0 151615 0
vsize: 606712
[startup+460.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 162655 0 0 0 45552 452 0 0 25 0 1 0 824528899 632221696 143241 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 154351 143241 1111 63 0 154288 0
vsize: 617404
[startup+470.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 165656 0 0 0 46542 462 0 0 25 0 1 0 824528899 643981312 146242 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 157222 146242 1111 63 0 157159 0
vsize: 628888
[startup+480.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 168540 0 0 0 47535 469 0 0 25 0 1 0 824528899 655204352 149126 4294967295 134512640 134714540 3221221776 3221220720 134576138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 159962 149126 1111 63 0 159899 0
vsize: 639848
[startup+490.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 170871 0 0 0 48529 476 0 0 25 0 1 0 824528899 664395776 151457 4294967295 134512640 134714540 3221221776 3221220496 134556927 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 162206 151457 1111 63 0 162143 0
vsize: 648824
[startup+500.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 172129 0 0 0 49525 479 0 0 25 0 1 0 824528899 668815360 152393 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 163285 152393 1111 63 0 163222 0
vsize: 653140
[startup+510.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 174959 0 0 0 50516 489 0 0 25 0 1 0 824528899 679899136 155223 4294967295 134512640 134714540 3221221776 3221220512 134556388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 165991 155223 1111 63 0 165928 0
vsize: 663964
[startup+520.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 177787 0 0 0 51508 497 0 0 25 0 1 0 824528899 690982912 158051 4294967295 134512640 134714540 3221221776 3221220448 134553189 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 168697 158051 1111 63 0 168634 0
vsize: 674788
[startup+530.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 180509 0 0 0 52500 505 0 0 25 0 1 0 824528899 701526016 160773 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 171271 160773 1111 63 0 171208 0
vsize: 685084
[startup+540.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 183371 0 0 0 53490 515 0 0 25 0 1 0 824528899 712744960 163635 4294967295 134512640 134714540 3221221776 3221220520 134536883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 174010 163635 1111 63 0 173947 0
vsize: 696040
[startup+550.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 186180 0 0 0 54482 523 0 0 25 0 1 0 824528899 723693568 166444 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 176683 166444 1111 63 0 176620 0
vsize: 706732
[startup+560.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 188981 0 0 0 55474 532 0 0 25 0 1 0 824528899 734642176 169245 4294967295 134512640 134714540 3221221776 3221220672 134621530 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 179356 169245 1111 63 0 179293 0
vsize: 717424
[startup+570.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 191586 0 0 0 56467 539 0 0 25 0 1 0 824528899 744779776 171850 4294967295 134512640 134714540 3221221776 3221220456 134553175 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 181831 171850 1111 63 0 181768 0
vsize: 727324
[startup+580.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 194407 0 0 0 57459 547 0 0 25 0 1 0 824528899 755728384 174671 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 184504 174671 1111 63 0 184441 0
vsize: 738016
[startup+590.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 197231 0 0 0 58451 555 0 0 25 0 1 0 824528899 766812160 177495 4294967295 134512640 134714540 3221221776 3221220480 134556924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 187210 177495 1111 63 0 187147 0
vsize: 748840
[startup+600.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 199966 0 0 0 59444 562 0 0 25 0 1 0 824528899 777490432 180230 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 189817 180230 1111 63 0 189754 0
vsize: 759268
[startup+610.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 202752 0 0 0 60435 572 0 0 25 0 1 0 824528899 788303872 183016 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 192457 183016 1111 63 0 192394 0
vsize: 769828
[startup+620.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 205599 0 0 0 61427 580 0 0 25 0 1 0 824528899 799522816 185863 4294967295 134512640 134714540 3221221776 3221220496 134556763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 195196 185863 1111 63 0 195133 0
vsize: 780784
[startup+630.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 208440 0 0 0 62418 589 0 0 25 0 1 0 824528899 810139648 188220 4294967295 134512640 134714540 3221221776 3221220480 134556510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 197788 188220 1111 63 0 197725 0
vsize: 791152
[startup+640.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 211292 0 0 0 63410 598 0 0 25 0 1 0 824528899 821358592 191072 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 200527 191072 1111 63 0 200464 0
vsize: 802108
[startup+650.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 214096 0 0 0 64403 605 0 0 25 0 1 0 824528899 832311296 193876 4294967295 134512640 134714540 3221221776 3221220528 134625036 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 203201 193876 1111 63 0 203138 0
vsize: 812804
[startup+660.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 216819 0 0 0 65396 611 0 0 25 0 1 0 824528899 842854400 196599 4294967295 134512640 134714540 3221221776 3221220472 134558629 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 205775 196599 1111 63 0 205712 0
vsize: 823100
[startup+670.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 219681 0 0 0 66389 619 0 0 25 0 1 0 824528899 854073344 199461 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 208514 199461 1111 63 0 208451 0
vsize: 834056
[startup+680.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 225549 0 0 0 67371 637 0 0 25 0 1 0 824528899 871227392 203781 4294967295 134512640 134714540 3221221776 3221220500 134556636 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 212702 203782 1111 63 0 212639 0
vsize: 850808
[startup+690.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 228330 0 0 0 68363 645 0 0 25 0 1 0 824528899 882176000 206562 4294967295 134512640 134714540 3221221776 3221220496 134556650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 215375 206562 1111 63 0 215312 0
vsize: 861500
[startup+700.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 230917 0 0 0 69357 651 0 0 25 0 1 0 824528899 892182528 209149 4294967295 134512640 134714540 3221221776 3221220520 134536877 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 217818 209149 1111 63 0 217755 0
vsize: 871272
[startup+710.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 233742 0 0 0 70350 659 0 0 25 0 1 0 824528899 903266304 211974 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 220524 211974 1111 63 0 220461 0
vsize: 882096
[startup+720.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 236591 0 0 0 71341 667 0 0 25 0 1 0 824528899 914350080 214823 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 223230 214823 1111 63 0 223167 0
vsize: 892920
[startup+730.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 239282 0 0 0 72333 675 0 0 25 0 1 0 824528899 924893184 217514 4294967295 134512640 134714540 3221221776 3221220624 134623456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 225804 217514 1111 63 0 225741 0
vsize: 903216
[startup+740.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 242046 0 0 0 73326 683 0 0 25 0 1 0 824528899 935706624 220278 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 228444 220278 1111 63 0 228381 0
vsize: 913776
[startup+747.878 s]
Raw data (loadavg): 0.99 0.98 0.93 1/54 14504
Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 242046 0 0 0 73326 683 0 0 25 0 1 0 824528899 935706624 220278 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 228444 220278 1111 63 0 228381 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 747.878
CPU time (s): 747.956
CPU user time (s): 740.627
CPU system time (s): 7.32888
CPU usage (%): 100.01
Max. virtual memory (Kb): 913776
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####