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-ship04l.opb
MD5SUM	96cffa4027013d4e1e663a2c8e2c78bc
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	42360
Biggest coefficient in the objective function	1930952704000
Number of bits for the biggest coefficient in the objective function	41
Sum of the numbers in the objective function	425698145420625
Number of bits of the sum of numbers in the objective function	49
Biggest number in a constraint	1930952704000
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	425698145420625
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.365943
Number of variables	42360
Total number of constraints	352
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	352
Minimum length of a constraint	20
Maximum length of a constraint	1680

Trace number 27574

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-24 22:45:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16395 boxname=wulflinc27 idbench=1262 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  96cffa4027013d4e1e663a2c8e2c78bc  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-ship04l.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-ship04l.opb
IDLAUNCH: 16395
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
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:        808820 kB
Buffers:         15620 kB
Cached:         188352 kB
SwapCached:        640 kB
Active:          44980 kB
Inactive:       161508 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        808568 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            13752 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 22:53:41 (client local time) WITH STATUS 0 IN 476.303 SECONDS
stats: 16395 7 476.303 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: +78125*SH040125_bit_7 +156250*SH040125_bit_6 +312500*SH040125_bit_5 +625000*SH040125_bit_4 +1250000*SH040125_bit_3 +2500000*SH040125_bit_2 +5000000*SH040125_bit_1 +10000000*SH040125_bit0 +20000000*SH040125_bit1 +40000000*SH040125_bit2 +80000000*SH040125_bit3 +160000000*SH040125_bit4 +320000000*SH040125_bit5 +640000000*SH040125_bit6 +1280000000*SH040125_bit7 +2560000000*SH040125_bit8 +5120000000*SH040125_bit9 +10240000000*SH040125_bit10 +20480000000*SH040125_bit11 +40960000000*SH040125_bit12 +78125*SH040225_bit_7 +156250*SH040225_bit_6 +312500*SH040225_bit_5 +625000*SH040225_bit_4 +1250000*SH040225_bit_3 +2500000*SH040225_bit_2 +5000000*SH040225_bit_1 +10000000*SH040225_bit0 +20000000*SH040225_bit1 +40000000*SH040225_bit2 +80000000*SH040225_bit3 +160000000*SH040225_bit4 +320000000*SH040225_bit5 +640000000*SH040225_bit6 +1280000000*SH040225_bit7 +2560000000*SH040225_bit8 +5120000000*SH040225_bit9 +10240000000*SH040225_bit10 +20480000000*SH040225_bit11 +40960000000*SH040225_bit12 +78125*SH040325_bit_7 +156250*SH040325_bit_6 +312500*SH040325_bit_5 +625000*SH040325_bit_4 +1250000*SH040325_bit_3 +2500000*SH040325_bit_2 +5000000*SH040325_bit_1 +10000000*SH040325_bit0 +20000000*SH040325_bit1 +40000000*SH040325_bit2 +80000000*SH040325_bit3 +160000000*SH040325_bit4 +320000000*SH040325_bit5 +640000000*SH040325_bit6 +1280000000*SH040325_bit7 +2560000000*SH040325_bit8 +5120000000*SH040325_bit9 +10240000000*SH040325_bit10 +20480000000*SH040325_bit11 +40960000000*SH040325_bit12 +78125*SH040425_bit_7 +156250*SH040425_bit_6 +312500*SH040425_bit_5 +625000*SH040425_bit_4 +1250000*SH040425_bit_3 +2500000*SH040425_bit_2 +5000000*SH040425_bit_1 +10000000*SH040425_bit0 +20000000*SH040425_bit1 +40000000*SH040425_bit2 +80000000*SH040425_bit3 +160000000*SH040425_bit4 +320000000*SH040425_bit5 +640000000*SH040425_bit6 +1280000000*SH040425_bit7 +2560000000*SH040425_bit8 +5120000000*SH040425_bit9 +10240000000*SH040425_bit10 +20480000000*SH040425_bit11 +40960000000*SH040425_bit12 +78125*SH040525_bit_7 +156250*SH040525_bit_6 +312500*SH040525_bit_5 +625000*SH040525_bit_4 +1250000*SH040525_bit_3 +2500000*SH040525_bit_2 +5000000*SH040525_bit_1 +10000000*SH040525_bit0 +20000000*SH040525_bit1 +40000000*SH040525_bit2 +80000000*SH040525_bit3 +160000000*SH040525_bit4 +320000000*SH040525_bit5 +640000000*SH040525_bit6 +1280000000*SH040525_bit7 +2560000000*SH040525_bit8 +5120000000*SH040525_bit9 +10240000000*SH040525_bit10 +20480000000*SH040525_bit11 +40960000000*SH040525_bit12 +78125*SH040625_bit_7 +156250*SH040625_bit_6 +312500*SH040625_bit_5 +625000*SH040625_bit_4 +1250000*SH040625_bit_3 +2500000*SH040625_bit_2 +5000000*SH040625_bit_1 +10000000*SH040625_bit0 +20000000*SH040625_bit1 +40000000*SH040625_bit2 +80000000*SH040625_bit3 +160000000*SH040625_bit4 +320000000*SH040625_bit5 +640000000*SH040625_bit6 +1280000000*SH040625_bit7 +2560000000*SH040625_bit8 +5120000000*SH040625_bit9 +10240000000*SH040625_bit10 +20480000000*SH040625_bit11 +40960000000*SH040625_bit12 +78125*SH040825_bit_7 +156250*SH040825_bit_6 +312500*SH040825_bit_5 +625000*SH040825_bit_4 +1250000*SH040825_bit_3 +2500000*SH040825_bit_2 +5000000*SH040825_bit_1 +10000000*SH040825_bit0 +20000000*SH040825_bit1 +40000000*SH040825_bit2 +80000000*SH040825_bit3 +160000000*SH040825_bit4 +320000000*SH040825_bit5 +640000000*SH040825_bit6 +1280000000*SH040825_bit7 +2560000000*SH040825_bit8 +5120000000*SH040825_bit9 +10240000000*SH040825_bit10 +20480000000*SH040825_bit11 +40960000000*SH040825_bit12 = +156302;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-ship04l.opb
s UNKNOWN
c Exit Code: 0
c Total time: 476.235 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.79 0.92 0.90 2/54 9416
Raw data (stat): 9416 (runsolver) R 9415 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833938195 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.0015 s]
Raw data (loadavg): 0.82 0.93 0.90 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 1094 0 0 0 995 3 0 0 25 0 1 0 833938195 16621568 1018 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 1018 1111 63 0 3995 0
vsize: 16232
[startup+20.002 s]
Raw data (loadavg): 0.85 0.93 0.90 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 1523 0 0 0 1994 4 0 0 25 0 1 0 833938195 18325504 1447 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4474 1447 1111 63 0 4411 0
vsize: 17896
[startup+30.0024 s]
Raw data (loadavg): 0.87 0.93 0.90 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 1951 0 0 0 2993 5 0 0 25 0 1 0 833938195 20164608 1875 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4923 1875 1111 63 0 4860 0
vsize: 19692
[startup+40.0031 s]
Raw data (loadavg): 0.89 0.93 0.90 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 2383 0 0 0 3992 5 0 0 25 0 1 0 833938195 21852160 2307 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5335 2307 1111 63 0 5272 0
vsize: 21340
[startup+50.0034 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 2813 0 0 0 4991 7 0 0 25 0 1 0 833938195 23691264 2737 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5784 2737 1111 63 0 5721 0
vsize: 23136
[startup+60.0047 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 3246 0 0 0 5990 8 0 0 25 0 1 0 833938195 25382912 3170 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6197 3170 1111 63 0 6134 0
vsize: 24788
[startup+70.0055 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 3688 0 0 0 6989 9 0 0 25 0 1 0 833938195 27242496 3612 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6651 3612 1111 63 0 6588 0
vsize: 26604
[startup+80.0059 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 4130 0 0 0 7988 11 0 0 25 0 1 0 833938195 29073408 4054 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7098 4054 1111 63 0 7035 0
vsize: 28392
[startup+90.0064 s]
Raw data (loadavg): 0.95 0.94 0.90 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 4587 0 0 0 8986 12 0 0 25 0 1 0 833938195 30912512 4511 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7547 4511 1111 63 0 7484 0
vsize: 30188
[startup+100.007 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 5042 0 0 0 9985 14 0 0 25 0 1 0 833938195 32743424 4966 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7994 4966 1111 63 0 7931 0
vsize: 31976
[startup+110.007 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 5500 0 0 0 10984 15 0 0 25 0 1 0 833938195 34725888 5424 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8478 5424 1111 63 0 8415 0
vsize: 33912
[startup+120.009 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 5967 0 0 0 11983 16 0 0 25 0 1 0 833938195 36556800 5891 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8925 5891 1111 63 0 8862 0
vsize: 35700
[startup+130.008 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 6448 0 0 0 12982 18 0 0 25 0 1 0 833938195 38547456 6372 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9411 6372 1111 63 0 9348 0
vsize: 37644
[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 6918 0 0 0 13981 19 0 0 25 0 1 0 833938195 40525824 6842 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9894 6842 1111 63 0 9831 0
vsize: 39576
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 7388 0 0 0 14980 19 0 0 25 0 1 0 833938195 42500096 7312 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10376 7312 1111 63 0 10313 0
vsize: 41504
[startup+160.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 7865 0 0 0 15979 21 0 0 25 0 1 0 833938195 44339200 7789 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10825 7789 1111 63 0 10762 0
vsize: 43300
[startup+170.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 8358 0 0 0 16978 22 0 0 25 0 1 0 833938195 46456832 8282 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11342 8282 1111 63 0 11279 0
vsize: 45368
[startup+180.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 8861 0 0 0 17976 24 0 0 25 0 1 0 833938195 48431104 8785 4294967295 134512640 134714508 3221224576 3221222908 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11824 8785 1111 63 0 11761 0
vsize: 47296
[startup+190.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 9372 0 0 0 18975 25 0 0 25 0 1 0 833938195 50552832 9296 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12342 9296 1111 63 0 12279 0
vsize: 49368
[startup+200.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 9891 0 0 0 19974 26 0 0 25 0 1 0 833938195 52670464 9815 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12859 9815 1111 63 0 12796 0
vsize: 51436
[startup+210.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 10408 0 0 0 20973 27 0 0 25 0 1 0 833938195 54784000 10332 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13375 10332 1111 63 0 13312 0
vsize: 53500
[startup+220.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 10942 0 0 0 21972 28 0 0 25 0 1 0 833938195 56901632 10866 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13892 10866 1111 63 0 13829 0
vsize: 55568
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 11493 0 0 0 22971 30 0 0 25 0 1 0 833938195 59162624 11417 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14444 11417 1111 63 0 14381 0
vsize: 57776
[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 12091 0 0 0 23969 32 0 0 25 0 1 0 833938195 61784064 12015 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15084 12015 1111 63 0 15021 0
vsize: 60336
[startup+250.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 12665 0 0 0 24968 33 0 0 25 0 1 0 833938195 64184320 12589 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15670 12589 1111 63 0 15607 0
vsize: 62680
[startup+260.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 13252 0 0 0 25967 34 0 0 25 0 1 0 833938195 66584576 13176 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16256 13176 1111 63 0 16193 0
vsize: 65024
[startup+270.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 13847 0 0 0 26966 36 0 0 25 0 1 0 833938195 68984832 13771 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16842 13771 1111 63 0 16779 0
vsize: 67368
[startup+280.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 14454 0 0 0 27965 37 0 0 25 0 1 0 833938195 71385088 14378 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17428 14378 1111 63 0 17365 0
vsize: 69712
[startup+290.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 15063 0 0 0 28964 38 0 0 25 0 1 0 833938195 73924608 14987 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18048 14987 1111 63 0 17985 0
vsize: 72192
[startup+300.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 15700 0 0 0 29963 39 0 0 25 0 1 0 833938195 76468224 15624 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18669 15624 1111 63 0 18606 0
vsize: 74676
[startup+310.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 16358 0 0 0 30963 40 0 0 25 0 1 0 833938195 79155200 16282 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19325 16282 1111 63 0 19262 0
vsize: 77300
[startup+320.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 17028 0 0 0 31961 41 0 0 25 0 1 0 833938195 81977344 16952 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20014 16952 1111 63 0 19951 0
vsize: 80056
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 17726 0 0 0 32960 43 0 0 25 0 1 0 833938195 84799488 17650 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20703 17650 1111 63 0 20640 0
vsize: 82812
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 18446 0 0 0 33958 44 0 0 25 0 1 0 833938195 87764992 18370 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21427 18370 1111 63 0 21364 0
vsize: 85708
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 19198 0 0 0 34957 46 0 0 25 0 1 0 833938195 90869760 19122 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22185 19122 1111 63 0 22122 0
vsize: 88740
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 19973 0 0 0 35956 47 0 0 25 0 1 0 833938195 93978624 19897 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22944 19897 1111 63 0 22881 0
vsize: 91776
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 20803 0 0 0 36954 49 0 0 25 0 1 0 833938195 97370112 20727 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23772 20727 1111 63 0 23709 0
vsize: 95088
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 21661 0 0 0 37952 52 0 0 25 0 1 0 833938195 100900864 21585 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24634 21585 1111 63 0 24571 0
vsize: 98536
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 22551 0 0 0 38950 53 0 0 25 0 1 0 833938195 104570880 22475 4294967295 134512640 134714508 3221224576 3221222908 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25530 22475 1111 63 0 25467 0
vsize: 102120
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 23530 0 0 0 39949 55 0 0 25 0 1 0 833938195 108769280 23454 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26555 23454 1111 63 0 26492 0
vsize: 106220
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 24512 0 0 0 40947 57 0 0 25 0 1 0 833938195 112721920 24436 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27520 24436 1111 63 0 27457 0
vsize: 110080
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 25521 0 0 0 41945 59 0 0 25 0 1 0 833938195 116961280 25445 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28555 25445 1111 63 0 28492 0
vsize: 114220
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 26565 0 0 0 42943 61 0 0 25 0 1 0 833938195 121192448 26489 4294967295 134512640 134714508 3221224576 3221223232 134527953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29588 26489 1111 63 0 29525 0
vsize: 118352
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 27637 0 0 0 43942 62 0 0 25 0 1 0 833938195 125575168 27561 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30658 27561 1111 63 0 30595 0
vsize: 122632
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 28771 0 0 0 44940 65 0 0 25 0 1 0 833938195 130232320 28695 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31795 28695 1111 63 0 31732 0
vsize: 127180
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 29933 0 0 0 45938 67 0 0 25 0 1 0 833938195 134889472 29857 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32932 29857 1111 63 0 32869 0
vsize: 131728
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 31591 0 0 0 46932 72 0 0 25 0 1 0 833938195 141692928 31515 4294967295 134512640 134714508 3221224576 3221221196 1077255772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34593 31515 1111 63 0 34530 0
vsize: 138372
[startup+476.27 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 9416
Raw data (stat): 9416 (bsolo_lpr_cuts) R 9415 3394 3393 0 -1 0 31591 0 0 0 46932 72 0 0 25 0 1 0 833938195 141692928 31515 4294967295 134512640 134714508 3221224576 3221221196 1077255772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34593 31515 1111 63 0 34530 0
vsize: 0

Child status: 0
Real time (s): 476.27
CPU time (s): 476.303
CPU user time (s): 475.509
CPU system time (s): 0.793879
CPU usage (%): 100.007
Max. virtual memory (Kb): 138372
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####