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/miplib/normalized-mps-v2-13-7-air03.opb
MD5SUM	45da6faf70c895e4acc43dda6a83b925
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	199098
Optimality of the best value was proved	NO
Number of terms in the objective function	10757
Biggest coefficient in the objective function	6873
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	13748961
Number of bits of the sum of numbers in the objective function	24
Biggest number in a constraint	6873
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	13748961
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.09
Number of variables	10757
Total number of constraints	10881
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	10881
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	3861

Trace number 41428

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 12:16:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29496 boxname=wulflinc3 idbench=1280 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  45da6faf70c895e4acc43dda6a83b925  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-air03.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-air03.opb
IDLAUNCH: 29496
/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:        704160 kB
Buffers:         22076 kB
Cached:         287840 kB
SwapCached:        708 kB
Active:          35408 kB
Inactive:       276516 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        703908 kB
SwapTotal:     2097136 kB
SwapFree:      2095380 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5036 kB
Slab:            12784 kB
Committed_AS:    71780 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 12:27:07 (client local time) WITH STATUS 0 IN 634.254 SECONDS
stats: 29496 7 634.254 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10757 variables and 248 constraints.
#### 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.90 0.94 0.90 1/54 9564
Raw data (stat): 9564 (runsolver) R 9563 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910196421 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.0009 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 28409 0 0 0 944 54 0 0 25 0 1 0 910196421 129425408 28329 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31598 28329 1111 63 0 31535 0
vsize: 126392
[startup+20.002 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 56105 0 0 0 1900 98 0 0 25 0 1 0 910196421 242774016 56025 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59271 56028 1111 63 0 59208 0
vsize: 237084
[startup+30.002 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 66596 0 0 0 2881 116 0 0 25 0 1 0 910196421 285712384 66516 4294967295 134512640 134716908 3221224560 3221222836 1077049356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69754 66516 1111 63 0 69691 0
vsize: 279016
[startup+40.0024 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 67287 0 0 0 3879 117 0 0 25 0 1 0 910196421 288555008 67207 4294967295 134512640 134716908 3221224560 3221222864 134566799 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70448 67207 1111 63 0 70385 0
vsize: 281792
[startup+50.0022 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 67894 0 0 0 4877 119 0 0 25 0 1 0 910196421 291131392 67814 4294967295 134512640 134716908 3221224560 3221222836 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71077 67814 1111 63 0 71014 0
vsize: 284308
[startup+60.0023 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 68465 0 0 0 5875 120 0 0 25 0 1 0 910196421 293490688 68385 4294967295 134512640 134716908 3221224560 3221222848 134566780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71653 68385 1111 63 0 71590 0
vsize: 286612
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 69015 0 0 0 6874 122 0 0 25 0 1 0 910196421 295981056 68935 4294967295 134512640 134716908 3221224560 3221222836 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72261 68935 1111 63 0 72198 0
vsize: 289044
[startup+80.0038 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 71700 0 0 0 7867 128 0 0 25 0 1 0 910196421 297140224 71563 4294967295 134512640 134716908 3221224560 3221223108 1077374174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72544 71563 1111 63 0 72481 0
vsize: 290176
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 74911 0 0 0 8861 134 0 0 25 0 1 0 910196421 310390784 74774 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75779 74774 1111 63 0 75716 0
vsize: 303116
[startup+100.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 78030 0 0 0 9856 140 0 0 25 0 1 0 910196421 323104768 77893 4294967295 134512640 134716908 3221224560 3221223080 134542961 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78883 77893 1111 63 0 78820 0
vsize: 315532
[startup+110.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 81151 0 0 0 10849 146 0 0 25 0 1 0 910196421 335949824 81014 4294967295 134512640 134716908 3221224560 3221223072 134543671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82019 81014 1111 63 0 81956 0
vsize: 328076
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 84140 0 0 0 11843 152 0 0 25 0 1 0 910196421 348119040 84003 4294967295 134512640 134716908 3221224560 3221223088 134543700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84990 84003 1111 63 0 84927 0
vsize: 339960
[startup+130.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 87239 0 0 0 12837 158 0 0 25 0 1 0 910196421 360833024 87102 4294967295 134512640 134716908 3221224560 3221223040 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88094 87102 1111 63 0 88031 0
vsize: 352376
[startup+140.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 90319 0 0 0 13831 164 0 0 25 0 1 0 910196421 373407744 90182 4294967295 134512640 134716908 3221224560 3221223040 134536724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91164 90182 1111 63 0 91101 0
vsize: 364656
[startup+150.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 93434 0 0 0 14825 171 0 0 25 0 1 0 910196421 386252800 93297 4294967295 134512640 134716908 3221224560 3221223024 134542365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94300 93297 1111 63 0 94237 0
vsize: 377200
[startup+160.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 96535 0 0 0 15820 177 0 0 25 0 1 0 910196421 398966784 96398 4294967295 134512640 134716908 3221224560 3221223288 134625602 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97404 96398 1111 63 0 97341 0
vsize: 389616
[startup+170.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 99582 0 0 0 16814 183 0 0 25 0 1 0 910196421 411406336 99445 4294967295 134512640 134716908 3221224560 3221223184 134529009 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100441 99445 1111 63 0 100378 0
vsize: 401764
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 102545 0 0 0 17807 189 0 0 25 0 1 0 910196421 423575552 102408 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103412 102408 1111 63 0 103349 0
vsize: 413648
[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 105596 0 0 0 18802 194 0 0 25 0 1 0 910196421 436019200 105459 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106450 105459 1111 63 0 106387 0
vsize: 425800
[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 108574 0 0 0 19796 200 0 0 25 0 1 0 910196421 448188416 108437 4294967295 134512640 134716908 3221224560 3221223064 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109421 108437 1111 63 0 109358 0
vsize: 437684
[startup+210.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 111593 0 0 0 20790 207 0 0 25 0 1 0 910196421 460627968 111456 4294967295 134512640 134716908 3221224560 3221223176 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112458 111456 1111 63 0 112395 0
vsize: 449832
[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 114555 0 0 0 21785 212 0 0 25 0 1 0 910196421 472666112 114418 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115397 114418 1111 63 0 115334 0
vsize: 461588
[startup+230.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 117600 0 0 0 22777 220 0 0 25 0 1 0 910196421 485240832 117463 4294967295 134512640 134716908 3221224560 3221223352 134617134 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118467 117463 1111 63 0 118404 0
vsize: 473868
[startup+240.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 120511 0 0 0 23771 226 0 0 25 0 1 0 910196421 497139712 120374 4294967295 134512640 134716908 3221224560 3221223008 134536678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121372 120374 1111 63 0 121309 0
vsize: 485488
[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 123494 0 0 0 24766 231 0 0 25 0 1 0 910196421 509313024 123357 4294967295 134512640 134716908 3221224560 3221223072 134543756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124344 123357 1111 63 0 124281 0
vsize: 497376
[startup+260.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 126391 0 0 0 25762 235 0 0 25 0 1 0 910196421 521211904 126254 4294967295 134512640 134716908 3221224560 3221222976 134542723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127249 126254 1111 63 0 127186 0
vsize: 508996
[startup+270.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 129270 0 0 0 26757 240 0 0 25 0 1 0 910196421 532975616 129133 4294967295 134512640 134716908 3221224560 3221222944 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130121 129133 1111 63 0 130058 0
vsize: 520484
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 132218 0 0 0 27752 245 0 0 25 0 1 0 910196421 545009664 132081 4294967295 134512640 134716908 3221224560 3221223040 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133059 132081 1111 63 0 132996 0
vsize: 532236
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 135239 0 0 0 28746 252 0 0 25 0 1 0 910196421 557453312 135102 4294967295 134512640 134716908 3221224560 3221223040 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 136097 135102 1111 63 0 136034 0
vsize: 544388
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 138196 0 0 0 29739 258 0 0 25 0 1 0 910196421 569622528 138059 4294967295 134512640 134716908 3221224560 3221223040 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139068 138059 1111 63 0 139005 0
vsize: 556272
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 141014 0 0 0 30734 264 0 0 25 0 1 0 910196421 581115904 140877 4294967295 134512640 134716908 3221224560 3221222944 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 141874 140877 1111 63 0 141811 0
vsize: 567496
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 143878 0 0 0 31729 269 0 0 25 0 1 0 910196421 592879616 143741 4294967295 134512640 134716908 3221224560 3221223232 134668014 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 144746 143741 1111 63 0 144683 0
vsize: 578984
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 146781 0 0 0 32725 273 0 0 25 0 1 0 910196421 604782592 146644 4294967295 134512640 134716908 3221224560 3221222944 134542306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 147652 146644 1111 63 0 147589 0
vsize: 590608
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 149697 0 0 0 33721 277 0 0 25 0 1 0 910196421 616681472 149560 4294967295 134512640 134716908 3221224560 3221223048 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 150557 149560 1111 63 0 150494 0
vsize: 602228
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 152561 0 0 0 34716 282 0 0 25 0 1 0 910196421 628445184 152424 4294967295 134512640 134716908 3221224560 3221222924 134539279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 153429 152424 1111 63 0 153366 0
vsize: 613716
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 155448 0 0 0 35711 288 0 0 25 0 1 0 910196421 640208896 155311 4294967295 134512640 134716908 3221224560 3221223040 134542325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 156301 155311 1111 63 0 156238 0
vsize: 625204
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 158251 0 0 0 36706 293 0 0 25 0 1 0 910196421 651706368 158114 4294967295 134512640 134716908 3221224560 3221222944 134542306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 159108 158114 1111 63 0 159045 0
vsize: 636432
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 161022 0 0 0 37700 298 0 0 25 0 1 0 910196421 663064576 160885 4294967295 134512640 134716908 3221224560 3221222944 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 161881 160885 1111 63 0 161818 0
vsize: 647524
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 163901 0 0 0 38695 304 0 0 25 0 1 0 910196421 674828288 163764 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 164753 163764 1111 63 0 164690 0
vsize: 659012
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 166694 0 0 0 39690 309 0 0 25 0 1 0 910196421 686321664 166557 4294967295 134512640 134716908 3221224560 3221223136 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 167559 166557 1111 63 0 167496 0
vsize: 670236
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 169576 0 0 0 40685 314 0 0 25 0 1 0 910196421 698089472 169439 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 170432 169439 1111 63 0 170369 0
vsize: 681728
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 172330 0 0 0 41681 318 0 0 25 0 1 0 910196421 709312512 172193 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 173172 172193 1111 63 0 173109 0
vsize: 692688
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 175220 0 0 0 42676 324 0 0 25 0 1 0 910196421 721211392 175083 4294967295 134512640 134716908 3221224560 3221223040 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 176077 175083 1111 63 0 176014 0
vsize: 704308
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 178002 0 0 0 43671 328 0 0 25 0 1 0 910196421 732569600 177865 4294967295 134512640 134716908 3221224560 3221223048 134539351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 178850 177865 1111 63 0 178787 0
vsize: 715400
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 180704 0 0 0 44664 336 0 0 25 0 1 0 910196421 743657472 180567 4294967295 134512640 134716908 3221224560 3221222924 134539265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 181557 180567 1111 63 0 181494 0
vsize: 726228
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 183440 0 0 0 45659 341 0 0 25 0 1 0 910196421 754884608 183303 4294967295 134512640 134716908 3221224560 3221222968 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 184298 183303 1111 63 0 184235 0
vsize: 737192
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 186227 0 0 0 46653 347 0 0 25 0 1 0 910196421 766242816 186090 4294967295 134512640 134716908 3221224560 3221222944 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 187071 186090 1111 63 0 187008 0
vsize: 748284
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 188919 0 0 0 47647 353 0 0 25 0 1 0 910196421 777330688 188782 4294967295 134512640 134716908 3221224560 3221223028 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 189778 188782 1111 63 0 189715 0
vsize: 759112
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 191625 0 0 0 48641 359 0 0 25 0 1 0 910196421 788418560 191488 4294967295 134512640 134716908 3221224560 3221222976 134542737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 192485 191488 1111 63 0 192422 0
vsize: 769940
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 194431 0 0 0 49635 365 0 0 25 0 1 0 910196421 799911936 194294 4294967295 134512640 134716908 3221224560 3221223052 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 195291 194294 1111 63 0 195228 0
vsize: 781164
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 197145 0 0 0 50631 370 0 0 25 0 1 0 910196421 811003904 197008 4294967295 134512640 134716908 3221224560 3221223040 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 197999 197008 1111 63 0 197936 0
vsize: 791996
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 199854 0 0 0 51625 376 0 0 25 0 1 0 910196421 822091776 199717 4294967295 134512640 134716908 3221224560 3221223040 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 200706 199717 1111 63 0 200643 0
vsize: 802824
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 202514 0 0 0 52620 381 0 0 25 0 1 0 910196421 833044480 202282 4294967295 134512640 134716908 3221224560 3221223176 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 203380 202282 1111 63 0 203317 0
vsize: 813520
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 205150 0 1 0 53612 388 0 0 25 0 1 0 910196421 843726848 204858 4294967295 134512640 134716908 3221224560 3221223176 134536904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 205988 204858 1111 63 0 205925 0
vsize: 823952
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 207765 0 4 0 54601 395 0 0 25 0 1 0 910196421 854544384 207376 4294967295 134512640 134716908 3221224560 3221223040 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 208629 207376 1111 63 0 208566 0
vsize: 834516
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 210403 0 5 0 55595 401 0 0 25 0 1 0 910196421 865361920 209825 4294967295 134512640 134716908 3221224560 3221223068 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 211270 209825 1111 63 0 211207 0
vsize: 845080
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 212970 0 7 0 56586 407 0 0 25 0 1 0 910196421 875773952 212150 4294967295 134512640 134716908 3221224560 3221222940 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 213812 212150 1111 63 0 213749 0
vsize: 855248
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 215578 0 11 0 57575 413 0 0 25 0 1 0 910196421 886460416 214441 4294967295 134512640 134716908 3221224560 3221223184 134594999 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 216421 214441 1111 63 0 216358 0
vsize: 865684
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 218180 0 18 0 58559 420 0 0 25 0 1 0 910196421 897142784 216701 4294967295 134512640 134716908 3221224560 3221223068 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 219029 216701 1111 63 0 218966 0
vsize: 876116
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 220746 0 21 0 59549 428 0 0 25 0 1 0 910196421 907689984 218962 4294967295 134512640 134716908 3221224560 3221223284 134625469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 221604 218962 1111 63 0 221541 0
vsize: 886416
[startup+610.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 223295 0 41 0 60520 435 0 0 25 0 1 0 910196421 917966848 221067 4294967295 134512640 134716908 3221224560 3221223120 134588000 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 224113 221067 1111 63 0 224050 0
vsize: 896452
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 225896 0 56 0 61496 442 0 0 20 0 1 0 910196421 928649216 222997 4294967295 134512640 134716908 3221224560 3221223136 134535844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 226721 222997 1111 63 0 226658 0
vsize: 906884
[startup+630.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 228430 0 68 0 62475 450 0 0 25 0 1 0 910196421 938926080 224818 4294967295 134512640 134716908 3221224560 3221223052 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229230 224818 1111 63 0 229167 0
vsize: 916920
[startup+635.156 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 9564
Raw data (stat): 9564 (bsolo_lpr_cuts-) R 9563 20224 20223 0 -1 0 228430 0 68 0 62475 450 0 0 25 0 1 0 910196421 938926080 224818 4294967295 134512640 134716908 3221224560 3221223052 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229230 224818 1111 63 0 229167 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 635.156
CPU time (s): 634.254
CPU user time (s): 629.298
CPU system time (s): 4.95525
CPU usage (%): 99.8579
Max. virtual memory (Kb): 916920
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####