PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:

LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship08s.opb
MD5SUM	686a91b29b124fe4cc498973c082aa6a
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	47740
Biggest coefficient in the objective function	425249996800
Number of bits for the biggest coefficient in the objective function	39
Sum of the numbers in the objective function	109780207303800
Number of bits of the sum of numbers in the objective function	47
Biggest number in a constraint	425249996800
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	109780207303800
Number of bits of the biggest sum of numbers	47
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.416936
Number of variables	47740
Total number of constraints	712
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	712
Minimum length of a constraint	20
Maximum length of a constraint	1220

Trace number 41418

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        781548 kB
Buffers:          6944 kB
Cached:         225148 kB
SwapCached:        876 kB
Active:          28616 kB
Inactive:       205520 kB
HighTotal:      131008 kB
HighFree:         1456 kB
LowTotal:       903652 kB
LowFree:        780092 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4912 kB
Slab:            13312 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 12:14:06 (client local time) WITH STATUS 0 IN 582.971 SECONDS
stats: 29481 7 582.971 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: +78125*SH070269_bit_7 +156250*SH070269_bit_6 +312500*SH070269_bit_5 +625000*SH070269_bit_4 +1250000*SH070269_bit_3 +2500000*SH070269_bit_2 +5000000*SH070269_bit_1 +10000000*SH070269_bit0 +20000000*SH070269_bit1 +40000000*SH070269_bit2 +80000000*SH070269_bit3 +160000000*SH070269_bit4 +320000000*SH070269_bit5 +640000000*SH070269_bit6 +1280000000*SH070269_bit7 +2560000000*SH070269_bit8 +5120000000*SH070269_bit9 +10240000000*SH070269_bit10 +20480000000*SH070269_bit11 +40960000000*SH070269_bit12 = +104757;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-ship08s.opb
s UNKNOWN
c Exit Code: 0
c Total time: 582.897 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): 1.07 1.00 0.92 2/54 15220
Raw data (stat): 15220 (runsolver) R 15219 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910122556 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.0004 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 15220
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 1080 0 0 0 995 3 0 0 25 0 1 0 910122556 16482304 1000 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 1000 1111 63 0 3961 0
vsize: 16096
[startup+20.0013 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 15220
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 1455 0 0 0 1993 4 0 0 25 0 1 0 910122556 18046976 1375 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4406 1375 1111 63 0 4343 0
vsize: 17624
[startup+30.0016 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 15220
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 1847 0 0 0 2992 5 0 0 25 0 1 0 910122556 19599360 1767 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4785 1767 1111 63 0 4722 0
vsize: 19140
[startup+40.002 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 15220
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 2246 0 0 0 3991 7 0 0 25 0 1 0 910122556 21291008 2166 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5198 2166 1111 63 0 5135 0
vsize: 20792
[startup+50.0029 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 15220
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 2639 0 0 0 4990 8 0 0 25 0 1 0 910122556 22843392 2559 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5577 2559 1111 63 0 5514 0
vsize: 22308
[startup+60.0032 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 15220
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 3032 0 0 0 5989 9 0 0 25 0 1 0 910122556 24395776 2952 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5956 2952 1111 63 0 5893 0
vsize: 23824
[startup+70.0036 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 3439 0 0 0 6988 10 0 0 25 0 1 0 910122556 26091520 3359 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6370 3359 1111 63 0 6307 0
vsize: 25480
[startup+80.0045 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 3853 0 0 0 7987 11 0 0 25 0 1 0 910122556 27803648 3773 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6788 3773 1111 63 0 6725 0
vsize: 27152
[startup+90.0047 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 4262 0 0 0 8987 12 0 0 25 0 1 0 910122556 29503488 4182 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7203 4182 1111 63 0 7140 0
vsize: 28812
[startup+100.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 4669 0 0 0 9985 13 0 0 25 0 1 0 910122556 31195136 4589 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7616 4589 1111 63 0 7553 0
vsize: 30464
[startup+110.006 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 5076 0 0 0 10985 14 0 0 25 0 1 0 910122556 32886784 4996 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8029 4996 1111 63 0 7966 0
vsize: 32116
[startup+120.009 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 5498 0 0 0 11984 15 0 0 25 0 1 0 910122556 34586624 5418 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8444 5418 1111 63 0 8381 0
vsize: 33776
[startup+130.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 5919 0 0 0 12983 16 0 0 25 0 1 0 910122556 36278272 5839 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8857 5839 1111 63 0 8794 0
vsize: 35428
[startup+140.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 6358 0 0 0 13982 17 0 0 25 0 1 0 910122556 38125568 6278 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9308 6278 1111 63 0 9245 0
vsize: 37232
[startup+150.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 6780 0 0 0 14981 18 0 0 25 0 1 0 910122556 39817216 6700 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9721 6700 1111 63 0 9658 0
vsize: 38884
[startup+160.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 7223 0 0 0 15980 20 0 0 25 0 1 0 910122556 41656320 7143 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10170 7143 1111 63 0 10107 0
vsize: 40680
[startup+170.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 7664 0 0 0 16980 21 0 0 25 0 1 0 910122556 43491328 7584 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10618 7584 1111 63 0 10555 0
vsize: 42472
[startup+180.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 8108 0 0 0 17978 22 0 0 25 0 1 0 910122556 45326336 8028 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11066 8028 1111 63 0 11003 0
vsize: 44264
[startup+190.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 8550 0 0 0 18977 24 0 0 25 0 1 0 910122556 47017984 8470 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11479 8470 1111 63 0 11416 0
vsize: 45916
[startup+200.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 8999 0 0 0 19975 25 0 0 25 0 1 0 910122556 48857088 8919 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11928 8919 1111 63 0 11865 0
vsize: 47712
[startup+210.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 9461 0 0 0 20975 26 0 0 25 0 1 0 910122556 50831360 9381 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12410 9381 1111 63 0 12347 0
vsize: 49640
[startup+220.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 9932 0 0 0 21974 27 0 0 25 0 1 0 910122556 52670464 9852 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12859 9852 1111 63 0 12796 0
vsize: 51436
[startup+230.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 10408 0 0 0 22974 28 0 0 25 0 1 0 910122556 54640640 10328 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13340 10328 1111 63 0 13277 0
vsize: 53360
[startup+240.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 10899 0 0 0 23972 29 0 0 25 0 1 0 910122556 56623104 10819 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13824 10819 1111 63 0 13761 0
vsize: 55296
[startup+250.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 11390 0 0 0 24972 30 0 0 25 0 1 0 910122556 58740736 11310 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14341 11310 1111 63 0 14278 0
vsize: 57364
[startup+260.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 11904 0 0 0 25971 31 0 0 25 0 1 0 910122556 60936192 11824 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14877 11824 1111 63 0 14814 0
vsize: 59508
[startup+270.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 12409 0 0 0 26969 33 0 0 25 0 1 0 910122556 62914560 12329 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15360 12329 1111 63 0 15297 0
vsize: 61440
[startup+280.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 12921 0 0 0 27969 33 0 0 25 0 1 0 910122556 65032192 12841 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15877 12841 1111 63 0 15814 0
vsize: 63508
[startup+290.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 13446 0 0 0 28968 35 0 0 25 0 1 0 910122556 67149824 13366 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16394 13366 1111 63 0 16331 0
vsize: 65576
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 13977 0 0 0 29967 35 0 0 25 0 1 0 910122556 69406720 13897 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16945 13897 1111 63 0 16882 0
vsize: 67780
[startup+310.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 14516 0 0 0 30966 36 0 0 25 0 1 0 910122556 71524352 14436 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17462 14436 1111 63 0 17399 0
vsize: 69848
[startup+320.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 15070 0 0 0 31966 37 0 0 25 0 1 0 910122556 73785344 14990 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18014 14990 1111 63 0 17951 0
vsize: 72056
[startup+330.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 15631 0 0 0 32965 38 0 0 25 0 1 0 910122556 76185600 15551 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18600 15551 1111 63 0 18537 0
vsize: 74400
[startup+340.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 16197 0 0 0 33965 39 0 0 25 0 1 0 910122556 78446592 16117 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19152 16117 1111 63 0 19089 0
vsize: 76608
[startup+350.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 16778 0 0 0 34964 39 0 0 25 0 1 0 910122556 80846848 16698 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19738 16698 1111 63 0 19675 0
vsize: 78952
[startup+360.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 17372 0 0 0 35963 41 0 0 25 0 1 0 910122556 83247104 17292 4294967295 134512640 134716908 3221224560 3221223216 134527953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20324 17292 1111 63 0 20261 0
vsize: 81296
[startup+370.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 17974 0 0 0 36962 42 0 0 25 0 1 0 910122556 85647360 17894 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20910 17894 1111 63 0 20847 0
vsize: 83640
[startup+380.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 18589 0 0 0 37960 44 0 0 25 0 1 0 910122556 88186880 18509 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21530 18509 1111 63 0 21467 0
vsize: 86120
[startup+390.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 19226 0 0 0 38960 44 0 0 25 0 1 0 910122556 90869760 19146 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22185 19146 1111 63 0 22122 0
vsize: 88740
[startup+400.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 19889 0 0 0 39958 46 0 0 25 0 1 0 910122556 93552640 19809 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22840 19809 1111 63 0 22777 0
vsize: 91360
[startup+410.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 20568 0 0 0 40957 47 0 0 25 0 1 0 910122556 96239616 20488 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23496 20488 1111 63 0 23433 0
vsize: 93984
[startup+420.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 21252 0 0 0 41956 48 0 0 25 0 1 0 910122556 99061760 21172 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24185 21172 1111 63 0 24122 0
vsize: 96740
[startup+430.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 21956 0 0 0 42956 49 0 0 25 0 1 0 910122556 102023168 21876 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24908 21876 1111 63 0 24845 0
vsize: 99632
[startup+440.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 22674 0 0 0 43955 50 0 0 25 0 1 0 910122556 104853504 22594 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25599 22594 1111 63 0 25536 0
vsize: 102396
[startup+450.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 23445 0 0 0 44953 52 0 0 25 0 1 0 910122556 108343296 23365 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26451 23365 1111 63 0 26388 0
vsize: 105804
[startup+460.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 24207 0 0 0 45952 53 0 0 25 0 1 0 910122556 111452160 24127 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27210 24127 1111 63 0 27147 0
vsize: 108840
[startup+470.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 24982 0 0 0 46951 54 0 0 25 0 1 0 910122556 114561024 24902 4294967295 134512640 134716908 3221224560 3221223216 134527928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27969 24902 1111 63 0 27906 0
vsize: 111876
[startup+480.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 25784 0 0 0 47951 55 0 0 25 0 1 0 910122556 117800960 25704 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28760 25704 1111 63 0 28697 0
vsize: 115040
[startup+490.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 26606 0 0 0 48950 56 0 0 25 0 1 0 910122556 121192448 26526 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29588 26526 1111 63 0 29525 0
vsize: 118352
[startup+500.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 27450 0 0 0 49948 58 0 0 25 0 1 0 910122556 124723200 27370 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30450 27370 1111 63 0 30387 0
vsize: 121800
[startup+510.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 28300 0 0 0 50946 60 0 0 25 0 1 0 910122556 128114688 28220 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31278 28220 1111 63 0 31215 0
vsize: 125112
[startup+520.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 29173 0 0 0 51945 62 0 0 25 0 1 0 910122556 131645440 29093 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32140 29093 1111 63 0 32077 0
vsize: 128560
[startup+530.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 30069 0 0 0 52944 63 0 0 25 0 1 0 910122556 135315456 29989 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33036 29989 1111 63 0 32973 0
vsize: 132144
[startup+540.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 30968 0 0 0 53942 65 0 0 25 0 1 0 910122556 138985472 30888 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33932 30888 1111 63 0 33869 0
vsize: 135728
[startup+550.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 31894 0 0 0 54941 66 0 0 25 0 1 0 910122556 142798848 31814 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34863 31814 1111 63 0 34800 0
vsize: 139452
[startup+560.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 32835 0 0 0 55940 67 0 0 25 0 1 0 910122556 146608128 32755 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35793 32755 1111 63 0 35730 0
vsize: 143172
[startup+570.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 34091 0 0 0 56937 70 0 0 25 0 1 0 910122556 151748608 34011 4294967295 134512640 134716908 3221224560 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37048 34011 1111 63 0 36985 0
vsize: 148192
[startup+580.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 35702 0 0 0 57933 74 0 0 25 0 1 0 910122556 158388224 35622 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38669 35622 1111 63 0 38606 0
vsize: 154676
[startup+582.915 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 15222
Raw data (stat): 15220 (bsolo_lpr_cuts-) R 15219 21152 21151 0 -1 0 35702 0 0 0 57933 74 0 0 25 0 1 0 910122556 158388224 35622 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38669 35622 1111 63 0 38606 0
vsize: 0

Child status: 0
Real time (s): 582.915
CPU time (s): 582.971
CPU user time (s): 582.149
CPU system time (s): 0.822874
CPU usage (%): 100.01
Max. virtual memory (Kb): 154676
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####