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-dano3mip.opb
MD5SUM	b6a39917c8daf46435ad718b26e9c6f0
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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	65536000
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	555744750
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	266924
Total number of constraints	3778
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	600
Number of constraints which are nor clauses,nor cardinality constraints	3178
Minimum length of a constraint	1
Maximum length of a constraint	10600

Trace number 27314

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-24 21:01:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17488 boxname=wulflinc1 idbench=1346 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  b6a39917c8daf46435ad718b26e9c6f0  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-dano3mip.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-dano3mip.opb
IDLAUNCH: 17488
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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:        523704 kB
Buffers:         39036 kB
Cached:         443832 kB
SwapCached:          0 kB
Active:         110516 kB
Inactive:       375456 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        523452 kB
SwapTotal:     2097136 kB
SwapFree:      2096968 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7144 kB
Slab:            19196 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 21:11:38 (client local time) WITH STATUS 0 IN 583.675 SECONDS
stats: 17488 7 583.675 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
free(): invalid pointer 0x86018e8!
free(): invalid pointer 0x8b41980!
#### 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.94 0.97 0.91 2/55 12324
Raw data (stat): 12324 (runsolver) R 12323 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 718242739 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 12324
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 44200 0 0 0 904 95 0 0 25 0 1 0 718242739 193867776 43950 4294967295 134512640 134714540 3221224592 3221222612 1077414273 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47331 43950 1111 63 0 47268 0
vsize: 189324
[startup+20.0019 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 12324
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 61215 0 0 0 1869 130 0 0 25 0 1 0 718242739 263565312 60839 4294967295 134512640 134714540 3221224592 3221223088 134539134 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64347 60839 1111 63 0 64284 0
vsize: 257388
[startup+30.0022 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 12324
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 77022 0 0 0 2835 164 0 0 25 0 1 0 718242739 328052736 76646 4294967295 134512640 134714540 3221224592 3221222876 1077399588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80091 76646 1111 63 0 80028 0
vsize: 320364
[startup+40.003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 12324
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 92032 0 0 0 3805 194 0 0 25 0 1 0 718242739 387395584 91200 4294967295 134512640 134714540 3221224592 3221221036 1077359299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94579 91200 1111 63 0 94516 0
vsize: 378316
[startup+50.0026 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 12324
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 103208 0 0 0 4781 218 0 0 25 0 1 0 718242739 433012736 101998 4294967295 134512640 134714540 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105716 101998 1111 63 0 105653 0
vsize: 422864
[startup+60.0024 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 12324
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 116083 0 0 0 5755 245 0 0 25 0 1 0 718242739 485621760 114873 4294967295 134512640 134714540 3221224592 3221223064 1077378337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 118560 114873 1111 63 0 118497 0
vsize: 474240
[startup+70.0023 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 12324
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 126434 0 0 0 6737 263 0 0 25 0 1 0 718242739 527736832 125224 4294967295 134512640 134714540 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128842 125224 1111 63 0 128779 0
vsize: 515368
[startup+80.0035 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 12324
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 136196 0 0 0 7718 282 0 0 25 0 1 0 718242739 567681024 134986 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138594 134986 1111 63 0 138531 0
vsize: 554376
[startup+90.0029 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 12324
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 146337 0 0 0 8696 302 0 0 25 0 1 0 718242739 609042432 145127 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 148692 145127 1111 63 0 148629 0
vsize: 594768
[startup+100.003 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 12324
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 155848 0 0 0 9675 319 0 0 25 0 1 0 718242739 647733248 154638 4294967295 134512640 134714540 3221224592 3221222876 1077399560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 158138 154638 1111 63 0 158075 0
vsize: 632552
[startup+110.003 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 12324
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 164495 0 0 0 10658 335 0 0 25 0 1 0 718242739 683036672 163285 4294967295 134512640 134714540 3221224592 3221222876 1077399580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 166757 163285 1111 63 0 166694 0
vsize: 667028
[startup+120.003 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 12324
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 172355 0 0 0 11641 352 0 0 25 0 1 0 718242739 715087872 171145 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 174582 171145 1111 63 0 174519 0
vsize: 698328
[startup+130.003 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 12324
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 180582 0 0 0 12623 371 0 0 25 0 1 0 718242739 744976384 178460 4294967295 134512640 134714540 3221224592 3221223128 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 181879 178460 1111 63 0 181816 0
vsize: 727516
[startup+140.003 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 12324
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 186027 0 0 0 13612 382 0 0 25 0 1 0 718242739 767197184 183905 4294967295 134512640 134714540 3221224592 3221221068 1077195928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 187304 183905 1111 63 0 187241 0
vsize: 749216
[startup+150.003 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 12324
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 191481 0 0 0 14602 391 0 0 25 0 1 0 718242739 789544960 189359 4294967295 134512640 134714540 3221224592 3221222868 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 192760 189359 1111 63 0 192697 0
vsize: 771040
[startup+160.002 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 12324
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 196754 0 0 0 15593 400 0 0 25 0 1 0 718242739 811102208 194632 4294967295 134512640 134714540 3221224592 3221222252 1077244179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198023 194632 1111 63 0 197960 0
vsize: 792092
[startup+170.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12324
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 202126 0 0 0 16581 412 0 0 25 0 1 0 718242739 832925696 199251 4294967295 134512640 134714540 3221224592 3221222876 1077399570 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 203351 199251 1111 63 0 203288 0
vsize: 813404
[startup+180.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12324
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 207487 0 0 0 17570 423 0 0 25 0 1 0 718242739 854896640 204612 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 208715 204612 1111 63 0 208652 0
vsize: 834860
[startup+190.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12324
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 211078 0 1 0 18561 431 0 0 25 0 1 0 718242739 869564416 208176 4294967295 134512640 134714540 3221224592 3221222596 1077358908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 212296 208176 1111 63 0 212233 0
vsize: 849184
[startup+200.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12324
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 212091 0 3 0 19557 433 0 0 25 0 1 0 718242739 873619456 209153 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 213286 209153 1111 63 0 213223 0
vsize: 853144
[startup+210.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12324
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 213167 0 4 0 20551 436 0 0 25 0 1 0 718242739 878080000 210167 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214375 210167 1111 63 0 214312 0
vsize: 857500
[startup+220.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12324
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 213969 0 8 0 21546 439 0 0 25 0 1 0 718242739 881324032 210916 4294967295 134512640 134714540 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 215167 210916 1111 63 0 215104 0
vsize: 860668
[startup+230.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 214953 0 8 0 22542 442 0 0 25 0 1 0 718242739 885379072 211809 4294967295 134512640 134714540 3221224592 3221222864 134566622 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 216157 211809 1111 63 0 216094 0
vsize: 864628
[startup+240.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 216201 0 8 0 23540 445 0 0 25 0 1 0 718242739 890515456 213008 4294967295 134512640 134714540 3221224592 3221223080 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 217411 213008 1111 63 0 217348 0
vsize: 869644
[startup+250.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 217701 0 8 0 24536 448 0 0 25 0 1 0 718242739 896598016 214382 4294967295 134512640 134714540 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 218896 214382 1111 63 0 218833 0
vsize: 875584
[startup+260.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 219493 0 8 0 25531 454 0 0 25 0 1 0 718242739 903897088 215903 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 220678 215903 1111 63 0 220615 0
vsize: 882712
[startup+270.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 220604 0 10 0 26526 456 0 0 25 0 1 0 718242739 908357632 216918 4294967295 134512640 134714540 3221224592 3221222868 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 221767 216918 1111 63 0 221704 0
vsize: 887068
[startup+280.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 221187 0 10 0 27525 457 0 0 25 0 1 0 718242739 910864384 217486 4294967295 134512640 134714540 3221224592 3221222868 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 222379 217486 1111 63 0 222316 0
vsize: 889516
[startup+290.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 221450 0 10 0 28524 458 0 0 25 0 1 0 718242739 911925248 217700 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 222638 217700 1111 63 0 222575 0
vsize: 890552
[startup+300.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 221565 0 10 0 29524 458 0 0 25 0 1 0 718242739 912515072 217809 4294967295 134512640 134714540 3221224592 3221223088 134539120 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 222782 217809 1111 63 0 222719 0
vsize: 891128
[startup+310.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 221876 0 10 0 30524 459 0 0 25 0 1 0 718242739 913920000 218106 4294967295 134512640 134714540 3221224592 3221222868 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 223125 218106 1111 63 0 223062 0
vsize: 892500
[startup+320.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 222221 0 10 0 31523 460 0 0 25 0 1 0 718242739 915419136 218341 4294967295 134512640 134714540 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 223491 218341 1111 63 0 223428 0
vsize: 893964
[startup+330.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 222374 0 10 0 32523 460 0 0 25 0 1 0 718242739 916205568 218486 4294967295 134512640 134714540 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 223683 218486 1111 63 0 223620 0
vsize: 894732
[startup+340.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 222551 0 10 0 33522 461 0 0 25 0 1 0 718242739 916942848 218605 4294967295 134512640 134714540 3221224592 3221222868 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 223863 218605 1111 63 0 223800 0
vsize: 895452
[startup+350.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 222904 0 10 0 34522 461 0 0 25 0 1 0 718242739 918466560 218945 4294967295 134512640 134714540 3221224592 3221222868 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224235 218945 1111 63 0 224172 0
vsize: 896940
[startup+360.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 223091 0 10 0 35521 462 0 0 25 0 1 0 718242739 919244800 219081 4294967295 134512640 134714540 3221224592 3221223088 134539120 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224425 219081 1111 63 0 224362 0
vsize: 897700
[startup+370.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 223261 0 10 0 36521 462 0 0 25 0 1 0 718242739 920031232 219243 4294967295 134512640 134714540 3221224592 3221222868 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224617 219243 1111 63 0 224554 0
vsize: 898468
[startup+380.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 223597 0 10 0 37520 463 0 0 25 0 1 0 718242739 921575424 219564 4294967295 134512640 134714540 3221224592 3221222868 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224994 219564 1111 63 0 224931 0
vsize: 899976
[startup+390.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 223862 0 10 0 38520 464 0 0 25 0 1 0 718242739 922742784 219800 4294967295 134512640 134714540 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 225279 219800 1111 63 0 225216 0
vsize: 901116
[startup+400.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 223941 0 10 0 39519 465 0 0 25 0 1 0 718242739 923111424 219828 4294967295 134512640 134714540 3221224592 3221222616 1077358896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 225369 219828 1111 63 0 225306 0
vsize: 901476
[startup+410.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 224282 0 10 0 40518 466 0 0 25 0 1 0 718242739 924684288 220135 4294967295 134512640 134714540 3221224592 3221222868 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 225753 220135 1111 63 0 225690 0
vsize: 903012
[startup+420.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 224617 0 10 0 41516 467 0 0 25 0 1 0 718242739 926228480 220379 4294967295 134512640 134714540 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 226130 220379 1111 63 0 226067 0
vsize: 904520
[startup+430.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 224726 0 18 0 42510 467 0 0 25 0 1 0 718242739 926650368 220485 4294967295 134512640 134714540 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226233 220485 1111 63 0 226170 0
vsize: 904932
[startup+440.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 225018 0 18 0 43509 468 0 0 25 0 1 0 718242739 927850496 220764 4294967295 134512640 134714540 3221224592 3221222868 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226526 220764 1111 63 0 226463 0
vsize: 906104
[startup+450.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 225293 0 18 0 44508 469 0 0 25 0 1 0 718242739 929046528 220979 4294967295 134512640 134714540 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226818 220979 1111 63 0 226755 0
vsize: 907272
[startup+460.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 225392 0 18 0 45508 469 0 0 25 0 1 0 718242739 929505280 221073 4294967295 134512640 134714540 3221224592 3221222864 134566629 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226930 221073 1111 63 0 226867 0
vsize: 907720
[startup+470.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 225694 0 18 0 46507 470 0 0 25 0 1 0 718242739 930910208 221359 4294967295 134512640 134714540 3221224592 3221222868 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227273 221359 1111 63 0 227210 0
vsize: 909092
[startup+480.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 225961 0 18 0 47507 471 0 0 25 0 1 0 718242739 932085760 221539 4294967295 134512640 134714540 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 227560 221539 1111 63 0 227497 0
vsize: 910240
[startup+490.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 226030 0 18 0 48507 471 0 0 25 0 1 0 718242739 932413440 221603 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 227640 221603 1111 63 0 227577 0
vsize: 910560
[startup+500.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 226371 0 18 0 49506 472 0 0 25 0 1 0 718242739 933933056 221928 4294967295 134512640 134714540 3221224592 3221222868 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228011 221928 1111 63 0 227948 0
vsize: 912044
[startup+510.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 226556 0 18 0 50506 472 0 0 25 0 1 0 718242739 934699008 222106 4294967295 134512640 134714540 3221224592 3221222884 134566778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228198 222106 1111 63 0 228135 0
vsize: 912792
[startup+520.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 226727 0 18 0 51505 473 0 0 25 0 1 0 718242739 935489536 222269 4294967295 134512640 134714540 3221224592 3221222868 1077414397 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228391 222269 1111 63 0 228328 0
vsize: 913564
[startup+530.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 227120 0 18 0 52504 474 0 0 25 0 1 0 718242739 937140224 222595 4294967295 134512640 134714540 3221224592 3221222868 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228794 222595 1111 63 0 228731 0
vsize: 915176
[startup+540.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 227381 0 18 0 53502 475 0 0 25 0 1 0 718242739 938434560 222800 4294967295 134512640 134714540 3221224592 3221223088 134539120 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229110 222800 1111 63 0 229047 0
vsize: 916440
[startup+550.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 227491 0 18 0 54502 476 0 0 25 0 1 0 718242739 938913792 222904 4294967295 134512640 134714540 3221224592 3221222868 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229227 222904 1111 63 0 229164 0
vsize: 916908
[startup+560.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 227896 0 18 0 55501 477 0 0 25 0 1 0 718242739 940695552 223243 4294967295 134512640 134714540 3221224592 3221222868 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229662 223243 1111 63 0 229599 0
vsize: 918648
[startup+570.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 228284 0 18 0 56500 478 0 0 25 0 1 0 718242739 942383104 223571 4294967295 134512640 134714540 3221224592 3221223256 134568955 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 230074 223571 1111 63 0 230011 0
vsize: 920296
[startup+580.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 228408 0 18 0 57500 478 0 0 25 0 1 0 718242739 942829568 223692 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 230183 223692 1111 63 0 230120 0
vsize: 920732
[startup+583.891 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 12326
Raw data (stat): 12324 (bsolo_mis) R 12323 8378 8377 0 -1 0 228408 0 18 0 57500 478 0 0 25 0 1 0 718242739 942829568 223692 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 230183 223692 1111 63 0 230120 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 583.89
CPU time (s): 583.675
CPU user time (s): 578.456
CPU system time (s): 5.21921
CPU usage (%): 99.9632
Max. virtual memory (Kb): 920732
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####