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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_4.opb
MD5SUM	53ae35dd3424f79abe62dc18aab624bf
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	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	131072000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	576307709
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	35.0387
Number of variables	270144
Total number of constraints	3778
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	96
Number of constraints which are nor clauses,nor cardinality constraints	3682
Minimum length of a constraint	1
Maximum length of a constraint	10600

Trace number 26838

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-05-24 17:16:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19451 boxname=wulflinc3 idbench=1497 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  53ae35dd3424f79abe62dc18aab624bf  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-dano3_4.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-dano3_4.opb
IDLAUNCH: 19451
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        794048 kB
Buffers:         34624 kB
Cached:         183004 kB
SwapCached:        108 kB
Active:          77616 kB
Inactive:       142992 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        793768 kB
SwapTotal:     2097136 kB
SwapFree:      2096992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6904 kB
Slab:            14300 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 17:25:22 (client local time) WITH STATUS 0 IN 513.912 SECONDS
stats: 19451 7 513.912 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### 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.82 0.84 0.90 2/54 23411
Raw data (stat): 23411 (runsolver) R 23410 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773740803 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.84 0.85 0.90 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 32972 0 0 0 927 71 0 0 25 0 1 0 773740803 149016576 32950 4294967295 134512640 134714540 3221224592 3221223152 134565034 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36381 32950 1111 63 0 36318 0
vsize: 145524
[startup+20.001 s]
Raw data (loadavg): 0.87 0.85 0.90 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 54162 0 0 0 1884 114 0 0 25 0 1 0 773740803 235134976 53850 4294967295 134512640 134714540 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57406 53850 1111 63 0 57343 0
vsize: 229624
[startup+30.0005 s]
Raw data (loadavg): 0.89 0.86 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 71092 0 0 0 2852 146 0 0 25 0 1 0 773740803 302788608 70448 4294967295 134512640 134714540 3221224592 3221222508 1077270188 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73923 70448 1111 63 0 73860 0
vsize: 295692
[startup+40.0019 s]
Raw data (loadavg): 0.90 0.86 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 86832 0 0 0 3826 173 0 0 25 0 1 0 773740803 367034368 86188 4294967295 134512640 134714540 3221224592 3221222252 1077271619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89608 86188 1111 63 0 89545 0
vsize: 358432
[startup+50.0025 s]
Raw data (loadavg): 0.92 0.86 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 102166 0 0 0 4798 200 0 0 25 0 1 0 773740803 429621248 101144 4294967295 134512640 134714540 3221224592 3221222896 134566742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104888 101144 1111 63 0 104825 0
vsize: 419552
[startup+60.002 s]
Raw data (loadavg): 0.93 0.87 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 115739 0 0 0 5776 222 0 0 25 0 1 0 773740803 484913152 114717 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118387 114717 1111 63 0 118324 0
vsize: 473548
[startup+70.0021 s]
Raw data (loadavg): 0.94 0.87 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 127350 0 0 0 6754 244 0 0 25 0 1 0 773740803 532324352 126328 4294967295 134512640 134714540 3221224592 3221222868 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129962 126328 1111 63 0 129899 0
vsize: 519848
[startup+80.003 s]
Raw data (loadavg): 0.95 0.88 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 141836 0 0 0 7727 272 0 0 25 0 1 0 773740803 588828672 140154 4294967295 134512640 134714540 3221224592 3221222812 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 143757 140154 1111 63 0 143694 0
vsize: 575028
[startup+90.0036 s]
Raw data (loadavg): 0.96 0.88 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 152343 0 0 0 8708 290 0 0 25 0 1 0 773740803 631615488 150661 4294967295 134512640 134714540 3221224592 3221222508 1077246279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 154203 150661 1111 63 0 154140 0
vsize: 616812
[startup+100.011 s]
Raw data (loadavg): 0.96 0.88 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 164413 0 0 0 9686 313 0 0 25 0 1 0 773740803 680919040 162731 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 166240 162731 1111 63 0 166177 0
vsize: 664960
[startup+110.017 s]
Raw data (loadavg): 0.97 0.89 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 175028 0 0 0 10666 333 0 0 25 0 1 0 773740803 724152320 173346 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 176795 173346 1111 63 0 176732 0
vsize: 707180
[startup+120.017 s]
Raw data (loadavg): 0.97 0.89 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 186200 0 0 0 11649 351 0 0 25 0 1 0 773740803 769781760 184518 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 187935 184518 1111 63 0 187872 0
vsize: 751740
[startup+130.017 s]
Raw data (loadavg): 0.98 0.89 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 197074 0 0 0 12627 373 0 0 25 0 1 0 773740803 814161920 195392 4294967295 134512640 134714540 3221224592 3221223152 134535032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 198770 195392 1111 63 0 198707 0
vsize: 795080
[startup+140.019 s]
Raw data (loadavg): 0.98 0.90 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 209749 0 8 0 13592 405 0 0 25 0 1 0 773740803 865832960 206658 4294967295 134512640 134714540 3221224592 3221222884 134566778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 211385 206658 1111 63 0 211322 0
vsize: 845540
[startup+150.02 s]
Raw data (loadavg): 0.98 0.90 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 211319 0 11 0 14587 408 0 0 25 0 1 0 773740803 872185856 208110 4294967295 134512640 134714540 3221224592 3221222840 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 212936 208110 1111 63 0 212873 0
vsize: 851744
[startup+160.124 s]
Raw data (loadavg): 0.98 0.90 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 212864 0 13 0 15592 412 0 0 25 0 1 0 773740803 878403584 209410 4294967295 134512640 134714540 3221224592 3221222876 1077399564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214454 209410 1111 63 0 214391 0
vsize: 857816
[startup+170.132 s]
Raw data (loadavg): 0.99 0.90 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 214486 0 16 0 16586 418 0 0 25 0 1 0 773740803 885026816 210855 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 216071 210855 1111 63 0 216008 0
vsize: 864284
[startup+180.137 s]
Raw data (loadavg): 0.99 0.91 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 216272 0 52 0 17566 423 0 0 25 0 1 0 773740803 891920384 212270 4294967295 134512640 134714540 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 217754 212270 1111 63 0 217691 0
vsize: 871016
[startup+190.138 s]
Raw data (loadavg): 0.99 0.91 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 218262 0 115 0 18516 432 0 0 24 0 1 0 773740803 899624960 213850 4294967295 134512640 134714540 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 219635 213850 1111 63 0 219572 0
vsize: 878540
[startup+200.139 s]
Raw data (loadavg): 0.99 0.91 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 220484 0 178 0 19453 439 0 0 25 0 1 0 773740803 907870208 215623 4294967295 134512640 134714540 3221224592 3221222868 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 221648 215623 1111 63 0 221585 0
vsize: 886592
[startup+210.14 s]
Raw data (loadavg): 0.99 0.91 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 221176 0 179 0 20450 441 0 0 25 0 1 0 773740803 910831616 216006 4294967295 134512640 134714540 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 222371 216006 1111 63 0 222308 0
vsize: 889484
[startup+220.141 s]
Raw data (loadavg): 0.99 0.92 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 221368 0 179 0 21449 442 0 0 25 0 1 0 773740803 911585280 216190 4294967295 134512640 134714540 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 222555 216190 1111 63 0 222492 0
vsize: 890220
[startup+230.141 s]
Raw data (loadavg): 0.99 0.92 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 221591 0 179 0 22449 442 0 0 25 0 1 0 773740803 912719872 216403 4294967295 134512640 134714540 3221224592 3221223088 134539126 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 222832 216403 1111 63 0 222769 0
vsize: 891328
[startup+240.141 s]
Raw data (loadavg): 0.99 0.92 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 221829 0 179 0 23449 443 0 0 25 0 1 0 773740803 913776640 216573 4294967295 134512640 134714540 3221224592 3221222868 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 223090 216573 1111 63 0 223027 0
vsize: 892360
[startup+250.142 s]
Raw data (loadavg): 0.99 0.92 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 222160 0 179 0 24448 444 0 0 25 0 1 0 773740803 915247104 216863 4294967295 134512640 134714540 3221224592 3221222868 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 223449 216863 1111 63 0 223386 0
vsize: 893796
[startup+260.142 s]
Raw data (loadavg): 0.99 0.92 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 222485 0 179 0 25447 445 0 0 25 0 1 0 773740803 916721664 216984 4294967295 134512640 134714540 3221224592 3221222868 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 223809 216984 1111 63 0 223746 0
vsize: 895236
[startup+270.143 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 222745 0 179 0 26447 445 0 0 25 0 1 0 773740803 917884928 217235 4294967295 134512640 134714540 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 224093 217235 1111 63 0 224030 0
vsize: 896372
[startup+280.144 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 222908 0 179 0 27446 446 0 0 25 0 1 0 773740803 918605824 217390 4294967295 134512640 134714540 3221224592 3221223088 134539144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224269 217390 1111 63 0 224206 0
vsize: 897076
[startup+290.145 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 223143 0 179 0 28446 446 0 0 25 0 1 0 773740803 919666688 217612 4294967295 134512640 134714540 3221224592 3221222868 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 224528 217612 1111 63 0 224465 0
vsize: 898112
[startup+300.144 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 223473 0 179 0 29445 447 0 0 25 0 1 0 773740803 921137152 217761 4294967295 134512640 134714540 3221224592 3221222868 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 224887 217761 1111 63 0 224824 0
vsize: 899548
[startup+310.144 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 223786 0 179 0 30444 448 0 0 25 0 1 0 773740803 922476544 218058 4294967295 134512640 134714540 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 225214 218058 1111 63 0 225151 0
vsize: 900856
[startup+320.145 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 223957 0 179 0 31444 448 0 0 25 0 1 0 773740803 923361280 218221 4294967295 134512640 134714540 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 225430 218221 1111 63 0 225367 0
vsize: 901720
[startup+330.145 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 224125 0 179 0 32444 449 0 0 25 0 1 0 773740803 924082176 218383 4294967295 134512640 134714540 3221224592 3221222868 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 225606 218383 1111 63 0 225543 0
vsize: 902424
[startup+340.146 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 224453 0 179 0 33443 450 0 0 25 0 1 0 773740803 925552640 218696 4294967295 134512640 134714540 3221224592 3221222868 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 225965 218696 1111 63 0 225902 0
vsize: 903860
[startup+350.147 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 224765 0 179 0 34442 450 0 0 25 0 1 0 773740803 926892032 218794 4294967295 134512640 134714540 3221224592 3221222876 1077399556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 226292 218794 1111 63 0 226229 0
vsize: 905168
[startup+360.146 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 224892 0 179 0 35442 451 0 0 25 0 1 0 773740803 927440896 218919 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 226426 218919 1111 63 0 226363 0
vsize: 905704
[startup+370.146 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 225109 0 179 0 36441 451 0 0 25 0 1 0 773740803 928497664 219124 4294967295 134512640 134714540 3221224592 3221222868 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 226684 219124 1111 63 0 226621 0
vsize: 906736
[startup+380.146 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 225435 0 179 0 37440 453 0 0 25 0 1 0 773740803 929972224 219435 4294967295 134512640 134714540 3221224592 3221222868 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227044 219435 1111 63 0 226981 0
vsize: 908176
[startup+390.147 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 225693 0 179 0 38440 453 0 0 25 0 1 0 773740803 931000320 219555 4294967295 134512640 134714540 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227295 219555 1111 63 0 227232 0
vsize: 909180
[startup+400.147 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 225824 0 179 0 39440 453 0 0 25 0 1 0 773740803 931717120 219680 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227470 219680 1111 63 0 227407 0
vsize: 909880
[startup+410.147 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 226089 0 179 0 40439 454 0 0 25 0 1 0 773740803 932917248 219929 4294967295 134512640 134714540 3221224592 3221222868 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227763 219929 1111 63 0 227700 0
vsize: 911052
[startup+420.147 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 226420 0 179 0 41438 455 0 0 25 0 1 0 773740803 934387712 220075 4294967295 134512640 134714540 3221224592 3221222868 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228122 220075 1111 63 0 228059 0
vsize: 912488
[startup+430.147 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 226583 0 179 0 42437 456 0 0 25 0 1 0 773740803 935141376 220230 4294967295 134512640 134714540 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228306 220230 1111 63 0 228243 0
vsize: 913224
[startup+440.148 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 226748 0 179 0 43437 457 0 0 25 0 1 0 773740803 935858176 220388 4294967295 134512640 134714540 3221224592 3221222868 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228481 220388 1111 63 0 228418 0
vsize: 913924
[startup+450.148 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 227073 0 180 0 44434 458 0 0 25 0 1 0 773740803 937332736 220605 4294967295 134512640 134714540 3221224592 3221222868 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228841 220605 1111 63 0 228778 0
vsize: 915364
[startup+460.148 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 227326 0 180 0 45432 460 0 0 25 0 1 0 773740803 938360832 220752 4294967295 134512640 134714540 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229092 220752 1111 63 0 229029 0
vsize: 916368
[startup+470.149 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 227426 0 180 0 46432 460 0 0 25 0 1 0 773740803 938803200 220847 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229200 220847 1111 63 0 229137 0
vsize: 916800
[startup+480.148 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 227738 0 180 0 47431 461 0 0 25 0 1 0 773740803 940281856 221144 4294967295 134512640 134714540 3221224592 3221222868 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229561 221144 1111 63 0 229498 0
vsize: 918244
[startup+490.149 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 228054 0 181 0 48428 463 0 0 25 0 1 0 773740803 941621248 220944 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229888 220944 1111 63 0 229825 0
vsize: 919552
[startup+500.15 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 228184 0 182 0 49425 464 0 0 25 0 1 0 773740803 942170112 221074 4294967295 134512640 134714540 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 230022 221074 1111 63 0 229959 0
vsize: 920088
[startup+510.15 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 228403 0 182 0 50424 464 0 0 25 0 1 0 773740803 943226880 221279 4294967295 134512640 134714540 3221224592 3221222868 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 230280 221279 1111 63 0 230217 0
vsize: 921120
[startup+515.885 s]
Raw data (loadavg): 0.99 0.96 0.91 1/53 23411
Raw data (stat): 23411 (bsolo_mis) R 23410 20224 20223 0 -1 0 228403 0 182 0 50424 464 0 0 25 0 1 0 773740803 943226880 221279 4294967295 134512640 134714540 3221224592 3221222868 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 230280 221279 1111 63 0 230217 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 515.885
CPU time (s): 513.912
CPU user time (s): 508.819
CPU system time (s): 5.09323
CPU usage (%): 99.6175
Max. virtual memory (Kb): 921120
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####