PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 15:19:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29606 boxname=wulflinc4 idbench=1390 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  bc46e72682d969c09e6f4028df473a45  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-t1717.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-t1717.opb
IDLAUNCH: 29606
/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:        882256 kB
Buffers:         15232 kB
Cached:         110756 kB
SwapCached:       5932 kB
Active:          35784 kB
Inactive:        97312 kB
HighTotal:      131008 kB
HighFree:        17584 kB
LowTotal:       903652 kB
LowFree:        864672 kB
SwapTotal:     2097136 kB
SwapFree:      2090176 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4924 kB
Slab:            13548 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 15:31:46 (client local time) WITH STATUS 0 IN 718.753 SECONDS
stats: 29606 7 718.753 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.86 0.94 0.90 2/54 17996
Raw data (stat): 17996 (runsolver) R 17995 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911295181 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 3734 0 0 0 989 9 0 0 25 0 1 0 911295181 27181056 3654 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6636 3654 1111 63 0 6573 0
vsize: 26544
[startup+20.0011 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 6728 0 0 0 1982 16 0 0 25 0 1 0 911295181 39415808 6648 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9623 6648 1111 63 0 9560 0
vsize: 38492
[startup+30.0012 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 9744 0 0 0 2977 21 0 0 25 0 1 0 911295181 51798016 9664 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12646 9664 1111 63 0 12583 0
vsize: 50584
[startup+40.0008 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 12763 0 0 0 3972 26 0 0 25 0 1 0 911295181 64188416 12683 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15671 12683 1111 63 0 15608 0
vsize: 62684
[startup+50.0017 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 15795 0 0 0 4966 32 0 0 25 0 1 0 911295181 76558336 15715 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18691 15715 1111 63 0 18628 0
vsize: 74764
[startup+60.0018 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 18821 0 0 0 5961 37 0 0 25 0 1 0 911295181 88948736 18741 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21716 18741 1111 63 0 21653 0
vsize: 86864
[startup+70.0024 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 21846 0 0 0 6957 42 0 0 25 0 1 0 911295181 101343232 21766 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24742 21766 1111 63 0 24679 0
vsize: 98968
[startup+80.0032 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 24878 0 0 0 7952 47 0 0 25 0 1 0 911295181 113733632 24798 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27767 24798 1111 63 0 27704 0
vsize: 111068
[startup+90.0034 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 27910 0 0 0 8945 54 0 0 25 0 1 0 911295181 126251008 27830 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30823 27830 1111 63 0 30760 0
vsize: 123292
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 30943 0 0 0 9940 60 0 0 25 0 1 0 911295181 138645504 30863 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33849 30863 1111 63 0 33786 0
vsize: 135396
[startup+110.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 33975 0 0 0 10935 65 0 0 25 0 1 0 911295181 151035904 33895 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36874 33895 1111 63 0 36811 0
vsize: 147496
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 37002 0 0 0 11928 72 0 0 25 0 1 0 911295181 163430400 36922 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39900 36924 1111 63 0 39837 0
vsize: 159600
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 40035 0 0 0 12925 76 0 0 25 0 1 0 911295181 175820800 39955 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42925 39955 1111 63 0 42862 0
vsize: 171700
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 43054 0 0 0 13921 79 0 0 25 0 1 0 911295181 188207104 42974 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45949 42974 1111 63 0 45886 0
vsize: 183796
[startup+150.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 46073 0 0 0 14916 84 0 0 25 0 1 0 911295181 200601600 45993 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48975 45993 1111 63 0 48912 0
vsize: 195900
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 49099 0 0 0 15910 91 0 0 25 0 1 0 911295181 212992000 49019 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52000 49019 1111 63 0 51937 0
vsize: 208000
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 52142 0 0 0 16906 95 0 0 25 0 1 0 911295181 225533952 52062 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55062 52062 1111 63 0 54999 0
vsize: 220248
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 55167 0 0 0 17900 101 0 0 25 0 1 0 911295181 237924352 55087 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58087 55087 1111 63 0 58024 0
vsize: 232348
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 58183 0 0 0 18896 106 0 0 25 0 1 0 911295181 250167296 58103 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61076 58103 1111 63 0 61013 0
vsize: 244304
[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 61214 0 0 0 19891 111 0 0 25 0 1 0 911295181 262709248 61134 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64138 61134 1111 63 0 64075 0
vsize: 256552
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 64242 0 0 0 20885 116 0 0 25 0 1 0 911295181 275103744 64162 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67164 64162 1111 63 0 67101 0
vsize: 268656
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 67292 0 0 0 21880 122 0 0 25 0 1 0 911295181 287494144 67212 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70189 67212 1111 63 0 70126 0
vsize: 280756
[startup+230.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 70331 0 0 0 22875 127 0 0 25 0 1 0 911295181 300036096 70251 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73251 70251 1111 63 0 73188 0
vsize: 293004
[startup+240.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 73369 0 0 0 23871 132 0 0 25 0 1 0 911295181 312430592 73289 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76277 73289 1111 63 0 76214 0
vsize: 305108
[startup+250.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 76421 0 0 0 24866 137 0 0 25 0 1 0 911295181 324972544 76341 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79339 76341 1111 63 0 79276 0
vsize: 317356
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 79449 0 0 0 25860 143 0 0 25 0 1 0 911295181 337367040 79369 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82365 79373 1111 63 0 82302 0
vsize: 329460
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 82523 0 0 0 26855 148 0 0 25 0 1 0 911295181 349900800 82443 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85425 82443 1111 63 0 85362 0
vsize: 341700
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 85565 0 0 0 27849 154 0 0 25 0 1 0 911295181 362295296 85485 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88451 85485 1111 63 0 88388 0
vsize: 353804
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 88617 0 0 0 28843 160 0 0 25 0 1 0 911295181 374837248 88537 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91513 88537 1111 63 0 91450 0
vsize: 366052
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 91661 0 0 0 29838 165 0 0 25 0 1 0 911295181 387379200 91581 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94575 91581 1111 63 0 94512 0
vsize: 378300
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 94704 0 0 0 30832 171 0 0 25 0 1 0 911295181 399769600 94624 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97600 94624 1111 63 0 97537 0
vsize: 390400
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 97772 0 0 0 31827 176 0 0 25 0 1 0 911295181 412311552 97692 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100662 97692 1111 63 0 100599 0
vsize: 402648
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 100822 0 0 0 32823 181 0 0 25 0 1 0 911295181 424923136 100742 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103741 100742 1111 63 0 103678 0
vsize: 414964
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 103879 0 0 0 33818 186 0 0 25 0 1 0 911295181 437465088 103799 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106803 103799 1111 63 0 106740 0
vsize: 427212
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 106905 0 0 0 34813 191 0 0 25 0 1 0 911295181 449855488 106825 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109828 106825 1111 63 0 109765 0
vsize: 439312
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 109987 0 0 0 35807 197 0 0 25 0 1 0 911295181 462548992 109907 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 112927 109907 1111 63 0 112864 0
vsize: 451708
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 113056 0 0 0 36802 202 0 0 25 0 1 0 911295181 475090944 112976 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115989 112976 1111 63 0 115926 0
vsize: 463956
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 116100 0 0 0 37798 207 0 0 25 0 1 0 911295181 487481344 116020 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 119014 116020 1111 63 0 118951 0
vsize: 476056
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 119169 0 0 0 38794 211 0 0 25 0 1 0 911295181 500023296 119089 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122076 119089 1111 63 0 122013 0
vsize: 488304
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 122239 0 0 0 39789 216 0 0 25 0 1 0 911295181 512712704 122159 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 125174 122159 1111 63 0 125111 0
vsize: 500696
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 125320 0 0 0 40784 221 0 0 25 0 1 0 911295181 525254656 125240 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128236 125240 1111 63 0 128173 0
vsize: 512944
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 128401 0 0 0 41781 225 0 0 25 0 1 0 911295181 537948160 128321 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131335 128321 1111 63 0 131272 0
vsize: 525340
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 131446 0 0 0 42775 231 0 0 25 0 1 0 911295181 550338560 131366 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134360 131366 1111 63 0 134297 0
vsize: 537440
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 134496 0 0 0 43770 236 0 0 25 0 1 0 911295181 562880512 134416 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 137422 134416 1111 63 0 137359 0
vsize: 549688
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 137584 0 0 0 44765 241 0 0 25 0 1 0 911295181 575422464 137504 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 140484 137504 1111 63 0 140421 0
vsize: 561936
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 140684 0 0 0 45759 247 0 0 25 0 1 0 911295181 588115968 140604 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143583 140604 1111 63 0 143520 0
vsize: 574332
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 143752 0 0 0 46755 252 0 0 25 0 1 0 911295181 600805376 143672 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 146681 143672 1111 63 0 146618 0
vsize: 586724
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 146877 0 0 0 47749 257 0 0 25 0 1 0 911295181 613494784 146797 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 149779 146797 1111 63 0 149716 0
vsize: 599116
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 149999 0 0 0 48744 262 0 0 25 0 1 0 911295181 626335744 149919 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 152914 149919 1111 63 0 152851 0
vsize: 611656
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 153154 0 0 0 49739 268 0 0 25 0 1 0 911295181 639176704 153074 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 156049 153074 1111 63 0 155986 0
vsize: 624196
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 156368 0 0 0 50734 274 0 0 25 0 1 0 911295181 652464128 156288 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 159293 156288 1111 63 0 159230 0
vsize: 637172
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 159608 0 0 0 51728 279 0 0 25 0 1 0 911295181 665604096 159528 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 162501 159528 1111 63 0 162438 0
vsize: 650004
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 162858 0 0 0 52723 285 0 0 25 0 1 0 911295181 679038976 162778 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165781 162778 1111 63 0 165718 0
vsize: 663124
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 166134 0 0 0 53717 291 0 0 25 0 1 0 911295181 692326400 166054 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169025 166054 1111 63 0 168962 0
vsize: 676100
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 169415 0 0 0 54712 296 0 0 25 0 1 0 911295181 705761280 169335 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 172305 169335 1111 63 0 172242 0
vsize: 689220
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 172709 0 0 0 55707 301 0 0 25 0 1 0 911295181 719347712 172629 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 175622 172629 1111 63 0 175559 0
vsize: 702488
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 175997 0 0 0 56701 308 0 0 25 0 1 0 911295181 732790784 175917 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 178904 175917 1111 63 0 178841 0
vsize: 715616
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 179249 0 0 0 57694 315 0 0 25 0 1 0 911295181 746078208 179169 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 182148 179169 1111 63 0 182085 0
vsize: 728592
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 182633 0 0 0 58688 321 0 0 25 0 1 0 911295181 759959552 182553 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 185537 182553 1111 63 0 185474 0
vsize: 742148
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 186012 0 0 0 59683 326 0 0 25 0 1 0 911295181 773844992 185932 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 188927 185932 1111 63 0 188864 0
vsize: 755708
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 189299 0 0 0 60677 332 0 0 25 0 1 0 911295181 787279872 189219 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 192207 189219 1111 63 0 192144 0
vsize: 768828
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 192648 0 0 0 61672 338 0 0 25 0 1 0 911295181 801021952 192568 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 195562 192568 1111 63 0 195499 0
vsize: 782248
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 196132 0 0 0 62667 343 0 0 25 0 1 0 911295181 815419392 196052 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 199077 196052 1111 63 0 199014 0
vsize: 796308
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 199594 0 0 0 63661 349 0 0 25 0 1 0 911295181 829599744 199514 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 202539 199514 1111 63 0 202476 0
vsize: 810156
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 203024 0 0 0 64656 354 0 0 25 0 1 0 911295181 843636736 202944 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 205966 202944 1111 63 0 205903 0
vsize: 823864
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 206572 0 0 0 65650 360 0 0 25 0 1 0 911295181 858267648 206492 4294967295 134512640 134716908 3221224560 3221223216 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 209538 206492 1111 63 0 209475 0
vsize: 838152
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 210158 0 0 0 66645 365 0 0 25 0 1 0 911295181 872902656 210078 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 213111 210078 1111 63 0 213048 0
vsize: 852444
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 213835 0 0 0 67639 372 0 0 25 0 1 0 911295181 887980032 213755 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 216792 213755 1111 63 0 216729 0
vsize: 867168
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 217352 0 0 0 68633 378 0 0 25 0 1 0 911295181 902311936 217272 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 220291 217272 1111 63 0 220228 0
vsize: 881164
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 221000 0 0 0 69626 386 0 0 25 0 1 0 911295181 917241856 220920 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 223936 220920 1111 63 0 223873 0
vsize: 895744
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 224577 0 0 0 70617 395 0 0 25 0 1 0 911295181 932020224 223732 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 227544 223732 1111 63 0 227481 0
vsize: 910176
[startup+718.654 s]
Raw data (loadavg): 1.07 0.99 0.91 1/53 17996
Raw data (stat): 17996 (bsolo_lpr_cuts-) R 17995 21152 21151 0 -1 0 224577 0 0 0 70617 395 0 0 25 0 1 0 911295181 932020224 223732 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 227544 223732 1111 63 0 227481 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 718.654
CPU time (s): 718.753
CPU user time (s): 714.311
CPU system time (s): 4.44132
CPU usage (%): 100.014
Max. virtual memory (Kb): 910176
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####