PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-t1717.opb
MD5SUM	bc46e72682d969c09e6f4028df473a45
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	201342
Optimality of the best value was proved	NO
Number of terms in the objective function	73885
Biggest coefficient in the objective function	4066
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	172074995
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	4066
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	172074995
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.34
Number of variables	73885
Total number of constraints	74436
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	74436
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	612
Trace number 27174

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-24 19:55:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18059 boxname=wulflinc30 idbench=1390 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  bc46e72682d969c09e6f4028df473a45  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-t1717.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-t1717.opb
IDLAUNCH: 18059
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 3
cpu MHz		: 451.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        386212 kB
Buffers:         18316 kB
Cached:         597976 kB
SwapCached:        672 kB
Active:          35804 kB
Inactive:       582788 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        385960 kB
SwapTotal:     2097892 kB
SwapFree:      2096524 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5228 kB
Slab:            24156 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 20:07:52 (client local time) WITH STATUS 0 IN 712.421 SECONDS
stats: 18059 7 712.421 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
Raw data (loadavg): 0.85 0.95 0.98 2/54 25785
Raw data (stat): 25785 (runsolver) R 25784 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832920130 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.88 0.95 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 3762 0 0 0 988 10 0 0 25 0 1 0 832920130 27328512 3686 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6672 3686 1111 63 0 6609 0
vsize: 26688
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.95 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 6774 0 0 0 1983 15 0 0 25 0 1 0 832920130 39567360 6698 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9660 6698 1111 63 0 9597 0
vsize: 38640
[startup+30.0012 s]
Raw data (loadavg): 0.91 0.95 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 9809 0 0 0 2978 21 0 0 25 0 1 0 832920130 52097024 9733 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12719 9733 1111 63 0 12656 0
vsize: 50876
[startup+40.0009 s]
Raw data (loadavg): 0.92 0.95 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 12840 0 0 0 3973 26 0 0 25 0 1 0 832920130 64487424 12764 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15744 12764 1111 63 0 15681 0
vsize: 62976
[startup+50.0015 s]
Raw data (loadavg): 0.93 0.96 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 15884 0 0 0 4968 31 0 0 25 0 1 0 832920130 77004800 15808 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18800 15808 1111 63 0 18737 0
vsize: 75200
[startup+60.0207 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 18928 0 0 0 5964 36 0 0 25 0 1 0 832920130 89395200 18852 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21825 18852 1111 63 0 21762 0
vsize: 87300
[startup+70.026 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 21965 0 0 0 6961 40 0 0 25 0 1 0 832920130 101789696 21889 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24851 21889 1111 63 0 24788 0
vsize: 99404
[startup+80.0346 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 25009 0 0 0 7956 47 0 0 25 0 1 0 832920130 114331648 24933 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27913 24933 1111 63 0 27850 0
vsize: 111652
[startup+90.0337 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 28054 0 0 0 8950 52 0 0 25 0 1 0 832920130 126849024 27978 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30969 27978 1111 63 0 30906 0
vsize: 123876
[startup+100.04 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 31098 0 0 0 9945 58 0 0 25 0 1 0 832920130 139239424 31022 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33994 31022 1111 63 0 33931 0
vsize: 135976
[startup+110.042 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 34131 0 0 0 10940 64 0 0 25 0 1 0 832920130 151633920 34055 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37020 34055 1111 63 0 36957 0
vsize: 148080
[startup+120.043 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 37176 0 0 0 11935 69 0 0 25 0 1 0 832920130 164175872 37100 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40082 37100 1111 63 0 40019 0
vsize: 160328
[startup+130.043 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 40221 0 0 0 12930 74 0 0 25 0 1 0 832920130 176566272 40145 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43107 40145 1111 63 0 43044 0
vsize: 172428
[startup+140.043 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 43284 0 0 0 13926 79 0 0 25 0 1 0 832920130 189108224 43208 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46169 43208 1111 63 0 46106 0
vsize: 184676
[startup+150.044 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 46346 0 0 0 14921 83 0 0 25 0 1 0 832920130 201650176 46270 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49231 46270 1111 63 0 49168 0
vsize: 196924
[startup+160.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 49420 0 0 0 15916 89 0 0 25 0 1 0 832920130 214355968 49344 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52333 49344 1111 63 0 52270 0
vsize: 209332
[startup+170.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 52469 0 0 0 16911 94 0 0 25 0 1 0 832920130 226881536 52393 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55391 52393 1111 63 0 55328 0
vsize: 221564
[startup+180.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 55550 0 0 0 17906 99 0 0 25 0 1 0 832920130 239415296 55474 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58451 55474 1111 63 0 58388 0
vsize: 233804
[startup+190.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 58611 0 0 0 18901 104 0 0 25 0 1 0 832920130 251957248 58535 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61513 58535 1111 63 0 61450 0
vsize: 246052
[startup+200.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 61662 0 0 0 19895 110 0 0 25 0 1 0 832920130 264499200 61586 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64575 61586 1111 63 0 64512 0
vsize: 258300
[startup+210.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 64750 0 0 0 20891 116 0 0 25 0 1 0 832920130 277188608 64674 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67673 64674 1111 63 0 67610 0
vsize: 270692
[startup+220.058 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 67825 0 0 0 21886 121 0 0 25 0 1 0 832920130 289730560 67749 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70735 67749 1111 63 0 70672 0
vsize: 282940
[startup+230.162 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 70924 0 0 0 22892 126 0 0 25 0 1 0 832920130 302424064 70848 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73834 70848 1111 63 0 73771 0
vsize: 295336
[startup+240.162 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25785
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 74017 0 0 0 23886 132 0 0 25 0 1 0 832920130 315113472 73941 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76932 73941 1111 63 0 76869 0
vsize: 307728
[startup+250.163 s]
Raw data (loadavg): 1.07 0.99 0.99 2/54 25838
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 77129 0 0 0 24881 137 0 0 25 0 1 0 832920130 327806976 77053 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80031 77053 1111 63 0 79968 0
vsize: 320124
[startup+260.165 s]
Raw data (loadavg): 1.06 0.99 0.99 2/54 25838
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 80216 0 0 0 25875 143 0 0 25 0 1 0 832920130 340496384 80140 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83129 80140 1111 63 0 83066 0
vsize: 332516
[startup+270.165 s]
Raw data (loadavg): 1.05 0.99 0.99 2/54 25838
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 83321 0 0 0 26870 149 0 0 25 0 1 0 832920130 353185792 83245 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86227 83245 1111 63 0 86164 0
vsize: 344908
[startup+280.165 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 25838
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 86397 0 0 0 27865 154 0 0 25 0 1 0 832920130 365727744 86321 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89289 86321 1111 63 0 89226 0
vsize: 357156
[startup+290.165 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 25838
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 89502 0 0 0 28858 160 0 0 25 0 1 0 832920130 378421248 89426 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92388 89426 1111 63 0 92325 0
vsize: 369552
[startup+300.166 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 25838
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 92606 0 0 0 29853 166 0 0 25 0 1 0 832920130 391258112 92530 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95522 92530 1111 63 0 95459 0
vsize: 382088
[startup+310.166 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 25838
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 95693 0 0 0 30849 170 0 0 25 0 1 0 832920130 403800064 95617 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98584 95617 1111 63 0 98521 0
vsize: 394336
[startup+320.167 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 25838
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 98821 0 0 0 31844 175 0 0 25 0 1 0 832920130 416710656 98745 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101736 98745 1111 63 0 101673 0
vsize: 406944
[startup+330.167 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 25840
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 101902 0 0 0 32838 182 0 0 25 0 1 0 832920130 429400064 101826 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104834 101826 1111 63 0 104771 0
vsize: 419336
[startup+340.167 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 25840
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 105002 0 0 0 33831 188 0 0 25 0 1 0 832920130 442089472 104926 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107932 104926 1111 63 0 107869 0
vsize: 431728
[startup+350.168 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 25840
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 108119 0 0 0 34827 193 0 0 25 0 1 0 832920130 454782976 108043 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111031 108043 1111 63 0 110968 0
vsize: 444124
[startup+360.169 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 25840
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 111231 0 0 0 35820 200 0 0 25 0 1 0 832920130 467623936 111155 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114166 111155 1111 63 0 114103 0
vsize: 456664
[startup+370.17 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 25840
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 114324 0 0 0 36814 206 0 0 25 0 1 0 832920130 480313344 114248 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117264 114248 1111 63 0 117201 0
vsize: 469056
[startup+380.17 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 25840
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 117442 0 0 0 37808 213 0 0 25 0 1 0 832920130 493002752 117366 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 120362 117366 1111 63 0 120299 0
vsize: 481448
[startup+390.17 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25840
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 120553 0 0 0 38803 218 0 0 25 0 1 0 832920130 505696256 120477 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123461 120477 1111 63 0 123398 0
vsize: 493844
[startup+400.171 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25840
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 123677 0 0 0 39798 224 0 0 25 0 1 0 832920130 518537216 123601 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126596 123601 1111 63 0 126533 0
vsize: 506384
[startup+410.171 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25840
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 126819 0 0 0 40792 230 0 0 25 0 1 0 832920130 531374080 126743 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 129730 126743 1111 63 0 129667 0
vsize: 518920
[startup+420.172 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25840
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 129912 0 0 0 41787 235 0 0 25 0 1 0 832920130 544067584 129836 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132829 129836 1111 63 0 132766 0
vsize: 531316
[startup+430.173 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25840
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 133042 0 0 0 42781 241 0 0 25 0 1 0 832920130 556904448 132966 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135963 132966 1111 63 0 135900 0
vsize: 543852
[startup+440.172 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25840
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 136165 0 0 0 43775 247 0 0 25 0 1 0 832920130 569745408 136089 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139098 136089 1111 63 0 139035 0
vsize: 556392
[startup+450.173 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25840
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 139319 0 0 0 44770 253 0 0 25 0 1 0 832920130 582586368 139243 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 142233 139243 1111 63 0 142170 0
vsize: 568932
[startup+460.173 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25840
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 142497 0 0 0 45764 258 0 0 25 0 1 0 832920130 595574784 142421 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 145404 142421 1111 63 0 145341 0
vsize: 581616
[startup+470.174 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25840
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 145657 0 0 0 46758 265 0 0 25 0 1 0 832920130 608563200 145581 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 148575 145581 1111 63 0 148512 0
vsize: 594300
[startup+480.175 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25840
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 148830 0 0 0 47751 272 0 0 25 0 1 0 832920130 621551616 148754 4294967295 134512640 134714508 3221224592 3221221308 1077198876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151746 148754 1111 63 0 151683 0
vsize: 606984
[startup+490.174 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25840
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 151996 0 0 0 48745 278 0 0 25 0 1 0 832920130 634544128 151920 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 154918 151920 1111 63 0 154855 0
vsize: 619672
[startup+500.175 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25840
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 155206 0 0 0 49740 283 0 0 25 0 1 0 832920130 647688192 155130 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 158127 155130 1111 63 0 158064 0
vsize: 632508
[startup+510.175 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25840
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 158372 0 0 0 50735 289 0 0 25 0 1 0 832920130 660676608 158296 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 161298 158296 1111 63 0 161235 0
vsize: 645192
[startup+520.176 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25840
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 161587 0 0 0 51728 295 0 0 25 0 1 0 832920130 673812480 161511 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 164505 161511 1111 63 0 164442 0
vsize: 658020
[startup+530.177 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25840
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 164807 0 0 0 52723 301 0 0 25 0 1 0 832920130 686952448 164731 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 167713 164731 1111 63 0 167650 0
vsize: 670852
[startup+540.178 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25840
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 168040 0 0 0 53716 308 0 0 25 0 1 0 832920130 700239872 167964 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 170957 167964 1111 63 0 170894 0
vsize: 683828
[startup+550.178 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25840
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 171298 0 0 0 54711 314 0 0 25 0 1 0 832920130 713527296 171222 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 174201 171222 1111 63 0 174138 0
vsize: 696804
[startup+560.178 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25842
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 174548 0 0 0 55705 320 0 0 25 0 1 0 832920130 726814720 174472 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 177445 174472 1111 63 0 177382 0
vsize: 709780
[startup+570.179 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25842
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 177825 0 0 0 56699 326 0 0 25 0 1 0 832920130 740249600 177749 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 180725 177749 1111 63 0 180662 0
vsize: 722900
[startup+580.18 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25842
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 181112 0 0 0 57694 331 0 0 25 0 1 0 832920130 753692672 181036 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 184007 181036 1111 63 0 183944 0
vsize: 736028
[startup+590.179 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25842
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 184431 0 0 0 58688 337 0 0 25 0 1 0 832920130 767279104 184355 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 187324 184355 1111 63 0 187261 0
vsize: 749296
[startup+600.181 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25842
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 187766 0 0 0 59682 344 0 0 25 0 1 0 832920130 781012992 187690 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 190677 187690 1111 63 0 190614 0
vsize: 762708
[startup+610.181 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25842
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 191102 0 0 0 60675 351 0 0 25 0 1 0 832920130 794599424 191026 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 193994 191026 1111 63 0 193931 0
vsize: 775976
[startup+620.182 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25842
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 194554 0 0 0 61669 357 0 0 25 0 1 0 832920130 808787968 194478 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 197458 194478 1111 63 0 197395 0
vsize: 789832
[startup+630.183 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25842
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 198068 0 0 0 62664 362 0 0 25 0 1 0 832920130 823480320 197992 4294967295 134512640 134714508 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 201045 197992 1111 63 0 200982 0
vsize: 804180
[startup+640.183 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25842
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 201454 0 0 0 63659 368 0 0 25 0 1 0 832920130 837214208 201378 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 204398 201378 1111 63 0 204335 0
vsize: 817592
[startup+650.184 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25842
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 205045 0 0 0 64652 375 0 0 25 0 1 0 832920130 852000768 204969 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 208008 204969 1111 63 0 207945 0
vsize: 832032
[startup+660.184 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25842
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 208618 0 0 0 65644 383 0 0 25 0 1 0 832920130 866627584 208542 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 211579 208542 1111 63 0 211516 0
vsize: 846316
[startup+670.186 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25842
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 212276 0 0 0 66637 390 0 0 25 0 1 0 832920130 881561600 212136 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 215225 212136 1111 63 0 215162 0
vsize: 860900
[startup+680.187 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25842
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 215929 0 0 0 67629 398 0 0 25 0 1 0 832920130 896491520 215693 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 218870 215693 1111 63 0 218807 0
vsize: 875480
[startup+690.187 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25842
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 219600 0 0 0 68621 407 0 0 25 0 1 0 832920130 911572992 219108 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 222552 219108 1111 63 0 222489 0
vsize: 890208
[startup+700.187 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25842
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 223233 0 0 0 69614 414 0 0 25 0 1 0 832920130 926498816 222421 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226196 222421 1111 63 0 226133 0
vsize: 904784
[startup+710.187 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 25842
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 226863 0 0 0 70605 423 0 0 25 0 1 0 832920130 941285376 225795 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229806 225795 1111 63 0 229743 0
vsize: 919224
[startup+712.322 s]
Raw data (loadavg): 1.00 0.99 0.99 1/53 25842
Raw data (stat): 25785 (bsolo_lpr_cuts) R 25784 22056 22055 0 -1 0 226863 0 0 0 70605 423 0 0 25 0 1 0 832920130 941285376 225795 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229806 225795 1111 63 0 229743 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 712.322
CPU time (s): 712.421
CPU user time (s): 707.739
CPU system time (s): 4.68129
CPU usage (%): 100.014
Max. virtual memory (Kb): 919224
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####