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-degen3.opb
MD5SUM	7312c1a4c94073cc51821da54f781db8
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	47190
Biggest coefficient in the objective function	1001264250880
Number of bits for the biggest coefficient in the objective function	40
Sum of the numbers in the objective function	339379725479256
Number of bits of the sum of numbers in the objective function	49
Biggest number in a constraint	1001264250880
Number of bits of the biggest number in a constraint	40
Biggest sum of numbers in a constraint	339379725479256
Number of bits of the biggest sum of numbers	49
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.474927
Number of variables	54540
Total number of constraints	1503
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	1503
Minimum length of a constraint	60
Maximum length of a constraint	6090

Trace number 40977

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 03:53:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29040 boxname=wulflinc2 idbench=824 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  7312c1a4c94073cc51821da54f781db8  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-degen3.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-degen3.opb
IDLAUNCH: 29040
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        845180 kB
Buffers:         23680 kB
Cached:         140488 kB
SwapCached:       4472 kB
Active:          42144 kB
Inactive:       127200 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        844928 kB
SwapTotal:     2097136 kB
SwapFree:      2091616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            14492 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 04:05:19 (client local time) WITH STATUS 20 IN 703.396 SECONDS
stats: 29040 7 703.396 20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 54540 variables and 1356 constraints.
s UNSATISFIABLE
c Exit Code: 20
c Total time: 703.318 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.90 0.94 0.90 1/54 19343
Raw data (stat): 19343 (runsolver) R 19342 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907190711 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 1012 0 0 0 995 2 0 0 25 0 1 0 907190711 16236544 932 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3964 932 1111 63 0 3901 0
vsize: 15856
[startup+20.001 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 1309 0 0 0 1995 2 0 0 25 0 1 0 907190711 17420288 1229 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4253 1229 1111 63 0 4190 0
vsize: 17012
[startup+30.0007 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 1597 0 0 0 2994 3 0 0 25 0 1 0 907190711 18591744 1517 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4539 1517 1111 63 0 4476 0
vsize: 18156
[startup+40.0018 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 1903 0 0 0 3994 4 0 0 25 0 1 0 907190711 19943424 1823 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4869 1823 1111 63 0 4806 0
vsize: 19476
[startup+50.0021 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 2204 0 0 0 4994 4 0 0 25 0 1 0 907190711 21143552 2124 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5162 2124 1111 63 0 5099 0
vsize: 20648
[startup+60.0028 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 2499 0 0 0 5993 5 0 0 25 0 1 0 907190711 22351872 2419 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5457 2419 1111 63 0 5394 0
vsize: 21828
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 2813 0 0 0 6993 5 0 0 25 0 1 0 907190711 23695360 2733 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5785 2733 1111 63 0 5722 0
vsize: 23140
[startup+80.0022 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 3122 0 0 0 7993 6 0 0 25 0 1 0 907190711 24895488 3042 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6078 3042 1111 63 0 6015 0
vsize: 24312
[startup+90.0019 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 3433 0 0 0 8992 6 0 0 25 0 1 0 907190711 26251264 3353 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6409 3353 1111 63 0 6346 0
vsize: 25636
[startup+100.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 3744 0 0 0 9992 7 0 0 25 0 1 0 907190711 27426816 3664 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6696 3664 1111 63 0 6633 0
vsize: 26784
[startup+110.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 4068 0 0 0 10992 7 0 0 25 0 1 0 907190711 28782592 3988 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7027 3988 1111 63 0 6964 0
vsize: 28108
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 4392 0 0 0 11991 8 0 0 25 0 1 0 907190711 30134272 4312 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7357 4312 1111 63 0 7294 0
vsize: 29428
[startup+130.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 4740 0 0 0 12990 9 0 0 25 0 1 0 907190711 31526912 4660 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7697 4660 1111 63 0 7634 0
vsize: 30788
[startup+140.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 5077 0 0 0 13989 10 0 0 25 0 1 0 907190711 33030144 4997 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8064 4997 1111 63 0 8001 0
vsize: 32256
[startup+150.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 5418 0 0 0 14989 11 0 0 25 0 1 0 907190711 34390016 5338 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8396 5338 1111 63 0 8333 0
vsize: 33584
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 5758 0 0 0 15989 11 0 0 25 0 1 0 907190711 35737600 5678 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8725 5678 1111 63 0 8662 0
vsize: 34900
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 6105 0 0 0 16988 12 0 0 25 0 1 0 907190711 37097472 6025 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9057 6025 1111 63 0 8994 0
vsize: 36228
[startup+180.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 6451 0 0 0 17987 13 0 0 25 0 1 0 907190711 38596608 6371 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9423 6377 1111 63 0 9360 0
vsize: 37692
[startup+190.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 6812 0 0 0 18986 14 0 0 25 0 1 0 907190711 40103936 6732 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9791 6732 1111 63 0 9728 0
vsize: 39164
[startup+200.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 7175 0 0 0 19986 15 0 0 25 0 1 0 907190711 41459712 7095 4294967295 134512640 134716908 3221224560 3221223216 134527972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10122 7095 1111 63 0 10059 0
vsize: 40488
[startup+210.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 7542 0 0 0 20986 15 0 0 25 0 1 0 907190711 43081728 7462 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10518 7462 1111 63 0 10455 0
vsize: 42072
[startup+220.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 7919 0 0 0 21985 16 0 0 25 0 1 0 907190711 44589056 7839 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10886 7839 1111 63 0 10823 0
vsize: 43544
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 8295 0 0 0 22984 17 0 0 25 0 1 0 907190711 46096384 8215 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11254 8215 1111 63 0 11191 0
vsize: 45016
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 8695 0 0 0 23983 19 0 0 25 0 1 0 907190711 47849472 8615 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11682 8615 1111 63 0 11619 0
vsize: 46728
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 9093 0 0 0 24982 19 0 0 25 0 1 0 907190711 49475584 9013 4294967295 134512640 134716908 3221224560 3221223216 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12079 9013 1111 63 0 12016 0
vsize: 48316
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 9484 0 0 0 25982 20 0 0 25 0 1 0 907190711 51101696 9404 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12476 9404 1111 63 0 12413 0
vsize: 49904
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 9891 0 0 0 26982 21 0 0 25 0 1 0 907190711 52760576 9811 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12881 9811 1111 63 0 12818 0
vsize: 51524
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 10305 0 0 0 27981 22 0 0 25 0 1 0 907190711 54415360 10225 4294967295 134512640 134716908 3221224560 3221223216 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13285 10225 1111 63 0 13222 0
vsize: 53140
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 10733 0 0 0 28980 23 0 0 25 0 1 0 907190711 56221696 10653 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13726 10653 1111 63 0 13663 0
vsize: 54904
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 11162 0 0 0 29980 23 0 0 25 0 1 0 907190711 57872384 11082 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14129 11082 1111 63 0 14066 0
vsize: 56516
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 11604 0 0 0 30979 24 0 0 25 0 1 0 907190711 59678720 11524 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14570 11524 1111 63 0 14507 0
vsize: 58280
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 12052 0 0 0 31978 26 0 0 25 0 1 0 907190711 61485056 11972 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15011 11972 1111 63 0 14948 0
vsize: 60044
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 12503 0 0 0 32977 26 0 0 25 0 1 0 907190711 63447040 12423 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15490 12423 1111 63 0 15427 0
vsize: 61960
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 12967 0 0 0 33976 27 0 0 25 0 1 0 907190711 65253376 12887 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15931 12887 1111 63 0 15868 0
vsize: 63724
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 13439 0 0 0 34976 28 0 0 25 0 1 0 907190711 67207168 13359 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16408 13359 1111 63 0 16345 0
vsize: 65632
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 13926 0 0 0 35975 29 0 0 25 0 1 0 907190711 69160960 13846 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16885 13846 1111 63 0 16822 0
vsize: 67540
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 14427 0 0 0 36975 30 0 0 25 0 1 0 907190711 71266304 14347 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17399 14347 1111 63 0 17336 0
vsize: 69596
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19343
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 14951 0 0 0 37973 31 0 0 25 0 1 0 907190711 73371648 14871 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17913 14871 1111 63 0 17850 0
vsize: 71652
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 3/57 19379
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 15482 0 0 0 38972 33 0 0 25 0 1 0 907190711 75603968 15402 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18458 15402 1111 63 0 18395 0
vsize: 73832
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19396
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 16014 0 0 0 39969 35 0 0 25 0 1 0 907190711 77709312 15934 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18972 15934 1111 63 0 18909 0
vsize: 75888
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19396
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 16607 0 0 0 40968 36 0 0 25 0 1 0 907190711 80326656 16527 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19611 16527 1111 63 0 19548 0
vsize: 78444
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19396
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 17180 0 0 0 41967 37 0 0 25 0 1 0 907190711 82702336 17100 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20191 17100 1111 63 0 20128 0
vsize: 80764
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19396
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 17771 0 0 0 42966 38 0 0 25 0 1 0 907190711 85114880 17691 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20780 17691 1111 63 0 20717 0
vsize: 83120
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19396
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 18376 0 0 0 43965 40 0 0 25 0 1 0 907190711 87670784 18296 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21404 18296 1111 63 0 21341 0
vsize: 85616
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19396
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 18997 0 0 0 44964 41 0 0 25 0 1 0 907190711 90075136 18917 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21991 18917 1111 63 0 21928 0
vsize: 87964
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 19629 0 0 0 45963 43 0 0 25 0 1 0 907190711 92758016 19549 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22646 19549 1111 63 0 22583 0
vsize: 90584
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 20293 0 0 0 46962 43 0 0 25 0 1 0 907190711 95465472 20213 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23307 20213 1111 63 0 23244 0
vsize: 93228
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 20976 0 0 0 47961 45 0 0 25 0 1 0 907190711 98172928 20896 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23968 20896 1111 63 0 23905 0
vsize: 95872
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 21681 0 0 0 48960 46 0 0 25 0 1 0 907190711 101036032 21601 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24667 21601 1111 63 0 24604 0
vsize: 98668
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 22389 0 0 0 49958 48 0 0 25 0 1 0 907190711 104046592 22309 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25402 22309 1111 63 0 25339 0
vsize: 101608
[startup+510.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 23120 0 0 0 50959 49 0 0 25 0 1 0 907190711 106905600 23040 4294967295 134512640 134716908 3221224560 3221223280 134564419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26100 23040 1111 63 0 26037 0
vsize: 104400
[startup+520.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 23864 0 0 0 51958 50 0 0 25 0 1 0 907190711 110067712 23784 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26872 23784 1111 63 0 26809 0
vsize: 107488
[startup+530.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 27254 0 0 0 52951 57 0 0 25 0 1 0 907190711 123527168 27076 4294967295 134512640 134716908 3221224560 3221222836 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30158 27076 1111 63 0 30095 0
vsize: 120632
[startup+540.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 27944 0 0 0 53949 59 0 0 25 0 1 0 907190711 126435328 27764 4294967295 134512640 134716908 3221224560 3221222808 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30868 27764 1111 63 0 30805 0
vsize: 123472
[startup+550.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 29063 0 0 0 54946 62 0 0 25 0 1 0 907190711 130990080 28881 4294967295 134512640 134716908 3221224560 3221222836 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31980 28881 1111 63 0 31917 0
vsize: 127920
[startup+560.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 29458 0 0 0 55945 63 0 0 25 0 1 0 907190711 132632576 29276 4294967295 134512640 134716908 3221224560 3221222836 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32381 29276 1111 63 0 32318 0
vsize: 129524
[startup+570.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 29681 0 0 0 56943 64 0 0 25 0 1 0 907190711 133750784 29496 4294967295 134512640 134716908 3221224560 3221222836 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32654 29496 1111 63 0 32591 0
vsize: 130616
[startup+580.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 30026 0 0 0 57942 65 0 0 25 0 1 0 907190711 135159808 29835 4294967295 134512640 134716908 3221224560 3221222592 1077190969 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32998 29835 1111 63 0 32935 0
vsize: 131992
[startup+590.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 30674 0 0 0 58940 66 0 0 25 0 1 0 907190711 137961472 30477 4294967295 134512640 134716908 3221224560 3221221304 1077298586 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33682 30477 1111 63 0 33619 0
vsize: 134728
[startup+600.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 31404 0 0 0 59939 68 0 0 25 0 1 0 907190711 140931072 31207 4294967295 134512640 134716908 3221224560 3221222476 1077271582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34407 31207 1111 63 0 34344 0
vsize: 137628
[startup+610.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 32299 0 0 0 60936 71 0 0 25 0 1 0 907190711 144613376 32102 4294967295 134512640 134716908 3221224560 3221222608 1077314089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35306 32102 1111 63 0 35243 0
vsize: 141224
[startup+620.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 32648 0 0 0 61935 71 0 0 25 0 1 0 907190711 146153472 32451 4294967295 134512640 134716908 3221224560 3221222836 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35682 32451 1111 63 0 35619 0
vsize: 142728
[startup+630.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 32948 0 0 0 62934 73 0 0 25 0 1 0 907190711 147386368 32751 4294967295 134512640 134716908 3221224560 3221222836 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35983 32751 1111 63 0 35920 0
vsize: 143932
[startup+640.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 33311 0 0 0 63932 74 0 0 25 0 1 0 907190711 148897792 33114 4294967295 134512640 134716908 3221224560 3221222836 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36352 33114 1111 63 0 36289 0
vsize: 145408
[startup+650.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 33567 0 0 0 64931 75 0 0 25 0 1 0 907190711 149983232 33370 4294967295 134512640 134716908 3221224560 3221222836 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36617 33370 1111 63 0 36554 0
vsize: 146468
[startup+660.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 33804 0 0 0 65931 75 0 0 25 0 1 0 907190711 151093248 33604 4294967295 134512640 134716908 3221224560 3221222836 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36888 33604 1111 63 0 36825 0
vsize: 147552
[startup+670.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 34050 0 0 0 66931 76 0 0 25 0 1 0 907190711 152252416 33844 4294967295 134512640 134716908 3221224560 3221222836 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37171 33844 1111 63 0 37108 0
vsize: 148684
[startup+680.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 34294 0 0 0 67930 77 0 0 25 0 1 0 907190711 153391104 34082 4294967295 134512640 134716908 3221224560 3221222836 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37449 34082 1111 63 0 37386 0
vsize: 149796
[startup+690.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 34477 0 0 0 68930 77 0 0 25 0 1 0 907190711 154116096 34261 4294967295 134512640 134716908 3221224560 3221222836 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37626 34261 1111 63 0 37563 0
vsize: 150504
[startup+700.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 35454 0 0 0 69926 81 0 0 25 0 1 0 907190711 158257152 35234 4294967295 134512640 134716908 3221224560 3221222896 1077314124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38637 35234 1111 63 0 38574 0
vsize: 154548
[startup+703.36 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 19398
Raw data (stat): 19343 (bsolo_lpr_cuts-) R 19342 31399 31398 0 -1 0 35454 0 0 0 69926 81 0 0 25 0 1 0 907190711 158257152 35234 4294967295 134512640 134716908 3221224560 3221222896 1077314124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38637 35234 1111 63 0 38574 0
vsize: 0

Child status: 20
Real time (s): 703.36
CPU time (s): 703.396
CPU user time (s): 702.394
CPU system time (s): 1.00185
CPU usage (%): 100.005
Max. virtual memory (Kb): 154548
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####