PB'05 competition: run trace

Some explanations

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

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

General information on the benchmark

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen3.opb
MD5SUM	7312c1a4c94073cc51821da54f781db8
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	47190
Biggest coefficient in the objective function	1001264250880
Number of bits for the biggest coefficient in the objective function	40
Sum of the numbers in the objective function	339379725479256
Number of bits of the sum of numbers in the objective function	49
Biggest number in a constraint	1001264250880
Number of bits of the biggest number in a constraint	40
Biggest sum of numbers in a constraint	339379725479256
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.474927
Number of variables	54540
Total number of constraints	1503
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	1503
Minimum length of a constraint	60
Maximum length of a constraint	6090

Trace number 28995

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-25 04:26:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10701 boxname=wulflinc15 idbench=824 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  7312c1a4c94073cc51821da54f781db8  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-degen3.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-degen3.opb
IDLAUNCH: 10701
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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		: 450.999
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:        854756 kB
Buffers:         13792 kB
Cached:         143908 kB
SwapCached:        672 kB
Active:          49664 kB
Inactive:       110096 kB
HighTotal:      131008 kB
HighFree:         5320 kB
LowTotal:       903652 kB
LowFree:        849436 kB
SwapTotal:     2097136 kB
SwapFree:      2095624 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5080 kB
Slab:            14340 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:38:02 (client local time) WITH STATUS 20 IN 698.621 SECONDS
stats: 10701 7 698.621 20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 54540 variables and 1356 constraints.
s UNSATISFIABLE
c Exit Code: 20
c Total time: 698.538 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.81 0.93 0.91 2/54 4405
Raw data (stat): 4405 (runsolver) R 4404 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777760367 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+9.99975 s]
Raw data (loadavg): 0.84 0.93 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 1003 0 0 0 995 3 0 0 25 0 1 0 777760367 16236544 927 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3964 927 1111 63 0 3901 0
vsize: 15856
[startup+20.0008 s]
Raw data (loadavg): 0.86 0.93 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 1292 0 0 0 1995 4 0 0 25 0 1 0 777760367 17420288 1216 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4253 1216 1111 63 0 4190 0
vsize: 17012
[startup+30.0017 s]
Raw data (loadavg): 0.88 0.93 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 1580 0 0 0 2994 4 0 0 25 0 1 0 777760367 18591744 1504 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4539 1504 1111 63 0 4476 0
vsize: 18156
[startup+40.0094 s]
Raw data (loadavg): 0.90 0.94 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 1872 0 0 0 3994 5 0 0 25 0 1 0 777760367 19795968 1796 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4833 1796 1111 63 0 4770 0
vsize: 19332
[startup+50.0152 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 2166 0 0 0 4995 5 0 0 25 0 1 0 777760367 20996096 2090 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5126 2090 1111 63 0 5063 0
vsize: 20504
[startup+60.0151 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 2452 0 0 0 5994 6 0 0 25 0 1 0 777760367 22200320 2376 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5420 2376 1111 63 0 5357 0
vsize: 21680
[startup+70.0156 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 2761 0 0 0 6994 7 0 0 25 0 1 0 777760367 23400448 2685 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5713 2685 1111 63 0 5650 0
vsize: 22852
[startup+80.0167 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 3061 0 0 0 7993 7 0 0 25 0 1 0 777760367 24743936 2985 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6041 2985 1111 63 0 5978 0
vsize: 24164
[startup+90.0197 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 3372 0 0 0 8993 8 0 0 25 0 1 0 777760367 25952256 3296 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6336 3296 1111 63 0 6273 0
vsize: 25344
[startup+100.02 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 3682 0 0 0 9993 9 0 0 25 0 1 0 777760367 27275264 3606 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6659 3606 1111 63 0 6596 0
vsize: 26636
[startup+110.02 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 4006 0 0 0 10993 9 0 0 25 0 1 0 777760367 28475392 3930 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 3930 1111 63 0 6889 0
vsize: 27808
[startup+120.021 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 4338 0 0 0 11992 9 0 0 25 0 1 0 777760367 29835264 4262 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7284 4262 1111 63 0 7221 0
vsize: 29136
[startup+130.022 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 4687 0 0 0 12992 10 0 0 25 0 1 0 777760367 31375360 4611 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7660 4611 1111 63 0 7597 0
vsize: 30640
[startup+140.022 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 5011 0 0 0 13992 10 0 0 25 0 1 0 777760367 32731136 4935 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7991 4935 1111 63 0 7928 0
vsize: 31964
[startup+150.022 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 5350 0 0 0 14992 10 0 0 25 0 1 0 777760367 34082816 5274 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8321 5274 1111 63 0 8258 0
vsize: 33284
[startup+160.022 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 5691 0 0 0 15992 11 0 0 25 0 1 0 777760367 35438592 5615 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8652 5615 1111 63 0 8589 0
vsize: 34608
[startup+170.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 6036 0 0 0 16991 11 0 0 25 0 1 0 777760367 36945920 5960 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9020 5960 1111 63 0 8957 0
vsize: 36080
[startup+180.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 6390 0 0 0 17991 12 0 0 25 0 1 0 777760367 38297600 6314 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9350 6314 1111 63 0 9287 0
vsize: 37400
[startup+190.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 6739 0 0 0 18990 13 0 0 25 0 1 0 777760367 39804928 6663 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9718 6663 1111 63 0 9655 0
vsize: 38872
[startup+200.025 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 7097 0 0 0 19989 14 0 0 25 0 1 0 777760367 41156608 7021 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10048 7021 1111 63 0 9985 0
vsize: 40192
[startup+210.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 7460 0 0 0 20989 15 0 0 25 0 1 0 777760367 42635264 7384 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10409 7384 1111 63 0 10346 0
vsize: 41636
[startup+220.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 7830 0 0 0 21988 15 0 0 25 0 1 0 777760367 44134400 7754 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10775 7754 1111 63 0 10712 0
vsize: 43100
[startup+230.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 8197 0 0 0 22988 16 0 0 25 0 1 0 777760367 45641728 8121 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11143 8121 1111 63 0 11080 0
vsize: 44572
[startup+240.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 8579 0 0 0 23987 17 0 0 25 0 1 0 777760367 47296512 8503 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11547 8503 1111 63 0 11484 0
vsize: 46188
[startup+250.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 9002 0 0 0 24987 18 0 0 25 0 1 0 777760367 49176576 8926 4294967295 134512640 134714508 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12006 8926 1111 63 0 11943 0
vsize: 48024
[startup+260.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 9402 0 0 0 25986 19 0 0 25 0 1 0 777760367 50675712 9326 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12372 9326 1111 63 0 12309 0
vsize: 49488
[startup+270.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 9813 0 0 0 26986 19 0 0 25 0 1 0 777760367 52453376 9737 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12806 9737 1111 63 0 12743 0
vsize: 51224
[startup+280.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 10228 0 0 0 27985 20 0 0 25 0 1 0 777760367 54108160 10152 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13210 10152 1111 63 0 13147 0
vsize: 52840
[startup+290.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 10656 0 0 0 28984 21 0 0 25 0 1 0 777760367 55914496 10580 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13651 10580 1111 63 0 13588 0
vsize: 54604
[startup+300.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 11084 0 0 0 29983 22 0 0 25 0 1 0 777760367 57573376 11008 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14056 11008 1111 63 0 13993 0
vsize: 56224
[startup+310.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 11525 0 0 0 30983 23 0 0 25 0 1 0 777760367 59379712 11449 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14497 11449 1111 63 0 14434 0
vsize: 57988
[startup+320.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 11969 0 0 0 31982 24 0 0 25 0 1 0 777760367 61186048 11893 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14938 11893 1111 63 0 14875 0
vsize: 59752
[startup+330.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 12440 0 0 0 32981 25 0 0 25 0 1 0 777760367 63139840 12364 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15415 12364 1111 63 0 15352 0
vsize: 61660
[startup+340.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 12914 0 0 0 33981 26 0 0 25 0 1 0 777760367 65097728 12838 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15893 12838 1111 63 0 15830 0
vsize: 63572
[startup+350.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 13408 0 0 0 34980 26 0 0 25 0 1 0 777760367 67055616 13332 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16371 13332 1111 63 0 16308 0
vsize: 65484
[startup+360.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 13909 0 0 0 35981 27 0 0 25 0 1 0 777760367 69160960 13833 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16885 13833 1111 63 0 16822 0
vsize: 67540
[startup+370.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 14418 0 0 0 36980 27 0 0 25 0 1 0 777760367 71266304 14342 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17399 14342 1111 63 0 17336 0
vsize: 69596
[startup+380.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 14950 0 0 0 37980 28 0 0 25 0 1 0 777760367 73371648 14874 4294967295 134512640 134714508 3221224576 3221223232 134527928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17913 14874 1111 63 0 17850 0
vsize: 71652
[startup+390.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 15495 0 0 0 38980 29 0 0 25 0 1 0 777760367 75603968 15419 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18458 15419 1111 63 0 18395 0
vsize: 73832
[startup+400.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 16043 0 0 0 39979 30 0 0 25 0 1 0 777760367 77860864 15967 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19009 15967 1111 63 0 18946 0
vsize: 76036
[startup+410.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 16647 0 0 0 40978 31 0 0 25 0 1 0 777760367 80625664 16571 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19684 16571 1111 63 0 19621 0
vsize: 78736
[startup+420.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 17239 0 0 0 41977 32 0 0 25 0 1 0 777760367 83009536 17163 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20266 17163 1111 63 0 20203 0
vsize: 81064
[startup+430.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 17873 0 0 0 42976 33 0 0 25 0 1 0 777760367 85565440 17797 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20890 17797 1111 63 0 20827 0
vsize: 83560
[startup+440.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 18523 0 0 0 43975 34 0 0 25 0 1 0 777760367 88276992 18447 4294967295 134512640 134714508 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21552 18447 1111 63 0 21489 0
vsize: 86208
[startup+450.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 19185 0 0 0 44975 35 0 0 25 0 1 0 777760367 90951680 19109 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22205 19109 1111 63 0 22142 0
vsize: 88820
[startup+460.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 19850 0 0 0 45974 36 0 0 25 0 1 0 777760367 93659136 19774 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22866 19774 1111 63 0 22803 0
vsize: 91464
[startup+470.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 20544 0 0 0 46974 37 0 0 25 0 1 0 777760367 96522240 20468 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23565 20468 1111 63 0 23502 0
vsize: 94260
[startup+480.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 21237 0 0 0 47973 39 0 0 25 0 1 0 777760367 99229696 21161 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24226 21161 1111 63 0 24163 0
vsize: 96904
[startup+490.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 21946 0 0 0 48973 40 0 0 25 0 1 0 777760367 102240256 21870 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24961 21870 1111 63 0 24898 0
vsize: 99844
[startup+500.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 22696 0 0 0 49972 41 0 0 25 0 1 0 777760367 105246720 22620 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25695 22620 1111 63 0 25632 0
vsize: 102780
[startup+510.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 23466 0 0 0 50971 42 0 0 25 0 1 0 777760367 108412928 23390 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26468 23390 1111 63 0 26405 0
vsize: 105872
[startup+520.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 25661 0 0 0 51967 46 0 0 25 0 1 0 777760367 117391360 25585 4294967295 134512640 134714508 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28660 25585 1111 63 0 28597 0
vsize: 114640
[startup+530.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 27480 0 0 0 52962 50 0 0 25 0 1 0 777760367 124477440 27306 4294967295 134512640 134714508 3221224576 3221222852 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30390 27306 1111 63 0 30327 0
vsize: 121560
[startup+540.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 28220 0 0 0 53961 52 0 0 25 0 1 0 777760367 127524864 28042 4294967295 134512640 134714508 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31134 28042 1111 63 0 31071 0
vsize: 124536
[startup+550.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 29326 0 0 0 54957 55 0 0 25 0 1 0 777760367 132091904 29148 4294967295 134512640 134714508 3221224576 3221222852 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32249 29148 1111 63 0 32186 0
vsize: 128996
[startup+560.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 29562 0 0 0 55957 56 0 0 25 0 1 0 777760367 133197824 29383 4294967295 134512640 134714508 3221224576 3221222852 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32519 29383 1111 63 0 32456 0
vsize: 130076
[startup+570.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 29808 0 0 0 56956 57 0 0 25 0 1 0 777760367 134316032 29625 4294967295 134512640 134714508 3221224576 3221222852 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32792 29625 1111 63 0 32729 0
vsize: 131168
[startup+580.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 30107 0 0 0 57956 57 0 0 25 0 1 0 777760367 135573504 29918 4294967295 134512640 134714508 3221224576 3221222492 1077270170 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33099 29918 1111 63 0 33036 0
vsize: 132396
[startup+590.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 31057 0 0 0 58953 60 0 0 25 0 1 0 777760367 139448320 30864 4294967295 134512640 134714508 3221224576 3221222852 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34045 30864 1111 63 0 33982 0
vsize: 136180
[startup+600.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 32066 0 0 0 59950 62 0 0 25 0 1 0 777760367 143654912 31873 4294967295 134512640 134714508 3221224576 3221222852 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35072 31873 1111 63 0 35009 0
vsize: 140288
[startup+610.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 32492 0 0 0 60949 63 0 0 25 0 1 0 777760367 145457152 32299 4294967295 134512640 134714508 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35512 32299 1111 63 0 35449 0
vsize: 142048
[startup+620.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 32759 0 0 0 61949 64 0 0 25 0 1 0 777760367 146563072 32566 4294967295 134512640 134714508 3221224576 3221222852 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35782 32566 1111 63 0 35719 0
vsize: 143128
[startup+630.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 33113 0 0 0 62948 65 0 0 25 0 1 0 777760367 148070400 32920 4294967295 134512640 134714508 3221224576 3221222852 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36150 32920 1111 63 0 36087 0
vsize: 144600
[startup+640.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 33442 0 0 0 63947 65 0 0 25 0 1 0 777760367 149438464 33249 4294967295 134512640 134714508 3221224576 3221222896 1076999581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36484 33249 1111 63 0 36421 0
vsize: 145936
[startup+650.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 33659 0 0 0 64945 67 0 0 25 0 1 0 777760367 150417408 33465 4294967295 134512640 134714508 3221224576 3221222852 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36723 33465 1111 63 0 36660 0
vsize: 146892
[startup+660.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 33970 0 0 0 65944 68 0 0 25 0 1 0 777760367 151818240 33771 4294967295 134512640 134714508 3221224576 3221222852 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37065 33771 1111 63 0 37002 0
vsize: 148260
[startup+670.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 34158 0 0 0 66943 68 0 0 25 0 1 0 777760367 152686592 33955 4294967295 134512640 134714508 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37277 33955 1111 63 0 37214 0
vsize: 149108
[startup+680.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 34386 0 0 0 67943 69 0 0 25 0 1 0 777760367 153690112 34177 4294967295 134512640 134714508 3221224576 3221222852 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37522 34177 1111 63 0 37459 0
vsize: 150088
[startup+690.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 34550 0 0 0 68943 69 0 0 25 0 1 0 777760367 154529792 34337 4294967295 134512640 134714508 3221224576 3221222852 1077414372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37727 34337 1111 63 0 37664 0
vsize: 150908
[startup+698.566 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 4405
Raw data (stat): 4405 (bsolo_lpr_cuts) R 4404 23514 23513 0 -1 0 34550 0 0 0 68943 69 0 0 25 0 1 0 777760367 154529792 34337 4294967295 134512640 134714508 3221224576 3221222852 1077414372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37727 34337 1111 63 0 37664 0
vsize: 0

Child status: 20
Real time (s): 698.565
CPU time (s): 698.621
CPU user time (s): 697.705
CPU system time (s): 0.91586
CPU usage (%): 100.008
Max. virtual memory (Kb): 150908
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####