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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bnl2.opb
MD5SUM	98512bff24b30a4b39304804d2f8a5cb
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	50550
Biggest coefficient in the objective function	322444669747200
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	11314136774293353
Number of bits of the sum of numbers in the objective function	54
Biggest number in a constraint	322444669747200
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	11314136774293353
Number of bits of the biggest sum of numbers	54
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.955853
Number of variables	104670
Total number of constraints	2280
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	2280
Minimum length of a constraint	30
Maximum length of a constraint	2460

Trace number 26837

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        862200 kB
Buffers:          6664 kB
Cached:         144068 kB
SwapCached:        636 kB
Active:          39688 kB
Inactive:       113620 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        861948 kB
SwapTotal:     2097136 kB
SwapFree:      2096140 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5760 kB
Slab:            13520 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 17:24:55 (client local time) WITH STATUS 0 IN 668.407 SECONDS
stats: 10558 7 668.407 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: -2500*Y2000301_bit_10 -5000*Y2000301_bit_9 -10000*Y2000301_bit_8 -20000*Y2000301_bit_7 -40000*Y2000301_bit_6 -80000*Y2000301_bit_5 -160000*Y2000301_bit_4 -320000*Y2000301_bit_3 -640000*Y2000301_bit_2 -1280000*Y2000301_bit_1 -2560000*Y2000301_bit0 -5120000*Y2000301_bit1 -10240000*Y2000301_bit2 -20480000*Y2000301_bit3 -40960000*Y2000301_bit4 -81920000*Y2000301_bit5 -163840000*Y2000301_bit6 -327680000*Y2000301_bit7 -655360000*Y2000301_bit8 -1310720000*Y2000301_bit9 -2621440000*Y2000301_bit10 -5242880000*Y2000301_bit11 -10485760000*Y2000301_bit12 -20971520000*Y2000301_bit13 -41943040000*Y2000301_bit14 -83886080000*Y2000301_bit15 -167772160000*Y2000301_bit16 -335544320000*Y2000301_bit17 -671088640000*Y2000301_bit18 -1342177280000*Y2000301_bit19 +525*Y2010301_bit_10 +1050*Y2010301_bit_9 +2100*Y2010301_bit_8 +4200*Y2010301_bit_7 +8400*Y2010301_bit_6 +16800*Y2010301_bit_5 +33600*Y2010301_bit_4 +67200*Y2010301_bit_3 +134400*Y2010301_bit_2 +268800*Y2010301_bit_1 +537600*Y2010301_bit0 +1075200*Y2010301_bit1 +2150400*Y2010301_bit2 +4300800*Y2010301_bit3 +8601600*Y2010301_bit4 +17203200*Y2010301_bit5 +34406400*Y2010301_bit6 +68812800*Y2010301_bit7 +137625600*Y2010301_bit8 +275251200*Y2010301_bit9 +550502400*Y2010301_bit10 +1101004800*Y2010301_bit11 +2202009600*Y2010301_bit12 +4404019200*Y2010301_bit13 +8808038400*Y2010301_bit14 +17616076800*Y2010301_bit15 +35232153600*Y2010301_bit16 +70464307200*Y2010301_bit17 +140928614400*Y2010301_bit18 +281857228800*Y2010301_bit19 >= -4791808;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-bnl2.opb
s UNKNOWN
c Exit Code: 0
c Total time: 668.356 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.81 0.95 0.95 2/54 9910
Raw data (stat): 9910 (runsolver) R 9909 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773730174 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 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.0005 s]
Raw data (loadavg): 0.84 0.95 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 972 0 0 0 995 2 0 0 25 0 1 0 773730174 15945728 896 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3893 896 1111 63 0 3830 0
vsize: 15572
[startup+20.0015 s]
Raw data (loadavg): 0.86 0.95 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 1192 0 0 0 1995 3 0 0 25 0 1 0 773730174 16838656 1116 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 1116 1111 63 0 4048 0
vsize: 16444
[startup+30.0022 s]
Raw data (loadavg): 0.88 0.95 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 1408 0 0 0 2995 3 0 0 25 0 1 0 773730174 17702912 1332 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4322 1332 1111 63 0 4259 0
vsize: 17288
[startup+40.0016 s]
Raw data (loadavg): 0.90 0.96 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 1605 0 0 0 3994 3 0 0 25 0 1 0 773730174 18591744 1529 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4539 1529 1111 63 0 4476 0
vsize: 18156
[startup+50.0086 s]
Raw data (loadavg): 0.92 0.96 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 1817 0 0 0 4995 4 0 0 25 0 1 0 773730174 19341312 1741 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4722 1741 1111 63 0 4659 0
vsize: 18888
[startup+60.0101 s]
Raw data (loadavg): 0.93 0.96 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 2038 0 0 0 5995 4 0 0 25 0 1 0 773730174 20242432 1962 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4942 1962 1111 63 0 4879 0
vsize: 19768
[startup+70.0112 s]
Raw data (loadavg): 0.94 0.96 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 2258 0 0 0 6995 4 0 0 25 0 1 0 773730174 21143552 2182 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5162 2182 1111 63 0 5099 0
vsize: 20648
[startup+80.0116 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 2486 0 0 0 7995 5 0 0 25 0 1 0 773730174 22200320 2410 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5420 2410 1111 63 0 5357 0
vsize: 21680
[startup+90.016 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 2723 0 0 0 8995 5 0 0 25 0 1 0 773730174 23101440 2647 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5640 2647 1111 63 0 5577 0
vsize: 22560
[startup+100.023 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 2971 0 0 0 9996 5 0 0 25 0 1 0 773730174 24145920 2895 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5895 2895 1111 63 0 5832 0
vsize: 23580
[startup+110.031 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 3208 0 0 0 10996 6 0 0 25 0 1 0 773730174 25051136 3132 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6116 3132 1111 63 0 6053 0
vsize: 24464
[startup+120.035 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 3445 0 0 0 11996 7 0 0 25 0 1 0 773730174 26103808 3369 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6373 3369 1111 63 0 6310 0
vsize: 25492
[startup+130.036 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 3694 0 0 0 12996 7 0 0 25 0 1 0 773730174 27127808 3618 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6623 3618 1111 63 0 6560 0
vsize: 26492
[startup+140.036 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 3945 0 0 0 13996 7 0 0 25 0 1 0 773730174 28176384 3869 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6879 3869 1111 63 0 6816 0
vsize: 27516
[startup+150.036 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 4182 0 0 0 14995 8 0 0 25 0 1 0 773730174 29081600 4106 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7100 4106 1111 63 0 7037 0
vsize: 28400
[startup+160.036 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 4438 0 0 0 15995 8 0 0 25 0 1 0 773730174 30134272 4362 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7357 4362 1111 63 0 7294 0
vsize: 29428
[startup+170.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 4695 0 0 0 16995 9 0 0 25 0 1 0 773730174 31186944 4619 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7614 4619 1111 63 0 7551 0
vsize: 30456
[startup+180.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 4965 0 0 0 17995 9 0 0 25 0 1 0 773730174 32276480 4889 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7880 4889 1111 63 0 7817 0
vsize: 31520
[startup+190.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 5224 0 0 0 18994 10 0 0 25 0 1 0 773730174 33333248 5148 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8138 5148 1111 63 0 8075 0
vsize: 32552
[startup+200.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 5481 0 0 0 19994 10 0 0 25 0 1 0 773730174 34390016 5405 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8396 5405 1111 63 0 8333 0
vsize: 33584
[startup+210.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 5754 0 0 0 20993 11 0 0 25 0 1 0 773730174 35590144 5678 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8689 5678 1111 63 0 8626 0
vsize: 34756
[startup+220.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 6019 0 0 0 21993 11 0 0 25 0 1 0 773730174 36642816 5943 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8946 5943 1111 63 0 8883 0
vsize: 35784
[startup+230.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 6286 0 0 0 22993 12 0 0 25 0 1 0 773730174 37695488 6210 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9203 6210 1111 63 0 9140 0
vsize: 36812
[startup+240.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 6565 0 0 0 23993 12 0 0 25 0 1 0 773730174 38903808 6489 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9498 6489 1111 63 0 9435 0
vsize: 37992
[startup+250.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 6833 0 0 0 24993 13 0 0 25 0 1 0 773730174 39952384 6757 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9754 6757 1111 63 0 9691 0
vsize: 39016
[startup+260.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 7103 0 0 0 25992 13 0 0 25 0 1 0 773730174 41009152 7027 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10012 7027 1111 63 0 9949 0
vsize: 40048
[startup+270.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 7392 0 0 0 26992 14 0 0 25 0 1 0 773730174 42209280 7316 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10305 7316 1111 63 0 10242 0
vsize: 41220
[startup+280.047 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 7688 0 0 0 27992 15 0 0 25 0 1 0 773730174 43384832 7612 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10592 7612 1111 63 0 10529 0
vsize: 42368
[startup+290.047 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 7975 0 0 0 28991 15 0 0 25 0 1 0 773730174 44589056 7899 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10886 7899 1111 63 0 10823 0
vsize: 43544
[startup+300.058 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 8268 0 0 0 29992 16 0 0 25 0 1 0 773730174 45789184 8192 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11179 8192 1111 63 0 11116 0
vsize: 44716
[startup+310.058 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 8570 0 0 0 30991 17 0 0 25 0 1 0 773730174 46997504 8494 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11474 8494 1111 63 0 11411 0
vsize: 45896
[startup+320.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 8882 0 0 0 31991 17 0 0 25 0 1 0 773730174 48451584 8806 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11829 8806 1111 63 0 11766 0
vsize: 47316
[startup+330.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 9179 0 0 0 32991 18 0 0 25 0 1 0 773730174 49627136 9103 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12116 9103 1111 63 0 12053 0
vsize: 48464
[startup+340.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 9495 0 0 0 33991 18 0 0 25 0 1 0 773730174 50954240 9419 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12440 9419 1111 63 0 12377 0
vsize: 49760
[startup+350.075 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 9813 0 0 0 34992 19 0 0 25 0 1 0 773730174 52305920 9737 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12770 9737 1111 63 0 12707 0
vsize: 51080
[startup+360.091 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 10131 0 0 0 35993 19 0 0 25 0 1 0 773730174 53510144 10055 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13064 10055 1111 63 0 13001 0
vsize: 52256
[startup+370.092 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 10447 0 0 0 36992 20 0 0 25 0 1 0 773730174 54865920 10371 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13395 10371 1111 63 0 13332 0
vsize: 53580
[startup+380.092 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 10794 0 0 0 37992 21 0 0 25 0 1 0 773730174 56221696 10718 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13726 10718 1111 63 0 13663 0
vsize: 54904
[startup+390.092 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 11141 0 0 0 38991 22 0 0 25 0 1 0 773730174 57720832 11065 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14092 11065 1111 63 0 14029 0
vsize: 56368
[startup+400.092 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 11487 0 0 0 39991 22 0 0 25 0 1 0 773730174 59080704 11411 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14424 11411 1111 63 0 14361 0
vsize: 57696
[startup+410.093 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 11835 0 0 0 40990 23 0 0 25 0 1 0 773730174 60432384 11759 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14754 11759 1111 63 0 14691 0
vsize: 59016
[startup+420.093 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 12203 0 0 0 41989 24 0 0 25 0 1 0 773730174 61939712 12127 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15122 12127 1111 63 0 15059 0
vsize: 60488
[startup+430.093 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 12571 0 0 0 42989 25 0 0 25 0 1 0 773730174 63447040 12495 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15490 12495 1111 63 0 15427 0
vsize: 61960
[startup+440.093 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 12947 0 0 0 43988 25 0 0 25 0 1 0 773730174 65097728 12871 4294967295 134512640 134714508 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15893 12871 1111 63 0 15830 0
vsize: 63572
[startup+450.093 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 13339 0 0 0 44988 26 0 0 25 0 1 0 773730174 66605056 13263 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16261 13263 1111 63 0 16198 0
vsize: 65044
[startup+460.094 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 13739 0 0 0 45987 27 0 0 25 0 1 0 773730174 68259840 13663 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16665 13663 1111 63 0 16602 0
vsize: 66660
[startup+470.094 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 14166 0 0 0 46986 28 0 0 25 0 1 0 773730174 70066176 14090 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17106 14090 1111 63 0 17043 0
vsize: 68424
[startup+480.093 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 14594 0 0 0 47986 29 0 0 25 0 1 0 773730174 71725056 14518 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17511 14518 1111 63 0 17448 0
vsize: 70044
[startup+490.094 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 15035 0 0 0 48985 30 0 0 25 0 1 0 773730174 73506816 14959 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17946 14959 1111 63 0 17883 0
vsize: 71784
[startup+500.094 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 15487 0 0 0 49984 31 0 0 25 0 1 0 773730174 75456512 15411 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18422 15411 1111 63 0 18359 0
vsize: 73688
[startup+510.094 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 15965 0 0 0 50984 31 0 0 25 0 1 0 773730174 77410304 15889 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18899 15889 1111 63 0 18836 0
vsize: 75596
[startup+520.095 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 16450 0 0 0 51983 32 0 0 25 0 1 0 773730174 79368192 16374 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19377 16374 1111 63 0 19314 0
vsize: 77508
[startup+530.096 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 16984 0 0 0 52982 33 0 0 25 0 1 0 773730174 81801216 16908 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19971 16908 1111 63 0 19908 0
vsize: 79884
[startup+540.095 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 17494 0 0 0 53981 34 0 0 25 0 1 0 773730174 83910656 17418 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20486 17418 1111 63 0 20423 0
vsize: 81944
[startup+550.095 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 18017 0 0 0 54980 35 0 0 25 0 1 0 773730174 86016000 17941 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21000 17941 1111 63 0 20937 0
vsize: 84000
[startup+560.096 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 18549 0 0 0 55980 36 0 0 25 0 1 0 773730174 88121344 18473 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21514 18473 1111 63 0 21451 0
vsize: 86056
[startup+570.095 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 19111 0 0 0 56980 37 0 0 25 0 1 0 773730174 90501120 19035 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22095 19035 1111 63 0 22032 0
vsize: 88380
[startup+580.096 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 19686 0 0 0 57978 38 0 0 25 0 1 0 773730174 92758016 19610 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22646 19610 1111 63 0 22583 0
vsize: 90584
[startup+590.095 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 20275 0 0 0 58977 39 0 0 25 0 1 0 773730174 95166464 20199 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23234 20199 1111 63 0 23171 0
vsize: 92936
[startup+600.096 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 20894 0 0 0 59976 41 0 0 25 0 1 0 773730174 97722368 20818 4294967295 134512640 134714508 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23858 20818 1111 63 0 23795 0
vsize: 95432
[startup+610.096 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 21545 0 0 0 60975 42 0 0 25 0 1 0 773730174 100433920 21469 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24520 21469 1111 63 0 24457 0
vsize: 98080
[startup+620.095 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 22208 0 0 0 61973 44 0 0 25 0 1 0 773730174 103141376 22132 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25181 22132 1111 63 0 25118 0
vsize: 100724
[startup+630.096 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 22887 0 0 0 62973 45 0 0 25 0 1 0 773730174 105852928 22811 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25843 22811 1111 63 0 25780 0
vsize: 103372
[startup+640.096 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 23596 0 0 0 63971 47 0 0 25 0 1 0 773730174 108711936 23520 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26541 23520 1111 63 0 26478 0
vsize: 106164
[startup+650.096 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 24318 0 0 0 64970 48 0 0 25 0 1 0 773730174 111718400 24242 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27275 24242 1111 63 0 27212 0
vsize: 109100
[startup+660.096 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 25072 0 0 0 65968 49 0 0 25 0 1 0 773730174 114733056 24996 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28011 24996 1111 63 0 27948 0
vsize: 112044
[startup+668.315 s]
Raw data (loadavg): 0.99 0.97 0.95 1/53 9910
Raw data (stat): 9910 (bsolo_lpr_cuts) R 9909 7266 7265 0 -1 0 25072 0 0 0 65968 49 0 0 25 0 1 0 773730174 114733056 24996 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28011 24996 1111 63 0 27948 0
vsize: 0

Child status: 0
Real time (s): 668.315
CPU time (s): 668.407
CPU user time (s): 667.846
CPU system time (s): 0.560914
CPU usage (%): 100.014
Max. virtual memory (Kb): 112044
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####