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-air02.opb
MD5SUM	75acdcffdd43b3d3a30d0459a6bffe45
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	6106
Optimality of the best value was proved	NO
Number of terms in the objective function	6774
Biggest coefficient in the objective function	4804
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	6613094
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	4804
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	6613094
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1190.1
Number of variables	6774
Total number of constraints	6824
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	6824
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	3729
Trace number 41054

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 04:52:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29111 boxname=wulflinc2 idbench=895 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  75acdcffdd43b3d3a30d0459a6bffe45  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-air02.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-air02.opb
IDLAUNCH: 29111
/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:        799704 kB
Buffers:         25092 kB
Cached:         184704 kB
SwapCached:       4472 kB
Active:          31208 kB
Inactive:       183704 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        799424 kB
SwapTotal:     2097136 kB
SwapFree:      2091616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            14256 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 05:05:55 (client local time) WITH STATUS 0 IN 781.031 SECONDS
stats: 29111 7 781.031 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6774 variables and 100 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.84 0.94 0.90 2/54 20050
Raw data (stat): 20050 (runsolver) R 20049 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907546413 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.0008 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 41955 0 0 0 911 86 0 0 25 0 1 0 907546413 184889344 41875 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45139 41875 1111 63 0 45076 0
vsize: 180556
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 42828 0 0 0 1908 88 0 0 25 0 1 0 907546413 188420096 42748 4294967295 134512640 134716908 3221224560 3221221036 1077196847 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46001 42748 1111 63 0 45938 0
vsize: 184004
[startup+30.0012 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 43627 0 0 0 2905 91 0 0 25 0 1 0 907546413 191827968 43547 4294967295 134512640 134716908 3221224560 3221222836 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46833 43547 1111 63 0 46770 0
vsize: 187332
[startup+40.0014 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 46123 0 0 0 3900 96 0 0 25 0 1 0 907546413 192229376 46009 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46931 46009 1111 63 0 46868 0
vsize: 187724
[startup+50.0017 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 49099 0 0 0 4895 102 0 0 25 0 1 0 907546413 204398592 48985 4294967295 134512640 134716908 3221224560 3221223024 134536653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49902 48985 1111 63 0 49839 0
vsize: 199608
[startup+60.0023 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 52022 0 0 0 5891 106 0 0 25 0 1 0 907546413 216432640 51908 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52840 51908 1111 63 0 52777 0
vsize: 211360
[startup+70.003 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 54966 0 0 0 6885 112 0 0 25 0 1 0 907546413 228470784 54852 4294967295 134512640 134716908 3221224560 3221222956 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55779 54852 1111 63 0 55716 0
vsize: 223116
[startup+80.0027 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 57873 0 0 0 7879 119 0 0 25 0 1 0 907546413 240369664 57759 4294967295 134512640 134716908 3221224560 3221222976 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58684 57759 1111 63 0 58621 0
vsize: 234736
[startup+90.0024 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 60813 0 0 0 8873 124 0 0 25 0 1 0 907546413 252403712 60699 4294967295 134512640 134716908 3221224560 3221223184 134529027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61622 60699 1111 63 0 61559 0
vsize: 246488
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 63656 0 0 0 9868 129 0 0 25 0 1 0 907546413 264032256 63542 4294967295 134512640 134716908 3221224560 3221222940 134539223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64461 63542 1111 63 0 64398 0
vsize: 257844
[startup+110.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 66577 0 0 0 10862 136 0 0 25 0 1 0 907546413 276070400 66463 4294967295 134512640 134716908 3221224560 3221223184 134528780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67400 66463 1111 63 0 67337 0
vsize: 269600
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 69453 0 0 0 11855 142 0 0 25 0 1 0 907546413 287834112 69339 4294967295 134512640 134716908 3221224560 3221223432 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70272 69339 1111 63 0 70209 0
vsize: 281088
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 72366 0 0 0 12851 147 0 0 25 0 1 0 907546413 299732992 72252 4294967295 134512640 134716908 3221224560 3221223052 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73177 72252 1111 63 0 73114 0
vsize: 292708
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 75171 0 0 0 13846 152 0 0 25 0 1 0 907546413 311226368 75057 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75983 75057 1111 63 0 75920 0
vsize: 303932
[startup+150.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 78034 0 0 0 14841 158 0 0 25 0 1 0 907546413 322994176 77920 4294967295 134512640 134716908 3221224560 3221222928 134539213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78856 77920 1111 63 0 78793 0
vsize: 315424
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 80906 0 0 0 15836 163 0 0 25 0 1 0 907546413 334757888 80792 4294967295 134512640 134716908 3221224560 3221223040 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81728 80792 1111 63 0 81665 0
vsize: 326912
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 83716 0 0 0 16831 168 0 0 25 0 1 0 907546413 346251264 83602 4294967295 134512640 134716908 3221224560 3221222976 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84534 83602 1111 63 0 84471 0
vsize: 338136
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 86540 0 0 0 17825 174 0 0 25 0 1 0 907546413 357744640 86426 4294967295 134512640 134716908 3221224560 3221223096 134543665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87340 86426 1111 63 0 87277 0
vsize: 349360
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 89282 0 0 0 18819 180 0 0 25 0 1 0 907546413 368967680 89168 4294967295 134512640 134716908 3221224560 3221223124 1077374114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90080 89168 1111 63 0 90017 0
vsize: 360320
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 92082 0 0 0 19813 186 0 0 25 0 1 0 907546413 380465152 91968 4294967295 134512640 134716908 3221224560 3221223188 134594993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92887 91968 1111 63 0 92824 0
vsize: 371548
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 94815 0 0 0 20807 192 0 0 25 0 1 0 907546413 391688192 94701 4294967295 134512640 134716908 3221224560 3221222936 134539209 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95627 94701 1111 63 0 95564 0
vsize: 382508
[startup+220.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 97605 0 0 0 21803 197 0 0 25 0 1 0 907546413 403046400 97491 4294967295 134512640 134716908 3221224560 3221222940 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98400 97491 1111 63 0 98337 0
vsize: 393600
[startup+230.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 100392 0 0 0 22796 204 0 0 25 0 1 0 907546413 414539776 100278 4294967295 134512640 134716908 3221224560 3221222948 134542296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101206 100278 1111 63 0 101143 0
vsize: 404824
[startup+240.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 103200 0 0 0 23791 209 0 0 25 0 1 0 907546413 426037248 103086 4294967295 134512640 134716908 3221224560 3221223088 134528581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104013 103086 1111 63 0 103950 0
vsize: 416052
[startup+250.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 105951 0 0 0 24787 213 0 0 25 0 1 0 907546413 437260288 105837 4294967295 134512640 134716908 3221224560 3221223288 134675304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106753 105837 1111 63 0 106690 0
vsize: 427012
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 108607 0 0 0 25783 217 0 0 25 0 1 0 907546413 448212992 108493 4294967295 134512640 134716908 3221224560 3221223152 134587964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109427 108493 1111 63 0 109364 0
vsize: 437708
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 111327 0 0 0 26779 222 0 0 25 0 1 0 907546413 459300864 111213 4294967295 134512640 134716908 3221224560 3221223024 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 112134 111213 1111 63 0 112071 0
vsize: 448536
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 113848 0 0 0 27775 225 0 0 25 0 1 0 907546413 469577728 113734 4294967295 134512640 134716908 3221224560 3221223004 134542656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114643 113734 1111 63 0 114580 0
vsize: 458572
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 116508 0 0 0 28770 231 0 0 25 0 1 0 907546413 480530432 116394 4294967295 134512640 134716908 3221224560 3221223040 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117317 116394 1111 63 0 117254 0
vsize: 469268
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 119139 0 0 0 29766 235 0 0 25 0 1 0 907546413 491347968 119025 4294967295 134512640 134716908 3221224560 3221223176 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 119958 119025 1111 63 0 119895 0
vsize: 479832
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 121762 0 0 0 30761 240 0 0 25 0 1 0 907546413 502034432 121648 4294967295 134512640 134716908 3221224560 3221223068 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122567 121648 1111 63 0 122504 0
vsize: 490268
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 124302 0 0 0 31756 245 0 0 25 0 1 0 907546413 512446464 124188 4294967295 134512640 134716908 3221224560 3221222944 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 125109 124188 1111 63 0 125046 0
vsize: 500436
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 126926 0 0 0 32752 250 0 0 25 0 1 0 907546413 523128832 126812 4294967295 134512640 134716908 3221224560 3221223024 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127717 126812 1111 63 0 127654 0
vsize: 510868
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 129483 0 0 0 33747 255 0 0 25 0 1 0 907546413 533676032 129369 4294967295 134512640 134716908 3221224560 3221223176 134543793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 130292 129369 1111 63 0 130229 0
vsize: 521168
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 131940 0 0 0 34743 259 0 0 25 0 1 0 907546413 543682560 131826 4294967295 134512640 134716908 3221224560 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132735 131826 1111 63 0 132672 0
vsize: 530940
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 134545 0 0 0 35739 263 0 0 25 0 1 0 907546413 554364928 134431 4294967295 134512640 134716908 3221224560 3221223184 134528780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135343 134431 1111 63 0 135280 0
vsize: 541372
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 137002 0 0 0 36735 267 0 0 25 0 1 0 907546413 564506624 136888 4294967295 134512640 134716908 3221224560 3221223088 134543756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 137819 136888 1111 63 0 137756 0
vsize: 551276
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 139365 0 0 0 37731 271 0 0 25 0 1 0 907546413 574107648 139251 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 140163 139251 1111 63 0 140100 0
vsize: 560652
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 141745 0 0 0 38728 275 0 0 25 0 1 0 907546413 583843840 141631 4294967295 134512640 134716908 3221224560 3221222924 134539282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 142540 141631 1111 63 0 142477 0
vsize: 570160
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 144277 0 0 0 39723 280 0 0 25 0 1 0 907546413 594255872 144163 4294967295 134512640 134716908 3221224560 3221223040 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 145082 144163 1111 63 0 145019 0
vsize: 580328
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 146785 0 0 0 40719 284 0 0 25 0 1 0 907546413 604532736 146671 4294967295 134512640 134716908 3221224560 3221223184 134529080 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 147591 146671 1111 63 0 147528 0
vsize: 590364
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 149203 0 0 0 41714 289 0 0 25 0 1 0 907546413 614404096 149089 4294967295 134512640 134716908 3221224560 3221223040 134536635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 150001 149089 1111 63 0 149938 0
vsize: 600004
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20050
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 151670 0 0 0 42709 294 0 0 25 0 1 0 907546413 624549888 151556 4294967295 134512640 134716908 3221224560 3221222968 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 152478 151556 1111 63 0 152415 0
vsize: 609912
[startup+440.048 s]
Raw data (loadavg): 1.07 0.99 0.91 2/56 20098
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 154159 0 0 0 43709 298 0 0 25 0 1 0 907546413 634691584 154045 4294967295 134512640 134716908 3221224560 3221222960 134542694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 154954 154045 1111 63 0 154891 0
vsize: 619816
[startup+450.155 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 20103
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 156648 0 0 0 44716 303 0 0 25 0 1 0 907546413 644968448 156534 4294967295 134512640 134716908 3221224560 3221222944 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 157463 156534 1111 63 0 157400 0
vsize: 629852
[startup+460.156 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 20103
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 159110 0 0 0 45711 307 0 0 25 0 1 0 907546413 654974976 158996 4294967295 134512640 134716908 3221224560 3221222968 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 159906 158996 1111 63 0 159843 0
vsize: 639624
[startup+470.156 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 20103
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 161537 0 0 0 46706 312 0 0 25 0 1 0 907546413 664981504 161423 4294967295 134512640 134716908 3221224560 3221223200 134594944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 162349 161423 1111 63 0 162286 0
vsize: 649396
[startup+480.156 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 20103
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 163811 0 0 0 47702 317 0 0 25 0 1 0 907546413 674312192 163697 4294967295 134512640 134716908 3221224560 3221222976 134543738 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 164627 163697 1111 63 0 164564 0
vsize: 658508
[startup+490.156 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 20103
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 166068 0 0 0 48698 321 0 0 25 0 1 0 907546413 683507712 165954 4294967295 134512640 134716908 3221224560 3221223104 134584818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 166872 165954 1111 63 0 166809 0
vsize: 667488
[startup+500.156 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 20103
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 168376 0 0 0 49694 325 0 0 25 0 1 0 907546413 692973568 168262 4294967295 134512640 134716908 3221224560 3221223052 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169183 168262 1111 63 0 169120 0
vsize: 676732
[startup+510.157 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 20103
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 170560 0 0 0 50689 330 0 0 25 0 1 0 907546413 701898752 170446 4294967295 134512640 134716908 3221224560 3221222968 134543628 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 171362 170446 1111 63 0 171299 0
vsize: 685448
[startup+520.158 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 172830 0 0 0 51686 334 0 0 25 0 1 0 907546413 711229440 172716 4294967295 134512640 134716908 3221224560 3221223004 134535928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 173640 172716 1111 63 0 173577 0
vsize: 694560
[startup+530.158 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 175085 0 0 0 52682 338 0 0 25 0 1 0 907546413 720424960 174971 4294967295 134512640 134716908 3221224560 3221223040 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 175885 174971 1111 63 0 175822 0
vsize: 703540
[startup+540.158 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 177435 0 0 0 53678 342 0 0 25 0 1 0 907546413 730025984 177321 4294967295 134512640 134716908 3221224560 3221223004 134536839 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 178229 177321 1111 63 0 178166 0
vsize: 712916
[startup+550.158 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 179799 0 0 0 54674 347 0 0 25 0 1 0 907546413 739762176 179685 4294967295 134512640 134716908 3221224560 3221223124 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 180606 179685 1111 63 0 180543 0
vsize: 722424
[startup+560.158 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 182121 0 0 0 55669 351 0 0 25 0 1 0 907546413 749228032 182007 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 182917 182007 1111 63 0 182854 0
vsize: 731668
[startup+570.158 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 184393 0 0 0 56665 356 0 0 25 0 1 0 907546413 758558720 184279 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 185195 184279 1111 63 0 185132 0
vsize: 740780
[startup+580.158 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 186726 0 0 0 57661 360 0 0 25 0 1 0 907546413 768159744 186612 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 187539 186612 1111 63 0 187476 0
vsize: 750156
[startup+590.159 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 188995 0 0 0 58657 364 0 0 25 0 1 0 907546413 777355264 188881 4294967295 134512640 134716908 3221224560 3221223104 134535812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 189784 188881 1111 63 0 189721 0
vsize: 759136
[startup+600.158 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 191243 0 0 0 59653 368 0 0 25 0 1 0 907546413 786685952 191129 4294967295 134512640 134716908 3221224560 3221223068 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 192062 191129 1111 63 0 191999 0
vsize: 768248
[startup+610.159 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 193472 0 0 0 60649 373 0 0 25 0 1 0 907546413 795746304 193358 4294967295 134512640 134716908 3221224560 3221223184 134594994 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 194274 193358 1111 63 0 194211 0
vsize: 777096
[startup+620.159 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 195735 0 0 0 61645 377 0 0 25 0 1 0 907546413 805076992 195621 4294967295 134512640 134716908 3221224560 3221223184 134594994 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 196552 195621 1111 63 0 196489 0
vsize: 786208
[startup+630.159 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 197919 0 0 0 62641 380 0 0 25 0 1 0 907546413 814002176 197805 4294967295 134512640 134716908 3221224560 3221223024 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198731 197805 1111 63 0 198668 0
vsize: 794924
[startup+640.159 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 200110 0 0 0 63637 385 0 0 25 0 1 0 907546413 822927360 199996 4294967295 134512640 134716908 3221224560 3221223040 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 200910 199996 1111 63 0 200847 0
vsize: 803640
[startup+650.159 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 202244 0 0 0 64632 390 0 0 25 0 1 0 907546413 831713280 202130 4294967295 134512640 134716908 3221224560 3221222940 134539326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 203055 202130 1111 63 0 202992 0
vsize: 812220
[startup+660.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 204397 0 0 0 65627 395 0 0 25 0 1 0 907546413 840503296 204283 4294967295 134512640 134716908 3221224560 3221222976 134542723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 205201 204283 1111 63 0 205138 0
vsize: 820804
[startup+670.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 206531 0 0 0 66622 401 0 0 25 0 1 0 907546413 849293312 206287 4294967295 134512640 134716908 3221224560 3221223040 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 207347 206287 1111 63 0 207284 0
vsize: 829388
[startup+680.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 208665 0 0 0 67617 406 0 0 25 0 1 0 907546413 857948160 208234 4294967295 134512640 134716908 3221224560 3221223076 134542856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 209460 208234 1111 63 0 209397 0
vsize: 837840
[startup+690.161 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 210667 0 13 0 68600 412 0 0 25 0 1 0 907546413 866197504 210024 4294967295 134512640 134716908 3221224560 3221223052 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 211474 210024 1111 63 0 211411 0
vsize: 845896
[startup+700.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 212769 0 20 0 69585 417 0 0 25 0 1 0 907546413 874717184 211739 4294967295 134512640 134716908 3221224560 3221222944 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 213554 211739 1111 63 0 213491 0
vsize: 854216
[startup+710.161 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 214871 0 30 0 70564 422 0 0 25 0 1 0 907546413 883372032 213481 4294967295 134512640 134716908 3221224560 3221222924 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 215667 213481 1111 63 0 215604 0
vsize: 862668
[startup+720.162 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 216944 0 41 0 71543 428 0 0 25 0 1 0 907546413 891756544 215028 4294967295 134512640 134716908 3221224560 3221223132 134543124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 217714 215028 1111 63 0 217651 0
vsize: 870856
[startup+730.161 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 219013 0 54 0 72521 434 0 0 25 0 1 0 907546413 900276224 216538 4294967295 134512640 134716908 3221224560 3221222968 134543617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 219794 216538 1111 63 0 219731 0
vsize: 879176
[startup+740.162 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 221115 0 88 0 73476 441 0 0 25 0 1 0 907546413 908660736 217798 4294967295 134512640 134716908 3221224560 3221223040 134536594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 221841 217798 1111 63 0 221778 0
vsize: 887364
[startup+750.162 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 223214 0 102 0 74452 447 0 0 25 0 1 0 907546413 917180416 219387 4294967295 134512640 134716908 3221224560 3221223040 134536643 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 223921 219387 1111 63 0 223858 0
vsize: 895684
[startup+760.163 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 225307 0 121 0 75422 454 0 0 25 0 1 0 907546413 925696000 220877 4294967295 134512640 134716908 3221224560 3221223176 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 226000 220877 1111 63 0 225937 0
vsize: 904000
[startup+770.163 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) R 20049 31399 31398 0 -1 0 227267 0 175 0 76360 460 0 0 25 0 1 0 907546413 933539840 222325 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227915 222325 1111 63 0 227852 0
vsize: 911660
[startup+780.163 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) D 20049 31399 31398 0 -1 0 229193 0 201 0 77320 467 0 0 25 0 1 0 907546413 941248512 223376 4294967295 134512640 134716908 3221224560 3221223296 134625525 0 0 7 0 3222515881 0 0 17 0 0 0
Raw data (statm): 229797 223376 1111 63 0 229734 0
vsize: 919188
[startup+783.341 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 20105
Raw data (stat): 20050 (bsolo_lpr_cuts-) D 20049 31399 31398 0 -1 0 229193 0 201 0 77320 467 0 0 25 0 1 0 907546413 941248512 223376 4294967295 134512640 134716908 3221224560 3221223296 134625525 0 0 7 0 3222515881 0 0 17 0 0 0
Raw data (statm): 229797 223376 1111 63 0 229734 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 783.341
CPU time (s): 781.031
CPU user time (s): 775.918
CPU system time (s): 5.11322
CPU usage (%): 99.7052
Max. virtual memory (Kb): 919188
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####