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-sctap3.opb
MD5SUM	b5066922b496d65f6fab47243caf450a
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	55800
Biggest coefficient in the objective function	42949672960
Number of bits for the biggest coefficient in the objective function	36
Sum of the numbers in the objective function	31374736068060
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	42949672960
Number of bits of the biggest number in a constraint	36
Biggest sum of numbers in a constraint	31374736068060
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.674897
Number of variables	74400
Total number of constraints	1480
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	1480
Minimum length of a constraint	90
Maximum length of a constraint	930
Trace number 41026

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 04:25:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29089 boxname=wulflinc3 idbench=873 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  b5066922b496d65f6fab47243caf450a  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-sctap3.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-sctap3.opb
IDLAUNCH: 29089
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        777780 kB
Buffers:         28780 kB
Cached:         204728 kB
SwapCached:       3472 kB
Active:          25248 kB
Inactive:       213000 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        777528 kB
SwapTotal:     2097136 kB
SwapFree:      2092672 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5020 kB
Slab:            12936 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 04:37:01 (client local time) WITH STATUS 0 IN 689.059 SECONDS
stats: 29089 7 689.059 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: -5*Z3Z10ZZ9_bit_10 -10*Z3Z10ZZ9_bit_9 -20*Z3Z10ZZ9_bit_8 -40*Z3Z10ZZ9_bit_7 -80*Z3Z10ZZ9_bit_6 -160*Z3Z10ZZ9_bit_5 -320*Z3Z10ZZ9_bit_4 -640*Z3Z10ZZ9_bit_3 -1280*Z3Z10ZZ9_bit_2 -2560*Z3Z10ZZ9_bit_1 -5120*Z3Z10ZZ9_bit0 -10240*Z3Z10ZZ9_bit1 -20480*Z3Z10ZZ9_bit2 -40960*Z3Z10ZZ9_bit3 -81920*Z3Z10ZZ9_bit4 -163840*Z3Z10ZZ9_bit5 -327680*Z3Z10ZZ9_bit6 -655360*Z3Z10ZZ9_bit7 -1310720*Z3Z10ZZ9_bit8 -2621440*Z3Z10ZZ9_bit9 -5242880*Z3Z10ZZ9_bit10 -10485760*Z3Z10ZZ9_bit11 -20971520*Z3Z10ZZ9_bit12 -41943040*Z3Z10ZZ9_bit13 -83886080*Z3Z10ZZ9_bit14 -167772160*Z3Z10ZZ9_bit15 -335544320*Z3Z10ZZ9_bit16 -671088640*Z3Z10ZZ9_bit17 -1342177280*Z3Z10ZZ9_bit18 -2684354560*Z3Z10ZZ9_bit19 -1*Z4Z10ZZ9_bit_10 -2*Z4Z10ZZ9_bit_9 -4*Z4Z10ZZ9_bit_8 -8*Z4Z10ZZ9_bit_7 -16*Z4Z10ZZ9_bit_6 -32*Z4Z10ZZ9_bit_5 -64*Z4Z10ZZ9_bit_4 -128*Z4Z10ZZ9_bit_3 -256*Z4Z10ZZ9_bit_2 -512*Z4Z10ZZ9_bit_1 -1024*Z4Z10ZZ9_bit0 -2048*Z4Z10ZZ9_bit1 -4096*Z4Z10ZZ9_bit2 -8192*Z4Z10ZZ9_bit3 -16384*Z4Z10ZZ9_bit4 -32768*Z4Z10ZZ9_bit5 -65536*Z4Z10ZZ9_bit6 -131072*Z4Z10ZZ9_bit7 -262144*Z4Z10ZZ9_bit8 -524288*Z4Z10ZZ9_bit9 -1048576*Z4Z10ZZ9_bit10 -2097152*Z4Z10ZZ9_bit11 -4194304*Z4Z10ZZ9_bit12 -8388608*Z4Z10ZZ9_bit13 -16777216*Z4Z10ZZ9_bit14 -33554432*Z4Z10ZZ9_bit15 -67108864*Z4Z10ZZ9_bit16 -134217728*Z4Z10ZZ9_bit17 -268435456*Z4Z10ZZ9_bit18 -536870912*Z4Z10ZZ9_bit19 +10*Z2Z10Z10_bit_10 +20*Z2Z10Z10_bit_9 +40*Z2Z10Z10_bit_8 +80*Z2Z10Z10_bit_7 +160*Z2Z10Z10_bit_6 +320*Z2Z10Z10_bit_5 +640*Z2Z10Z10_bit_4 +1280*Z2Z10Z10_bit_3 +2560*Z2Z10Z10_bit_2 +5120*Z2Z10Z10_bit_1 +10240*Z2Z10Z10_bit0 +20480*Z2Z10Z10_bit1 +40960*Z2Z10Z10_bit2 +81920*Z2Z10Z10_bit3 +163840*Z2Z10Z10_bit4 +327680*Z2Z10Z10_bit5 +655360*Z2Z10Z10_bit6 +1310720*Z2Z10Z10_bit7 +2621440*Z2Z10Z10_bit8 +5242880*Z2Z10Z10_bit9 +10485760*Z2Z10Z10_bit10 +20971520*Z2Z10Z10_bit11 +41943040*Z2Z10Z10_bit12 +83886080*Z2Z10Z10_bit13 +167772160*Z2Z10Z10_bit14 +335544320*Z2Z10Z10_bit15 +671088640*Z2Z10Z10_bit16 +1342177280*Z2Z10Z10_bit17 +2684354560*Z2Z10Z10_bit18 +5368709120*Z2Z10Z10_bit19 +20*Z3Z10Z10_bit_10 +40*Z3Z10Z10_bit_9 +80*Z3Z10Z10_bit_8 +160*Z3Z10Z10_bit_7 +320*Z3Z10Z10_bit_6 +640*Z3Z10Z10_bit_5 +1280*Z3Z10Z10_bit_4 +2560*Z3Z10Z10_bit_3 +5120*Z3Z10Z10_bit_2 +10240*Z3Z10Z10_bit_1 +20480*Z3Z10Z10_bit0 +40960*Z3Z10Z10_bit1 +81920*Z3Z10Z10_bit2 +163840*Z3Z10Z10_bit3 +327680*Z3Z10Z10_bit4 +655360*Z3Z10Z10_bit5 +1310720*Z3Z10Z10_bit6 +2621440*Z3Z10Z10_bit7 +5242880*Z3Z10Z10_bit8 +10485760*Z3Z10Z10_bit9 +20971520*Z3Z10Z10_bit10 +41943040*Z3Z10Z10_bit11 +83886080*Z3Z10Z10_bit12 +167772160*Z3Z10Z10_bit13 +335544320*Z3Z10Z10_bit14 +671088640*Z3Z10Z10_bit15 +1342177280*Z3Z10Z10_bit16 +2684354560*Z3Z10Z10_bit17 +5368709120*Z3Z10Z10_bit18 +10737418240*Z3Z10Z10_bit19 +1*Z4Z10Z10_bit_10 +2*Z4Z10Z10_bit_9 +4*Z4Z10Z10_bit_8 +8*Z4Z10Z10_bit_7 +16*Z4Z10Z10_bit_6 +32*Z4Z10Z10_bit_5 +64*Z4Z10Z10_bit_4 +128*Z4Z10Z10_bit_3 +256*Z4Z10Z10_bit_2 +512*Z4Z10Z10_bit_1 +1024*Z4Z10Z10_bit0 +2048*Z4Z10Z10_bit1 +4096*Z4Z10Z10_bit2 +8192*Z4Z10Z10_bit3 +16384*Z4Z10Z10_bit4 +32768*Z4Z10Z10_bit5 +65536*Z4Z10Z10_bit6 +131072*Z4Z10Z10_bit7 +262144*Z4Z10Z10_bit8 +524288*Z4Z10Z10_bit9 +1048576*Z4Z10Z10_bit10 +2097152*Z4Z10Z10_bit11 +4194304*Z4Z10Z10_bit12 +8388608*Z4Z10Z10_bit13 +16777216*Z4Z10Z10_bit14 +33554432*Z4Z10Z10_bit15 +67108864*Z4Z10Z10_bit16 +134217728*Z4Z10Z10_bit17 +268435456*Z4Z10Z10_bit18 +536870912*Z4Z10Z10_bit19 >= +0;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-sctap3.opb
s UNKNOWN
c Exit Code: 0
c Total time: 688.997 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.86 0.95 0.90 2/54 3816
Raw data (stat): 3816 (runsolver) R 3815 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907370119 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.0006 s]
Raw data (loadavg): 0.88 0.96 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 1027 0 0 0 993 3 0 0 25 0 1 0 907370119 16089088 947 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3928 947 1111 63 0 3865 0
vsize: 15712
[startup+20.0014 s]
Raw data (loadavg): 0.90 0.96 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 1286 0 0 0 1993 4 0 0 25 0 1 0 907370119 17137664 1206 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4184 1206 1111 63 0 4121 0
vsize: 16736
[startup+30.0023 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 1537 0 0 0 2992 4 0 0 25 0 1 0 907370119 18292736 1457 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 1457 1111 63 0 4403 0
vsize: 17864
[startup+40.0031 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 1805 0 0 0 3991 5 0 0 25 0 1 0 907370119 19341312 1725 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4722 1725 1111 63 0 4659 0
vsize: 18888
[startup+50.0039 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 2065 0 0 0 4991 6 0 0 25 0 1 0 907370119 20393984 1985 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4979 1985 1111 63 0 4916 0
vsize: 19916
[startup+60.0038 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 2323 0 0 0 5990 7 0 0 25 0 1 0 907370119 21450752 2243 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5237 2243 1111 63 0 5174 0
vsize: 20948
[startup+70.0047 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 2586 0 0 0 6989 8 0 0 25 0 1 0 907370119 22503424 2506 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5494 2506 1111 63 0 5431 0
vsize: 21976
[startup+80.0054 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 2851 0 0 0 7988 9 0 0 25 0 1 0 907370119 23695360 2771 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5785 2771 1111 63 0 5722 0
vsize: 23140
[startup+90.0055 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 3121 0 0 0 8988 9 0 0 25 0 1 0 907370119 24743936 3041 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6041 3041 1111 63 0 5978 0
vsize: 24164
[startup+100.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 3388 0 0 0 9987 10 0 0 25 0 1 0 907370119 25800704 3308 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6299 3308 1111 63 0 6236 0
vsize: 25196
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 3662 0 0 0 10986 11 0 0 25 0 1 0 907370119 26984448 3582 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6588 3582 1111 63 0 6525 0
vsize: 26352
[startup+120.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 3935 0 0 0 11986 12 0 0 25 0 1 0 907370119 28028928 3855 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6843 3855 1111 63 0 6780 0
vsize: 27372
[startup+130.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 4214 0 0 0 12985 13 0 0 25 0 1 0 907370119 29233152 4134 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7137 4134 1111 63 0 7074 0
vsize: 28548
[startup+140.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 4493 0 0 0 13985 13 0 0 25 0 1 0 907370119 30281728 4413 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7393 4413 1111 63 0 7330 0
vsize: 29572
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 4785 0 0 0 14984 14 0 0 25 0 1 0 907370119 31526912 4705 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7697 4705 1111 63 0 7634 0
vsize: 30788
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 5078 0 0 0 15983 15 0 0 25 0 1 0 907370119 32731136 4998 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7991 4998 1111 63 0 7928 0
vsize: 31964
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 5366 0 0 0 16982 16 0 0 25 0 1 0 907370119 33931264 5286 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8284 5286 1111 63 0 8221 0
vsize: 33136
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 5662 0 0 0 17981 17 0 0 25 0 1 0 907370119 35139584 5582 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8579 5582 1111 63 0 8516 0
vsize: 34316
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 5957 0 0 0 18981 18 0 0 25 0 1 0 907370119 36343808 5877 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8873 5877 1111 63 0 8810 0
vsize: 35492
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 6259 0 0 0 19980 19 0 0 25 0 1 0 907370119 37543936 6179 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9166 6179 1111 63 0 9103 0
vsize: 36664
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 6562 0 0 0 20979 20 0 0 25 0 1 0 907370119 38903808 6482 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9498 6482 1111 63 0 9435 0
vsize: 37992
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 6865 0 0 0 21978 20 0 0 25 0 1 0 907370119 40103936 6785 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9791 6785 1111 63 0 9728 0
vsize: 39164
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 7174 0 0 0 22977 22 0 0 25 0 1 0 907370119 41308160 7094 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10085 7094 1111 63 0 10022 0
vsize: 40340
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 7484 0 0 0 23975 23 0 0 25 0 1 0 907370119 42635264 7404 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10409 7404 1111 63 0 10346 0
vsize: 41636
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 7801 0 0 0 24974 25 0 0 25 0 1 0 907370119 43835392 7721 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10702 7721 1111 63 0 10639 0
vsize: 42808
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 8117 0 0 0 25973 26 0 0 25 0 1 0 907370119 45191168 8037 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11033 8037 1111 63 0 10970 0
vsize: 44132
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 8427 0 0 0 26972 27 0 0 25 0 1 0 907370119 46395392 8347 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11327 8347 1111 63 0 11264 0
vsize: 45308
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 8770 0 0 0 27972 27 0 0 25 0 1 0 907370119 48005120 8690 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11720 8690 1111 63 0 11657 0
vsize: 46880
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 9094 0 0 0 28971 29 0 0 25 0 1 0 907370119 49328128 9014 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12043 9014 1111 63 0 11980 0
vsize: 48172
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 9426 0 0 0 29970 30 0 0 25 0 1 0 907370119 50675712 9346 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12372 9346 1111 63 0 12309 0
vsize: 49488
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 9758 0 0 0 30969 30 0 0 25 0 1 0 907370119 52006912 9678 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12697 9678 1111 63 0 12634 0
vsize: 50788
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 10097 0 0 0 31968 31 0 0 25 0 1 0 907370119 53358592 10017 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13027 10017 1111 63 0 12964 0
vsize: 52108
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 10435 0 0 0 32968 32 0 0 25 0 1 0 907370119 54714368 10355 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13358 10355 1111 63 0 13295 0
vsize: 53432
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 10776 0 0 0 33967 33 0 0 25 0 1 0 907370119 56221696 10696 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13726 10696 1111 63 0 13663 0
vsize: 54904
[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 11115 0 0 0 34966 34 0 0 25 0 1 0 907370119 57573376 11035 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14056 11035 1111 63 0 13993 0
vsize: 56224
[startup+360.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 11469 0 0 0 35965 35 0 0 25 0 1 0 907370119 58929152 11389 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14387 11389 1111 63 0 14324 0
vsize: 57548
[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 11823 0 0 0 36964 36 0 0 25 0 1 0 907370119 60432384 11743 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14754 11743 1111 63 0 14691 0
vsize: 59016
[startup+380.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 12179 0 0 0 37964 36 0 0 25 0 1 0 907370119 61939712 12099 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15122 12099 1111 63 0 15059 0
vsize: 60488
[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 12546 0 0 0 38963 37 0 0 25 0 1 0 907370119 63447040 12466 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15490 12466 1111 63 0 15427 0
vsize: 61960
[startup+400.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 12914 0 0 0 39962 38 0 0 25 0 1 0 907370119 64946176 12834 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15856 12834 1111 63 0 15793 0
vsize: 63424
[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 13284 0 0 0 40961 39 0 0 25 0 1 0 907370119 66453504 13204 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16224 13204 1111 63 0 16161 0
vsize: 64896
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 13662 0 0 0 41960 41 0 0 25 0 1 0 907370119 67960832 13582 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16592 13582 1111 63 0 16529 0
vsize: 66368
[startup+430.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 14050 0 0 0 42959 42 0 0 25 0 1 0 907370119 69459968 13970 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16958 13970 1111 63 0 16895 0
vsize: 67832
[startup+440.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 14450 0 0 0 43957 43 0 0 25 0 1 0 907370119 71118848 14370 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17363 14370 1111 63 0 17300 0
vsize: 69452
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 14856 0 0 0 44957 44 0 0 25 0 1 0 907370119 72773632 14776 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17767 14776 1111 63 0 17704 0
vsize: 71068
[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 15270 0 0 0 45956 45 0 0 25 0 1 0 907370119 74551296 15190 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18201 15190 1111 63 0 18138 0
vsize: 72804
[startup+470.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 15691 0 0 0 46955 46 0 0 25 0 1 0 907370119 76206080 15611 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18605 15611 1111 63 0 18542 0
vsize: 74420
[startup+480.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 16131 0 0 0 47955 46 0 0 25 0 1 0 907370119 78012416 16051 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19046 16051 1111 63 0 18983 0
vsize: 76184
[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 16608 0 0 0 48954 47 0 0 25 0 1 0 907370119 80183296 16528 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19576 16528 1111 63 0 19513 0
vsize: 78304
[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 17072 0 0 0 49954 48 0 0 25 0 1 0 907370119 82104320 16992 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20045 16992 1111 63 0 19982 0
vsize: 80180
[startup+510.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 17549 0 0 0 50953 49 0 0 25 0 1 0 907370119 84058112 17469 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20522 17469 1111 63 0 20459 0
vsize: 82088
[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 18029 0 0 0 51953 49 0 0 25 0 1 0 907370119 86016000 17949 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21000 17949 1111 63 0 20937 0
vsize: 84000
[startup+530.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 18516 0 0 0 52952 51 0 0 25 0 1 0 907370119 87969792 18436 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21477 18436 1111 63 0 21414 0
vsize: 85908
[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 19019 0 0 0 53951 52 0 0 25 0 1 0 907370119 90075136 18939 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21991 18939 1111 63 0 21928 0
vsize: 87964
[startup+550.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 19543 0 0 0 54950 53 0 0 25 0 1 0 907370119 92160000 19463 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22500 19463 1111 63 0 22437 0
vsize: 90000
[startup+560.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 20102 0 0 0 55949 54 0 0 25 0 1 0 907370119 94412800 20022 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23050 20022 1111 63 0 22987 0
vsize: 92200
[startup+570.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 20664 0 0 0 56949 55 0 0 25 0 1 0 907370119 96821248 20584 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23638 20584 1111 63 0 23575 0
vsize: 94552
[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 21239 0 0 0 57947 56 0 0 25 0 1 0 907370119 99078144 21159 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24189 21159 1111 63 0 24126 0
vsize: 96756
[startup+590.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 21814 0 0 0 58946 57 0 0 25 0 1 0 907370119 101486592 21734 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24777 21734 1111 63 0 24714 0
vsize: 99108
[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 22411 0 0 0 59945 58 0 0 25 0 1 0 907370119 103899136 22331 4294967295 134512640 134716908 3221224560 3221223216 134527928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25366 22331 1111 63 0 25303 0
vsize: 101464
[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 23025 0 0 0 60945 60 0 0 25 0 1 0 907370119 106455040 22945 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25990 22945 1111 63 0 25927 0
vsize: 103960
[startup+620.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 23642 0 0 0 61943 61 0 0 25 0 1 0 907370119 108859392 23562 4294967295 134512640 134716908 3221224560 3221223216 134527928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26577 23562 1111 63 0 26514 0
vsize: 106308
[startup+630.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 24263 0 0 0 62942 63 0 0 25 0 1 0 907370119 111419392 24183 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27202 24183 1111 63 0 27139 0
vsize: 108808
[startup+640.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 24911 0 0 0 63941 64 0 0 25 0 1 0 907370119 114130944 24831 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27864 24831 1111 63 0 27801 0
vsize: 111456
[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 25572 0 0 0 64940 65 0 0 25 0 1 0 907370119 116838400 25492 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28525 25496 1111 63 0 28462 0
vsize: 114100
[startup+660.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 26254 0 0 0 65939 66 0 0 25 0 1 0 907370119 119549952 26174 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29187 26174 1111 63 0 29124 0
vsize: 116748
[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 26934 0 0 0 66939 67 0 0 25 0 1 0 907370119 122376192 26854 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29877 26854 1111 63 0 29814 0
vsize: 119508
[startup+680.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 27641 0 0 0 67937 68 0 0 25 0 1 0 907370119 125235200 27561 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30575 27561 1111 63 0 30512 0
vsize: 122300
[startup+689.033 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 3816
Raw data (stat): 3816 (bsolo_lpr_cuts-) R 3815 20224 20223 0 -1 0 27641 0 0 0 67937 68 0 0 25 0 1 0 907370119 125235200 27561 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30575 27561 1111 63 0 30512 0
vsize: 0

Child status: 0
Real time (s): 689.033
CPU time (s): 689.059
CPU user time (s): 688.312
CPU system time (s): 0.746886
CPU usage (%): 100.004
Max. virtual memory (Kb): 122300
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####