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-ship12s.opb
MD5SUM	c82c0bebea8b0ce184f21387d9520ae2
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	55260
Biggest coefficient in the objective function	1475608576000
Number of bits for the biggest coefficient in the objective function	41
Sum of the numbers in the objective function	200019082827300
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	1475608576000
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	200019082827300
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.482925
Number of variables	55260
Total number of constraints	1042
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	1042
Minimum length of a constraint	20
Maximum length of a constraint	980
Trace number 41425

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 12:05:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29483 boxname=wulflinc6 idbench=1267 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  c82c0bebea8b0ce184f21387d9520ae2  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-ship12s.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-ship12s.opb
IDLAUNCH: 29483
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        416164 kB
Buffers:         27416 kB
Cached:         569168 kB
SwapCached:        932 kB
Active:          38848 kB
Inactive:       559752 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        415912 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14236 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 12:19:01 (client local time) WITH STATUS 0 IN 788.063 SECONDS
stats: 29483 7 788.063 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: +78125*SH010108_bit_7 +156250*SH010108_bit_6 +312500*SH010108_bit_5 +625000*SH010108_bit_4 +1250000*SH010108_bit_3 +2500000*SH010108_bit_2 +5000000*SH010108_bit_1 +10000000*SH010108_bit0 +20000000*SH010108_bit1 +40000000*SH010108_bit2 +80000000*SH010108_bit3 +160000000*SH010108_bit4 +320000000*SH010108_bit5 +640000000*SH010108_bit6 +1280000000*SH010108_bit7 +2560000000*SH010108_bit8 +5120000000*SH010108_bit9 +10240000000*SH010108_bit10 +20480000000*SH010108_bit11 +40960000000*SH010108_bit12 = +237743;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-ship12s.opb
s UNKNOWN
c Exit Code: 0
c Total time: 787.984 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.93 0.98 0.92 1/54 11985
Raw data (stat): 11985 (runsolver) R 11984 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910140272 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99996 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 1072 0 0 0 994 4 0 0 25 0 1 0 910140272 16203776 992 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3956 992 1111 63 0 3893 0
vsize: 15824
[startup+20.0001 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 1363 0 0 0 1993 4 0 0 25 0 1 0 910140272 17473536 1283 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4266 1283 1111 63 0 4203 0
vsize: 17064
[startup+30.0002 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 1695 0 0 0 2993 5 0 0 25 0 1 0 910140272 18755584 1615 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 1615 1111 63 0 4516 0
vsize: 18316
[startup+40.0004 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 2019 0 0 0 3993 5 0 0 25 0 1 0 910140272 20164608 1939 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4923 1939 1111 63 0 4860 0
vsize: 19692
[startup+50.0005 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 2348 0 0 0 4993 6 0 0 25 0 1 0 910140272 21434368 2268 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5233 2268 1111 63 0 5170 0
vsize: 20932
[startup+60.0007 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 2680 0 0 0 5991 7 0 0 25 0 1 0 910140272 22843392 2600 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5577 2600 1111 63 0 5514 0
vsize: 22308
[startup+70.0008 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 3011 0 0 0 6991 8 0 0 25 0 1 0 910140272 24113152 2931 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 2931 1111 63 0 5824 0
vsize: 23548
[startup+80.001 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 3342 0 0 0 7991 9 0 0 25 0 1 0 910140272 25522176 3262 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6231 3262 1111 63 0 6168 0
vsize: 24924
[startup+90.0011 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 3680 0 0 0 8991 9 0 0 25 0 1 0 910140272 26955776 3600 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6581 3600 1111 63 0 6518 0
vsize: 26324
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 4019 0 0 0 9991 10 0 0 25 0 1 0 910140272 28372992 3939 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6927 3939 1111 63 0 6864 0
vsize: 27708
[startup+110.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 4358 0 0 0 10991 10 0 0 25 0 1 0 910140272 29642752 4278 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7237 4278 1111 63 0 7174 0
vsize: 28948
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 4697 0 0 0 11990 11 0 0 25 0 1 0 910140272 31051776 4617 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7581 4617 1111 63 0 7518 0
vsize: 30324
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 5042 0 0 0 12989 12 0 0 25 0 1 0 910140272 32464896 4962 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7926 4962 1111 63 0 7863 0
vsize: 31704
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 5388 0 0 0 13989 13 0 0 25 0 1 0 910140272 33873920 5308 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8270 5308 1111 63 0 8207 0
vsize: 33080
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 5739 0 0 0 14989 14 0 0 25 0 1 0 910140272 35287040 5659 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8615 5659 1111 63 0 8552 0
vsize: 34460
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 6092 0 0 0 15989 14 0 0 25 0 1 0 910140272 36843520 6012 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8995 6012 1111 63 0 8932 0
vsize: 35980
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 6454 0 0 0 16988 14 0 0 25 0 1 0 910140272 38264832 6374 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9342 6374 1111 63 0 9279 0
vsize: 37368
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 6813 0 0 0 17988 15 0 0 25 0 1 0 910140272 39817216 6733 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9721 6733 1111 63 0 9658 0
vsize: 38884
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 7166 0 0 0 18988 16 0 0 25 0 1 0 910140272 41230336 7086 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10066 7086 1111 63 0 10003 0
vsize: 40264
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 7525 0 0 0 19987 17 0 0 25 0 1 0 910140272 42639360 7445 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10410 7445 1111 63 0 10347 0
vsize: 41640
[startup+210.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 7892 0 0 0 20986 18 0 0 25 0 1 0 910140272 44195840 7812 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10790 7812 1111 63 0 10727 0
vsize: 43160
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 8252 0 0 0 21986 18 0 0 25 0 1 0 910140272 45608960 8172 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11135 8172 1111 63 0 11072 0
vsize: 44540
[startup+230.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 8631 0 0 0 22986 19 0 0 25 0 1 0 910140272 47161344 8551 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11514 8551 1111 63 0 11451 0
vsize: 46056
[startup+240.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 9013 0 0 0 23985 20 0 0 25 0 1 0 910140272 48709632 8933 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11892 8933 1111 63 0 11829 0
vsize: 47568
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 9400 0 0 0 24985 21 0 0 25 0 1 0 910140272 50409472 9320 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12307 9320 1111 63 0 12244 0
vsize: 49228
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 9786 0 0 0 25984 22 0 0 25 0 1 0 910140272 51961856 9706 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12686 9706 1111 63 0 12623 0
vsize: 50744
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 10172 0 0 0 26984 22 0 0 25 0 1 0 910140272 53510144 10092 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13064 10092 1111 63 0 13001 0
vsize: 52256
[startup+280.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 10574 0 0 0 27983 23 0 0 25 0 1 0 910140272 55209984 10494 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13479 10494 1111 63 0 13416 0
vsize: 53916
[startup+290.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 10968 0 0 0 28982 25 0 0 25 0 1 0 910140272 56762368 10888 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13858 10888 1111 63 0 13795 0
vsize: 55432
[startup+300.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 11369 0 0 0 29981 26 0 0 25 0 1 0 910140272 58454016 11289 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14271 11289 1111 63 0 14208 0
vsize: 57084
[startup+310.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 11775 0 0 0 30981 27 0 0 25 0 1 0 910140272 60010496 11695 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14651 11695 1111 63 0 14588 0
vsize: 58604
[startup+320.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 12201 0 0 0 31980 28 0 0 25 0 1 0 910140272 61923328 12121 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15118 12121 1111 63 0 15055 0
vsize: 60472
[startup+330.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 12610 0 0 0 32980 28 0 0 25 0 1 0 910140272 63623168 12530 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15533 12530 1111 63 0 15470 0
vsize: 62132
[startup+340.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 13024 0 0 0 33980 29 0 0 25 0 1 0 910140272 65314816 12944 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15946 12944 1111 63 0 15883 0
vsize: 63784
[startup+350.006 s]
Raw data (loadavg): 0.99 0.98 0.92 3/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 13444 0 0 0 34979 30 0 0 25 0 1 0 910140272 67006464 13364 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16359 13364 1111 63 0 16296 0
vsize: 65436
[startup+360.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 13866 0 0 0 35979 30 0 0 25 0 1 0 910140272 68702208 13786 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16773 13786 1111 63 0 16710 0
vsize: 67092
[startup+370.006 s]
Raw data (loadavg): 0.99 0.98 0.92 3/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 14295 0 0 0 36978 32 0 0 25 0 1 0 910140272 70537216 14215 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17221 14215 1111 63 0 17158 0
vsize: 68884
[startup+380.006 s]
Raw data (loadavg): 0.99 0.98 0.92 3/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 14724 0 0 0 37978 32 0 0 25 0 1 0 910140272 72232960 14644 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17635 14644 1111 63 0 17572 0
vsize: 70540
[startup+390.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 15159 0 0 0 38977 33 0 0 25 0 1 0 910140272 74067968 15079 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18083 15079 1111 63 0 18020 0
vsize: 72332
[startup+400.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 15597 0 0 0 39977 34 0 0 25 0 1 0 910140272 75763712 15517 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18497 15517 1111 63 0 18434 0
vsize: 73988
[startup+410.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 16037 0 0 0 40976 35 0 0 25 0 1 0 910140272 77594624 15957 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18944 15957 1111 63 0 18881 0
vsize: 75776
[startup+420.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 16488 0 0 0 41976 36 0 0 25 0 1 0 910140272 79437824 16408 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19394 16408 1111 63 0 19331 0
vsize: 77576
[startup+430.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 16936 0 0 0 42975 37 0 0 25 0 1 0 910140272 81268736 16856 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19841 16856 1111 63 0 19778 0
vsize: 79364
[startup+440.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 17393 0 0 0 43974 38 0 0 25 0 1 0 910140272 83107840 17313 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20290 17313 1111 63 0 20227 0
vsize: 81160
[startup+450.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 17856 0 0 0 44974 39 0 0 25 0 1 0 910140272 85078016 17776 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20771 17776 1111 63 0 20708 0
vsize: 83084
[startup+460.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 18320 0 0 0 45974 39 0 0 25 0 1 0 910140272 86917120 18240 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21220 18240 1111 63 0 21157 0
vsize: 84880
[startup+470.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 18790 0 0 0 46974 40 0 0 25 0 1 0 910140272 88895488 18710 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21703 18710 1111 63 0 21640 0
vsize: 86812
[startup+480.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 19267 0 0 0 47973 41 0 0 25 0 1 0 910140272 90730496 19187 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22151 19187 1111 63 0 22088 0
vsize: 88604
[startup+490.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 19744 0 0 0 48973 41 0 0 25 0 1 0 910140272 92708864 19664 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22634 19664 1111 63 0 22571 0
vsize: 90536
[startup+500.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 20236 0 0 0 49973 42 0 0 25 0 1 0 910140272 94683136 20156 4294967295 134512640 134716908 3221224560 3221223216 134527928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23116 20156 1111 63 0 23053 0
vsize: 92464
[startup+510.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 20726 0 0 0 50972 44 0 0 25 0 1 0 910140272 96800768 20646 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23633 20646 1111 63 0 23570 0
vsize: 94532
[startup+520.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 21230 0 0 0 51971 44 0 0 25 0 1 0 910140272 98779136 21150 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24116 21150 1111 63 0 24053 0
vsize: 96464
[startup+530.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 21736 0 0 0 52971 45 0 0 25 0 1 0 910140272 100900864 21656 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24634 21656 1111 63 0 24571 0
vsize: 98536
[startup+540.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 22246 0 0 0 53971 46 0 0 25 0 1 0 910140272 103010304 22166 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25149 22166 1111 63 0 25086 0
vsize: 100596
[startup+550.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 22764 0 0 0 54970 47 0 0 25 0 1 0 910140272 105132032 22684 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25667 22684 1111 63 0 25604 0
vsize: 102668
[startup+560.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 23335 0 0 0 55969 48 0 0 25 0 1 0 910140272 107638784 23255 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26279 23255 1111 63 0 26216 0
vsize: 105116
[startup+570.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 23896 0 0 0 56968 49 0 0 25 0 1 0 910140272 109899776 23816 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26831 23816 1111 63 0 26768 0
vsize: 107324
[startup+580.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 24477 0 0 0 57967 50 0 0 25 0 1 0 910140272 112300032 24397 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27417 24397 1111 63 0 27354 0
vsize: 109668
[startup+590.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 25079 0 0 0 58967 51 0 0 25 0 1 0 910140272 114839552 24999 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28037 24999 1111 63 0 27974 0
vsize: 112148
[startup+600.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 25693 0 0 0 59966 52 0 0 25 0 1 0 910140272 117239808 25613 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28623 25613 1111 63 0 28560 0
vsize: 114492
[startup+610.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 26315 0 0 0 60965 54 0 0 25 0 1 0 910140272 119783424 26235 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29244 26235 1111 63 0 29181 0
vsize: 116976
[startup+620.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 26965 0 0 0 61964 55 0 0 25 0 1 0 910140272 122466304 26885 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29899 26885 1111 63 0 29836 0
vsize: 119596
[startup+630.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 27628 0 0 0 62964 56 0 0 25 0 1 0 910140272 125145088 27548 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30553 27548 1111 63 0 30490 0
vsize: 122212
[startup+640.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 28293 0 0 0 63963 57 0 0 25 0 1 0 910140272 127971328 28213 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31243 28213 1111 63 0 31180 0
vsize: 124972
[startup+650.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 28977 0 0 0 64962 58 0 0 25 0 1 0 910140272 130654208 28897 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31898 28897 1111 63 0 31835 0
vsize: 127592
[startup+660.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 29668 0 0 0 65962 59 0 0 25 0 1 0 910140272 133476352 29588 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32587 29588 1111 63 0 32524 0
vsize: 130348
[startup+670.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 30366 0 0 0 66961 60 0 0 25 0 1 0 910140272 136445952 30286 4294967295 134512640 134716908 3221224560 3221223216 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33312 30286 1111 63 0 33249 0
vsize: 133248
[startup+680.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 31071 0 0 0 67960 61 0 0 25 0 1 0 910140272 139268096 30991 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34001 30991 1111 63 0 33938 0
vsize: 136004
[startup+690.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 31777 0 0 0 68959 63 0 0 25 0 1 0 910140272 142090240 31697 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34690 31697 1111 63 0 34627 0
vsize: 138760
[startup+700.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 32496 0 0 0 69958 64 0 0 25 0 1 0 910140272 145059840 32416 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35415 32416 1111 63 0 35352 0
vsize: 141660
[startup+710.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 33227 0 0 0 70958 65 0 0 25 0 1 0 910140272 148021248 33147 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36138 33147 1111 63 0 36075 0
vsize: 144552
[startup+720.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 33961 0 0 0 71957 67 0 0 25 0 1 0 910140272 151130112 33881 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36897 33881 1111 63 0 36834 0
vsize: 147588
[startup+730.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 34693 0 0 0 72955 68 0 0 25 0 1 0 910140272 154091520 34613 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37620 34613 1111 63 0 37557 0
vsize: 150480
[startup+740.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 35435 0 0 0 73954 70 0 0 25 0 1 0 910140272 157061120 35355 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38345 35355 1111 63 0 38282 0
vsize: 153380
[startup+750.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 36187 0 0 0 74953 72 0 0 25 0 1 0 910140272 160161792 36107 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39102 36107 1111 63 0 39039 0
vsize: 156408
[startup+760.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 36948 0 0 0 75952 73 0 0 25 0 1 0 910140272 163270656 36868 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39861 36868 1111 63 0 39798 0
vsize: 159444
[startup+770.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 37724 0 0 0 76951 74 0 0 25 0 1 0 910140272 166379520 37644 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40620 37644 1111 63 0 40557 0
vsize: 162480
[startup+780.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 38498 0 0 0 77949 76 0 0 25 0 1 0 910140272 169623552 38418 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41412 38418 1111 63 0 41349 0
vsize: 165648
[startup+787.827 s]
Raw data (loadavg): 0.99 0.98 0.92 1/53 11985
Raw data (stat): 11985 (bsolo_lpr_cuts-) R 11984 25568 25567 0 -1 0 38498 0 0 0 77949 76 0 0 25 0 1 0 910140272 169623552 38418 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41412 38418 1111 63 0 41349 0
vsize: 0

Child status: 0
Real time (s): 787.827
CPU time (s): 788.063
CPU user time (s): 787.193
CPU system time (s): 0.869867
CPU usage (%): 100.03
Max. virtual memory (Kb): 165648
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####