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 40320

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 07:02:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28390 boxname=wulflinc4 idbench=1346 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  b6a39917c8daf46435ad718b26e9c6f0  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-dano3mip.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-dano3mip.opb
IDLAUNCH: 28390
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        756076 kB
Buffers:         22376 kB
Cached:         233928 kB
SwapCached:        872 kB
Active:          48248 kB
Inactive:       210068 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        755824 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4916 kB
Slab:            14560 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 07:12:17 (client local time) WITH STATUS 0 IN 575.003 SECONDS
stats: 28390 7 575.003 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
free(): invalid pointer 0x8614a60!
free(): invalid pointer 0x8b54af8!
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.96 1.00 0.93 2/54 29485
Raw data (stat): 29485 (runsolver) D 29484 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 899671048 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0016 s]
Raw data (loadavg): 0.96 1.00 0.93 2/54 29485
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 44365 0 0 0 895 101 0 0 25 0 1 0 899671048 193953792 44057 4294967295 134512640 134716908 3221224576 3221222852 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47352 44057 1111 63 0 47289 0
vsize: 189408
[startup+20.0033 s]
Raw data (loadavg): 0.97 1.00 0.93 2/54 29485
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 61392 0 0 0 1859 138 0 0 25 0 1 0 899671048 263757824 60958 4294967295 134512640 134716908 3221224576 3221221020 1077298543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64394 60958 1111 63 0 64331 0
vsize: 257576
[startup+30.0076 s]
Raw data (loadavg): 0.97 1.00 0.93 2/54 29485
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 77205 0 0 0 2829 168 0 0 25 0 1 0 899671048 328273920 76771 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80145 76771 1111 63 0 80082 0
vsize: 320580
[startup+40.0104 s]
Raw data (loadavg): 0.98 1.00 0.93 2/54 29485
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 92198 0 0 0 3801 196 0 0 25 0 1 0 899671048 387616768 91308 4294967295 134512640 134716908 3221224576 3221222852 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94633 91308 1111 63 0 94570 0
vsize: 378532
[startup+50.0115 s]
Raw data (loadavg): 0.98 1.00 0.93 2/54 29485
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 103398 0 0 0 4779 218 0 0 25 0 1 0 899671048 433238016 102130 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105771 102130 1111 63 0 105708 0
vsize: 423084
[startup+60.0125 s]
Raw data (loadavg): 0.98 1.00 0.93 2/54 29485
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 116637 0 0 0 5753 243 0 0 25 0 1 0 899671048 487272448 115369 4294967295 134512640 134716908 3221224576 3221222852 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118963 115369 1111 63 0 118900 0
vsize: 475852
[startup+70.0131 s]
Raw data (loadavg): 0.98 1.00 0.93 2/54 29485
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 126780 0 0 0 6734 263 0 0 25 0 1 0 899671048 528609280 125512 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129055 125512 1111 63 0 128992 0
vsize: 516220
[startup+80.0138 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29485
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 136710 0 0 0 7716 281 0 0 25 0 1 0 899671048 569225216 135442 4294967295 134512640 134716908 3221224576 3221222832 1077314177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 138971 135442 1111 63 0 138908 0
vsize: 555884
[startup+90.0148 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29485
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 146951 0 0 0 8698 300 0 0 25 0 1 0 899671048 610983936 145683 4294967295 134512640 134716908 3221224576 3221222852 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 149166 145683 1111 63 0 149103 0
vsize: 596664
[startup+100.015 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29485
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 156323 0 0 0 9679 318 0 0 25 0 1 0 899671048 649240576 155055 4294967295 134512640 134716908 3221224576 3221222880 134566799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 158506 155055 1111 63 0 158443 0
vsize: 634024
[startup+110.015 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29485
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 164868 0 0 0 10664 334 0 0 25 0 1 0 899671048 683991040 163600 4294967295 134512640 134716908 3221224576 3221222236 1077244274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 166990 163600 1111 63 0 166927 0
vsize: 667960
[startup+120.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29485
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 172762 0 0 0 11649 348 0 0 25 0 1 0 899671048 716201984 171494 4294967295 134512640 134716908 3221224576 3221221196 1077253597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 174854 171494 1111 63 0 174791 0
vsize: 699416
[startup+130.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29485
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 181274 0 0 0 12634 364 0 0 25 0 1 0 899671048 747319296 179094 4294967295 134512640 134716908 3221224576 3221222488 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 182451 179094 1111 63 0 182388 0
vsize: 729804
[startup+140.093 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29485
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 186395 0 0 0 13632 373 0 0 25 0 1 0 899671048 768258048 184215 4294967295 134512640 134716908 3221224576 3221222860 134532440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 187563 184218 1111 63 0 187500 0
vsize: 750252
[startup+150.257 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29485
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 192004 0 0 0 14637 385 0 0 25 0 1 0 899671048 791154688 189824 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 193153 189824 1111 63 0 193090 0
vsize: 772612
[startup+160.259 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29485
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 197759 0 0 0 15625 396 0 0 25 0 1 0 899671048 814551040 195579 4294967295 134512640 134716908 3221224576 3221222860 1077399556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 198865 195579 1111 63 0 198802 0
vsize: 795460
[startup+170.26 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29485
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 202890 0 0 0 16611 410 0 0 25 0 1 0 899671048 835534848 199893 4294967295 134512640 134716908 3221224576 3221221108 1077364972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 203988 199893 1111 63 0 203925 0
vsize: 815952
[startup+180.26 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29485
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 208035 0 12 0 17592 422 0 0 25 0 1 0 899671048 856522752 204797 4294967295 134512640 134716908 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 209112 204797 1111 63 0 209049 0
vsize: 836448
[startup+190.261 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 211371 0 22 0 18577 431 0 0 25 0 1 0 899671048 870150144 207844 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 212439 207844 1111 63 0 212376 0
vsize: 849756
[startup+200.261 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 212396 0 22 0 19573 435 0 0 25 0 1 0 899671048 874340352 208773 4294967295 134512640 134716908 3221224576 3221222824 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 213462 208773 1111 63 0 213399 0
vsize: 853848
[startup+210.262 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 213415 0 24 0 20567 438 0 0 25 0 1 0 899671048 878399488 209695 4294967295 134512640 134716908 3221224576 3221221340 1077196500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214453 209695 1111 63 0 214390 0
vsize: 857812
[startup+220.262 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 214203 0 25 0 21564 441 0 0 25 0 1 0 899671048 881643520 210362 4294967295 134512640 134716908 3221224576 3221222852 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 215245 210362 1111 63 0 215182 0
vsize: 860980
[startup+230.262 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 215216 0 33 0 22553 443 0 0 25 0 1 0 899671048 885698560 211245 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 216235 211246 1111 63 0 216172 0
vsize: 864940
[startup+240.263 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 216501 0 35 0 23547 447 0 0 25 0 1 0 899671048 890970112 212298 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 217522 212298 1111 63 0 217459 0
vsize: 870088
[startup+250.262 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 218026 0 41 0 24540 452 0 0 25 0 1 0 899671048 897052672 213692 4294967295 134512640 134716908 3221224576 3221222824 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 219007 213692 1111 63 0 218944 0
vsize: 876028
[startup+260.263 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 219855 0 65 0 25513 459 0 0 25 0 1 0 899671048 904351744 215196 4294967295 134512640 134716908 3221224576 3221223308 134569980 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 220789 215196 1111 63 0 220726 0
vsize: 883156
[startup+270.264 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 220929 0 81 0 26497 462 0 0 25 0 1 0 899671048 908541952 216037 4294967295 134512640 134716908 3221224576 3221222852 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 221812 216037 1111 63 0 221749 0
vsize: 887248
[startup+280.264 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 221484 0 81 0 27495 464 0 0 25 0 1 0 899671048 910950400 216518 4294967295 134512640 134716908 3221224576 3221222860 1077364263 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 222400 216518 1111 63 0 222337 0
vsize: 889600
[startup+290.265 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 221812 0 81 0 28493 465 0 0 25 0 1 0 899671048 912465920 216774 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 222770 216774 1111 63 0 222707 0
vsize: 891080
[startup+300.265 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 221986 0 81 0 29492 466 0 0 25 0 1 0 899671048 913244160 216864 4294967295 134512640 134716908 3221224576 3221223088 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 222960 216864 1111 63 0 222897 0
vsize: 891840
[startup+310.266 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 222173 0 81 0 30492 466 0 0 25 0 1 0 899671048 914006016 217043 4294967295 134512640 134716908 3221224576 3221222852 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 223146 217043 1111 63 0 223083 0
vsize: 892584
[startup+320.266 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 222521 0 81 0 31491 467 0 0 25 0 1 0 899671048 915505152 217345 4294967295 134512640 134716908 3221224576 3221222852 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 223512 217345 1111 63 0 223449 0
vsize: 894048
[startup+330.266 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 222836 0 81 0 32490 469 0 0 25 0 1 0 899671048 916893696 217569 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 223851 217569 1111 63 0 223788 0
vsize: 895404
[startup+340.267 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 223007 0 81 0 33490 469 0 0 25 0 1 0 899671048 917790720 217702 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 224070 217702 1111 63 0 224007 0
vsize: 896280
[startup+350.267 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 223202 0 81 0 34489 470 0 0 25 0 1 0 899671048 918552576 217890 4294967295 134512640 134716908 3221224576 3221222852 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 224256 217890 1111 63 0 224193 0
vsize: 897024
[startup+360.268 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 223557 0 81 0 35488 471 0 0 25 0 1 0 899671048 920117248 218174 4294967295 134512640 134716908 3221224576 3221222852 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 224638 218174 1111 63 0 224575 0
vsize: 898552
[startup+370.269 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 223768 0 81 0 36487 472 0 0 25 0 1 0 899671048 921038848 218314 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 224863 218314 1111 63 0 224800 0
vsize: 899452
[startup+380.269 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 223893 0 81 0 37487 472 0 0 25 0 1 0 899671048 921661440 218432 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 225015 218432 1111 63 0 224952 0
vsize: 900060
[startup+390.269 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 224221 0 81 0 38486 474 0 0 25 0 1 0 899671048 923197440 218617 4294967295 134512640 134716908 3221224576 3221222852 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 225390 218617 1111 63 0 225327 0
vsize: 901560
[startup+400.269 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 224564 0 81 0 39484 475 0 0 25 0 1 0 899671048 924635136 218880 4294967295 134512640 134716908 3221224576 3221223072 134539134 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 225741 218880 1111 63 0 225678 0
vsize: 902964
[startup+410.27 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 224683 0 81 0 40484 476 0 0 25 0 1 0 899671048 925196288 218997 4294967295 134512640 134716908 3221224576 3221223072 134539144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 225878 218997 1111 63 0 225815 0
vsize: 903512
[startup+420.27 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 224930 0 81 0 41483 476 0 0 25 0 1 0 899671048 926314496 219105 4294967295 134512640 134716908 3221224576 3221222852 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226151 219105 1111 63 0 226088 0
vsize: 904604
[startup+430.271 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 225298 0 81 0 42482 478 0 0 25 0 1 0 899671048 927936512 219431 4294967295 134512640 134716908 3221224576 3221221196 1077253597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 226547 219431 1111 63 0 226484 0
vsize: 906188
[startup+440.272 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 225459 0 81 0 43481 478 0 0 25 0 1 0 899671048 928718848 219585 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 226738 219585 1111 63 0 226675 0
vsize: 906952
[startup+450.272 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 225647 0 81 0 44480 479 0 0 25 0 1 0 899671048 929456128 219634 4294967295 134512640 134716908 3221224576 3221222852 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 226918 219634 1111 63 0 226855 0
vsize: 907672
[startup+460.272 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 225976 0 81 0 45480 480 0 0 25 0 1 0 899671048 930996224 219948 4294967295 134512640 134716908 3221224576 3221223072 134539120 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227294 219948 1111 63 0 227231 0
vsize: 909176
[startup+470.273 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 226132 0 81 0 46480 480 0 0 25 0 1 0 899671048 931749888 220096 4294967295 134512640 134716908 3221224576 3221223248 134568949 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227478 220096 1111 63 0 227415 0
vsize: 909912
[startup+480.273 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 226313 0 81 0 47479 481 0 0 25 0 1 0 899671048 932499456 220270 4294967295 134512640 134716908 3221224576 3221222852 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227661 220270 1111 63 0 227598 0
vsize: 910644
[startup+490.274 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 226642 0 81 0 48478 482 0 0 25 0 1 0 899671048 933888000 220310 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228000 220310 1111 63 0 227937 0
vsize: 912000
[startup+500.275 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 226760 0 81 0 49478 482 0 0 25 0 1 0 899671048 934453248 220427 4294967295 134512640 134716908 3221224576 3221223072 134539144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228138 220427 1111 63 0 228075 0
vsize: 912552
[startup+510.276 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 227002 0 81 0 50477 483 0 0 25 0 1 0 899671048 935575552 220658 4294967295 134512640 134716908 3221224576 3221222852 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228412 220658 1111 63 0 228349 0
vsize: 913648
[startup+520.277 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 227360 0 81 0 51476 484 0 0 25 0 1 0 899671048 937095168 221000 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228783 221000 1111 63 0 228720 0
vsize: 915132
[startup+530.277 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 227552 0 81 0 52476 484 0 0 25 0 1 0 899671048 937959424 221183 4294967295 134512640 134716908 3221224576 3221223072 134539144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228994 221183 1111 63 0 228931 0
vsize: 915976
[startup+540.279 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 227764 0 81 0 53475 485 0 0 25 0 1 0 899671048 938999808 221027 4294967295 134512640 134716908 3221224576 3221222852 1077414393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229248 221027 1111 63 0 229185 0
vsize: 916992
[startup+550.279 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 228167 0 81 0 54475 486 0 0 25 0 1 0 899671048 940781568 221416 4294967295 134512640 134716908 3221224576 3221222852 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229683 221416 1111 63 0 229620 0
vsize: 918732
[startup+560.28 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) R 29484 21152 21151 0 -1 0 228460 0 85 0 55470 487 0 0 25 0 1 0 899671048 942002176 221700 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229981 221700 1111 63 0 229918 0
vsize: 919924
[startup+570.281 s]
Raw data (loadavg): 0.99 1.00 0.93 1/54 29487
Raw data (stat): 29485 (bsolo_lpr-v2) D 29484 21152 21151 0 -1 0 228635 0 124 0 56429 488 0 0 18 0 1 0 899671048 942473216 221888 4294967295 134512640 134716908 3221224576 3221223240 134568429 0 0 7 0 3222515881 0 0 17 0 0 0
Raw data (statm): 230096 221888 1111 63 0 230033 0
vsize: 920384
[startup+576.806 s]
Raw data (loadavg): 0.99 1.00 0.93 1/53 29487
Raw data (stat): 29485 (bsolo_lpr-v2) D 29484 21152 21151 0 -1 0 228635 0 124 0 56429 488 0 0 18 0 1 0 899671048 942473216 221888 4294967295 134512640 134716908 3221224576 3221223240 134568429 0 0 7 0 3222515881 0 0 17 0 0 0
Raw data (statm): 230096 221888 1111 63 0 230033 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 576.806
CPU time (s): 575.003
CPU user time (s): 569.656
CPU system time (s): 5.34619
CPU usage (%): 99.6874
Max. virtual memory (Kb): 920384
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####