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/miplib2003/normalized-mps-v2-20-10-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.18
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 28360

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-25 02:03:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13067 boxname=wulflinc24 idbench=1006 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  bc46e72682d969c09e6f4028df473a45  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-t1717.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-t1717.opb
IDLAUNCH: 13067
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 3
cpu MHz		: 451.080
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:        721272 kB
Buffers:         12608 kB
Cached:         277540 kB
SwapCached:        620 kB
Active:          45732 kB
Inactive:       246900 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        721020 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5656 kB
Slab:            15116 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 02:15:27 (client local time) WITH STATUS 0 IN 735.212 SECONDS
stats: 13067 7 735.212 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
Raw data (loadavg): 1.00 1.01 0.93 2/54 12667
Raw data (stat): 12667 (runsolver) R 12666 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835126202 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12667
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 3726 0 0 0 989 9 0 0 25 0 1 0 835126202 27181056 3650 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6636 3650 1111 63 0 6573 0
vsize: 26544
[startup+20.0085 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12667
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 6713 0 0 0 1984 14 0 0 25 0 1 0 835126202 39415808 6637 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9623 6637 1111 63 0 9560 0
vsize: 38492
[startup+30.0086 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12667
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 9712 0 0 0 2979 20 0 0 25 0 1 0 835126202 51646464 9636 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12609 9636 1111 63 0 12546 0
vsize: 50436
[startup+40.0086 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12667
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 12713 0 0 0 3973 25 0 0 25 0 1 0 835126202 63893504 12637 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15599 12637 1111 63 0 15536 0
vsize: 62396
[startup+50.0094 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12667
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 15720 0 0 0 4968 31 0 0 25 0 1 0 835126202 76259328 15644 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18618 15644 1111 63 0 18555 0
vsize: 74472
[startup+60.0091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12667
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 18728 0 0 0 5963 36 0 0 25 0 1 0 835126202 88649728 18652 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21643 18652 1111 63 0 21580 0
vsize: 86572
[startup+70.0094 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 12667
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 21735 0 0 0 6957 42 0 0 25 0 1 0 835126202 100896768 21659 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24633 21659 1111 63 0 24570 0
vsize: 98532
[startup+80.0094 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 12667
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 24736 0 0 0 7953 47 0 0 25 0 1 0 835126202 113139712 24660 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27622 24660 1111 63 0 27559 0
vsize: 110488
[startup+90.0091 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 12667
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 27750 0 0 0 8948 52 0 0 25 0 1 0 835126202 125505536 27674 4294967295 134512640 134714508 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30641 27674 1111 63 0 30578 0
vsize: 122564
[startup+100.026 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 12667
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 30753 0 0 0 9944 58 0 0 25 0 1 0 835126202 137900032 30677 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33667 30677 1111 63 0 33604 0
vsize: 134668
[startup+110.043 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 12667
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 33761 0 0 0 10941 62 0 0 25 0 1 0 835126202 150134784 33685 4294967295 134512640 134714508 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36654 33685 1111 63 0 36591 0
vsize: 146616
[startup+120.043 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 12667
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 36756 0 0 0 11937 67 0 0 25 0 1 0 835126202 162377728 36680 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39643 36680 1111 63 0 39580 0
vsize: 158572
[startup+130.043 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 12667
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 39752 0 0 0 12932 72 0 0 25 0 1 0 835126202 174772224 39676 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42669 39676 1111 63 0 42606 0
vsize: 170676
[startup+140.043 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 12667
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 42742 0 0 0 13927 77 0 0 25 0 1 0 835126202 187015168 42666 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45658 42666 1111 63 0 45595 0
vsize: 182632
[startup+150.043 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 45743 0 0 0 14922 82 0 0 25 0 1 0 835126202 199258112 45667 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48647 45667 1111 63 0 48584 0
vsize: 194588
[startup+160.043 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 48739 0 0 0 15916 88 0 0 25 0 1 0 835126202 211501056 48663 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51636 48663 1111 63 0 51573 0
vsize: 206544
[startup+170.046 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 51751 0 0 0 16911 94 0 0 25 0 1 0 835126202 223891456 51675 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54661 51675 1111 63 0 54598 0
vsize: 218644
[startup+180.047 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 54765 0 0 0 17906 99 0 0 25 0 1 0 835126202 236285952 54689 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57687 54689 1111 63 0 57624 0
vsize: 230748
[startup+190.047 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 57786 0 0 0 18900 105 0 0 25 0 1 0 835126202 248676352 57710 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60712 57710 1111 63 0 60649 0
vsize: 242848
[startup+200.048 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 60782 0 0 0 19896 109 0 0 25 0 1 0 835126202 260923392 60706 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63702 60706 1111 63 0 63639 0
vsize: 254808
[startup+210.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 63832 0 0 0 20891 114 0 0 25 0 1 0 835126202 273309696 63756 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66726 63756 1111 63 0 66663 0
vsize: 266904
[startup+220.048 s]
Raw data (loadavg): 1.08 1.02 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 66858 0 0 0 21887 119 0 0 25 0 1 0 835126202 285700096 66782 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69751 66782 1111 63 0 69688 0
vsize: 279004
[startup+230.048 s]
Raw data (loadavg): 1.07 1.02 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 69891 0 0 0 22881 125 0 0 25 0 1 0 835126202 298242048 69815 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72813 69815 1111 63 0 72750 0
vsize: 291252
[startup+240.048 s]
Raw data (loadavg): 1.06 1.02 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 72917 0 0 0 23875 131 0 0 25 0 1 0 835126202 310636544 72841 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75839 72841 1111 63 0 75776 0
vsize: 303356
[startup+250.049 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 75950 0 0 0 24871 135 0 0 25 0 1 0 835126202 323026944 75874 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78864 75874 1111 63 0 78801 0
vsize: 315456
[startup+260.049 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 78994 0 0 0 25865 141 0 0 25 0 1 0 835126202 335421440 78918 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81890 78918 1111 63 0 81827 0
vsize: 327560
[startup+270.05 s]
Raw data (loadavg): 1.11 1.03 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 82010 0 0 0 26862 145 0 0 25 0 1 0 835126202 347811840 81934 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84915 81936 1111 63 0 84852 0
vsize: 339660
[startup+280.049 s]
Raw data (loadavg): 1.10 1.03 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 85066 0 0 0 27857 150 0 0 25 0 1 0 835126202 360353792 84990 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87977 84990 1111 63 0 87914 0
vsize: 351908
[startup+290.049 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 88075 0 0 0 28853 154 0 0 25 0 1 0 835126202 372600832 87999 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90967 87999 1111 63 0 90904 0
vsize: 363868
[startup+300.049 s]
Raw data (loadavg): 1.07 1.03 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 91125 0 0 0 29849 159 0 0 25 0 1 0 835126202 385142784 91049 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94029 91049 1111 63 0 93966 0
vsize: 376116
[startup+310.049 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 94150 0 0 0 30842 165 0 0 25 0 1 0 835126202 397533184 94074 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97054 94074 1111 63 0 96991 0
vsize: 388216
[startup+320.049 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 97176 0 0 0 31838 170 0 0 25 0 1 0 835126202 409927680 97100 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100080 97100 1111 63 0 100017 0
vsize: 400320
[startup+330.05 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 100207 0 0 0 32833 175 0 0 25 0 1 0 835126202 422387712 100131 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103122 100131 1111 63 0 103059 0
vsize: 412488
[startup+340.053 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 103232 0 0 0 33830 179 0 0 25 0 1 0 835126202 434774016 103156 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106146 103156 1111 63 0 106083 0
vsize: 424584
[startup+350.053 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 106265 0 0 0 34824 184 0 0 25 0 1 0 835126202 447315968 106189 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109208 106189 1111 63 0 109145 0
vsize: 436832
[startup+360.053 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 109273 0 0 0 35819 189 0 0 25 0 1 0 835126202 459558912 109197 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112197 109197 1111 63 0 112134 0
vsize: 448788
[startup+370.054 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 112306 0 0 0 36815 194 0 0 25 0 1 0 835126202 471953408 112230 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115223 112230 1111 63 0 115160 0
vsize: 460892
[startup+380.055 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 115326 0 0 0 37810 199 0 0 25 0 1 0 835126202 484343808 115250 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118248 115250 1111 63 0 118185 0
vsize: 472992
[startup+390.054 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 118377 0 0 0 38805 205 0 0 25 0 1 0 835126202 496885760 118301 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121310 118301 1111 63 0 121247 0
vsize: 485240
[startup+400.055 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 121416 0 0 0 39800 210 0 0 25 0 1 0 835126202 509280256 121340 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124336 121340 1111 63 0 124273 0
vsize: 497344
[startup+410.054 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 124443 0 0 0 40794 216 0 0 25 0 1 0 835126202 521670656 124367 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127361 124367 1111 63 0 127298 0
vsize: 509444
[startup+420.055 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 127451 0 0 0 41789 221 0 0 25 0 1 0 835126202 534065152 127375 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130387 127375 1111 63 0 130324 0
vsize: 521548
[startup+430.056 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 130478 0 0 0 42784 226 0 0 25 0 1 0 835126202 546459648 130402 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133413 130402 1111 63 0 133350 0
vsize: 533652
[startup+440.056 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 133498 0 0 0 43779 231 0 0 25 0 1 0 835126202 558702592 133422 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 136402 133422 1111 63 0 136339 0
vsize: 545608
[startup+450.056 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 136519 0 0 0 44776 235 0 0 25 0 1 0 835126202 571092992 136443 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139427 136443 1111 63 0 139364 0
vsize: 557708
[startup+460.056 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 139519 0 0 0 45771 240 0 0 25 0 1 0 835126202 583479296 139443 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 142451 139443 1111 63 0 142388 0
vsize: 569804
[startup+470.057 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 142564 0 0 0 46767 244 0 0 25 0 1 0 835126202 595873792 142488 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 145477 142488 1111 63 0 145414 0
vsize: 581908
[startup+480.056 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 145591 0 0 0 47763 248 0 0 25 0 1 0 835126202 608268288 145515 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 148503 145515 1111 63 0 148440 0
vsize: 594012
[startup+490.056 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 148636 0 0 0 48759 252 0 0 25 0 1 0 835126202 620806144 148560 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151564 148560 1111 63 0 151501 0
vsize: 606256
[startup+500.057 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 151644 0 0 0 49755 257 0 0 25 0 1 0 835126202 633053184 151568 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 154554 151568 1111 63 0 154491 0
vsize: 618216
[startup+510.056 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 154695 0 0 0 50749 262 0 0 25 0 1 0 835126202 645595136 154619 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 157616 154619 1111 63 0 157553 0
vsize: 630464
[startup+520.063 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 157751 0 0 0 51745 268 0 0 25 0 1 0 835126202 658137088 157676 4294967295 134512640 134714508 3221224576 3221222696 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 160678 157681 1111 63 0 160615 0
vsize: 642712
[startup+530.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 160845 0 0 0 52740 273 0 0 25 0 1 0 835126202 670679040 160769 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 163740 160769 1111 63 0 163677 0
vsize: 654960
[startup+540.063 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 163883 0 0 0 53734 279 0 0 25 0 1 0 835126202 683220992 163807 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 166802 163807 1111 63 0 166739 0
vsize: 667208
[startup+550.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 166971 0 0 0 54730 285 0 0 25 0 1 0 835126202 695762944 166895 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 169864 166895 1111 63 0 169801 0
vsize: 679456
[startup+560.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 170100 0 0 0 55725 290 0 0 25 0 1 0 835126202 708599808 170024 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 172998 170024 1111 63 0 172935 0
vsize: 691992
[startup+570.074 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 173188 0 0 0 56718 296 0 0 25 0 1 0 835126202 721293312 173112 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 176097 173112 1111 63 0 176034 0
vsize: 704388
[startup+580.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 176317 0 0 0 57713 301 0 0 25 0 1 0 835126202 734130176 176241 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179231 176241 1111 63 0 179168 0
vsize: 716924
[startup+590.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 179368 0 0 0 58709 305 0 0 25 0 1 0 835126202 746524672 179292 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 182293 179293 1111 63 0 182230 0
vsize: 729028
[startup+600.074 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 182600 0 0 0 59702 311 0 0 25 0 1 0 835126202 759812096 182524 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 185501 182524 1111 63 0 185438 0
vsize: 742004
[startup+610.075 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 185804 0 0 0 60696 316 0 0 25 0 1 0 835126202 772952064 185728 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 188709 185728 1111 63 0 188646 0
vsize: 754836
[startup+620.075 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 188927 0 0 0 61689 321 0 0 25 0 1 0 835126202 785788928 188851 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191843 188851 1111 63 0 191780 0
vsize: 767372
[startup+630.083 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 192214 0 0 0 62684 326 0 0 25 0 1 0 835126202 799227904 192138 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 195124 192138 1111 63 0 195061 0
vsize: 780496
[startup+640.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 195431 0 0 0 63678 333 0 0 25 0 1 0 835126202 812580864 195355 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198384 195355 1111 63 0 198321 0
vsize: 793536
[startup+650.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 198749 0 0 0 64669 341 0 0 25 0 1 0 835126202 826171392 198577 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 201702 198577 1111 63 0 201639 0
vsize: 806808
[startup+660.091 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 201904 0 0 0 65660 348 0 0 25 0 1 0 835126202 839159808 201604 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 204873 201604 1111 63 0 204810 0
vsize: 819492
[startup+670.092 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 205275 0 0 0 66652 355 0 0 25 0 1 0 835126202 852893696 204687 4294967295 134512640 134714508 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 208226 204687 1111 63 0 208163 0
vsize: 832904
[startup+680.092 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 208662 0 0 0 67644 360 0 0 25 0 1 0 835126202 866779136 207754 4294967295 134512640 134714508 3221224576 3221222696 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 211616 207759 1111 63 0 211553 0
vsize: 846464
[startup+690.092 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 212093 0 0 0 68635 367 0 0 25 0 1 0 835126202 880812032 210833 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 215042 210833 1111 63 0 214979 0
vsize: 860168
[startup+700.098 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 215528 0 0 0 69627 375 0 0 25 0 1 0 835126202 894849024 213788 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 218469 213788 1111 63 0 218406 0
vsize: 873876
[startup+710.099 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 218962 0 0 0 70618 383 0 0 25 0 1 0 835126202 909029376 216710 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 221931 216710 1111 63 0 221868 0
vsize: 887724
[startup+720.114 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 222425 0 0 0 71610 392 0 0 25 0 1 0 835126202 923213824 219629 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 225394 219629 1111 63 0 225331 0
vsize: 901576
[startup+730.157 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 225891 0 0 0 72607 400 0 0 25 0 1 0 835126202 937402368 222488 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228858 222488 1111 63 0 228795 0
vsize: 915432
[startup+735.558 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 12669
Raw data (stat): 12667 (bsolo_lpr_cuts) R 12666 4613 4612 0 -1 0 225891 0 0 0 72607 400 0 0 25 0 1 0 835126202 937402368 222488 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228858 222488 1111 63 0 228795 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 735.557
CPU time (s): 735.212
CPU user time (s): 730.749
CPU system time (s): 4.46332
CPU usage (%): 99.9532
Max. virtual memory (Kb): 915432
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####