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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-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.74658
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 39979

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        624708 kB
Buffers:          3044 kB
Cached:         383792 kB
SwapCached:        628 kB
Active:          45408 kB
Inactive:       343432 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        624428 kB
SwapTotal:     2097136 kB
SwapFree:      2095452 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5036 kB
Slab:            15472 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 00:08:01 (client local time) WITH STATUS 0 IN 679.302 SECONDS
stats: 28048 7 679.302 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): 1.01 0.97 0.91 2/54 10302
Raw data (stat): 10302 (runsolver) R 10301 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897124336 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.0111 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 10302
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 3359 0 0 0 980 10 0 0 25 0 1 0 897124336 25382912 3279 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6197 3279 1111 63 0 6134 0
vsize: 24788
[startup+20.0207 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 10302
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 6008 0 0 0 1975 15 0 0 25 0 1 0 897124336 36286464 5928 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8859 5928 1111 63 0 8796 0
vsize: 35436
[startup+30.0218 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10302
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 8647 0 0 0 2970 20 0 0 25 0 1 0 897124336 47169536 8567 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11516 8567 1111 63 0 11453 0
vsize: 46064
[startup+40.0222 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10302
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 11296 0 0 0 3966 24 0 0 25 0 1 0 897124336 57921536 11216 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14141 11216 1111 63 0 14078 0
vsize: 56564
[startup+50.0223 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10302
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 13962 0 0 0 4961 30 0 0 25 0 1 0 897124336 68939776 13882 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16831 13882 1111 63 0 16768 0
vsize: 67324
[startup+60.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10302
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 16636 0 0 0 5957 34 0 0 25 0 1 0 897124336 79843328 16556 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19493 16556 1111 63 0 19430 0
vsize: 77972
[startup+70.0224 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10302
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 19328 0 0 0 6951 40 0 0 25 0 1 0 897124336 90894336 19248 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22191 19248 1111 63 0 22128 0
vsize: 88764
[startup+80.0235 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10302
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 22025 0 0 0 7947 44 0 0 25 0 1 0 897124336 101937152 21945 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24887 21945 1111 63 0 24824 0
vsize: 99548
[startup+90.0232 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10302
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 24747 0 0 0 8943 48 0 0 25 0 1 0 897124336 112988160 24667 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27585 24667 1111 63 0 27522 0
vsize: 110340
[startup+100.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10302
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 27480 0 0 0 9938 53 0 0 25 0 1 0 897124336 124305408 27400 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30348 27400 1111 63 0 30285 0
vsize: 121392
[startup+110.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10302
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 30228 0 0 0 10934 58 0 0 25 0 1 0 897124336 135507968 30148 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33083 30148 1111 63 0 33020 0
vsize: 132332
[startup+120.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10302
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 32988 0 0 0 11930 62 0 0 25 0 1 0 897124336 146853888 32908 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35853 32908 1111 63 0 35790 0
vsize: 143412
[startup+130.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10302
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 35764 0 0 0 12925 67 0 0 25 0 1 0 897124336 158199808 35684 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38623 35684 1111 63 0 38560 0
vsize: 154492
[startup+140.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10302
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 38560 0 0 0 13920 73 0 0 25 0 1 0 897124336 169697280 38480 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41430 38480 1111 63 0 41367 0
vsize: 165720
[startup+150.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10302
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 41374 0 0 0 14915 77 0 0 25 0 1 0 897124336 181194752 41294 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44237 41300 1111 63 0 44174 0
vsize: 176948
[startup+160.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10302
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 44206 0 0 0 15909 83 0 0 25 0 1 0 897124336 192692224 44126 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47044 44126 1111 63 0 46981 0
vsize: 188176
[startup+170.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10302
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 47042 0 0 0 16905 87 0 0 25 0 1 0 897124336 204333056 46962 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49886 46962 1111 63 0 49823 0
vsize: 199544
[startup+180.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10302
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 49920 0 0 0 17900 92 0 0 25 0 1 0 897124336 216276992 49840 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52802 49840 1111 63 0 52739 0
vsize: 211208
[startup+190.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10302
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 52789 0 0 0 18897 96 0 0 25 0 1 0 897124336 227921920 52709 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55645 52710 1111 63 0 55582 0
vsize: 222580
[startup+200.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 10302
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 55694 0 0 0 19891 102 0 0 25 0 1 0 897124336 239869952 55614 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58562 55614 1111 63 0 58499 0
vsize: 234248
[startup+210.027 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 10355
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 58628 0 0 0 20886 107 0 0 25 0 1 0 897124336 251809792 58548 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61477 58548 1111 63 0 61414 0
vsize: 245908
[startup+220.028 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 10355
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 61563 0 0 0 21882 112 0 0 25 0 1 0 897124336 263905280 61483 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64430 61483 1111 63 0 64367 0
vsize: 257720
[startup+230.028 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 10355
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 64542 0 0 0 22876 118 0 0 25 0 1 0 897124336 276148224 64462 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67419 64462 1111 63 0 67356 0
vsize: 269676
[startup+240.027 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 10355
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 67549 0 0 0 23871 123 0 0 25 0 1 0 897124336 288391168 67469 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70408 67469 1111 63 0 70345 0
vsize: 281632
[startup+250.027 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 10355
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 70583 0 0 0 24865 128 0 0 25 0 1 0 897124336 300781568 70503 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73433 70503 1111 63 0 73370 0
vsize: 293732
[startup+260.028 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 10355
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 73633 0 0 0 25860 134 0 0 25 0 1 0 897124336 313323520 73553 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76495 73553 1111 63 0 76432 0
vsize: 305980
[startup+270.027 s]
Raw data (loadavg): 1.05 1.00 0.92 2/56 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 76709 0 0 0 26856 139 0 0 25 0 1 0 897124336 325865472 76629 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79557 76629 1111 63 0 79494 0
vsize: 318228
[startup+280.028 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 79807 0 0 0 27851 144 0 0 25 0 1 0 897124336 338558976 79727 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82656 79727 1111 63 0 82593 0
vsize: 330624
[startup+290.029 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 82926 0 0 0 28845 150 0 0 25 0 1 0 897124336 351399936 82846 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85791 82846 1111 63 0 85728 0
vsize: 343164
[startup+300.029 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 86067 0 0 0 29840 155 0 0 25 0 1 0 897124336 364236800 85987 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88925 85987 1111 63 0 88862 0
vsize: 355700
[startup+310.028 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 89234 0 0 0 30835 160 0 0 25 0 1 0 897124336 377225216 89154 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92096 89154 1111 63 0 92033 0
vsize: 368384
[startup+320.028 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 92423 0 0 0 31830 166 0 0 25 0 1 0 897124336 390217728 92343 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95268 92343 1111 63 0 95205 0
vsize: 381072
[startup+330.029 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 95637 0 0 0 32824 172 0 0 25 0 1 0 897124336 403353600 95557 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98475 95557 1111 63 0 98412 0
vsize: 393900
[startup+340.029 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 98892 0 0 0 33819 177 0 0 25 0 1 0 897124336 416858112 98812 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101772 98812 1111 63 0 101709 0
vsize: 407088
[startup+350.029 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 102156 0 0 0 34814 182 0 0 25 0 1 0 897124336 430292992 102076 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105052 102076 1111 63 0 104989 0
vsize: 420208
[startup+360.029 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 105457 0 0 0 35808 188 0 0 25 0 1 0 897124336 443736064 105377 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108334 105377 1111 63 0 108271 0
vsize: 433336
[startup+370.029 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 108768 0 0 0 36802 194 0 0 25 0 1 0 897124336 457322496 108688 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111651 108688 1111 63 0 111588 0
vsize: 446604
[startup+380.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 112122 0 0 0 37796 200 0 0 25 0 1 0 897124336 471056384 112042 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115004 112042 1111 63 0 114941 0
vsize: 460016
[startup+390.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 115501 0 0 0 38790 207 0 0 25 0 1 0 897124336 484941824 115421 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 118394 115421 1111 63 0 118331 0
vsize: 473576
[startup+400.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 118911 0 0 0 39783 213 0 0 25 0 1 0 897124336 498831360 118831 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121785 118831 1111 63 0 121722 0
vsize: 487140
[startup+410.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 122362 0 0 0 40778 219 0 0 25 0 1 0 897124336 513011712 122282 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 125247 122282 1111 63 0 125184 0
vsize: 500988
[startup+420.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 125850 0 0 0 41771 226 0 0 25 0 1 0 897124336 527196160 125770 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128710 125770 1111 63 0 128647 0
vsize: 514840
[startup+430.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 129364 0 0 0 42766 231 0 0 25 0 1 0 897124336 541679616 129284 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132246 129284 1111 63 0 132183 0
vsize: 528984
[startup+440.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 132900 0 0 0 43760 238 0 0 25 0 1 0 897124336 556158976 132820 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135781 132820 1111 63 0 135718 0
vsize: 543124
[startup+450.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 136479 0 0 0 44753 245 0 0 25 0 1 0 897124336 570789888 136399 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139353 136399 1111 63 0 139290 0
vsize: 557412
[startup+460.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 140090 0 0 0 45747 251 0 0 25 0 1 0 897124336 585572352 140010 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 142962 140010 1111 63 0 142899 0
vsize: 571848
[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 143735 0 0 0 46740 258 0 0 25 0 1 0 897124336 600502272 143655 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 146607 143655 1111 63 0 146544 0
vsize: 586428
[startup+480.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 147419 0 0 0 47734 264 0 0 25 0 1 0 897124336 615583744 147339 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 150289 147339 1111 63 0 150226 0
vsize: 601156
[startup+490.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 151138 0 0 0 48727 272 0 0 25 0 1 0 897124336 630816768 151058 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 154008 151058 1111 63 0 153945 0
vsize: 616032
[startup+500.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 154918 0 0 0 49719 280 0 0 25 0 1 0 897124336 646340608 154838 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 157798 154838 1111 63 0 157735 0
vsize: 631192
[startup+510.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 158734 0 0 0 50713 286 0 0 25 0 1 0 897124336 661868544 158654 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 161589 158654 1111 63 0 161526 0
vsize: 646356
[startup+520.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 162594 0 0 0 51706 293 0 0 25 0 1 0 897124336 677695488 162514 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165453 162514 1111 63 0 165390 0
vsize: 661812
[startup+530.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 166501 0 0 0 52699 300 0 0 25 0 1 0 897124336 693665792 166421 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169352 166421 1111 63 0 169289 0
vsize: 677408
[startup+540.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 170463 0 0 0 53691 308 0 0 25 0 1 0 897124336 709943296 170383 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 173326 170383 1111 63 0 173263 0
vsize: 693304
[startup+550.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 174462 0 0 0 54684 315 0 0 25 0 1 0 897124336 726368256 174382 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 177336 174382 1111 63 0 177273 0
vsize: 709344
[startup+560.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10357
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 178534 0 0 0 55676 324 0 0 25 0 1 0 897124336 742940672 178454 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 181382 178454 1111 63 0 181319 0
vsize: 725528
[startup+570.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10359
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 182671 0 0 0 56667 333 0 0 25 0 1 0 897124336 759959552 182591 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 185537 182591 1111 63 0 185474 0
vsize: 742148
[startup+580.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10359
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 186404 0 0 0 57660 340 0 0 25 0 1 0 897124336 775192576 186324 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 189256 186324 1111 63 0 189193 0
vsize: 757024
[startup+590.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10359
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 190159 0 0 0 58654 347 0 0 25 0 1 0 897124336 790568960 190079 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 193010 190079 1111 63 0 192947 0
vsize: 772040
[startup+600.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10359
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 194005 0 0 0 59646 354 0 0 25 0 1 0 897124336 806395904 193925 4294967295 134512640 134716908 3221224576 3221222908 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 196874 193925 1111 63 0 196811 0
vsize: 787496
[startup+610.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10359
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 197988 0 0 0 60638 362 0 0 25 0 1 0 897124336 822886400 197908 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 200900 197908 1111 63 0 200837 0
vsize: 803600
[startup+620.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10359
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 202097 0 0 0 61630 371 0 0 25 0 1 0 897124336 839757824 202017 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 205019 202017 1111 63 0 204956 0
vsize: 820076
[startup+630.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10359
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 206296 0 0 0 62620 381 0 0 25 0 1 0 897124336 856924160 206102 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 209210 206102 1111 63 0 209147 0
vsize: 836840
[startup+640.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10359
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 210537 0 0 0 63611 390 0 0 25 0 1 0 897124336 874246144 210151 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 213439 210151 1111 63 0 213376 0
vsize: 853756
[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10359
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 214797 0 0 0 64601 400 0 0 25 0 1 0 897124336 891711488 213931 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 217703 213931 1111 63 0 217640 0
vsize: 870812
[startup+660.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10359
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 219148 0 0 0 65591 410 0 0 25 0 1 0 897124336 909479936 217770 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 222041 217770 1111 63 0 221978 0
vsize: 888164
[startup+670.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10359
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 223553 0 0 0 66581 420 0 0 25 0 1 0 897124336 927543296 221599 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226451 221599 1111 63 0 226388 0
vsize: 905804
[startup+679.317 s]
Raw data (loadavg): 1.08 1.02 0.93 1/53 10359
Raw data (stat): 10302 (bsolo_lpr-v2) R 10301 7266 7265 0 -1 0 223553 0 0 0 66581 420 0 0 25 0 1 0 897124336 927543296 221599 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226451 221599 1111 63 0 226388 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 679.316
CPU time (s): 679.302
CPU user time (s): 674.58
CPU system time (s): 4.72128
CPU usage (%): 99.998
Max. virtual memory (Kb): 905804
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####