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-stp3d.opb
MD5SUM	bd41ba4f2ddbc80664ba643e2dc93b96
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	75648
Biggest coefficient in the objective function	100303
Number of bits for the biggest coefficient in the objective function	17
Sum of the numbers in the objective function	7576279200
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	100303
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	7576279200
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.75158
Number of variables	204880
Total number of constraints	364368
Number of constraints which are clauses	129232
Number of constraints which are cardinality constraints (but not clauses)	210685
Number of constraints which are nor clauses,nor cardinality constraints	24451
Minimum length of a constraint	1
Maximum length of a constraint	120

Trace number 40366

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 08:21:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28432 boxname=wulflinc3 idbench=1388 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  bd41ba4f2ddbc80664ba643e2dc93b96  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-stp3d.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-stp3d.opb
IDLAUNCH: 28432
/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:        852540 kB
Buffers:         11648 kB
Cached:         148040 kB
SwapCached:        656 kB
Active:          55656 kB
Inactive:       106044 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        852288 kB
SwapTotal:     2097136 kB
SwapFree:      2095440 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5036 kB
Slab:            14756 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 08:32:45 (client local time) WITH STATUS 0 IN 670.335 SECONDS
stats: 28432 7 670.335 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.93 0.98 0.91 1/54 23692
Raw data (stat): 23692 (runsolver) R 23691 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900145461 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 3377 0 0 0 986 12 0 0 25 0 1 0 900145461 25534464 3297 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6234 3297 1111 63 0 6171 0
vsize: 24936
[startup+20.0015 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 6033 0 0 0 1981 16 0 0 25 0 1 0 900145461 36433920 5953 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8895 5953 1111 63 0 8832 0
vsize: 35580
[startup+30.002 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 8702 0 0 0 2976 22 0 0 25 0 1 0 900145461 47316992 8622 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11552 8622 1111 63 0 11489 0
vsize: 46208
[startup+40.0093 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 11381 0 0 0 3971 27 0 0 25 0 1 0 900145461 58368000 11301 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14250 11301 1111 63 0 14187 0
vsize: 57000
[startup+50.01 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 14084 0 0 0 4966 33 0 0 25 0 1 0 900145461 69390336 14004 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16941 14004 1111 63 0 16878 0
vsize: 67764
[startup+60.0105 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 16788 0 0 0 5961 38 0 0 25 0 1 0 900145461 80441344 16708 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19639 16708 1111 63 0 19576 0
vsize: 78556
[startup+70.0107 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 19510 0 0 0 6956 43 0 0 25 0 1 0 900145461 91639808 19430 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22373 19430 1111 63 0 22310 0
vsize: 89492
[startup+80.0115 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 22243 0 0 0 7952 47 0 0 25 0 1 0 900145461 102834176 22163 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25106 22163 1111 63 0 25043 0
vsize: 100424
[startup+90.0113 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 24996 0 0 0 8948 52 0 0 25 0 1 0 900145461 114032640 24916 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27840 24916 1111 63 0 27777 0
vsize: 111360
[startup+100.012 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 27767 0 0 0 9944 56 0 0 25 0 1 0 900145461 125505536 27687 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30641 27687 1111 63 0 30578 0
vsize: 122564
[startup+110.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 30549 0 0 0 10940 60 0 0 25 0 1 0 900145461 136847360 30469 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33410 30469 1111 63 0 33347 0
vsize: 133640
[startup+120.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 33345 0 0 0 11936 64 0 0 25 0 1 0 900145461 148344832 33265 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36217 33265 1111 63 0 36154 0
vsize: 144868
[startup+130.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 36160 0 0 0 12932 69 0 0 25 0 1 0 900145461 159846400 36080 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39025 36080 1111 63 0 38962 0
vsize: 156100
[startup+140.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 38992 0 0 0 13926 75 0 0 25 0 1 0 900145461 171335680 38912 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41830 38912 1111 63 0 41767 0
vsize: 167320
[startup+150.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 41835 0 0 0 14921 80 0 0 25 0 1 0 900145461 182984704 41755 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44674 41755 1111 63 0 44611 0
vsize: 178696
[startup+160.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 44697 0 0 0 15915 86 0 0 25 0 1 0 900145461 194781184 44617 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47554 44617 1111 63 0 47491 0
vsize: 190216
[startup+170.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 47577 0 0 0 16911 91 0 0 25 0 1 0 900145461 206577664 47497 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50434 47497 1111 63 0 50371 0
vsize: 201736
[startup+180.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 50486 0 0 0 17907 95 0 0 25 0 1 0 900145461 218517504 50406 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53349 50406 1111 63 0 53286 0
vsize: 213396
[startup+190.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 53395 0 0 0 18901 101 0 0 25 0 1 0 900145461 230457344 53315 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56264 53315 1111 63 0 56201 0
vsize: 225056
[startup+200.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 56337 0 0 0 19897 106 0 0 25 0 1 0 900145461 242552832 56257 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59217 56257 1111 63 0 59154 0
vsize: 236868
[startup+210.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 59285 0 0 0 20892 110 0 0 25 0 1 0 900145461 254496768 59205 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62133 59205 1111 63 0 62070 0
vsize: 248532
[startup+220.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 62269 0 0 0 21888 115 0 0 25 0 1 0 900145461 266743808 62189 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65123 62189 1111 63 0 65060 0
vsize: 260492
[startup+230.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 65289 0 0 0 22883 120 0 0 25 0 1 0 900145461 279134208 65209 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68148 65209 1111 63 0 68085 0
vsize: 272592
[startup+240.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 68328 0 0 0 23880 123 0 0 25 0 1 0 900145461 291528704 68248 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71174 68248 1111 63 0 71111 0
vsize: 284696
[startup+250.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 71391 0 0 0 24875 128 0 0 25 0 1 0 900145461 304070656 71311 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74236 71311 1111 63 0 74173 0
vsize: 296944
[startup+260.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 74472 0 0 0 25871 133 0 0 25 0 1 0 900145461 316760064 74392 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77334 74392 1111 63 0 77271 0
vsize: 309336
[startup+270.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 77572 0 0 0 26866 138 0 0 25 0 1 0 900145461 329449472 77492 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80432 77492 1111 63 0 80369 0
vsize: 321728
[startup+280.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 80701 0 0 0 27860 144 0 0 25 0 1 0 900145461 342290432 80621 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83567 80621 1111 63 0 83504 0
vsize: 334268
[startup+290.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 83843 0 0 0 28856 148 0 0 25 0 1 0 900145461 355131392 83763 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86702 83763 1111 63 0 86639 0
vsize: 346808
[startup+300.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 87021 0 0 0 29851 154 0 0 25 0 1 0 900145461 368119808 86941 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89873 86941 1111 63 0 89810 0
vsize: 359492
[startup+310.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 90212 0 0 0 30846 159 0 0 25 0 1 0 900145461 381259776 90132 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93081 90132 1111 63 0 93018 0
vsize: 372324
[startup+320.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 93431 0 0 0 31841 164 0 0 25 0 1 0 900145461 394395648 93351 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96288 93351 1111 63 0 96225 0
vsize: 385152
[startup+330.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 96675 0 0 0 32836 169 0 0 25 0 1 0 900145461 407683072 96595 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99532 96595 1111 63 0 99469 0
vsize: 398128
[startup+340.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 99962 0 0 0 33831 175 0 0 25 0 1 0 900145461 421187584 99882 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102829 99882 1111 63 0 102766 0
vsize: 411316
[startup+350.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 103249 0 0 0 34824 181 0 0 25 0 1 0 900145461 434774016 103169 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106146 103169 1111 63 0 106083 0
vsize: 424584
[startup+360.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 106593 0 0 0 35817 188 0 0 25 0 1 0 900145461 448364544 106513 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109464 106513 1111 63 0 109401 0
vsize: 437856
[startup+370.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 109983 0 0 0 36811 194 0 0 25 0 1 0 900145461 462249984 109903 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112854 109903 1111 63 0 112791 0
vsize: 451416
[startup+380.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 113398 0 0 0 37806 200 0 0 25 0 1 0 900145461 476282880 113318 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116280 113318 1111 63 0 116217 0
vsize: 465120
[startup+390.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 116852 0 0 0 38800 206 0 0 25 0 1 0 900145461 490471424 116772 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 119744 116772 1111 63 0 119681 0
vsize: 478976
[startup+400.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 120326 0 0 0 39795 211 0 0 25 0 1 0 900145461 504651776 120246 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123206 120246 1111 63 0 123143 0
vsize: 492824
[startup+410.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 123857 0 0 0 40790 217 0 0 25 0 1 0 900145461 519131136 123777 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 126741 123777 1111 63 0 126678 0
vsize: 506964
[startup+420.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 127413 0 0 0 41783 224 0 0 25 0 1 0 900145461 533618688 127333 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130278 127333 1111 63 0 130215 0
vsize: 521112
[startup+430.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 130998 0 0 0 42778 229 0 0 25 0 1 0 900145461 548397056 130918 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133886 130918 1111 63 0 133823 0
vsize: 535544
[startup+440.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 134615 0 0 0 43773 234 0 0 25 0 1 0 900145461 563179520 134535 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 137495 134535 1111 63 0 137432 0
vsize: 549980
[startup+450.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 138266 0 0 0 44768 239 0 0 25 0 1 0 900145461 578109440 138186 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 141140 138186 1111 63 0 141077 0
vsize: 564560
[startup+460.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 141962 0 0 0 45763 245 0 0 25 0 1 0 900145461 593190912 141882 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 144822 141882 1111 63 0 144759 0
vsize: 579288
[startup+470.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 145680 0 0 0 46757 251 0 0 25 0 1 0 900145461 608415744 145600 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 148539 145600 1111 63 0 148476 0
vsize: 594156
[startup+480.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 149442 0 0 0 47751 257 0 0 25 0 1 0 900145461 623796224 149362 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 152294 149362 1111 63 0 152231 0
vsize: 609176
[startup+490.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 153260 0 0 0 48746 262 0 0 25 0 1 0 900145461 639475712 153180 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 156122 153180 1111 63 0 156059 0
vsize: 624488
[startup+500.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 157123 0 0 0 49739 270 0 0 25 0 1 0 900145461 655298560 157043 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 159985 157043 1111 63 0 159922 0
vsize: 639940
[startup+510.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 161044 0 0 0 50732 277 0 0 25 0 1 0 900145461 671424512 160964 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 163922 160964 1111 63 0 163859 0
vsize: 655688
[startup+520.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 165019 0 0 0 51725 284 0 0 25 0 1 0 900145461 687697920 164939 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 167895 164939 1111 63 0 167832 0
vsize: 671580
[startup+530.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 169023 0 0 0 52719 290 0 0 25 0 1 0 900145461 703971328 168943 4294967295 134512640 134716908 3221224576 3221223232 134527928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 171868 168943 1111 63 0 171805 0
vsize: 687472
[startup+540.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 173089 0 0 0 53713 297 0 0 25 0 1 0 900145461 720695296 173009 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 175951 173009 1111 63 0 175888 0
vsize: 703804
[startup+550.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 177259 0 0 0 54705 305 0 0 25 0 1 0 900145461 737718272 177179 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 180107 177179 1111 63 0 180044 0
vsize: 720428
[startup+560.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 181475 0 0 0 55697 314 0 0 25 0 1 0 900145461 755036160 181395 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 184335 181395 1111 63 0 184272 0
vsize: 737340
[startup+570.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 185408 0 0 0 56689 321 0 0 25 0 1 0 900145461 771162112 185328 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 188272 185328 1111 63 0 188209 0
vsize: 753088
[startup+580.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 189296 0 0 0 57683 328 0 0 25 0 1 0 900145461 786984960 189216 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 192135 189216 1111 63 0 192072 0
vsize: 768540
[startup+590.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 193209 0 0 0 58676 335 0 0 25 0 1 0 900145461 803110912 193129 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 196072 193129 1111 63 0 196009 0
vsize: 784288
[startup+600.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 197313 0 0 0 59671 340 0 0 25 0 1 0 900145461 820195328 197233 4294967295 134512640 134716908 3221224576 3221222804 1077414397 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 200243 197233 1111 63 0 200180 0
vsize: 800972
[startup+610.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 201507 0 0 0 60664 347 0 0 25 0 1 0 900145461 837365760 201427 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 204435 201427 1111 63 0 204372 0
vsize: 817740
[startup+620.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 205759 0 0 0 61657 354 0 0 25 0 1 0 900145461 854683648 205679 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 208663 205679 1111 63 0 208600 0
vsize: 834652
[startup+630.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 210080 0 0 0 62652 360 0 0 25 0 1 0 900145461 872448000 210000 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 213000 210000 1111 63 0 212937 0
vsize: 852000
[startup+640.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 214427 0 0 0 63642 370 0 0 25 0 1 0 900145461 890220544 214124 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 217339 214124 1111 63 0 217276 0
vsize: 869356
[startup+650.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 218766 0 0 0 64630 381 0 0 25 0 1 0 900145461 907988992 217215 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 221677 217215 1111 63 0 221614 0
vsize: 886708
[startup+660.046 s]
Raw data (loadavg): 0.99 0.98 0.91 3/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) R 23691 20224 20223 0 -1 0 223165 0 0 0 65617 393 0 0 25 0 1 0 900145461 926052352 220176 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226087 220176 1111 63 0 226024 0
vsize: 904348
[startup+670.046 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 23692
Raw data (stat): 23692 (bsolo_lpr-v2) D 23691 20224 20223 0 -1 0 227533 0 9 0 66587 402 0 0 23 0 1 0 900145461 943669248 220678 4294967295 134512640 134716908 3221224576 3221222688 1073791469 0 0 7 0 3222515881 0 0 17 0 0 0
Raw data (statm): 230388 220678 1111 63 0 230325 0
vsize: 921552
[startup+670.728 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 23692
Raw data (stat): 23692 (bsolo_lpr-v2) D 23691 20224 20223 0 -1 0 227533 0 9 0 66587 402 0 0 23 0 1 0 900145461 943669248 220678 4294967295 134512640 134716908 3221224576 3221222688 1073791469 0 0 7 0 3222515881 0 0 17 0 0 0
Raw data (statm): 230388 220678 1111 63 0 230325 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 670.727
CPU time (s): 670.335
CPU user time (s): 665.899
CPU system time (s): 4.43633
CPU usage (%): 99.9415
Max. virtual memory (Kb): 921552
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####