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/miplib/normalized-mps-v2-13-7-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	1189.21
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 41435

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        731620 kB
Buffers:          7984 kB
Cached:         274224 kB
SwapCached:        876 kB
Active:          26240 kB
Inactive:       257936 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        731340 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4912 kB
Slab:            13196 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 12:29:28 (client local time) WITH STATUS 0 IN 777.113 SECONDS
stats: 29495 7 777.113 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.85 0.92 0.90 2/54 15780
Raw data (stat): 15780 (runsolver) R 15779 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910195110 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.0009 s]
Raw data (loadavg): 0.87 0.92 0.90 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 41947 0 0 0 917 80 0 0 25 0 1 0 910195110 184889344 41867 4294967295 134512640 134716908 3221224560 3221222860 1077360129 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45139 41867 1111 63 0 45076 0
vsize: 180556
[startup+20.0008 s]
Raw data (loadavg): 0.89 0.93 0.90 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 42827 0 0 0 1915 83 0 0 25 0 1 0 910195110 188420096 42747 4294967295 134512640 134716908 3221224560 3221221180 1077253597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46001 42747 1111 63 0 45938 0
vsize: 184004
[startup+30.0016 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 43627 0 0 0 2913 85 0 0 25 0 1 0 910195110 191827968 43547 4294967295 134512640 134716908 3221224560 3221222864 134566566 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.0015 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 46038 0 0 0 3908 89 0 0 25 0 1 0 910195110 191823872 45924 4294967295 134512640 134716908 3221224560 3221223040 134539446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46832 45924 1111 63 0 46769 0
vsize: 187328
[startup+50.0032 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 48933 0 0 0 4902 95 0 0 25 0 1 0 910195110 203722752 48819 4294967295 134512640 134716908 3221224560 3221222976 134542665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49737 48819 1111 63 0 49674 0
vsize: 198948
[startup+60.0031 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 51883 0 0 0 5897 101 0 0 25 0 1 0 910195110 215756800 51769 4294967295 134512640 134716908 3221224560 3221223068 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52675 51769 1111 63 0 52612 0
vsize: 210700
[startup+70.0029 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 54796 0 0 0 6892 106 0 0 25 0 1 0 910195110 227794944 54682 4294967295 134512640 134716908 3221224560 3221222924 134539243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55614 54682 1111 63 0 55551 0
vsize: 222456
[startup+80.0041 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 57716 0 0 0 7887 111 0 0 25 0 1 0 910195110 239693824 57602 4294967295 134512640 134716908 3221224560 3221222924 134539306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58519 57602 1111 63 0 58456 0
vsize: 234076
[startup+90.004 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 60687 0 0 0 8881 117 0 0 25 0 1 0 910195110 251863040 60573 4294967295 134512640 134716908 3221224560 3221223352 134617134 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61490 60573 1111 63 0 61427 0
vsize: 245960
[startup+100.005 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 63520 0 0 0 9877 121 0 0 25 0 1 0 910195110 263491584 63406 4294967295 134512640 134716908 3221224560 3221223040 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64329 63406 1111 63 0 64266 0
vsize: 257316
[startup+110.005 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 66379 0 0 0 10872 126 0 0 25 0 1 0 910195110 275259392 66265 4294967295 134512640 134716908 3221224560 3221223048 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67202 66268 1111 63 0 67139 0
vsize: 268808
[startup+120.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 69289 0 0 0 11867 131 0 0 25 0 1 0 910195110 287158272 69175 4294967295 134512640 134716908 3221224560 3221223004 134542656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70107 69175 1111 63 0 70044 0
vsize: 280428
[startup+130.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 72188 0 0 0 12862 137 0 0 25 0 1 0 910195110 298921984 72074 4294967295 134512640 134716908 3221224560 3221223072 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72979 72074 1111 63 0 72916 0
vsize: 291916
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 75083 0 0 0 13856 143 0 0 25 0 1 0 910195110 310820864 74969 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75884 74969 1111 63 0 75821 0
vsize: 303536
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 77865 0 0 0 14851 148 0 0 25 0 1 0 910195110 322183168 77751 4294967295 134512640 134716908 3221224560 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78658 77751 1111 63 0 78595 0
vsize: 314632
[startup+160.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 80717 0 0 0 15846 154 0 0 25 0 1 0 910195110 333946880 80603 4294967295 134512640 134716908 3221224560 3221222968 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81530 80603 1111 63 0 81467 0
vsize: 326120
[startup+170.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 83545 0 0 0 16841 159 0 0 25 0 1 0 910195110 345440256 83431 4294967295 134512640 134716908 3221224560 3221222944 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84336 83431 1111 63 0 84273 0
vsize: 337344
[startup+180.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 86359 0 0 0 17836 164 0 0 25 0 1 0 910195110 357068800 86245 4294967295 134512640 134716908 3221224560 3221223040 134536683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87175 86245 1111 63 0 87112 0
vsize: 348700
[startup+190.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 89181 0 0 0 18831 169 0 0 25 0 1 0 910195110 368562176 89067 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89981 89067 1111 63 0 89918 0
vsize: 359924
[startup+200.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 91928 0 0 0 19825 175 0 0 25 0 1 0 910195110 379789312 91814 4294967295 134512640 134716908 3221224560 3221223052 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92722 91814 1111 63 0 92659 0
vsize: 370888
[startup+210.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 94638 0 0 0 20819 182 0 0 25 0 1 0 910195110 390877184 94524 4294967295 134512640 134716908 3221224560 3221222968 134543638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95429 94524 1111 63 0 95366 0
vsize: 381716
[startup+220.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 97451 0 0 0 21814 187 0 0 25 0 1 0 910195110 402505728 97337 4294967295 134512640 134716908 3221224560 3221223020 134543760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98268 97337 1111 63 0 98205 0
vsize: 393072
[startup+230.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 100249 0 0 0 22810 191 0 0 25 0 1 0 910195110 413863936 100135 4294967295 134512640 134716908 3221224560 3221222944 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101041 100135 1111 63 0 100978 0
vsize: 404164
[startup+240.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 103067 0 0 0 23805 196 0 0 25 0 1 0 910195110 425492480 102953 4294967295 134512640 134716908 3221224560 3221223176 134543830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103880 102953 1111 63 0 103817 0
vsize: 415520
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 105811 0 0 0 24800 201 0 0 25 0 1 0 910195110 436719616 105697 4294967295 134512640 134716908 3221224560 3221223040 134539567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106621 105697 1111 63 0 106558 0
vsize: 426484
[startup+260.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 108509 0 0 0 25795 206 0 0 25 0 1 0 910195110 447807488 108395 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109328 108395 1111 63 0 109265 0
vsize: 437312
[startup+270.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 111233 0 0 0 26791 210 0 0 25 0 1 0 910195110 458895360 111119 4294967295 134512640 134716908 3221224560 3221222924 134539265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 112035 111119 1111 63 0 111972 0
vsize: 448140
[startup+280.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 113848 0 0 0 27787 215 0 0 25 0 1 0 910195110 469577728 113734 4294967295 134512640 134716908 3221224560 3221222976 134543712 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.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 116508 0 0 0 28782 219 0 0 25 0 1 0 910195110 480530432 116394 4294967295 134512640 134716908 3221224560 3221223076 134542856 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.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 119146 0 0 0 29778 224 0 0 25 0 1 0 910195110 491347968 119032 4294967295 134512640 134716908 3221224560 3221223064 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 119958 119034 1111 63 0 119895 0
vsize: 479832
[startup+310.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 121762 0 0 0 30772 230 0 0 25 0 1 0 910195110 502034432 121648 4294967295 134512640 134716908 3221224560 3221222924 134539237 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.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 124370 0 0 0 31768 235 0 0 25 0 1 0 910195110 512716800 124256 4294967295 134512640 134716908 3221224560 3221222944 134542325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 125175 124256 1111 63 0 125112 0
vsize: 500700
[startup+330.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 127013 0 0 0 32763 240 0 0 25 0 1 0 910195110 523534336 126899 4294967295 134512640 134716908 3221224560 3221223124 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127816 126899 1111 63 0 127753 0
vsize: 511264
[startup+340.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 129574 0 0 0 33758 245 0 0 25 0 1 0 910195110 534081536 129460 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 130391 129460 1111 63 0 130328 0
vsize: 521564
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 132150 0 0 0 34753 250 0 0 25 0 1 0 910195110 544628736 132036 4294967295 134512640 134716908 3221224560 3221223068 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132966 132036 1111 63 0 132903 0
vsize: 531864
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 134722 0 0 0 35748 255 0 0 25 0 1 0 910195110 555175936 134608 4294967295 134512640 134716908 3221224560 3221223088 134528524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135541 134608 1111 63 0 135478 0
vsize: 542164
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 137224 0 0 0 36743 260 0 0 25 0 1 0 910195110 565317632 137110 4294967295 134512640 134716908 3221224560 3221223200 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138017 137110 1111 63 0 137954 0
vsize: 552068
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 139572 0 0 0 37740 264 0 0 25 0 1 0 910195110 575053824 139458 4294967295 134512640 134716908 3221224560 3221223040 134536635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 140394 139458 1111 63 0 140331 0
vsize: 561576
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 142076 0 0 0 38736 268 0 0 25 0 1 0 910195110 585195520 141962 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 142870 141962 1111 63 0 142807 0
vsize: 571480
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 144569 0 0 0 39732 272 0 0 25 0 1 0 910195110 595472384 144455 4294967295 134512640 134716908 3221224560 3221223040 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 145379 144455 1111 63 0 145316 0
vsize: 581516
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 147053 0 0 0 40728 276 0 0 25 0 1 0 910195110 605618176 146939 4294967295 134512640 134716908 3221224560 3221222952 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 147856 146939 1111 63 0 147793 0
vsize: 591424
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 149575 0 0 0 41723 281 0 0 25 0 1 0 910195110 615895040 149461 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 150365 149461 1111 63 0 150302 0
vsize: 601460
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 152087 0 0 0 42718 287 0 0 25 0 1 0 910195110 626307072 151973 4294967295 134512640 134716908 3221224560 3221222968 134543628 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 152907 151973 1111 63 0 152844 0
vsize: 611628
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 154619 0 0 0 43713 292 0 0 25 0 1 0 910195110 636583936 154505 4294967295 134512640 134716908 3221224560 3221223040 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 155416 154505 1111 63 0 155353 0
vsize: 621664
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 157076 0 0 0 44710 295 0 0 25 0 1 0 910195110 646725632 156962 4294967295 134512640 134716908 3221224560 3221223088 134528410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 157892 156962 1111 63 0 157829 0
vsize: 631568
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 159512 0 0 0 45705 300 0 0 25 0 1 0 910195110 656596992 159398 4294967295 134512640 134716908 3221224560 3221223184 134588065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 160302 159398 1111 63 0 160239 0
vsize: 641208
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 161949 0 0 0 46700 306 0 0 25 0 1 0 910195110 666603520 161835 4294967295 134512640 134716908 3221224560 3221223056 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 162745 161835 1111 63 0 162682 0
vsize: 650980
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 164285 0 0 0 47696 309 0 0 25 0 1 0 910195110 676204544 164171 4294967295 134512640 134716908 3221224560 3221223040 134539446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165089 164171 1111 63 0 165026 0
vsize: 660356
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 166539 0 0 0 48692 314 0 0 25 0 1 0 910195110 685400064 166425 4294967295 134512640 134716908 3221224560 3221223024 134536653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 167334 166425 1111 63 0 167271 0
vsize: 669336
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 168848 0 0 0 49688 317 0 0 25 0 1 0 910195110 694865920 168734 4294967295 134512640 134716908 3221224560 3221223176 134543825 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169645 168734 1111 63 0 169582 0
vsize: 678580
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 171123 0 0 0 50684 322 0 0 25 0 1 0 910195110 704196608 171009 4294967295 134512640 134716908 3221224560 3221223072 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 171923 171009 1111 63 0 171860 0
vsize: 687692
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 173352 0 0 0 51680 326 0 0 25 0 1 0 910195110 713392128 173238 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 174168 173238 1111 63 0 174105 0
vsize: 696672
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 175674 0 0 0 52677 330 0 0 25 0 1 0 910195110 722857984 175560 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 176479 175560 1111 63 0 176416 0
vsize: 705916
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 178088 0 0 0 53672 334 0 0 25 0 1 0 910195110 732729344 177974 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 178889 177974 1111 63 0 178826 0
vsize: 715556
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 180392 0 0 0 54669 337 0 0 25 0 1 0 910195110 742195200 180278 4294967295 134512640 134716908 3221224560 3221222924 134539279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 181200 180278 1111 63 0 181137 0
vsize: 724800
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 182765 0 0 0 55664 341 0 0 25 0 1 0 910195110 751931392 182651 4294967295 134512640 134716908 3221224560 3221223048 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 183577 182651 1111 63 0 183514 0
vsize: 734308
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 185025 0 0 0 56661 344 0 0 25 0 1 0 910195110 761126912 184911 4294967295 134512640 134716908 3221224560 3221222944 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 185822 184911 1111 63 0 185759 0
vsize: 743288
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 187367 0 0 0 57656 349 0 0 25 0 1 0 910195110 770727936 187253 4294967295 134512640 134716908 3221224560 3221222944 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 188166 187253 1111 63 0 188103 0
vsize: 752664
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 189674 0 0 0 58651 354 0 0 25 0 1 0 910195110 780193792 189560 4294967295 134512640 134716908 3221224560 3221223088 134528410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 190477 189560 1111 63 0 190414 0
vsize: 761908
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 191932 0 0 0 59647 359 0 0 25 0 1 0 910195110 789389312 191818 4294967295 134512640 134716908 3221224560 3221222944 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 192722 191818 1111 63 0 192659 0
vsize: 770888
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 194191 0 0 0 60643 363 0 0 25 0 1 0 910195110 798720000 194077 4294967295 134512640 134716908 3221224560 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 195000 194077 1111 63 0 194937 0
vsize: 780000
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 196500 0 0 0 61638 368 0 0 25 0 1 0 910195110 808185856 196386 4294967295 134512640 134716908 3221224560 3221223076 134542856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 197311 196386 1111 63 0 197248 0
vsize: 789244
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 198679 0 0 0 62635 371 0 0 25 0 1 0 910195110 817111040 198565 4294967295 134512640 134716908 3221224560 3221223004 134536784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 199490 198565 1111 63 0 199427 0
vsize: 797960
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 200868 0 0 0 63631 376 0 0 25 0 1 0 910195110 826036224 200754 4294967295 134512640 134716908 3221224560 3221222968 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 201669 200754 1111 63 0 201606 0
vsize: 806676
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 203069 0 0 0 64626 380 0 0 25 0 1 0 910195110 835096576 202955 4294967295 134512640 134716908 3221224560 3221223004 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 203881 202955 1111 63 0 203818 0
vsize: 815524
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 205267 0 0 0 65622 385 0 0 25 0 1 0 910195110 844021760 205124 4294967295 134512640 134716908 3221224560 3221223044 134539580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 206060 205124 1111 63 0 205997 0
vsize: 824240
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 207387 0 0 0 66618 389 0 0 25 0 1 0 910195110 852811776 207148 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 208206 207148 1111 63 0 208143 0
vsize: 832824
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 209445 0 2 0 67611 393 0 0 25 0 1 0 910195110 861196288 209081 4294967295 134512640 134716908 3221224560 3221222972 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 210253 209081 1111 63 0 210190 0
vsize: 841012
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 211547 0 12 0 68594 397 0 0 25 0 1 0 910195110 869711872 210937 4294967295 134512640 134716908 3221224560 3221223116 134542983 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 212332 210937 1111 63 0 212269 0
vsize: 849328
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 213644 0 23 0 69574 401 0 0 25 0 1 0 910195110 878231552 212483 4294967295 134512640 134716908 3221224560 3221223088 134542851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214412 212483 1111 63 0 214349 0
vsize: 857648
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 215770 0 39 0 70552 404 0 0 25 0 1 0 910195110 886886400 214158 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 216525 214158 1111 63 0 216462 0
vsize: 866100
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 217824 0 45 0 71538 409 0 0 25 0 1 0 910195110 895270912 215792 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 218572 215792 1111 63 0 218509 0
vsize: 874288
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 219840 0 68 0 72500 414 0 0 25 0 1 0 910195110 903385088 217280 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 220553 217280 1111 63 0 220490 0
vsize: 882212
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 221932 0 92 0 73470 419 0 0 25 0 1 0 910195110 911904768 219039 4294967295 134512640 134716908 3221224560 3221222976 134543735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 222633 219039 1111 63 0 222570 0
vsize: 890532
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 224006 0 111 0 74442 423 0 0 25 0 1 0 910195110 920289280 220574 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224680 220574 1111 63 0 224617 0
vsize: 898720
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 226066 0 130 0 75413 427 0 0 24 0 1 0 910195110 928673792 221931 4294967295 134512640 134716908 3221224560 3221223040 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 226727 221931 1111 63 0 226664 0
vsize: 906908
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 227988 0 172 0 76353 432 0 0 24 0 1 0 910195110 936382464 223521 4294967295 134512640 134716908 3221224560 3221223232 134668032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228609 223521 1111 63 0 228546 0
vsize: 914436
[startup+779.496 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 15780
Raw data (stat): 15780 (bsolo_lpr_cuts-) R 15779 21152 21151 0 -1 0 227988 0 172 0 76353 432 0 0 24 0 1 0 910195110 936382464 223521 4294967295 134512640 134716908 3221224560 3221223232 134668032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228609 223521 1111 63 0 228546 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 779.495
CPU time (s): 777.113
CPU user time (s): 772.321
CPU system time (s): 4.79227
CPU usage (%): 99.6944
Max. virtual memory (Kb): 914436
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####