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/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb
MD5SUM	6b39a5ca45e18a6e9e3dc91f7594e22c
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483575
Optimality of the best value was proved	NO
Number of terms in the objective function	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	1073741824
Number of bits of the biggest number in a constraint	31
Biggest sum of numbers in a constraint	26715880447
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1224.15
Number of variables	6651
Total number of constraints	7355
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	6951
Number of constraints which are nor clauses,nor cardinality constraints	404
Minimum length of a constraint	1
Maximum length of a constraint	6651
Trace number 39969

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 23:40:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28033 boxname=wulflinc5 idbench=989 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  6b39a5ca45e18a6e9e3dc91f7594e22c  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-nsrand-ipx.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-nsrand-ipx.opb
IDLAUNCH: 28033
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        903144 kB
Buffers:          1728 kB
Cached:         106920 kB
SwapCached:        628 kB
Active:          22376 kB
Inactive:        88240 kB
HighTotal:      131008 kB
HighFree:        22820 kB
LowTotal:       903652 kB
LowFree:        880324 kB
SwapTotal:     2097136 kB
SwapFree:      2095452 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5036 kB
Slab:            15128 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 23:54:26 (client local time) WITH STATUS 20 IN 810.746 SECONDS
stats: 28033 7 810.746 20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6651 variables and 720 constraints.
c After prepocess the problem consists of 6651 variables and 537 constraints.
c preprocess terminated 801.475 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 1.82775
c Not use computed LB before first solution.
s UNSATISFIABLE
c Exit Code: 20
c Total time: 810.645 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.79 0.92 0.89 2/54 10023
Raw data (stat): 10023 (runsolver) R 10022 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897029658 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.82 0.93 0.90 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 39853 0 0 0 910 86 0 0 25 0 1 0 897029658 176226304 39773 4294967295 134512640 134716908 3221224560 3221222836 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43024 39773 1111 63 0 42961 0
vsize: 172096
[startup+20 s]
Raw data (loadavg): 0.85 0.93 0.90 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 42856 0 0 0 1903 93 0 0 25 0 1 0 897029658 188514304 42776 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46024 42776 1111 63 0 45961 0
vsize: 184096
[startup+30.001 s]
Raw data (loadavg): 0.87 0.93 0.90 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 44320 0 0 0 2899 97 0 0 25 0 1 0 897029658 194605056 44240 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47511 44240 1111 63 0 47448 0
vsize: 190044
[startup+40.0004 s]
Raw data (loadavg): 0.89 0.93 0.90 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 47217 0 0 0 3893 103 0 0 25 0 1 0 897029658 196542464 47104 4294967295 134512640 134716908 3221224560 3221222748 1077379959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47984 47104 1111 63 0 47921 0
vsize: 191936
[startup+50.0012 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 47361 0 0 0 4893 103 0 0 25 0 1 0 897029658 197099520 47241 4294967295 134512640 134716908 3221224560 3221223172 134557790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48120 47241 1111 63 0 48057 0
vsize: 192480
[startup+60.0015 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 47361 0 0 0 5893 103 0 0 25 0 1 0 897029658 197099520 47241 4294967295 134512640 134716908 3221224560 3221223004 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48120 47241 1111 63 0 48057 0
vsize: 192480
[startup+70.0016 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 47570 0 0 0 6893 104 0 0 25 0 1 0 897029658 197660672 47384 4294967295 134512640 134716908 3221224560 3221222748 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48257 47384 1111 63 0 48194 0
vsize: 193028
[startup+80.0024 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 47823 0 0 0 7893 104 0 0 25 0 1 0 897029658 198725632 47637 4294967295 134512640 134716908 3221224560 3221223088 134535477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48517 47637 1111 63 0 48454 0
vsize: 194068
[startup+90.0025 s]
Raw data (loadavg): 0.95 0.94 0.90 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 48012 0 0 0 8893 104 0 0 25 0 1 0 897029658 199471104 47826 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48699 47826 1111 63 0 48636 0
vsize: 194796
[startup+100.003 s]
Raw data (loadavg): 0.96 0.94 0.90 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 48954 0 0 0 9891 106 0 0 25 0 1 0 897029658 203329536 48768 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49641 48768 1111 63 0 49578 0
vsize: 198564
[startup+110.004 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49467 0 0 0 10890 108 0 0 25 0 1 0 897029658 205406208 49281 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50148 49281 1111 63 0 50085 0
vsize: 200592
[startup+120.004 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49467 0 0 0 11890 108 0 0 25 0 1 0 897029658 205406208 49281 4294967295 134512640 134716908 3221224560 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50148 49281 1111 63 0 50085 0
vsize: 200592
[startup+130.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49467 0 0 0 12890 108 0 0 25 0 1 0 897029658 205406208 49281 4294967295 134512640 134716908 3221224560 3221223040 134539126 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50148 49281 1111 63 0 50085 0
vsize: 200592
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49467 0 0 0 13890 108 0 0 25 0 1 0 897029658 205406208 49281 4294967295 134512640 134716908 3221224560 3221222792 1077377159 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50148 49281 1111 63 0 50085 0
vsize: 200592
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49467 0 0 0 14891 108 0 0 25 0 1 0 897029658 205406208 49281 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50148 49281 1111 63 0 50085 0
vsize: 200592
[startup+160.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49467 0 0 0 15891 108 0 0 25 0 1 0 897029658 205406208 49281 4294967295 134512640 134716908 3221224560 3221223104 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50148 49281 1111 63 0 50085 0
vsize: 200592
[startup+170.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49467 0 0 0 16891 108 0 0 25 0 1 0 897029658 205406208 49281 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50148 49281 1111 63 0 50085 0
vsize: 200592
[startup+180.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49467 0 0 0 17891 108 0 0 25 0 1 0 897029658 205406208 49281 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50148 49281 1111 63 0 50085 0
vsize: 200592
[startup+190.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49467 0 0 0 18891 108 0 0 25 0 1 0 897029658 205406208 49281 4294967295 134512640 134716908 3221224560 3221223056 1077378566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50148 49281 1111 63 0 50085 0
vsize: 200592
[startup+200.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49467 0 0 0 19892 108 0 0 25 0 1 0 897029658 205406208 49281 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50148 49281 1111 63 0 50085 0
vsize: 200592
[startup+210.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 20891 108 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223136 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+220.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 21891 108 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+230.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 22892 108 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+240.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 23892 108 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+250.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 24892 108 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539126 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+260.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 25892 108 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+270.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 26892 108 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+280.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 27892 108 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+290.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 28893 108 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223056 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+300.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 29893 108 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+310.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 30893 108 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223004 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+320.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 31893 108 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+330.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 32893 108 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 33893 108 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539126 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 34893 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 35894 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 36894 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 37894 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223004 134536775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 38894 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223288 134675300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 39894 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 40894 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539132 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 41895 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223024 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 42895 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223148 134535676 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 43895 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 44895 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223052 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 45895 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223004 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 46896 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 47896 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539126 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 48896 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223216 134609162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 49896 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223132 134518100 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 50896 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 51897 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221222792 1077377504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 52897 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223104 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 53897 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 54897 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 55897 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 56898 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 57898 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 58898 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223192 1076647870 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 59898 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 60898 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539126 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 61899 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 62899 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 63899 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539123 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 64899 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 65899 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223024 134539757 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 66899 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539126 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 67900 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 68900 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 69900 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 70900 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 71900 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 72901 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 73901 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 74901 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 75901 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223340 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 76901 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 77902 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223208 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 78902 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223220 134627154 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 49682 0 0 0 79902 109 0 0 25 0 1 0 897029658 206336000 49496 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50375 49496 1111 63 0 50312 0
vsize: 201500
[startup+810.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 62206 0 0 0 80874 136 0 0 25 0 1 0 897029658 207228928 49848 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50593 49848 1111 63 0 50530 0
vsize: 202372
[startup+810.667 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 10023
Raw data (stat): 10023 (bsolo_lpr-v2) R 10022 7266 7265 0 -1 0 62206 0 0 0 80874 136 0 0 25 0 1 0 897029658 207228928 49848 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50593 49848 1111 63 0 50530 0
vsize: 0

Child status: 20
Real time (s): 810.666
CPU time (s): 810.746
CPU user time (s): 809.287
CPU system time (s): 1.45878
CPU usage (%): 100.01
Max. virtual memory (Kb): 202372
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####