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 41050

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        658048 kB
Buffers:         25596 kB
Cached:         329108 kB
SwapCached:        732 kB
Active:          31068 kB
Inactive:       325680 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        657796 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            14104 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 05:04:52 (client local time) WITH STATUS 0 IN 637.746 SECONDS
stats: 29112 7 637.746 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.91 0.94 0.90 1/54 28505
Raw data (stat): 28505 (runsolver) R 28504 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907550939 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.92 0.95 0.90 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 28280 0 0 0 944 53 0 0 25 0 1 0 907550939 128823296 28200 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31451 28200 1111 63 0 31388 0
vsize: 125804
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 56059 0 0 0 1893 103 0 0 25 0 1 0 907550939 242626560 55979 4294967295 134512640 134716908 3221224560 3221223216 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59235 55979 1111 63 0 59172 0
vsize: 236940
[startup+30.0017 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 66595 0 0 0 2875 122 0 0 25 0 1 0 907550939 285712384 66515 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69754 66515 1111 63 0 69691 0
vsize: 279016
[startup+40.0023 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 67267 0 0 0 3873 124 0 0 25 0 1 0 907550939 288555008 67187 4294967295 134512640 134716908 3221224560 3221222848 134566780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70448 67187 1111 63 0 70385 0
vsize: 281792
[startup+50.0039 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 67892 0 0 0 4871 125 0 0 25 0 1 0 907550939 291131392 67812 4294967295 134512640 134716908 3221224560 3221223108 1077374149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71077 67812 1111 63 0 71014 0
vsize: 284308
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 68459 0 0 0 5869 126 0 0 25 0 1 0 907550939 293490688 68379 4294967295 134512640 134716908 3221224560 3221223232 134568949 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71653 68379 1111 63 0 71590 0
vsize: 286612
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 69015 0 0 0 6867 129 0 0 25 0 1 0 907550939 295981056 68935 4294967295 134512640 134716908 3221224560 3221222836 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72261 68936 1111 63 0 72198 0
vsize: 289044
[startup+80.0036 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 71655 0 0 0 7861 134 0 0 25 0 1 0 907550939 297005056 71518 4294967295 134512640 134716908 3221224560 3221222944 134542344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72511 71518 1111 63 0 72448 0
vsize: 290044
[startup+90.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 74844 0 0 0 8856 140 0 0 25 0 1 0 907550939 310120448 74707 4294967295 134512640 134716908 3221224560 3221223184 134528943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75713 74707 1111 63 0 75650 0
vsize: 302852
[startup+100.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 77899 0 0 0 9851 145 0 0 25 0 1 0 907550939 322564096 77762 4294967295 134512640 134716908 3221224560 3221222924 134539306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78751 77762 1111 63 0 78688 0
vsize: 315004
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 81033 0 0 0 10846 150 0 0 25 0 1 0 907550939 335409152 80896 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81887 80896 1111 63 0 81824 0
vsize: 327548
[startup+120.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 83982 0 0 0 11842 154 0 0 25 0 1 0 907550939 347443200 83845 4294967295 134512640 134716908 3221224560 3221223072 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84825 83845 1111 63 0 84762 0
vsize: 339300
[startup+130.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 87009 0 0 0 12835 161 0 0 25 0 1 0 907550939 359886848 86872 4294967295 134512640 134716908 3221224560 3221223004 134535915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87863 86872 1111 63 0 87800 0
vsize: 351452
[startup+140.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 90134 0 0 0 13829 167 0 0 25 0 1 0 907550939 372731904 89997 4294967295 134512640 134716908 3221224560 3221223040 134539371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90999 89997 1111 63 0 90936 0
vsize: 363996
[startup+150.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 93194 0 0 0 14823 174 0 0 25 0 1 0 907550939 385171456 93057 4294967295 134512640 134716908 3221224560 3221223064 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94036 93058 1111 63 0 93973 0
vsize: 376144
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 96197 0 0 0 15816 180 0 0 25 0 1 0 907550939 397479936 96060 4294967295 134512640 134716908 3221224560 3221223028 134536691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97041 96060 1111 63 0 96978 0
vsize: 388164
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 99242 0 0 0 16811 186 0 0 25 0 1 0 907550939 410054656 99105 4294967295 134512640 134716908 3221224560 3221222944 134542312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100111 99105 1111 63 0 100048 0
vsize: 400444
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 102202 0 0 0 17807 190 0 0 25 0 1 0 907550939 422088704 102065 4294967295 134512640 134716908 3221224560 3221223028 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103049 102065 1111 63 0 102986 0
vsize: 412196
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 105232 0 0 0 18801 196 0 0 25 0 1 0 907550939 434532352 105095 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106087 105095 1111 63 0 106024 0
vsize: 424348
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 108196 0 0 0 19795 202 0 0 25 0 1 0 907550939 446701568 108059 4294967295 134512640 134716908 3221224560 3221223040 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109058 108059 1111 63 0 108995 0
vsize: 436232
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 111135 0 0 0 20791 206 0 0 25 0 1 0 907550939 458735616 110998 4294967295 134512640 134716908 3221224560 3221223020 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111996 110998 1111 63 0 111933 0
vsize: 447984
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 114142 0 0 0 21786 212 0 0 25 0 1 0 907550939 471040000 114005 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115000 114005 1111 63 0 114937 0
vsize: 460000
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 117073 0 0 0 22782 216 0 0 25 0 1 0 907550939 483078144 116936 4294967295 134512640 134716908 3221224560 3221223048 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117939 116936 1111 63 0 117876 0
vsize: 471756
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 119968 0 0 0 23776 222 0 0 25 0 1 0 907550939 494841856 119831 4294967295 134512640 134716908 3221224560 3221222944 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 120811 119831 1111 63 0 120748 0
vsize: 483244
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 122994 0 0 0 24772 227 0 0 25 0 1 0 907550939 507281408 122857 4294967295 134512640 134716908 3221224560 3221223048 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123848 122857 1111 63 0 123785 0
vsize: 495392
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 125815 0 0 0 25767 232 0 0 25 0 1 0 907550939 518778880 125678 4294967295 134512640 134716908 3221224560 3221222972 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126655 125678 1111 63 0 126592 0
vsize: 506620
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 128715 0 0 0 26762 236 0 0 25 0 1 0 907550939 530677760 128578 4294967295 134512640 134716908 3221224560 3221223116 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 129560 128578 1111 63 0 129497 0
vsize: 518240
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 131550 0 0 0 27757 242 0 0 25 0 1 0 907550939 542306304 131413 4294967295 134512640 134716908 3221224560 3221223004 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132399 131413 1111 63 0 132336 0
vsize: 529596
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 134535 0 0 0 28752 247 0 0 25 0 1 0 907550939 554610688 134398 4294967295 134512640 134716908 3221224560 3221223040 134539353 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135403 134398 1111 63 0 135340 0
vsize: 541612
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 137430 0 0 0 29747 253 0 0 25 0 1 0 907550939 566378496 137293 4294967295 134512640 134716908 3221224560 3221222944 134542306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138276 137293 1111 63 0 138213 0
vsize: 553104
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 140345 0 0 0 30741 258 0 0 25 0 1 0 907550939 578412544 140208 4294967295 134512640 134716908 3221224560 3221223064 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 141214 140208 1111 63 0 141151 0
vsize: 564856
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 143180 0 0 0 31737 262 0 0 25 0 1 0 907550939 589905920 143043 4294967295 134512640 134716908 3221224560 3221223176 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 144020 143043 1111 63 0 143957 0
vsize: 576080
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 145988 0 0 0 32733 267 0 0 25 0 1 0 907550939 601534464 145851 4294967295 134512640 134716908 3221224560 3221222968 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 146859 145851 1111 63 0 146796 0
vsize: 587436
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 148830 0 0 0 33728 272 0 0 25 0 1 0 907550939 613167104 148693 4294967295 134512640 134716908 3221224560 3221222940 134539334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 149699 148693 1111 63 0 149636 0
vsize: 598796
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28505
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 151692 0 0 0 34723 278 0 0 25 0 1 0 907550939 624795648 151555 4294967295 134512640 134716908 3221224560 3221223000 134542657 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 152538 151555 1111 63 0 152475 0
vsize: 610152
[startup+360.078 s]
Raw data (loadavg): 1.07 0.99 0.91 3/58 28551
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 154609 0 0 0 35724 283 0 0 25 0 1 0 907550939 636829696 154472 4294967295 134512640 134716908 3221224560 3221223040 134539446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 155476 154472 1111 63 0 155413 0
vsize: 621904
[startup+370.078 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 28558
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 157424 0 0 0 36719 288 0 0 25 0 1 0 907550939 648323072 157287 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 158282 157287 1111 63 0 158219 0
vsize: 633128
[startup+380.237 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 28558
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 160191 0 0 0 37731 293 0 0 25 0 1 0 907550939 659681280 160054 4294967295 134512640 134716908 3221224560 3221222944 134542297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 161055 160054 1111 63 0 160992 0
vsize: 644220
[startup+390.237 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 28558
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 163037 0 0 0 38725 299 0 0 25 0 1 0 907550939 671313920 162900 4294967295 134512640 134716908 3221224560 3221223040 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 163895 162900 1111 63 0 163832 0
vsize: 655580
[startup+400.238 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 28558
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 165798 0 0 0 39719 304 0 0 25 0 1 0 907550939 682672128 165661 4294967295 134512640 134716908 3221224560 3221223180 134543776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 166668 165661 1111 63 0 166605 0
vsize: 666672
[startup+410.239 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 28558
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 168569 0 0 0 40712 310 0 0 25 0 1 0 907550939 694030336 168432 4294967295 134512640 134716908 3221224560 3221223064 1077377241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 169441 168432 1111 63 0 169378 0
vsize: 677764
[startup+420.239 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 28558
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 171432 0 0 0 41706 316 0 0 25 0 1 0 907550939 705658880 171295 4294967295 134512640 134716908 3221224560 3221222924 134539276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 172280 171295 1111 63 0 172217 0
vsize: 689120
[startup+430.239 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 28560
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 174226 0 0 0 42699 322 0 0 25 0 1 0 907550939 717156352 174089 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 175087 174089 1111 63 0 175024 0
vsize: 700348
[startup+440.24 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 28560
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 177034 0 0 0 43693 328 0 0 25 0 1 0 907550939 728649728 176897 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 177893 176897 1111 63 0 177830 0
vsize: 711572
[startup+450.24 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 28560
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 179831 0 0 0 44688 334 0 0 25 0 1 0 907550939 740143104 179694 4294967295 134512640 134716908 3221224560 3221223068 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 180699 179694 1111 63 0 180636 0
vsize: 722796
[startup+460.24 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 28560
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 182580 0 0 0 45683 339 0 0 25 0 1 0 907550939 751366144 182443 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 183439 182443 1111 63 0 183376 0
vsize: 733756
[startup+470.241 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 28560
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 185322 0 0 0 46677 345 0 0 25 0 1 0 907550939 762589184 185185 4294967295 134512640 134716908 3221224560 3221222952 134542295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 186179 185185 1111 63 0 186116 0
vsize: 744716
[startup+480.241 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 28560
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 188009 0 0 0 47671 351 0 0 25 0 1 0 907550939 773545984 187872 4294967295 134512640 134716908 3221224560 3221222944 134542306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 188854 187872 1111 63 0 188791 0
vsize: 755416
[startup+490.242 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 28560
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 190791 0 0 0 48666 356 0 0 25 0 1 0 907550939 785039360 190654 4294967295 134512640 134716908 3221224560 3221223188 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191660 190654 1111 63 0 191597 0
vsize: 766640
[startup+500.243 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28560
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 193494 0 0 0 49661 361 0 0 25 0 1 0 907550939 795992064 193357 4294967295 134512640 134716908 3221224560 3221223040 134536736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 194334 193357 1111 63 0 194271 0
vsize: 777336
[startup+510.242 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28560
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 196212 0 0 0 50656 366 0 0 25 0 1 0 907550939 807215104 196075 4294967295 134512640 134716908 3221224560 3221223040 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 197074 196075 1111 63 0 197011 0
vsize: 788296
[startup+520.244 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28560
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 198949 0 0 0 51649 373 0 0 25 0 1 0 907550939 818438144 198812 4294967295 134512640 134716908 3221224560 3221223280 134625608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 199814 198812 1111 63 0 199751 0
vsize: 799256
[startup+530.244 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28560
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 201656 0 0 0 52643 379 0 0 25 0 1 0 907550939 829530112 201519 4294967295 134512640 134716908 3221224560 3221223348 134617184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 202522 201519 1111 63 0 202459 0
vsize: 810088
[startup+540.244 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28560
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 204295 0 0 0 53638 384 0 0 25 0 1 0 907550939 840347648 204158 4294967295 134512640 134716908 3221224560 3221223064 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 205163 204158 1111 63 0 205100 0
vsize: 820652
[startup+550.245 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28560
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 206911 0 0 0 54631 391 0 0 25 0 1 0 907550939 851030016 206678 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207771 206678 1111 63 0 207708 0
vsize: 831084
[startup+560.245 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28560
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 209485 0 3 0 55623 397 0 0 25 0 1 0 907550939 861577216 209192 4294967295 134512640 134716908 3221224560 3221223028 134536691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 210346 209192 1111 63 0 210283 0
vsize: 841384
[startup+570.245 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28560
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 212120 0 5 0 56614 402 0 0 25 0 1 0 907550939 872259584 211704 4294967295 134512640 134716908 3221224560 3221222964 134542688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 212954 211704 1111 63 0 212891 0
vsize: 851816
[startup+580.246 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28560
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 214714 0 7 0 57607 408 0 0 25 0 1 0 907550939 882941952 214048 4294967295 134512640 134716908 3221224560 3221222944 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 215562 214048 1111 63 0 215499 0
vsize: 862248
[startup+590.247 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28560
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 217284 0 10 0 58599 414 0 0 25 0 1 0 907550939 893489152 216152 4294967295 134512640 134716908 3221224560 3221223020 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 218137 216152 1111 63 0 218074 0
vsize: 872548
[startup+600.247 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28560
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 219917 0 17 0 59586 421 0 0 25 0 1 0 907550939 904171520 218498 4294967295 134512640 134716908 3221224560 3221223232 134668038 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 220745 218498 1111 63 0 220682 0
vsize: 882980
[startup+610.247 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28560
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 222544 0 26 0 60568 429 0 0 25 0 1 0 907550939 914993152 220728 4294967295 134512640 134716908 3221224560 3221223348 134617151 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 223387 220728 1111 63 0 223324 0
vsize: 893548
[startup+620.248 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28560
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 225063 0 33 0 61554 437 0 0 25 0 1 0 907550939 925270016 222849 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 225896 222849 1111 63 0 225833 0
vsize: 903584
[startup+630.247 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28560
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 227602 0 49 0 62532 443 0 0 25 0 1 0 907550939 935682048 224784 4294967295 134512640 134716908 3221224560 3221222976 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228438 224784 1111 63 0 228375 0
vsize: 913752
[startup+638.395 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 28560
Raw data (stat): 28505 (bsolo_lpr_cuts-) R 28504 7266 7265 0 -1 0 227602 0 49 0 62532 443 0 0 25 0 1 0 907550939 935682048 224784 4294967295 134512640 134716908 3221224560 3221222976 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228438 224784 1111 63 0 228375 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 638.395
CPU time (s): 637.746
CPU user time (s): 632.831
CPU system time (s): 4.91525
CPU usage (%): 99.8983
Max. virtual memory (Kb): 913752
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####