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 41544

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 15:31:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29613 boxname=wulflinc2 idbench=1397 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  69337cf8d2b6f6cf8cc02fedc291ffcc  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-air03.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-air03.opb
IDLAUNCH: 29613
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        735888 kB
Buffers:          6512 kB
Cached:         270924 kB
SwapCached:       1432 kB
Active:          30984 kB
Inactive:       248432 kB
HighTotal:      131008 kB
HighFree:        33936 kB
LowTotal:       903652 kB
LowFree:        701952 kB
SwapTotal:     2097136 kB
SwapFree:      2094656 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4968 kB
Slab:            13616 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 15:41:43 (client local time) WITH STATUS 0 IN 632.19 SECONDS
stats: 29613 7 632.19 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.92 0.95 0.91 1/54 30067
Raw data (stat): 30067 (runsolver) R 30066 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911376693 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0003 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 30153 0 0 0 933 63 0 0 25 0 1 0 911376693 136441856 30073 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33311 30073 1111 63 0 33248 0
vsize: 133244
[startup+20 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 59780 0 0 0 1887 109 0 0 25 0 1 0 911376693 257863680 59700 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62955 59700 1111 63 0 62892 0
vsize: 251820
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 66684 0 0 0 2875 121 0 0 25 0 1 0 911376693 286117888 66604 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69853 66604 1111 63 0 69790 0
vsize: 279412
[startup+40.0005 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 67355 0 0 0 3872 123 0 0 25 0 1 0 911376693 288825344 67275 4294967295 134512640 134716908 3221224560 3221222848 134566780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70514 67275 1111 63 0 70451 0
vsize: 282056
[startup+50.0002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 67961 0 0 0 4870 125 0 0 25 0 1 0 911376693 291405824 67881 4294967295 134512640 134716908 3221224560 3221222836 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71144 67881 1111 63 0 71081 0
vsize: 284576
[startup+60.0002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 68540 0 0 0 5867 126 0 0 25 0 1 0 911376693 293912576 68460 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71756 68460 1111 63 0 71693 0
vsize: 287024
[startup+70.0005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 69138 0 0 0 6865 129 0 0 25 0 1 0 911376693 296386560 69058 4294967295 134512640 134716908 3221224560 3221222864 134566768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72360 69058 1111 63 0 72297 0
vsize: 289440
[startup+80.0012 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 72218 0 0 0 7859 134 0 0 25 0 1 0 911376693 299302912 72081 4294967295 134512640 134716908 3221224560 3221223228 134584844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73072 72081 1111 63 0 73009 0
vsize: 292288
[startup+90.0009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 75366 0 0 0 8854 139 0 0 25 0 1 0 911376693 312152064 75229 4294967295 134512640 134716908 3221224560 3221222976 134543712 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.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 78569 0 0 0 9848 146 0 0 25 0 1 0 911376693 325267456 78432 4294967295 134512640 134716908 3221224560 3221223040 134539516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79411 78432 1111 63 0 79348 0
vsize: 317644
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 81562 0 0 0 10843 151 0 0 25 0 1 0 911376693 337571840 81425 4294967295 134512640 134716908 3221224560 3221223040 134536736 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.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 84586 0 0 0 11839 155 0 0 25 0 1 0 911376693 350015488 84449 4294967295 134512640 134716908 3221224560 3221223040 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85453 84449 1111 63 0 85390 0
vsize: 341812
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 87696 0 0 0 12834 161 0 0 25 0 1 0 911376693 362725376 87559 4294967295 134512640 134716908 3221224560 3221222940 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88556 87559 1111 63 0 88493 0
vsize: 354224
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 90825 0 0 0 13829 166 0 0 25 0 1 0 911376693 375570432 90688 4294967295 134512640 134716908 3221224560 3221223176 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91692 90688 1111 63 0 91629 0
vsize: 366768
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 93900 0 0 0 14824 171 0 0 25 0 1 0 911376693 388149248 93763 4294967295 134512640 134716908 3221224560 3221223120 134588000 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94763 93763 1111 63 0 94700 0
vsize: 379052
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 97027 0 0 0 15819 176 0 0 25 0 1 0 911376693 400994304 96890 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97899 96890 1111 63 0 97836 0
vsize: 391596
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 100046 0 0 0 16815 180 0 0 25 0 1 0 911376693 413298688 99909 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100903 99909 1111 63 0 100840 0
vsize: 403612
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 103067 0 0 0 17810 185 0 0 25 0 1 0 911376693 425607168 102930 4294967295 134512640 134716908 3221224560 3221223072 134543735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103908 102930 1111 63 0 103845 0
vsize: 415632
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 106136 0 0 0 18805 190 0 0 25 0 1 0 911376693 438181888 105999 4294967295 134512640 134716908 3221224560 3221223064 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106978 105999 1111 63 0 106915 0
vsize: 427912
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 109101 0 0 0 19801 195 0 0 25 0 1 0 911376693 450351104 108964 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109949 108964 1111 63 0 109886 0
vsize: 439796
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 112070 0 0 0 20797 199 0 0 25 0 1 0 911376693 462524416 111933 4294967295 134512640 134716908 3221224560 3221222944 134542325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112921 111933 1111 63 0 112858 0
vsize: 451684
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 115102 0 0 0 21791 205 0 0 25 0 1 0 911376693 474963968 114965 4294967295 134512640 134716908 3221224560 3221223188 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115958 114965 1111 63 0 115895 0
vsize: 463832
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 118073 0 0 0 22786 210 0 0 25 0 1 0 911376693 487133184 117936 4294967295 134512640 134716908 3221224560 3221223176 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118929 117936 1111 63 0 118866 0
vsize: 475716
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 121081 0 0 0 23781 215 0 0 25 0 1 0 911376693 499437568 120944 4294967295 134512640 134716908 3221224560 3221223040 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121933 120944 1111 63 0 121870 0
vsize: 487732
[startup+250 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 124031 0 0 0 24777 220 0 0 25 0 1 0 911376693 511475712 123894 4294967295 134512640 134716908 3221224560 3221223040 134539446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124872 123894 1111 63 0 124809 0
vsize: 499488
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 126960 0 0 0 25770 226 0 0 25 0 1 0 911376693 523509760 126823 4294967295 134512640 134716908 3221224560 3221223200 134584901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127810 126823 1111 63 0 127747 0
vsize: 511240
[startup+270 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 129848 0 0 0 26764 233 0 0 25 0 1 0 911376693 535408640 129711 4294967295 134512640 134716908 3221224560 3221223184 134528996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130715 129711 1111 63 0 130652 0
vsize: 522860
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 132748 0 0 0 27758 239 0 0 25 0 1 0 911376693 547176448 132611 4294967295 134512640 134716908 3221224560 3221222960 134542694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133588 132611 1111 63 0 133525 0
vsize: 534352
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 135775 0 0 0 28752 246 0 0 25 0 1 0 911376693 559616000 135638 4294967295 134512640 134716908 3221224560 3221223088 134542898 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 136625 135638 1111 63 0 136562 0
vsize: 546500
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 138669 0 0 0 29748 249 0 0 25 0 1 0 911376693 571514880 138532 4294967295 134512640 134716908 3221224560 3221222972 134543616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139530 138532 1111 63 0 139467 0
vsize: 558120
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 141528 0 0 0 30743 254 0 0 25 0 1 0 911376693 583143424 141391 4294967295 134512640 134716908 3221224560 3221222944 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 142369 141391 1111 63 0 142306 0
vsize: 569476
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 144486 0 0 0 31737 260 0 0 25 0 1 0 911376693 595316736 144349 4294967295 134512640 134716908 3221224560 3221223184 134528996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 145341 144349 1111 63 0 145278 0
vsize: 581364
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 147353 0 0 0 32732 266 0 0 25 0 1 0 911376693 607080448 147216 4294967295 134512640 134716908 3221224560 3221223176 134536889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 148213 147216 1111 63 0 148150 0
vsize: 592852
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 150188 0 0 0 33727 271 0 0 25 0 1 0 911376693 618708992 150051 4294967295 134512640 134716908 3221224560 3221222944 134542362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151052 150051 1111 63 0 150989 0
vsize: 604208
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 153160 0 0 0 34720 278 0 0 25 0 1 0 911376693 630878208 153023 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 154023 153023 1111 63 0 153960 0
vsize: 616092
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 155951 0 0 0 35716 283 0 0 25 0 1 0 911376693 642240512 155814 4294967295 134512640 134716908 3221224560 3221222968 134543628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 156797 155814 1111 63 0 156734 0
vsize: 627188
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 158810 0 0 0 36711 287 0 0 25 0 1 0 911376693 654004224 158673 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 159669 158673 1111 63 0 159606 0
vsize: 638676
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 161637 0 0 0 37705 294 0 0 25 0 1 0 911376693 665632768 161500 4294967295 134512640 134716908 3221224560 3221223064 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 162508 161501 1111 63 0 162445 0
vsize: 650032
[startup+390.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 164456 0 0 0 38700 299 0 0 25 0 1 0 911376693 677126144 164319 4294967295 134512640 134716908 3221224560 3221223064 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 165314 164320 1111 63 0 165251 0
vsize: 661256
[startup+400.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 167260 0 0 0 39694 305 0 0 25 0 1 0 911376693 688623616 167123 4294967295 134512640 134716908 3221224560 3221223072 134543756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 168121 167123 1111 63 0 168058 0
vsize: 672484
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 170107 0 0 0 40689 310 0 0 25 0 1 0 911376693 700252160 169970 4294967295 134512640 134716908 3221224560 3221223064 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 170960 169970 1111 63 0 170897 0
vsize: 683840
[startup+420.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 172924 0 0 0 41685 315 0 0 25 0 1 0 911376693 711745536 172787 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 173766 172787 1111 63 0 173703 0
vsize: 695064
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 175725 0 0 0 42680 320 0 0 25 0 1 0 911376693 723238912 175588 4294967295 134512640 134716908 3221224560 3221222976 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 176572 175588 1111 63 0 176509 0
vsize: 706288
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 178555 0 0 0 43675 325 0 0 25 0 1 0 911376693 734867456 178418 4294967295 134512640 134716908 3221224560 3221223088 134542898 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179411 178418 1111 63 0 179348 0
vsize: 717644
[startup+450.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 181278 0 0 0 44669 331 0 0 25 0 1 0 911376693 745959424 181141 4294967295 134512640 134716908 3221224560 3221223176 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 182119 181141 1111 63 0 182056 0
vsize: 728476
[startup+460.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 184033 0 0 0 45663 337 0 0 25 0 1 0 911376693 757317632 183896 4294967295 134512640 134716908 3221224560 3221222944 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 184892 183896 1111 63 0 184829 0
vsize: 739568
[startup+470.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 186839 0 0 0 46657 342 0 0 25 0 1 0 911376693 768811008 186702 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 187698 186702 1111 63 0 187635 0
vsize: 750792
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 189497 0 0 0 47651 347 0 0 25 0 1 0 911376693 779628544 189360 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 190339 189360 1111 63 0 190276 0
vsize: 761356
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 192246 0 0 0 48645 352 0 0 25 0 1 0 911376693 790986752 192109 4294967295 134512640 134716908 3221224560 3221223176 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 193112 192109 1111 63 0 193049 0
vsize: 772448
[startup+500.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 194916 0 0 0 49639 356 0 0 25 0 1 0 911376693 801943552 194779 4294967295 134512640 134716908 3221224560 3221222940 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 195787 194779 1111 63 0 195724 0
vsize: 783148
[startup+510.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 197623 0 0 0 50632 361 0 0 25 0 1 0 911376693 813031424 197391 4294967295 134512640 134716908 3221224560 3221222948 134539339 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198494 197391 1111 63 0 198431 0
vsize: 793976
[startup+520.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 200365 0 3 0 51622 367 0 0 25 0 1 0 911376693 824254464 199911 4294967295 134512640 134716908 3221224560 3221223040 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 201234 199911 1111 63 0 201171 0
vsize: 804936
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 202997 0 7 0 52612 371 0 0 25 0 1 0 911376693 834936832 202165 4294967295 134512640 134716908 3221224560 3221223100 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 203842 202165 1111 63 0 203779 0
vsize: 815368
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 205600 0 17 0 53595 378 0 0 21 0 1 0 911376693 845619200 204432 4294967295 134512640 134716908 3221224560 3221223232 134594901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 206450 204432 1111 63 0 206387 0
vsize: 825800
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 208168 0 24 0 54581 382 0 0 25 0 1 0 911376693 856031232 206630 4294967295 134512640 134716908 3221224560 3221222944 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 208992 206630 1111 63 0 208929 0
vsize: 835968
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 210840 0 25 0 55574 387 0 0 25 0 1 0 911376693 866988032 209125 4294967295 134512640 134716908 3221224560 3221223092 134542981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 211667 209125 1111 63 0 211604 0
vsize: 846668
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 213391 0 31 0 56562 391 0 0 25 0 1 0 911376693 877400064 211398 4294967295 134512640 134716908 3221224560 3221223064 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214242 211399 1111 63 0 214179 0
vsize: 856836
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 215966 0 38 0 57549 396 0 0 25 0 1 0 911376693 887947264 213660 4294967295 134512640 134716908 3221224560 3221223020 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 216784 213660 1111 63 0 216721 0
vsize: 867136
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 218581 0 42 0 58536 402 0 0 25 0 1 0 911376693 898629632 215874 4294967295 134512640 134716908 3221224560 3221223200 134594944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 219392 215874 1111 63 0 219329 0
vsize: 877568
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 221105 0 101 0 59469 409 0 0 24 0 1 0 911376693 908771328 218154 4294967295 134512640 134716908 3221224560 3221223004 134536784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 221868 218154 1111 63 0 221805 0
vsize: 887472
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 223673 0 116 0 60444 415 0 0 25 0 1 0 911376693 919318528 220272 4294967295 134512640 134716908 3221224560 3221222992 134543674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224443 220272 1111 63 0 224380 0
vsize: 897772
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 226245 0 128 0 61421 421 0 0 24 0 1 0 911376693 929730560 222386 4294967295 134512640 134716908 3221224560 3221223048 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 226985 222387 1111 63 0 226922 0
vsize: 907940
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 228746 0 138 0 62399 426 0 0 25 0 1 0 911376693 940007424 224386 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229494 224386 1111 63 0 229431 0
vsize: 917976
[startup+634.048 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 30067
Raw data (stat): 30067 (bsolo_lpr_cuts-) R 30066 31399 31398 0 -1 0 228746 0 138 0 62399 426 0 0 25 0 1 0 911376693 940007424 224386 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229494 224386 1111 63 0 229431 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 634.048
CPU time (s): 632.19
CPU user time (s): 627.484
CPU system time (s): 4.70628
CPU usage (%): 99.707
Max. virtual memory (Kb): 917976
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####