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/miplib/normalized-mps-v2-20-10-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	205255
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.14
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 39878

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        796804 kB
Buffers:         34224 kB
Cached:         180140 kB
SwapCached:        992 kB
Active:          48092 kB
Inactive:       168440 kB
HighTotal:      131008 kB
HighFree:         1428 kB
LowTotal:       903652 kB
LowFree:        795376 kB
SwapTotal:     2097136 kB
SwapFree:      2095204 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4932 kB
Slab:            15540 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 22:00:33 (client local time) WITH STATUS 0 IN 638.557 SECONDS
stats: 27940 7 638.557 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.85 0.97 0.91 1/54 21007
Raw data (stat): 21007 (runsolver) R 21006 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896353661 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.0004 s]
Raw data (loadavg): 0.87 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 31686 0 0 0 937 60 0 0 25 0 1 0 896353661 142716928 31606 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34843 31606 1111 63 0 34780 0
vsize: 139372
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 60916 0 0 0 1889 108 0 0 25 0 1 0 896353661 262492160 60836 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64085 60836 1111 63 0 64022 0
vsize: 256340
[startup+30.0106 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 66695 0 0 0 2880 117 0 0 25 0 1 0 896353661 286117888 66615 4294967295 134512640 134716908 3221224576 3221222868 134566536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69853 66615 1111 63 0 69790 0
vsize: 279412
[startup+40.0099 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 67376 0 0 0 3878 119 0 0 25 0 1 0 896353661 288960512 67296 4294967295 134512640 134716908 3221224576 3221222852 1077414351 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.0108 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 67962 0 0 0 4877 120 0 0 25 0 1 0 896353661 291405824 67882 4294967295 134512640 134716908 3221224576 3221222880 134566799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71144 67882 1111 63 0 71081 0
vsize: 284576
[startup+60.0113 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 68569 0 0 0 5876 121 0 0 25 0 1 0 896353661 294047744 68489 4294967295 134512640 134716908 3221224576 3221222880 134566799 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.0125 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 69140 0 0 0 6874 123 0 0 25 0 1 0 896353661 296521728 69060 4294967295 134512640 134716908 3221224576 3221221020 1077298543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72393 69060 1111 63 0 72330 0
vsize: 289572
[startup+80.0134 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 72178 0 0 0 7868 129 0 0 25 0 1 0 896353661 299167744 72041 4294967295 134512640 134716908 3221224576 3221222976 134542817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73039 72041 1111 63 0 72976 0
vsize: 292156
[startup+90.0136 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 75322 0 0 0 8863 134 0 0 25 0 1 0 896353661 312016896 75185 4294967295 134512640 134716908 3221224576 3221222968 134539209 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76176 75185 1111 63 0 76113 0
vsize: 304704
[startup+100.014 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 78445 0 0 0 9858 139 0 0 25 0 1 0 896353661 324861952 78308 4294967295 134512640 134716908 3221224576 3221223056 134542344 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.014 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 81470 0 0 0 10854 143 0 0 25 0 1 0 896353661 337166336 81333 4294967295 134512640 134716908 3221224576 3221223104 134528533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82316 81333 1111 63 0 82253 0
vsize: 329264
[startup+120.015 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 84401 0 0 0 11849 149 0 0 25 0 1 0 896353661 349204480 84264 4294967295 134512640 134716908 3221224576 3221223184 134667320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85255 84265 1111 63 0 85192 0
vsize: 341020
[startup+130.016 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 87463 0 0 0 12843 155 0 0 25 0 1 0 896353661 361779200 87326 4294967295 134512640 134716908 3221224576 3221222992 134542737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88325 87326 1111 63 0 88262 0
vsize: 353300
[startup+140.016 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 90619 0 0 0 13838 160 0 0 25 0 1 0 896353661 374624256 90482 4294967295 134512640 134716908 3221224576 3221223196 134536922 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91461 90482 1111 63 0 91398 0
vsize: 365844
[startup+150.017 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 93659 0 0 0 14831 168 0 0 25 0 1 0 896353661 387198976 93522 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94531 93522 1111 63 0 94468 0
vsize: 378124
[startup+160.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 96751 0 0 0 15825 173 0 0 25 0 1 0 896353661 399777792 96614 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97602 96614 1111 63 0 97539 0
vsize: 390408
[startup+170.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 99667 0 0 0 16821 178 0 0 25 0 1 0 896353661 411676672 99530 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100507 99530 1111 63 0 100444 0
vsize: 402028
[startup+180.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 102639 0 0 0 17815 184 0 0 25 0 1 0 896353661 423981056 102502 4294967295 134512640 134716908 3221224576 3221222960 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103511 102502 1111 63 0 103448 0
vsize: 414044
[startup+190.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 105714 0 0 0 18810 190 0 0 25 0 1 0 896353661 436559872 105577 4294967295 134512640 134716908 3221224576 3221223200 134594957 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106582 105577 1111 63 0 106519 0
vsize: 426328
[startup+200.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 108618 0 0 0 19805 195 0 0 25 0 1 0 896353661 448458752 108481 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109487 108481 1111 63 0 109424 0
vsize: 437948
[startup+210.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 111593 0 0 0 20799 200 0 0 25 0 1 0 896353661 460627968 111456 4294967295 134512640 134716908 3221224576 3221223056 134536643 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 114555 0 0 0 21796 204 0 0 25 0 1 0 896353661 472666112 114418 4294967295 134512640 134716908 3221224576 3221223080 134543652 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 117509 0 0 0 22791 209 0 0 25 0 1 0 896353661 484835328 117372 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118368 117372 1111 63 0 118305 0
vsize: 473472
[startup+240.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 120444 0 0 0 23786 214 0 0 25 0 1 0 896353661 496869376 120307 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121306 120307 1111 63 0 121243 0
vsize: 485224
[startup+250.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 123386 0 0 0 24781 220 0 0 25 0 1 0 896353661 508903424 123249 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124244 123249 1111 63 0 124181 0
vsize: 496976
[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 126298 0 0 0 25776 224 0 0 25 0 1 0 896353661 520806400 126161 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127150 126161 1111 63 0 127087 0
vsize: 508600
[startup+270.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 129126 0 0 0 26771 230 0 0 25 0 1 0 896353661 532434944 128989 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129989 128989 1111 63 0 129926 0
vsize: 519956
[startup+280.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 131985 0 0 0 27766 235 0 0 25 0 1 0 896353661 544063488 131848 4294967295 134512640 134716908 3221224576 3221222992 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132828 131848 1111 63 0 132765 0
vsize: 531312
[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 134967 0 0 0 28761 240 0 0 25 0 1 0 896353661 556371968 134830 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135833 134830 1111 63 0 135770 0
vsize: 543332
[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 137880 0 0 0 29755 246 0 0 25 0 1 0 896353661 568270848 137743 4294967295 134512640 134716908 3221224576 3221222940 134539298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 138738 137743 1111 63 0 138675 0
vsize: 554952
[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 140768 0 0 0 30751 251 0 0 25 0 1 0 896353661 580034560 140631 4294967295 134512640 134716908 3221224576 3221223056 134539516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 141610 140631 1111 63 0 141547 0
vsize: 566440
[startup+320.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 143549 0 0 0 31744 257 0 0 25 0 1 0 896353661 591527936 143412 4294967295 134512640 134716908 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 144416 143412 1111 63 0 144353 0
vsize: 577664
[startup+330.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 146444 0 0 0 32740 262 0 0 25 0 1 0 896353661 603291648 146307 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 147288 146307 1111 63 0 147225 0
vsize: 589152
[startup+340.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 149240 0 0 0 33734 268 0 0 25 0 1 0 896353661 614789120 149103 4294967295 134512640 134716908 3221224576 3221222992 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 150095 149103 1111 63 0 150032 0
vsize: 600380
[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 152146 0 0 0 34729 274 0 0 25 0 1 0 896353661 626688000 152009 4294967295 134512640 134716908 3221224576 3221223032 134535987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 153000 152009 1111 63 0 152937 0
vsize: 612000
[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 154957 0 0 0 35723 279 0 0 25 0 1 0 896353661 638181376 154820 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 155806 154820 1111 63 0 155743 0
vsize: 623224
[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 157765 0 0 0 36719 284 0 0 25 0 1 0 896353661 649674752 157628 4294967295 134512640 134716908 3221224576 3221222956 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 158612 157628 1111 63 0 158549 0
vsize: 634448
[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 160525 0 0 0 37715 288 0 0 25 0 1 0 896353661 661037056 160388 4294967295 134512640 134716908 3221224576 3221223104 134528481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 161386 160388 1111 63 0 161323 0
vsize: 645544
[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 163371 0 0 0 38710 293 0 0 25 0 1 0 896353661 672665600 163234 4294967295 134512640 134716908 3221224576 3221223104 134542848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 164225 163234 1111 63 0 164162 0
vsize: 656900
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 166094 0 0 0 39705 298 0 0 25 0 1 0 896353661 683888640 165957 4294967295 134512640 134716908 3221224576 3221222956 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 166965 165957 1111 63 0 166902 0
vsize: 667860
[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 168934 0 0 0 40701 302 0 0 25 0 1 0 896353661 695517184 168797 4294967295 134512640 134716908 3221224576 3221223056 134539446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 169804 168797 1111 63 0 169741 0
vsize: 679216
[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 171739 0 0 0 41695 308 0 0 25 0 1 0 896353661 707010560 171602 4294967295 134512640 134716908 3221224576 3221222956 134539223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 172610 171602 1111 63 0 172547 0
vsize: 690440
[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 174554 0 0 0 42691 313 0 0 25 0 1 0 896353661 718508032 174417 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 175417 174417 1111 63 0 175354 0
vsize: 701668
[startup+440.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 177301 0 0 0 43686 318 0 0 25 0 1 0 896353661 729731072 177164 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 178157 177164 1111 63 0 178094 0
vsize: 712628
[startup+450.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 180034 0 0 0 44682 323 0 0 25 0 1 0 896353661 740954112 179897 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 180897 179897 1111 63 0 180834 0
vsize: 723588
[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 182769 0 0 0 45677 327 0 0 25 0 1 0 896353661 752177152 182632 4294967295 134512640 134716908 3221224576 3221223056 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 183637 182632 1111 63 0 183574 0
vsize: 734548
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 185547 0 0 0 46673 332 0 0 25 0 1 0 896353661 763535360 185410 4294967295 134512640 134716908 3221224576 3221223312 134625569 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 186410 185410 1111 63 0 186347 0
vsize: 745640
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 188218 0 0 0 47666 339 0 0 25 0 1 0 896353661 774492160 188081 4294967295 134512640 134716908 3221224576 3221223056 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 189085 188081 1111 63 0 189022 0
vsize: 756340
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 190877 0 0 0 48662 343 0 0 25 0 1 0 896353661 785309696 190740 4294967295 134512640 134716908 3221224576 3221223056 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191726 190740 1111 63 0 191663 0
vsize: 766904
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 193597 0 0 0 49657 348 0 0 25 0 1 0 896353661 796532736 193460 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 194466 193460 1111 63 0 194403 0
vsize: 777864
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 196255 0 0 0 50653 352 0 0 25 0 1 0 896353661 807350272 196118 4294967295 134512640 134716908 3221224576 3221223080 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 197107 196120 1111 63 0 197044 0
vsize: 788428
[startup+520.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 198971 0 0 0 51647 358 0 0 25 0 1 0 896353661 818438144 198834 4294967295 134512640 134716908 3221224576 3221223104 134543674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 199814 198834 1111 63 0 199751 0
vsize: 799256
[startup+530.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 201539 0 0 0 52641 363 0 0 25 0 1 0 896353661 828985344 201210 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 202389 201210 1111 63 0 202326 0
vsize: 809556
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 204165 0 2 0 53631 368 0 0 25 0 1 0 896353661 839806976 203551 4294967295 134512640 134716908 3221224576 3221222992 134542820 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 205031 203551 1111 63 0 204968 0
vsize: 820124
[startup+550.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 206840 0 10 0 54617 374 0 0 25 0 1 0 896353661 850624512 205456 4294967295 134512640 134716908 3221224576 3221223192 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 207672 205456 1111 63 0 207609 0
vsize: 830688
[startup+560.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 209394 0 20 0 55599 379 0 0 25 0 1 0 896353661 861171712 207704 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 210247 207704 1111 63 0 210184 0
vsize: 840988
[startup+570.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 212032 0 21 0 56590 385 0 0 25 0 1 0 896353661 871854080 209993 4294967295 134512640 134716908 3221224576 3221223088 134543681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 212855 209993 1111 63 0 212792 0
vsize: 851420
[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 214482 0 54 0 57540 390 0 0 20 0 1 0 896353661 881860608 211822 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 215298 211822 1111 63 0 215235 0
vsize: 861192
[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 217073 0 63 0 58521 395 0 0 25 0 1 0 896353661 892407808 213892 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 217873 213892 1111 63 0 217810 0
vsize: 871492
[startup+600.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 219542 0 132 0 59444 402 0 0 20 0 1 0 896353661 902279168 215463 4294967295 134512640 134716908 3221224576 3221223064 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 220283 215463 1111 63 0 220220 0
vsize: 881132
[startup+610.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21007
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 222111 0 171 0 60399 406 0 0 25 0 1 0 896353661 912556032 217503 4294967295 134512640 134716908 3221224576 3221223084 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 222792 217503 1111 63 0 222729 0
vsize: 891168
[startup+620.033 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 21060
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 224635 0 194 0 61368 413 0 0 25 0 1 0 896353661 922697728 219125 4294967295 134512640 134716908 3221224576 3221222992 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 225268 219125 1111 63 0 225205 0
vsize: 901072
[startup+630.033 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 21060
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 227103 0 227 0 62322 422 0 0 25 0 1 0 896353661 932569088 220677 4294967295 134512640 134716908 3221224576 3221222988 134543616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227678 220677 1111 63 0 227615 0
vsize: 910712
[startup+640.033 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 21060
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 229634 0 295 0 63243 431 0 0 19 0 1 0 896353661 942440448 222148 4294967295 134512640 134716908 3221224576 3221223056 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 230088 222148 1111 63 0 230025 0
vsize: 920352
[startup+641.993 s]
Raw data (loadavg): 1.05 0.99 0.92 1/53 21060
Raw data (stat): 21007 (bsolo_lpr-v2) R 21006 21152 21151 0 -1 0 229634 0 295 0 63243 431 0 0 19 0 1 0 896353661 942440448 222148 4294967295 134512640 134716908 3221224576 3221223056 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 230088 222148 1111 63 0 230025 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 641.993
CPU time (s): 638.557
CPU user time (s): 633.797
CPU system time (s): 4.76028
CPU usage (%): 99.4648
Max. virtual memory (Kb): 920352
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####