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/miplib3/normalized-mps-v2-13-7-air03.opb
MD5SUM	69337cf8d2b6f6cf8cc02fedc291ffcc
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	199224
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.13
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 40372

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 08:36:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28441 boxname=wulflinc1 idbench=1397 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  69337cf8d2b6f6cf8cc02fedc291ffcc  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-air03.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-air03.opb
IDLAUNCH: 28441
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        591796 kB
Buffers:         30968 kB
Cached:         386676 kB
SwapCached:       1168 kB
Active:          46904 kB
Inactive:       372972 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        591544 kB
SwapTotal:     2097136 kB
SwapFree:      2094844 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            17220 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 08:47:20 (client local time) WITH STATUS 0 IN 633.091 SECONDS
stats: 28441 7 633.091 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.99 0.97 0.91 1/55 20560
Raw data (stat): 20560 (runsolver) R 20559 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 843388163 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 31387 0 0 0 936 61 0 0 25 0 1 0 843388163 141516800 31307 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34550 31313 1111 63 0 34487 0
vsize: 138200
[startup+20.0016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 60874 0 0 0 1888 110 0 0 25 0 1 0 843388163 262344704 60794 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64049 60794 1111 63 0 63986 0
vsize: 256196
[startup+30.0024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 66689 0 0 0 2876 121 0 0 25 0 1 0 843388163 286117888 66609 4294967295 134512640 134716908 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69853 66609 1111 63 0 69790 0
vsize: 279412
[startup+40.0022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 67376 0 0 0 3874 122 0 0 25 0 1 0 843388163 288960512 67296 4294967295 134512640 134716908 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70547 67296 1111 63 0 70484 0
vsize: 282188
[startup+50.0019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 67961 0 0 0 4873 123 0 0 25 0 1 0 843388163 291405824 67881 4294967295 134512640 134716908 3221224576 3221222852 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71144 67881 1111 63 0 71081 0
vsize: 284576
[startup+60.0017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 68569 0 0 0 5871 125 0 0 25 0 1 0 843388163 294047744 68489 4294967295 134512640 134716908 3221224576 3221222904 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71789 68489 1111 63 0 71726 0
vsize: 287156
[startup+70.0015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 69153 0 0 0 6869 127 0 0 25 0 1 0 843388163 296521728 69073 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72393 69073 1111 63 0 72330 0
vsize: 289572
[startup+80.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 72218 0 0 0 7863 134 0 0 25 0 1 0 843388163 299302912 72081 4294967295 134512640 134716908 3221224576 3221223132 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73072 72081 1111 63 0 73009 0
vsize: 292288
[startup+90.0031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 75366 0 0 0 8857 138 0 0 25 0 1 0 843388163 312152064 75229 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76209 75229 1111 63 0 76146 0
vsize: 304836
[startup+100.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 78445 0 0 0 9852 144 0 0 25 0 1 0 843388163 324861952 78308 4294967295 134512640 134716908 3221224576 3221222984 134543647 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79312 78308 1111 63 0 79249 0
vsize: 317248
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 81562 0 0 0 10846 150 0 0 25 0 1 0 843388163 337571840 81425 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82415 81425 1111 63 0 82352 0
vsize: 329660
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 84542 0 0 0 11841 155 0 0 25 0 1 0 843388163 349745152 84405 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85387 84405 1111 63 0 85324 0
vsize: 341548
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 87635 0 0 0 12836 161 0 0 25 0 1 0 843388163 362455040 87498 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88490 87498 1111 63 0 88427 0
vsize: 353960
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 90782 0 0 0 13831 165 0 0 25 0 1 0 843388163 375300096 90645 4294967295 134512640 134716908 3221224576 3221223200 134529009 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91626 90645 1111 63 0 91563 0
vsize: 366504
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 93839 0 0 0 14825 172 0 0 25 0 1 0 843388163 387878912 93702 4294967295 134512640 134716908 3221224576 3221222988 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94697 93702 1111 63 0 94634 0
vsize: 378788
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 96959 0 0 0 15819 178 0 0 25 0 1 0 843388163 400588800 96822 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97800 96822 1111 63 0 97737 0
vsize: 391200
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 99973 0 0 0 16814 183 0 0 25 0 1 0 843388163 413028352 99836 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100837 99836 1111 63 0 100774 0
vsize: 403348
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 103010 0 0 0 17809 189 0 0 25 0 1 0 843388163 425472000 102873 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103875 102873 1111 63 0 103812 0
vsize: 415500
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 106060 0 0 0 18804 194 0 0 25 0 1 0 843388163 437911552 105923 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106912 105923 1111 63 0 106849 0
vsize: 427648
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 109028 0 0 0 19800 198 0 0 25 0 1 0 843388163 450080768 108891 4294967295 134512640 134716908 3221224576 3221223152 134535728 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109883 108891 1111 63 0 109820 0
vsize: 439532
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 112007 0 0 0 20793 205 0 0 25 0 1 0 843388163 462254080 111870 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112855 111870 1111 63 0 112792 0
vsize: 451420
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 114998 0 0 0 21788 210 0 0 25 0 1 0 843388163 474558464 114861 4294967295 134512640 134716908 3221224576 3221223192 134536894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115859 114861 1111 63 0 115796 0
vsize: 463436
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 118005 0 0 0 22783 215 0 0 25 0 1 0 843388163 486862848 117868 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118863 117868 1111 63 0 118800 0
vsize: 475452
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 120972 0 0 0 23777 221 0 0 25 0 1 0 843388163 499032064 120835 4294967295 134512640 134716908 3221224576 3221223440 134615885 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121834 120835 1111 63 0 121771 0
vsize: 487336
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 123920 0 0 0 24772 226 0 0 25 0 1 0 843388163 511070208 123783 4294967295 134512640 134716908 3221224576 3221223072 134543756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124773 123783 1111 63 0 124710 0
vsize: 499092
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 126864 0 0 0 25767 232 0 0 25 0 1 0 843388163 523104256 126727 4294967295 134512640 134716908 3221224576 3221223056 134542362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127711 126727 1111 63 0 127648 0
vsize: 510844
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 129691 0 0 0 26761 238 0 0 25 0 1 0 843388163 534732800 129554 4294967295 134512640 134716908 3221224576 3221222960 134542306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130550 129554 1111 63 0 130487 0
vsize: 522200
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 132637 0 0 0 27756 243 0 0 25 0 1 0 843388163 546770944 132500 4294967295 134512640 134716908 3221224576 3221223216 134584866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133489 132500 1111 63 0 133426 0
vsize: 533956
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 135674 0 0 0 28751 248 0 0 25 0 1 0 843388163 559210496 135537 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 136526 135537 1111 63 0 136463 0
vsize: 546104
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 138585 0 0 0 29745 254 0 0 25 0 1 0 843388163 571109376 138448 4294967295 134512640 134716908 3221224576 3221223200 134594994 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139431 138448 1111 63 0 139368 0
vsize: 557724
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 141443 0 0 0 30741 259 0 0 25 0 1 0 843388163 582873088 141306 4294967295 134512640 134716908 3221224576 3221223192 134543825 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 142303 141306 1111 63 0 142240 0
vsize: 569212
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 144364 0 0 0 31736 264 0 0 25 0 1 0 843388163 594776064 144227 4294967295 134512640 134716908 3221224576 3221223084 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 145209 144227 1111 63 0 145146 0
vsize: 580836
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 147201 0 0 0 32730 270 0 0 25 0 1 0 843388163 606404608 147064 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 148048 147064 1111 63 0 147985 0
vsize: 592192
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 150023 0 0 0 33724 274 0 0 25 0 1 0 843388163 618033152 149886 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 150887 149886 1111 63 0 150824 0
vsize: 603548
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 152961 0 0 0 34717 280 0 0 25 0 1 0 843388163 630067200 152824 4294967295 134512640 134716908 3221224576 3221223056 134543046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 153825 152824 1111 63 0 153762 0
vsize: 615300
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 155849 0 0 0 35710 286 0 0 25 0 1 0 843388163 641835008 155712 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 156698 155712 1111 63 0 156635 0
vsize: 626792
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 158631 0 0 0 36705 291 0 0 25 0 1 0 843388163 653193216 158494 4294967295 134512640 134716908 3221224576 3221222956 134539273 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 159471 158494 1111 63 0 159408 0
vsize: 637884
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 161480 0 0 0 37698 297 0 0 25 0 1 0 843388163 664956928 161343 4294967295 134512640 134716908 3221224576 3221223180 134535874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 162343 161343 1111 63 0 162280 0
vsize: 649372
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 164262 0 0 0 38693 301 0 0 25 0 1 0 843388163 676315136 164125 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 165116 164125 1111 63 0 165053 0
vsize: 660464
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 167089 0 0 0 39687 306 0 0 25 0 1 0 843388163 687943680 166952 4294967295 134512640 134716908 3221224576 3221223056 134539429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 167955 166952 1111 63 0 167892 0
vsize: 671820
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 169947 0 0 0 40681 311 0 0 25 0 1 0 843388163 699576320 169810 4294967295 134512640 134716908 3221224576 3221223056 134539567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 170795 169810 1111 63 0 170732 0
vsize: 683180
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 172699 0 0 0 41675 316 0 0 25 0 1 0 843388163 710934528 172562 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 173568 172562 1111 63 0 173505 0
vsize: 694272
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 175521 0 0 0 42669 321 0 0 25 0 1 0 843388163 722427904 175384 4294967295 134512640 134716908 3221224576 3221222960 134542325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 176374 175384 1111 63 0 176311 0
vsize: 705496
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 178327 0 0 0 43663 325 0 0 25 0 1 0 843388163 733921280 178190 4294967295 134512640 134716908 3221224576 3221223104 134542851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179180 178190 1111 63 0 179117 0
vsize: 716720
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 181043 0 0 0 44658 330 0 0 25 0 1 0 843388163 745009152 180906 4294967295 134512640 134716908 3221224576 3221222952 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 181887 180908 1111 63 0 181824 0
vsize: 727548
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 183863 0 0 0 45653 334 0 0 25 0 1 0 843388163 756641792 183726 4294967295 134512640 134716908 3221224576 3221223064 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 184727 183727 1111 63 0 184664 0
vsize: 738908
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 186629 0 0 0 46647 339 0 0 25 0 1 0 843388163 768000000 186492 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 187500 186492 1111 63 0 187437 0
vsize: 750000
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 189333 0 0 0 47641 344 0 0 25 0 1 0 843388163 778952704 189196 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 190174 189196 1111 63 0 190111 0
vsize: 760696
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 191994 0 0 0 48635 349 0 0 25 0 1 0 843388163 789905408 191857 4294967295 134512640 134716908 3221224576 3221222956 134539251 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 192848 191857 1111 63 0 192785 0
vsize: 771392
[startup+500.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 194721 0 0 0 49630 352 0 0 25 0 1 0 843388163 801132544 194584 4294967295 134512640 134716908 3221224576 3221222976 134542808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 195589 194584 1111 63 0 195526 0
vsize: 782356
[startup+510.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 197454 0 0 0 50624 358 0 0 25 0 1 0 843388163 812220416 197285 4294967295 134512640 134716908 3221224576 3221223080 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198296 197285 1111 63 0 198233 0
vsize: 793184
[startup+520.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 200100 0 0 0 51617 363 0 0 25 0 1 0 843388163 823173120 199810 4294967295 134512640 134716908 3221224576 3221223036 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 200970 199810 1111 63 0 200907 0
vsize: 803880
[startup+530.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 202755 0 0 0 52610 369 0 0 25 0 1 0 843388163 833990656 202209 4294967295 134512640 134716908 3221224576 3221223080 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 203611 202209 1111 63 0 203548 0
vsize: 814444
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 205429 0 6 0 53597 375 0 0 25 0 1 0 843388163 844943360 204474 4294967295 134512640 134716908 3221224576 3221223196 134543776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 206285 204474 1111 63 0 206222 0
vsize: 825140
[startup+550.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 207975 0 12 0 54584 378 0 0 25 0 1 0 843388163 855355392 206650 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 208827 206650 1111 63 0 208764 0
vsize: 835308
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 210626 0 15 0 55575 383 0 0 25 0 1 0 843388163 866172928 209045 4294967295 134512640 134716908 3221224576 3221223072 134543707 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 211468 209045 1111 63 0 211405 0
vsize: 845872
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 213167 0 23 0 56556 389 0 0 25 0 1 0 843388163 876589056 211288 4294967295 134512640 134716908 3221224576 3221223056 134536624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214011 211288 1111 63 0 213948 0
vsize: 856044
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 215733 0 36 0 57538 395 0 0 25 0 1 0 843388163 887001088 213553 4294967295 134512640 134716908 3221224576 3221223064 1077377571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 216553 213553 1111 63 0 216490 0
vsize: 866212
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 218282 0 45 0 58522 399 0 0 25 0 1 0 843388163 897413120 215756 4294967295 134512640 134716908 3221224576 3221222960 134542342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 219095 215756 1111 63 0 219032 0
vsize: 876380
[startup+600.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 220889 0 76 0 59481 405 0 0 25 0 1 0 843388163 907960320 218041 4294967295 134512640 134716908 3221224576 3221223064 134542295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 221670 218041 1111 63 0 221607 0
vsize: 886680
[startup+610.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 223456 0 91 0 60456 409 0 0 25 0 1 0 843388163 918507520 220177 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 224245 220177 1111 63 0 224182 0
vsize: 896980
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 226039 0 97 0 61443 414 0 0 25 0 1 0 843388163 929054720 222241 4294967295 134512640 134716908 3221224576 3221223080 134542289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226820 222241 1111 63 0 226757 0
vsize: 907280
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 228543 0 110 0 62421 419 0 0 25 0 1 0 843388163 939196416 224262 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229296 224262 1111 63 0 229233 0
vsize: 917184
[startup+634.768 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 20560
Raw data (stat): 20560 (bsolo_lpr-v2) R 20559 8378 8377 0 -1 0 228543 0 110 0 62421 419 0 0 25 0 1 0 843388163 939196416 224262 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229296 224262 1111 63 0 229233 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 634.768
CPU time (s): 633.091
CPU user time (s): 628.446
CPU system time (s): 4.64429
CPU usage (%): 99.7358
Max. virtual memory (Kb): 917184
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####