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 39804

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 20:50:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27868 boxname=wulflinc2 idbench=824 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  7312c1a4c94073cc51821da54f781db8  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-degen3.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-degen3.opb
IDLAUNCH: 27868
/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:        858196 kB
Buffers:         34140 kB
Cached:         119000 kB
SwapCached:       1492 kB
Active:          49588 kB
Inactive:       105668 kB
HighTotal:      131008 kB
HighFree:        34048 kB
LowTotal:       903652 kB
LowFree:        824148 kB
SwapTotal:     2097136 kB
SwapFree:      2094668 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            15520 kB
Committed_AS:    71780 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 21:01:58 (client local time) WITH STATUS 20 IN 698.103 SECONDS
stats: 27868 7 698.103 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.021 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.89 0.94 0.90 1/54 30048
Raw data (stat): 30048 (runsolver) R 30047 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896009620 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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+10.001 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 1005 0 0 0 995 3 0 0 25 0 1 0 896009620 16236544 925 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3964 925 1111 63 0 3901 0
vsize: 15856
[startup+20.0012 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 1294 0 0 0 1995 3 0 0 25 0 1 0 896009620 17420288 1214 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4253 1214 1111 63 0 4190 0
vsize: 17012
[startup+30.0014 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 1582 0 0 0 2994 4 0 0 25 0 1 0 896009620 18591744 1502 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4539 1502 1111 63 0 4476 0
vsize: 18156
[startup+40.0019 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 1874 0 0 0 3994 5 0 0 25 0 1 0 896009620 19795968 1794 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4833 1794 1111 63 0 4770 0
vsize: 19332
[startup+50.0013 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 2167 0 0 0 4993 6 0 0 25 0 1 0 896009620 20996096 2087 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5126 2087 1111 63 0 5063 0
vsize: 20504
[startup+60.0014 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 2454 0 0 0 5992 7 0 0 25 0 1 0 896009620 22200320 2374 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5420 2374 1111 63 0 5357 0
vsize: 21680
[startup+70.001 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 2763 0 0 0 6992 7 0 0 25 0 1 0 896009620 23400448 2683 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5713 2683 1111 63 0 5650 0
vsize: 22852
[startup+80.0014 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 3063 0 0 0 7991 8 0 0 25 0 1 0 896009620 24743936 2983 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6041 2983 1111 63 0 5978 0
vsize: 24164
[startup+90.0015 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 3367 0 0 0 8991 9 0 0 25 0 1 0 896009620 25952256 3287 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6336 3287 1111 63 0 6273 0
vsize: 25344
[startup+100.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 3670 0 0 0 9990 10 0 0 25 0 1 0 896009620 27127808 3590 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6623 3590 1111 63 0 6560 0
vsize: 26492
[startup+110.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 3979 0 0 0 10990 10 0 0 25 0 1 0 896009620 28475392 3899 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6952 3899 1111 63 0 6889 0
vsize: 27808
[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 4296 0 0 0 11989 11 0 0 25 0 1 0 896009620 29683712 4216 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7247 4216 1111 63 0 7184 0
vsize: 28988
[startup+130.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 4611 0 0 0 12989 11 0 0 25 0 1 0 896009620 31039488 4531 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7578 4531 1111 63 0 7515 0
vsize: 30312
[startup+140.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 4939 0 0 0 13988 12 0 0 25 0 1 0 896009620 32432128 4859 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7918 4859 1111 63 0 7855 0
vsize: 31672
[startup+150.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 5257 0 0 0 14988 12 0 0 25 0 1 0 896009620 33632256 5177 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8211 5177 1111 63 0 8148 0
vsize: 32844
[startup+160.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 5579 0 0 0 15988 13 0 0 25 0 1 0 896009620 34988032 5499 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8542 5499 1111 63 0 8479 0
vsize: 34168
[startup+170.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 5906 0 0 0 16987 14 0 0 25 0 1 0 896009620 36343808 5826 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8873 5826 1111 63 0 8810 0
vsize: 35492
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 6245 0 0 0 17987 14 0 0 25 0 1 0 896009620 37695488 6165 4294967295 134512640 134716908 3221224576 3221222664 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9203 6165 1111 63 0 9140 0
vsize: 36812
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 6576 0 0 0 18986 15 0 0 25 0 1 0 896009620 39051264 6496 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9534 6496 1111 63 0 9471 0
vsize: 38136
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 6917 0 0 0 19986 16 0 0 25 0 1 0 896009620 40402944 6837 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9864 6837 1111 63 0 9801 0
vsize: 39456
[startup+210.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 7264 0 0 0 20986 16 0 0 25 0 1 0 896009620 41910272 7184 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10232 7184 1111 63 0 10169 0
vsize: 40928
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 7618 0 0 0 21986 16 0 0 25 0 1 0 896009620 43384832 7538 4294967295 134512640 134716908 3221224576 3221222664 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10592 7538 1111 63 0 10529 0
vsize: 42368
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 7970 0 0 0 22985 17 0 0 25 0 1 0 896009620 44740608 7890 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10923 7890 1111 63 0 10860 0
vsize: 43692
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 8324 0 0 0 23984 18 0 0 25 0 1 0 896009620 46247936 8244 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11291 8244 1111 63 0 11228 0
vsize: 45164
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 8703 0 0 0 24984 18 0 0 25 0 1 0 896009620 47849472 8623 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11682 8623 1111 63 0 11619 0
vsize: 46728
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 9078 0 0 0 25983 19 0 0 25 0 1 0 896009620 49475584 8998 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12079 8998 1111 63 0 12016 0
vsize: 48316
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 9447 0 0 0 26983 20 0 0 25 0 1 0 896009620 50954240 9367 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12440 9367 1111 63 0 12377 0
vsize: 49760
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 9825 0 0 0 27982 21 0 0 25 0 1 0 896009620 52453376 9745 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12806 9745 1111 63 0 12743 0
vsize: 51224
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 10216 0 0 0 28981 22 0 0 25 0 1 0 896009620 54108160 10136 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13210 10136 1111 63 0 13147 0
vsize: 52840
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 10629 0 0 0 29981 23 0 0 25 0 1 0 896009620 55767040 10549 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13615 10549 1111 63 0 13552 0
vsize: 54460
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 11057 0 0 0 30981 23 0 0 25 0 1 0 896009620 57421824 10977 4294967295 134512640 134716908 3221224576 3221222908 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14019 10977 1111 63 0 13956 0
vsize: 56076
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 11513 0 0 0 31980 24 0 0 25 0 1 0 896009620 59379712 11433 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14497 11433 1111 63 0 14434 0
vsize: 57988
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 11992 0 0 0 32978 26 0 0 25 0 1 0 896009620 61333504 11912 4294967295 134512640 134716908 3221224576 3221223232 134527948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14974 11912 1111 63 0 14911 0
vsize: 59896
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 12496 0 0 0 33978 27 0 0 25 0 1 0 896009620 63291392 12416 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15452 12416 1111 63 0 15389 0
vsize: 61808
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 13025 0 0 0 34977 28 0 0 25 0 1 0 896009620 65552384 12945 4294967295 134512640 134716908 3221224576 3221221404 1077253902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16004 12945 1111 63 0 15941 0
vsize: 64016
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 13565 0 0 0 35976 29 0 0 25 0 1 0 896009620 67653632 13485 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16517 13485 1111 63 0 16454 0
vsize: 66068
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 14113 0 0 0 36975 30 0 0 25 0 1 0 896009620 69918720 14033 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17070 14033 1111 63 0 17007 0
vsize: 68280
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 14686 0 0 0 37974 32 0 0 25 0 1 0 896009620 72323072 14606 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17657 14606 1111 63 0 17594 0
vsize: 70628
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 15263 0 0 0 38973 32 0 0 25 0 1 0 896009620 74698752 15183 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18237 15183 1111 63 0 18174 0
vsize: 72948
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 15866 0 0 0 39973 33 0 0 25 0 1 0 896009620 77111296 15786 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18826 15786 1111 63 0 18763 0
vsize: 75304
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 16469 0 0 0 40972 34 0 0 25 0 1 0 896009620 79515648 16389 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19413 16389 1111 63 0 19350 0
vsize: 77652
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 17130 0 0 0 41971 35 0 0 25 0 1 0 896009620 82550784 17050 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20154 17050 1111 63 0 20091 0
vsize: 80616
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 17771 0 0 0 42971 36 0 0 25 0 1 0 896009620 85114880 17691 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20780 17691 1111 63 0 20717 0
vsize: 83120
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 18421 0 0 0 43970 37 0 0 25 0 1 0 896009620 87822336 18341 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21441 18341 1111 63 0 21378 0
vsize: 85764
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 19092 0 0 0 44969 38 0 0 25 0 1 0 896009620 90501120 19012 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22095 19012 1111 63 0 22032 0
vsize: 88380
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 19777 0 0 0 45968 39 0 0 25 0 1 0 896009620 93360128 19697 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22793 19697 1111 63 0 22730 0
vsize: 91172
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 20473 0 0 0 46967 41 0 0 25 0 1 0 896009620 96215040 20393 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23490 20393 1111 63 0 23427 0
vsize: 93960
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 21188 0 0 0 47965 42 0 0 25 0 1 0 896009620 99078144 21108 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24189 21108 1111 63 0 24126 0
vsize: 96756
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 21916 0 0 0 48964 43 0 0 25 0 1 0 896009620 102092800 21836 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24925 21836 1111 63 0 24862 0
vsize: 99700
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 22670 0 0 0 49964 44 0 0 25 0 1 0 896009620 105099264 22590 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25659 22590 1111 63 0 25596 0
vsize: 102636
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 23452 0 0 0 50962 46 0 0 25 0 1 0 896009620 108261376 23372 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26431 23372 1111 63 0 26368 0
vsize: 105724
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 25627 0 0 0 51958 49 0 0 25 0 1 0 896009620 117248000 25547 4294967295 134512640 134716908 3221224576 3221223064 1077377584 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28625 25547 1111 63 0 28562 0
vsize: 114500
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 27474 0 0 0 52954 53 0 0 25 0 1 0 896009620 124342272 27296 4294967295 134512640 134716908 3221224576 3221222852 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30357 27296 1111 63 0 30294 0
vsize: 121428
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 28221 0 0 0 53953 55 0 0 25 0 1 0 896009620 127524864 28039 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31134 28039 1111 63 0 31071 0
vsize: 124536
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 29327 0 0 0 54949 58 0 0 25 0 1 0 896009620 132091904 29145 4294967295 134512640 134716908 3221224576 3221222852 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32249 29145 1111 63 0 32186 0
vsize: 128996
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 29567 0 0 0 55948 59 0 0 25 0 1 0 896009620 133197824 29384 4294967295 134512640 134716908 3221224576 3221222852 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32519 29384 1111 63 0 32456 0
vsize: 130076
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 29809 0 0 0 56948 59 0 0 25 0 1 0 896009620 134316032 29622 4294967295 134512640 134716908 3221224576 3221222852 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32792 29622 1111 63 0 32729 0
vsize: 131168
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30048
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 30108 0 0 0 57947 60 0 0 25 0 1 0 896009620 135573504 29915 4294967295 134512640 134716908 3221224576 3221222852 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33099 29915 1111 63 0 33036 0
vsize: 132396
[startup+590.013 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 30101
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 31065 0 0 0 58945 63 0 0 25 0 1 0 896009620 139583488 30868 4294967295 134512640 134716908 3221224576 3221221196 1077255789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34078 30868 1111 63 0 34015 0
vsize: 136312
[startup+600.013 s]
Raw data (loadavg): 1.13 1.00 0.92 2/54 30101
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 32067 0 0 0 59941 66 0 0 25 0 1 0 896009620 143654912 31870 4294967295 134512640 134716908 3221224576 3221222852 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35072 31870 1111 63 0 35009 0
vsize: 140288
[startup+610.014 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 30101
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 32494 0 0 0 60940 68 0 0 25 0 1 0 896009620 145457152 32297 4294967295 134512640 134716908 3221224576 3221223296 134569511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35512 32297 1111 63 0 35449 0
vsize: 142048
[startup+620.013 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 30101
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 32760 0 0 0 61939 69 0 0 25 0 1 0 896009620 146563072 32563 4294967295 134512640 134716908 3221224576 3221222852 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35782 32563 1111 63 0 35719 0
vsize: 143128
[startup+630.014 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 30101
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 33114 0 0 0 62937 70 0 0 25 0 1 0 896009620 148070400 32917 4294967295 134512640 134716908 3221224576 3221222852 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36150 32917 1111 63 0 36087 0
vsize: 144600
[startup+640.015 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 30101
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 33443 0 0 0 63937 71 0 0 25 0 1 0 896009620 149438464 33246 4294967295 134512640 134716908 3221224576 3221222852 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36484 33246 1111 63 0 36421 0
vsize: 145936
[startup+650.014 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 30101
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 33659 0 0 0 64936 72 0 0 25 0 1 0 896009620 150417408 33461 4294967295 134512640 134716908 3221224576 3221222852 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36723 33461 1111 63 0 36660 0
vsize: 146892
[startup+660.014 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 30103
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 33969 0 0 0 65935 73 0 0 25 0 1 0 896009620 151818240 33765 4294967295 134512640 134716908 3221224576 3221222884 1077360362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37065 33765 1111 63 0 37002 0
vsize: 148260
[startup+670.015 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 30103
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 34169 0 0 0 66934 74 0 0 25 0 1 0 896009620 152686592 33961 4294967295 134512640 134716908 3221224576 3221223072 134539120 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37277 33961 1111 63 0 37214 0
vsize: 149108
[startup+680.015 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 30103
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 34385 0 0 0 67933 75 0 0 25 0 1 0 896009620 153690112 34171 4294967295 134512640 134716908 3221224576 3221222852 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37522 34171 1111 63 0 37459 0
vsize: 150088
[startup+690.016 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 30103
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 34550 0 0 0 68932 76 0 0 25 0 1 0 896009620 154529792 34332 4294967295 134512640 134716908 3221224576 3221222852 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37727 34332 1111 63 0 37664 0
vsize: 150908
[startup+698.048 s]
Raw data (loadavg): 1.02 1.00 0.92 1/53 30103
Raw data (stat): 30048 (bsolo_lpr-v2) R 30047 31399 31398 0 -1 0 34550 0 0 0 68932 76 0 0 25 0 1 0 896009620 154529792 34332 4294967295 134512640 134716908 3221224576 3221222852 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37727 34332 1111 63 0 37664 0
vsize: 0

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