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 41412

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 12:00:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29478 boxname=wulflinc2 idbench=1262 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  96cffa4027013d4e1e663a2c8e2c78bc  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-ship04l.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-ship04l.opb
IDLAUNCH: 29478
/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:        846380 kB
Buffers:         12328 kB
Cached:         154560 kB
SwapCached:       1480 kB
Active:          30236 kB
Inactive:       138728 kB
HighTotal:      131008 kB
HighFree:         7504 kB
LowTotal:       903652 kB
LowFree:        838876 kB
SwapTotal:     2097136 kB
SwapFree:      2094616 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           4968 kB
Slab:            13680 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 12:08:08 (client local time) WITH STATUS 0 IN 477.219 SECONDS
stats: 29478 7 477.219 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/wulflinc2/normalized-mps-v2-13-7-ship04l.opb
s UNKNOWN
c Exit Code: 0
c Total time: 477.154 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.98 0.96 0.91 2/54 27940
Raw data (stat): 27940 (runsolver) R 27939 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910110678 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+9.9996 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27940
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 1075 0 0 0 995 3 0 0 25 0 1 0 910110678 16482304 995 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4024 995 1111 63 0 3961 0
vsize: 16096
[startup+20.0006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27940
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 1470 0 0 0 1994 4 0 0 25 0 1 0 910110678 18186240 1390 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4440 1390 1111 63 0 4377 0
vsize: 17760
[startup+30 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27940
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 1872 0 0 0 2993 5 0 0 25 0 1 0 910110678 19738624 1792 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4819 1792 1111 63 0 4756 0
vsize: 19276
[startup+40.0007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27940
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 2282 0 0 0 3992 6 0 0 25 0 1 0 910110678 21434368 2202 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5233 2202 1111 63 0 5170 0
vsize: 20932
[startup+50.0017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27940
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 2689 0 0 0 4992 6 0 0 25 0 1 0 910110678 23126016 2609 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5646 2609 1111 63 0 5583 0
vsize: 22584
[startup+60.0011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 3097 0 0 0 5991 7 0 0 25 0 1 0 910110678 24821760 3017 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6060 3017 1111 63 0 5997 0
vsize: 24240
[startup+70.0008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 3513 0 0 0 6991 8 0 0 25 0 1 0 910110678 26521600 3433 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6475 3433 1111 63 0 6412 0
vsize: 25900
[startup+80.0008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 3932 0 0 0 7990 9 0 0 25 0 1 0 910110678 28225536 3852 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6891 3852 1111 63 0 6828 0
vsize: 27564
[startup+90.0012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 4354 0 0 0 8989 10 0 0 25 0 1 0 910110678 29925376 4274 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 4274 1111 63 0 7243 0
vsize: 29224
[startup+100.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 4788 0 0 0 9989 10 0 0 25 0 1 0 910110678 31756288 4708 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7753 4708 1111 63 0 7690 0
vsize: 31012
[startup+110.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 5225 0 0 0 10988 11 0 0 25 0 1 0 910110678 33595392 5145 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8202 5145 1111 63 0 8139 0
vsize: 32808
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 5666 0 0 0 11988 12 0 0 25 0 1 0 910110678 35287040 5586 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8615 5586 1111 63 0 8552 0
vsize: 34460
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 6108 0 0 0 12987 13 0 0 25 0 1 0 910110678 37126144 6028 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9064 6028 1111 63 0 9001 0
vsize: 36256
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 6567 0 0 0 13986 14 0 0 25 0 1 0 910110678 39108608 6487 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9548 6487 1111 63 0 9485 0
vsize: 38192
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 7017 0 0 0 14986 14 0 0 25 0 1 0 910110678 40947712 6937 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9997 6937 1111 63 0 9934 0
vsize: 39988
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 7467 0 0 0 15985 16 0 0 25 0 1 0 910110678 42778624 7387 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10444 7387 1111 63 0 10381 0
vsize: 41776
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 7922 0 0 0 16984 17 0 0 25 0 1 0 910110678 44621824 7842 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10894 7842 1111 63 0 10831 0
vsize: 43576
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 8394 0 0 0 17983 18 0 0 25 0 1 0 910110678 46600192 8314 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11377 8314 1111 63 0 11314 0
vsize: 45508
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 8877 0 0 0 18981 20 0 0 25 0 1 0 910110678 48570368 8797 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11858 8797 1111 63 0 11795 0
vsize: 47432
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 9368 0 0 0 19981 20 0 0 25 0 1 0 910110678 50552832 9288 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12342 9288 1111 63 0 12279 0
vsize: 49368
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 9866 0 0 0 20980 22 0 0 25 0 1 0 910110678 52531200 9786 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12825 9786 1111 63 0 12762 0
vsize: 51300
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 10362 0 0 0 21979 22 0 0 25 0 1 0 910110678 54640640 10282 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13340 10282 1111 63 0 13277 0
vsize: 53360
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 10875 0 0 0 22978 23 0 0 25 0 1 0 910110678 56623104 10795 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13824 10795 1111 63 0 13761 0
vsize: 55296
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 11392 0 0 0 23978 24 0 0 25 0 1 0 910110678 58740736 11312 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14341 11312 1111 63 0 14278 0
vsize: 57364
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 11942 0 0 0 24977 25 0 0 25 0 1 0 910110678 61218816 11862 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14946 11862 1111 63 0 14883 0
vsize: 59784
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 12480 0 0 0 25976 26 0 0 25 0 1 0 910110678 63336448 12400 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15463 12400 1111 63 0 15400 0
vsize: 61852
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 13054 0 0 0 26975 28 0 0 25 0 1 0 910110678 65732608 12974 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16048 12974 1111 63 0 15985 0
vsize: 64192
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 13655 0 0 0 27974 29 0 0 25 0 1 0 910110678 68136960 13575 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16635 13575 1111 63 0 16572 0
vsize: 66540
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 14292 0 0 0 28973 30 0 0 25 0 1 0 910110678 70823936 14212 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17291 14212 1111 63 0 17228 0
vsize: 69164
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 14963 0 0 0 29972 31 0 0 25 0 1 0 910110678 73506816 14883 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17946 14883 1111 63 0 17883 0
vsize: 71784
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 15695 0 0 0 30971 32 0 0 25 0 1 0 910110678 76468224 15615 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18669 15615 1111 63 0 18606 0
vsize: 74676
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 16469 0 0 0 31970 33 0 0 25 0 1 0 910110678 79716352 16389 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19462 16389 1111 63 0 19399 0
vsize: 77848
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 17265 0 0 0 32969 34 0 0 25 0 1 0 910110678 82964480 17185 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20255 17185 1111 63 0 20192 0
vsize: 81020
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 18080 0 0 0 33968 35 0 0 25 0 1 0 910110678 86208512 18000 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21047 18000 1111 63 0 20984 0
vsize: 84188
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 18910 0 0 0 34967 37 0 0 25 0 1 0 910110678 89600000 18830 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21875 18830 1111 63 0 21812 0
vsize: 87500
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27942
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 19775 0 0 0 35965 39 0 0 25 0 1 0 910110678 93130752 19695 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22737 19695 1111 63 0 22674 0
vsize: 90948
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27944
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 20659 0 0 0 36963 41 0 0 25 0 1 0 910110678 96800768 20579 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23633 20579 1111 63 0 23570 0
vsize: 94532
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27944
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 21565 0 0 0 37961 43 0 0 25 0 1 0 910110678 100470784 21485 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24529 21485 1111 63 0 24466 0
vsize: 98116
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27944
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 22490 0 0 0 38959 45 0 0 25 0 1 0 910110678 104284160 22410 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25460 22410 1111 63 0 25397 0
vsize: 101840
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27944
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 23478 0 0 0 39958 47 0 0 25 0 1 0 910110678 108486656 23398 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26486 23398 1111 63 0 26423 0
vsize: 105944
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27944
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 24459 0 0 0 40956 49 0 0 25 0 1 0 910110678 112582656 24379 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27486 24379 1111 63 0 27423 0
vsize: 109944
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27944
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 25467 0 0 0 41954 51 0 0 25 0 1 0 910110678 116674560 25387 4294967295 134512640 134716908 3221224560 3221222592 1077358951 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28485 25387 1111 63 0 28422 0
vsize: 113940
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27944
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 26506 0 0 0 42953 52 0 0 25 0 1 0 910110678 120913920 26426 4294967295 134512640 134716908 3221224560 3221223216 134527953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29520 26426 1111 63 0 29457 0
vsize: 118080
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27944
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 27570 0 0 0 43951 55 0 0 25 0 1 0 910110678 125284352 27490 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30587 27490 1111 63 0 30524 0
vsize: 122348
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27944
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 28683 0 0 0 44949 56 0 0 25 0 1 0 910110678 129806336 28603 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31691 28603 1111 63 0 31628 0
vsize: 126764
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27944
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 29837 0 0 0 45947 58 0 0 25 0 1 0 910110678 134467584 29757 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32829 29757 1111 63 0 32766 0
vsize: 131316
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27944
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 31497 0 0 0 46944 62 0 0 25 0 1 0 910110678 141283328 31417 4294967295 134512640 134716908 3221224560 3221222836 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34493 31417 1111 63 0 34430 0
vsize: 137972
[startup+477.167 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 27944
Raw data (stat): 27940 (bsolo_lpr_cuts-) R 27939 31399 31398 0 -1 0 31497 0 0 0 46944 62 0 0 25 0 1 0 910110678 141283328 31417 4294967295 134512640 134716908 3221224560 3221222836 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34493 31417 1111 63 0 34430 0
vsize: 0

Child status: 0
Real time (s): 477.166
CPU time (s): 477.219
CPU user time (s): 476.523
CPU system time (s): 0.696894
CPU usage (%): 100.011
Max. virtual memory (Kb): 137972
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####