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-ship08s.opb
MD5SUM	686a91b29b124fe4cc498973c082aa6a
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	47740
Biggest coefficient in the objective function	425249996800
Number of bits for the biggest coefficient in the objective function	39
Sum of the numbers in the objective function	109780207303800
Number of bits of the sum of numbers in the objective function	47
Biggest number in a constraint	425249996800
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	109780207303800
Number of bits of the biggest sum of numbers	47
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.416936
Number of variables	47740
Total number of constraints	712
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	712
Minimum length of a constraint	20
Maximum length of a constraint	1220

Trace number 27572

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        805868 kB
Buffers:         34596 kB
Cached:         173252 kB
SwapCached:        504 kB
Active:          63156 kB
Inactive:       147240 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        805616 kB
SwapTotal:     2097136 kB
SwapFree:      2096156 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5948 kB
Slab:            12716 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 22:53:02 (client local time) WITH STATUS 0 IN 564.208 SECONDS
stats: 16434 7 564.208 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: +78125*SH070269_bit_7 +156250*SH070269_bit_6 +312500*SH070269_bit_5 +625000*SH070269_bit_4 +1250000*SH070269_bit_3 +2500000*SH070269_bit_2 +5000000*SH070269_bit_1 +10000000*SH070269_bit0 +20000000*SH070269_bit1 +40000000*SH070269_bit2 +80000000*SH070269_bit3 +160000000*SH070269_bit4 +320000000*SH070269_bit5 +640000000*SH070269_bit6 +1280000000*SH070269_bit7 +2560000000*SH070269_bit8 +5120000000*SH070269_bit9 +10240000000*SH070269_bit10 +20480000000*SH070269_bit11 +40960000000*SH070269_bit12 = +104757;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-ship08s.opb
s UNKNOWN
c Exit Code: 0
c Total time: 564.13 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.90 0.95 0.95 2/54 24248
Raw data (stat): 24248 (runsolver) R 24247 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775701404 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 s]
Raw data (loadavg): 0.92 0.95 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 1091 0 0 0 994 3 0 0 25 0 1 0 775701404 16482304 1015 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 1015 1111 63 0 3961 0
vsize: 16096
[startup+20.0013 s]
Raw data (loadavg): 0.93 0.95 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 1486 0 0 0 1993 4 0 0 25 0 1 0 775701404 18186240 1410 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4440 1410 1111 63 0 4377 0
vsize: 17760
[startup+30.0028 s]
Raw data (loadavg): 0.94 0.95 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 1895 0 0 0 2993 4 0 0 25 0 1 0 775701404 19738624 1819 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4819 1819 1111 63 0 4756 0
vsize: 19276
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.95 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 2319 0 0 0 3993 5 0 0 25 0 1 0 775701404 21573632 2243 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5267 2243 1111 63 0 5204 0
vsize: 21068
[startup+50.0057 s]
Raw data (loadavg): 0.96 0.95 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 2733 0 0 0 4993 5 0 0 25 0 1 0 775701404 23265280 2657 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5680 2657 1111 63 0 5617 0
vsize: 22720
[startup+60.008 s]
Raw data (loadavg): 0.96 0.95 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 3161 0 0 0 5992 6 0 0 25 0 1 0 775701404 24961024 3085 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6094 3085 1111 63 0 6031 0
vsize: 24376
[startup+70.0081 s]
Raw data (loadavg): 0.97 0.95 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 3588 0 0 0 6992 7 0 0 25 0 1 0 775701404 26812416 3512 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6546 3512 1111 63 0 6483 0
vsize: 26184
[startup+80.009 s]
Raw data (loadavg): 0.97 0.95 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 4018 0 0 0 7991 7 0 0 25 0 1 0 775701404 28512256 3942 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6961 3942 1111 63 0 6898 0
vsize: 27844
[startup+90.0089 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 4452 0 0 0 8991 8 0 0 25 0 1 0 775701404 30347264 4376 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 4376 1111 63 0 7346 0
vsize: 29636
[startup+100.009 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 4888 0 0 0 9990 9 0 0 25 0 1 0 775701404 32043008 4812 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7823 4812 1111 63 0 7760 0
vsize: 31292
[startup+110.009 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 5324 0 0 0 10990 10 0 0 25 0 1 0 775701404 33873920 5248 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8270 5248 1111 63 0 8207 0
vsize: 33080
[startup+120.008 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 5772 0 0 0 11989 10 0 0 25 0 1 0 775701404 35713024 5696 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8719 5696 1111 63 0 8656 0
vsize: 34876
[startup+130.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 6220 0 0 0 12989 11 0 0 25 0 1 0 775701404 37548032 6144 4294967295 134512640 134714508 3221224592 3221222924 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9167 6144 1111 63 0 9104 0
vsize: 36668
[startup+140.008 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 6681 0 0 0 13988 12 0 0 25 0 1 0 775701404 39395328 6605 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9618 6605 1111 63 0 9555 0
vsize: 38472
[startup+150.009 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 7143 0 0 0 14987 13 0 0 25 0 1 0 775701404 41369600 7067 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10100 7067 1111 63 0 10037 0
vsize: 40400
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 7607 0 0 0 15987 13 0 0 25 0 1 0 775701404 43208704 7531 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10549 7531 1111 63 0 10486 0
vsize: 42196
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 8078 0 0 0 16986 14 0 0 25 0 1 0 775701404 45182976 8002 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11031 8002 1111 63 0 10968 0
vsize: 44124
[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 8547 0 0 0 17985 15 0 0 25 0 1 0 775701404 47017984 8471 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11479 8471 1111 63 0 11416 0
vsize: 45916
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 9018 0 0 0 18984 17 0 0 25 0 1 0 775701404 48996352 8942 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11962 8942 1111 63 0 11899 0
vsize: 47848
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 9501 0 0 0 19984 17 0 0 25 0 1 0 775701404 50970624 9425 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12444 9425 1111 63 0 12381 0
vsize: 49776
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 9991 0 0 0 20983 19 0 0 25 0 1 0 775701404 52948992 9915 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12927 9915 1111 63 0 12864 0
vsize: 51708
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 10484 0 0 0 21982 20 0 0 25 0 1 0 775701404 54927360 10408 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13410 10408 1111 63 0 13347 0
vsize: 53640
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 10987 0 0 0 22981 20 0 0 25 0 1 0 775701404 57044992 10911 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13927 10911 1111 63 0 13864 0
vsize: 55708
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 11497 0 0 0 23981 21 0 0 25 0 1 0 775701404 59162624 11421 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14444 11421 1111 63 0 14381 0
vsize: 57776
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 12034 0 0 0 24979 23 0 0 25 0 1 0 775701404 61501440 11958 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15015 11958 1111 63 0 14952 0
vsize: 60060
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 12560 0 0 0 25979 23 0 0 25 0 1 0 775701404 63623168 12484 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15533 12484 1111 63 0 15470 0
vsize: 62132
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 13098 0 0 0 26978 24 0 0 25 0 1 0 775701404 65732608 13022 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16048 13022 1111 63 0 15985 0
vsize: 64192
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 13664 0 0 0 27977 25 0 0 25 0 1 0 775701404 68136960 13588 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16635 13588 1111 63 0 16572 0
vsize: 66540
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 14231 0 0 0 28976 27 0 0 25 0 1 0 775701404 70397952 14155 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17187 14155 1111 63 0 17124 0
vsize: 68748
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 14798 0 0 0 29974 29 0 0 25 0 1 0 775701404 72794112 14722 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17772 14722 1111 63 0 17709 0
vsize: 71088
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 15386 0 0 0 30974 29 0 0 25 0 1 0 775701404 75198464 15310 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18359 15310 1111 63 0 18296 0
vsize: 73436
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 15987 0 0 0 31973 30 0 0 25 0 1 0 775701404 77594624 15911 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18944 15911 1111 63 0 18881 0
vsize: 75776
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 16596 0 0 0 32973 31 0 0 25 0 1 0 775701404 80138240 16520 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19565 16520 1111 63 0 19502 0
vsize: 78260
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 17217 0 0 0 33972 32 0 0 25 0 1 0 775701404 82677760 17141 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20185 17142 1111 63 0 20122 0
vsize: 80740
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 17849 0 0 0 34971 33 0 0 25 0 1 0 775701404 85225472 17773 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20807 17773 1111 63 0 20744 0
vsize: 83228
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 18491 0 0 0 35969 35 0 0 25 0 1 0 775701404 87764992 18415 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21427 18415 1111 63 0 21364 0
vsize: 85708
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 19148 0 0 0 36969 36 0 0 25 0 1 0 775701404 90447872 19072 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22082 19072 1111 63 0 22019 0
vsize: 88328
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 19812 0 0 0 37968 37 0 0 25 0 1 0 775701404 93270016 19736 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22771 19736 1111 63 0 22708 0
vsize: 91084
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 20497 0 0 0 38967 38 0 0 25 0 1 0 775701404 95952896 20421 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23426 20421 1111 63 0 23363 0
vsize: 93704
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 21202 0 0 0 39966 39 0 0 25 0 1 0 775701404 98922496 21126 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24151 21126 1111 63 0 24088 0
vsize: 96604
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 21920 0 0 0 40964 41 0 0 25 0 1 0 775701404 101883904 21844 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24874 21844 1111 63 0 24811 0
vsize: 99496
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 22652 0 0 0 41963 42 0 0 25 0 1 0 775701404 104853504 22576 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25599 22576 1111 63 0 25536 0
vsize: 102396
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 23429 0 0 0 42962 43 0 0 25 0 1 0 775701404 108199936 23353 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26416 23353 1111 63 0 26353 0
vsize: 105664
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 24185 0 0 0 43961 45 0 0 25 0 1 0 775701404 111308800 24109 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27175 24109 1111 63 0 27112 0
vsize: 108700
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 24952 0 0 0 44960 46 0 0 25 0 1 0 775701404 114413568 24876 4294967295 134512640 134714508 3221224592 3221223248 134527941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27933 24876 1111 63 0 27870 0
vsize: 111732
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 25733 0 0 0 45959 47 0 0 25 0 1 0 775701404 117661696 25657 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28726 25657 1111 63 0 28663 0
vsize: 114904
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 26528 0 0 0 46957 49 0 0 25 0 1 0 775701404 120909824 26452 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29519 26452 1111 63 0 29456 0
vsize: 118076
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 27331 0 0 0 47956 50 0 0 25 0 1 0 775701404 124162048 27255 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30313 27255 1111 63 0 30250 0
vsize: 121252
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 28159 0 0 0 48955 51 0 0 25 0 1 0 775701404 127545344 28083 4294967295 134512640 134714508 3221224592 3221222928 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31139 28083 1111 63 0 31076 0
vsize: 124556
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 29030 0 0 0 49954 52 0 0 25 0 1 0 775701404 131076096 28954 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32001 28954 1111 63 0 31938 0
vsize: 128004
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 29929 0 0 0 50952 54 0 0 25 0 1 0 775701404 134746112 29853 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32897 29853 1111 63 0 32834 0
vsize: 131588
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 30843 0 0 0 51951 56 0 0 25 0 1 0 775701404 138559488 30767 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33828 30767 1111 63 0 33765 0
vsize: 135312
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 31768 0 0 0 52949 57 0 0 25 0 1 0 775701404 142376960 31692 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34760 31692 1111 63 0 34697 0
vsize: 139040
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 32723 0 0 0 53948 59 0 0 25 0 1 0 775701404 146186240 32647 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35690 32647 1111 63 0 35627 0
vsize: 142760
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 33731 0 0 0 54947 60 0 0 25 0 1 0 775701404 150278144 33655 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36689 33655 1111 63 0 36626 0
vsize: 146756
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 35559 0 0 0 55941 65 0 0 25 0 1 0 775701404 157839360 35483 4294967295 134512640 134714508 3221224592 3221222868 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38535 35483 1111 63 0 38472 0
vsize: 154140
[startup+564.15 s]
Raw data (loadavg): 0.99 0.97 0.95 1/53 24248
Raw data (stat): 24248 (bsolo_lpr_cuts) R 24247 21152 21151 0 -1 0 35559 0 0 0 55941 65 0 0 25 0 1 0 775701404 157839360 35483 4294967295 134512640 134714508 3221224592 3221222868 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38535 35483 1111 63 0 38472 0
vsize: 0

Child status: 0
Real time (s): 564.149
CPU time (s): 564.208
CPU user time (s): 563.464
CPU system time (s): 0.743886
CPU usage (%): 100.01
Max. virtual memory (Kb): 154140
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####