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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship12s.opb
MD5SUM	c82c0bebea8b0ce184f21387d9520ae2
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	55260
Biggest coefficient in the objective function	1475608576000
Number of bits for the biggest coefficient in the objective function	41
Sum of the numbers in the objective function	200019082827300
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	1475608576000
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	200019082827300
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.482925
Number of variables	55260
Total number of constraints	1042
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1042
Minimum length of a constraint	20
Maximum length of a constraint	980
Trace number 27576

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-24 22:41:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16460 boxname=wulflinc26 idbench=1267 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  c82c0bebea8b0ce184f21387d9520ae2  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-ship12s.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-ship12s.opb
IDLAUNCH: 16460
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        867920 kB
Buffers:         27636 kB
Cached:         115256 kB
SwapCached:        656 kB
Active:          27756 kB
Inactive:       117772 kB
HighTotal:      131008 kB
HighFree:        18816 kB
LowTotal:       903652 kB
LowFree:        849104 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6036 kB
Slab:            15484 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 22:54:40 (client local time) WITH STATUS 0 IN 773.537 SECONDS
stats: 16460 7 773.537 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: +78125*SH010108_bit_7 +156250*SH010108_bit_6 +312500*SH010108_bit_5 +625000*SH010108_bit_4 +1250000*SH010108_bit_3 +2500000*SH010108_bit_2 +5000000*SH010108_bit_1 +10000000*SH010108_bit0 +20000000*SH010108_bit1 +40000000*SH010108_bit2 +80000000*SH010108_bit3 +160000000*SH010108_bit4 +320000000*SH010108_bit5 +640000000*SH010108_bit6 +1280000000*SH010108_bit7 +2560000000*SH010108_bit8 +5120000000*SH010108_bit9 +10240000000*SH010108_bit10 +20480000000*SH010108_bit11 +40960000000*SH010108_bit12 = +237743;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-ship12s.opb
s UNKNOWN
c Exit Code: 0
c Total time: 773.455 s
#### 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): 0.97 0.97 0.91 2/54 25098
Raw data (stat): 25098 (runsolver) R 25097 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833926443 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 1064 0 0 0 994 4 0 0 25 0 1 0 833926443 16203776 988 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3956 988 1111 63 0 3893 0
vsize: 15824
[startup+20.0008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 1360 0 0 0 1992 4 0 0 25 0 1 0 833926443 17473536 1284 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4266 1284 1111 63 0 4203 0
vsize: 17064
[startup+30.0005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 1694 0 0 0 2992 5 0 0 25 0 1 0 833926443 18755584 1618 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4579 1618 1111 63 0 4516 0
vsize: 18316
[startup+40.0015 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 2024 0 0 0 3991 6 0 0 25 0 1 0 833926443 20164608 1948 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4923 1948 1111 63 0 4860 0
vsize: 19692
[startup+50.0019 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 2354 0 0 0 4990 7 0 0 25 0 1 0 833926443 21434368 2278 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5233 2278 1111 63 0 5170 0
vsize: 20932
[startup+60.0015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 2692 0 0 0 5990 7 0 0 25 0 1 0 833926443 22843392 2616 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5577 2616 1111 63 0 5514 0
vsize: 22308
[startup+70.0012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 3023 0 0 0 6989 8 0 0 25 0 1 0 833926443 24256512 2947 4294967295 134512640 134714508 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5922 2947 1111 63 0 5859 0
vsize: 23688
[startup+80.0092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 3360 0 0 0 7990 9 0 0 25 0 1 0 833926443 25665536 3284 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6266 3284 1111 63 0 6203 0
vsize: 25064
[startup+90.0086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 3706 0 0 0 8989 9 0 0 25 0 1 0 833926443 27103232 3630 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6617 3630 1111 63 0 6554 0
vsize: 26468
[startup+100.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 4045 0 0 0 9989 10 0 0 25 0 1 0 833926443 28372992 3969 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6927 3969 1111 63 0 6864 0
vsize: 27708
[startup+110.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 4384 0 0 0 10988 11 0 0 25 0 1 0 833926443 29782016 4308 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7271 4308 1111 63 0 7208 0
vsize: 29084
[startup+120.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 4729 0 0 0 11988 11 0 0 25 0 1 0 833926443 31195136 4653 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7616 4653 1111 63 0 7553 0
vsize: 30464
[startup+130.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 5081 0 0 0 12987 12 0 0 25 0 1 0 833926443 32604160 5005 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7960 5005 1111 63 0 7897 0
vsize: 31840
[startup+140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 5433 0 0 0 13987 13 0 0 25 0 1 0 833926443 34156544 5357 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8339 5357 1111 63 0 8276 0
vsize: 33356
[startup+150.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 5786 0 0 0 14988 13 0 0 25 0 1 0 833926443 35573760 5710 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8685 5710 1111 63 0 8622 0
vsize: 34740
[startup+160.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 6138 0 0 0 15987 14 0 0 25 0 1 0 833926443 36982784 6062 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9029 6062 1111 63 0 8966 0
vsize: 36116
[startup+170.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 6507 0 0 0 16987 15 0 0 25 0 1 0 833926443 38547456 6431 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9411 6431 1111 63 0 9348 0
vsize: 37644
[startup+180.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 6867 0 0 0 17986 16 0 0 25 0 1 0 833926443 39956480 6791 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9755 6791 1111 63 0 9692 0
vsize: 39020
[startup+190.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 7232 0 0 0 18984 17 0 0 25 0 1 0 833926443 41508864 7156 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10134 7156 1111 63 0 10071 0
vsize: 40536
[startup+200.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 7600 0 0 0 19984 18 0 0 25 0 1 0 833926443 43065344 7524 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10514 7524 1111 63 0 10451 0
vsize: 42056
[startup+210.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 7980 0 0 0 20983 19 0 0 25 0 1 0 833926443 44621824 7904 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10894 7904 1111 63 0 10831 0
vsize: 43576
[startup+220.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 8360 0 0 0 21983 19 0 0 25 0 1 0 833926443 46170112 8284 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11272 8284 1111 63 0 11209 0
vsize: 45088
[startup+230.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 8748 0 0 0 22983 20 0 0 25 0 1 0 833926443 47730688 8672 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11653 8672 1111 63 0 11590 0
vsize: 46612
[startup+240.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 9136 0 0 0 23982 21 0 0 25 0 1 0 833926443 49278976 9060 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12031 9060 1111 63 0 11968 0
vsize: 48124
[startup+250.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 9521 0 0 0 24980 22 0 0 25 0 1 0 833926443 50831360 9445 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12410 9445 1111 63 0 12347 0
vsize: 49640
[startup+260.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 9909 0 0 0 25979 23 0 0 25 0 1 0 833926443 52383744 9833 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12789 9833 1111 63 0 12726 0
vsize: 51156
[startup+270.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 10296 0 0 0 26978 24 0 0 25 0 1 0 833926443 54079488 10220 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13203 10220 1111 63 0 13140 0
vsize: 52812
[startup+280.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 10696 0 0 0 27977 25 0 0 25 0 1 0 833926443 55631872 10620 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13582 10620 1111 63 0 13519 0
vsize: 54328
[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 11098 0 0 0 28976 26 0 0 25 0 1 0 833926443 57331712 11022 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13997 11022 1111 63 0 13934 0
vsize: 55988
[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 11504 0 0 0 29976 27 0 0 25 0 1 0 833926443 59023360 11428 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14410 11428 1111 63 0 14347 0
vsize: 57640
[startup+310.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 11930 0 0 0 30975 28 0 0 25 0 1 0 833926443 60801024 11854 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14844 11854 1111 63 0 14781 0
vsize: 59376
[startup+320.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 12345 0 0 0 31974 28 0 0 25 0 1 0 833926443 62492672 12269 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15257 12269 1111 63 0 15194 0
vsize: 61028
[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 12760 0 0 0 32973 29 0 0 25 0 1 0 833926443 64184320 12684 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15670 12684 1111 63 0 15607 0
vsize: 62680
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 13181 0 0 0 33973 30 0 0 25 0 1 0 833926443 65875968 13105 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16083 13105 1111 63 0 16020 0
vsize: 64332
[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 13602 0 0 0 34973 30 0 0 25 0 1 0 833926443 67715072 13526 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16532 13526 1111 63 0 16469 0
vsize: 66128
[startup+360.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 14030 0 0 0 35972 31 0 0 25 0 1 0 833926443 69406720 13954 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16945 13954 1111 63 0 16882 0
vsize: 67780
[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 14460 0 0 0 36971 32 0 0 25 0 1 0 833926443 71102464 14384 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17359 14384 1111 63 0 17296 0
vsize: 69436
[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 14902 0 0 0 37971 32 0 0 25 0 1 0 833926443 72937472 14826 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17807 14826 1111 63 0 17744 0
vsize: 71228
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 15344 0 0 0 38970 33 0 0 25 0 1 0 833926443 74772480 15268 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18255 15268 1111 63 0 18192 0
vsize: 73020
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 15786 0 0 0 39970 34 0 0 25 0 1 0 833926443 76607488 15710 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18703 15710 1111 63 0 18640 0
vsize: 74812
[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 16236 0 0 0 40969 35 0 0 25 0 1 0 833926443 78446592 16160 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19152 16160 1111 63 0 19089 0
vsize: 76608
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 16700 0 0 0 41969 36 0 0 25 0 1 0 833926443 80277504 16624 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19599 16624 1111 63 0 19536 0
vsize: 78396
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 17176 0 0 0 42968 37 0 0 25 0 1 0 833926443 82259968 17100 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20083 17100 1111 63 0 20020 0
vsize: 80332
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 17654 0 0 0 43967 37 0 0 25 0 1 0 833926443 84238336 17578 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20566 17578 1111 63 0 20503 0
vsize: 82264
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 18144 0 0 0 44966 38 0 0 25 0 1 0 833926443 86208512 18068 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21047 18068 1111 63 0 20984 0
vsize: 84188
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 18629 0 0 0 45965 40 0 0 25 0 1 0 833926443 88186880 18553 4294967295 134512640 134714508 3221224576 3221222908 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21530 18553 1111 63 0 21467 0
vsize: 86120
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 19128 0 0 0 46963 41 0 0 25 0 1 0 833926443 90169344 19052 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22014 19052 1111 63 0 21951 0
vsize: 88056
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 19646 0 0 0 47962 42 0 0 25 0 1 0 833926443 92278784 19570 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22529 19570 1111 63 0 22466 0
vsize: 90116
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 20183 0 0 0 48961 43 0 0 25 0 1 0 833926443 94539776 20107 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23081 20107 1111 63 0 23018 0
vsize: 92324
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 20723 0 0 0 49960 44 0 0 25 0 1 0 833926443 96800768 20647 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23633 20647 1111 63 0 23570 0
vsize: 94532
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 21270 0 0 0 50959 46 0 0 25 0 1 0 833926443 98922496 21194 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24151 21194 1111 63 0 24088 0
vsize: 96604
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 21823 0 0 0 51958 47 0 0 25 0 1 0 833926443 101179392 21747 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24702 21747 1111 63 0 24639 0
vsize: 98808
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 22383 0 0 0 52956 49 0 0 25 0 1 0 833926443 103579648 22307 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25288 22307 1111 63 0 25225 0
vsize: 101152
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 22948 0 0 0 53955 50 0 0 25 0 1 0 833926443 105840640 22872 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25840 22872 1111 63 0 25777 0
vsize: 103360
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 23555 0 0 0 54954 51 0 0 25 0 1 0 833926443 108630016 23479 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26521 23479 1111 63 0 26458 0
vsize: 106084
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 24135 0 0 0 55953 52 0 0 25 0 1 0 833926443 110891008 24059 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27073 24059 1111 63 0 27010 0
vsize: 108292
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 24723 0 0 0 56952 53 0 0 25 0 1 0 833926443 113287168 24647 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27658 24647 1111 63 0 27595 0
vsize: 110632
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 25318 0 0 0 57952 54 0 0 25 0 1 0 833926443 115830784 25242 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28279 25242 1111 63 0 28216 0
vsize: 113116
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 25914 0 0 0 58951 55 0 0 25 0 1 0 833926443 118231040 25838 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28865 25838 1111 63 0 28802 0
vsize: 115460
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 26522 0 0 0 59949 57 0 0 25 0 1 0 833926443 120631296 26446 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29451 26446 1111 63 0 29388 0
vsize: 117804
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 27145 0 0 0 60949 58 0 0 25 0 1 0 833926443 123170816 27069 4294967295 134512640 134714508 3221224576 3221222808 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30071 27069 1111 63 0 30008 0
vsize: 120284
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 27786 0 0 0 61947 60 0 0 25 0 1 0 833926443 125853696 27710 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30726 27710 1111 63 0 30663 0
vsize: 122904
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 28456 0 0 0 62946 61 0 0 25 0 1 0 833926443 128536576 28380 4294967295 134512640 134714508 3221224576 3221223232 134527928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31381 28380 1111 63 0 31318 0
vsize: 125524
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 29135 0 0 0 63944 63 0 0 25 0 1 0 833926443 131362816 29059 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32071 29059 1111 63 0 32008 0
vsize: 128284
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 29825 0 0 0 64943 64 0 0 25 0 1 0 833926443 134184960 29749 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 29749 1111 63 0 32697 0
vsize: 131040
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 30522 0 0 0 65942 65 0 0 25 0 1 0 833926443 137007104 30446 4294967295 134512640 134714508 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33449 30446 1111 63 0 33386 0
vsize: 133796
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 31228 0 0 0 66941 66 0 0 25 0 1 0 833926443 139976704 31152 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34174 31152 1111 63 0 34111 0
vsize: 136696
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 31940 0 0 0 67940 68 0 0 25 0 1 0 833926443 142798848 31864 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34863 31864 1111 63 0 34800 0
vsize: 139452
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 32660 0 0 0 68939 69 0 0 25 0 1 0 833926443 145760256 32584 4294967295 134512640 134714508 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35586 32584 1111 63 0 35523 0
vsize: 142344
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 33386 0 0 0 69938 70 0 0 25 0 1 0 833926443 148729856 33310 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36311 33310 1111 63 0 36248 0
vsize: 145244
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 34133 0 0 0 70937 72 0 0 25 0 1 0 833926443 151838720 34057 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37070 34057 1111 63 0 37007 0
vsize: 148280
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 34887 0 0 0 71936 73 0 0 25 0 1 0 833926443 154800128 34811 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37793 34811 1111 63 0 37730 0
vsize: 151172
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 35661 0 0 0 72935 74 0 0 25 0 1 0 833926443 158048256 35585 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38586 35585 1111 63 0 38523 0
vsize: 154344
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 36435 0 0 0 73933 75 0 0 25 0 1 0 833926443 161153024 36359 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39344 36359 1111 63 0 39281 0
vsize: 157376
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 37223 0 0 0 74932 77 0 0 25 0 1 0 833926443 164401152 37147 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40137 37147 1111 63 0 40074 0
vsize: 160548
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 38026 0 0 0 75931 78 0 0 25 0 1 0 833926443 167653376 37950 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40931 37950 1111 63 0 40868 0
vsize: 163724
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 38840 0 0 0 76930 80 0 0 25 0 1 0 833926443 171036672 38764 4294967295 134512640 134714508 3221224576 3221221404 1077244838 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41757 38764 1111 63 0 41694 0
vsize: 167028
[startup+773.46 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 25098
Raw data (stat): 25098 (bsolo_lpr_cuts) R 25097 20687 20686 0 -1 0 38840 0 0 0 76930 80 0 0 25 0 1 0 833926443 171036672 38764 4294967295 134512640 134714508 3221224576 3221221404 1077244838 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41757 38764 1111 63 0 41694 0
vsize: 0

Child status: 0
Real time (s): 773.459
CPU time (s): 773.537
CPU user time (s): 772.652
CPU system time (s): 0.885865
CPU usage (%): 100.01
Max. virtual memory (Kb): 167028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####