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 41141

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        908348 kB
Buffers:          3968 kB
Cached:         100980 kB
SwapCached:        860 kB
Active:          26252 kB
Inactive:        80696 kB
HighTotal:      131008 kB
HighFree:        27496 kB
LowTotal:       903652 kB
LowFree:        880852 kB
SwapTotal:     2097136 kB
SwapFree:      2095236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            13540 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 06:59:13 (client local time) WITH STATUS 20 IN 821.45 SECONDS
stats: 29205 7 821.45 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 810.964 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 2.843
c Not use computed LB before first solution.
s UNSATISFIABLE
c Exit Code: 20
c Total time: 821.349 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.71 0.91 0.89 1/54 10609
Raw data (stat): 10609 (runsolver) R 10608 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908209196 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+9.99993 s]
Raw data (loadavg): 0.76 0.91 0.89 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 39869 0 0 0 917 79 0 0 25 0 1 0 908209196 176361472 39789 4294967295 134512640 134716908 3221224560 3221222864 134566754 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43057 39789 1111 63 0 42994 0
vsize: 172228
[startup+20.0007 s]
Raw data (loadavg): 0.79 0.91 0.89 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 42867 0 0 0 1911 86 0 0 25 0 1 0 908209196 188649472 42787 4294967295 134512640 134716908 3221224560 3221221100 1077091057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46057 42787 1111 63 0 45994 0
vsize: 184228
[startup+30.0021 s]
Raw data (loadavg): 0.82 0.91 0.89 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 44364 0 0 0 2907 90 0 0 25 0 1 0 908209196 194740224 44284 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47544 44284 1111 63 0 47481 0
vsize: 190176
[startup+40.0015 s]
Raw data (loadavg): 0.85 0.92 0.89 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 47217 0 0 0 3899 96 0 0 25 0 1 0 908209196 196542464 47104 4294967295 134512640 134716908 3221224560 3221223360 134617638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47984 47104 1111 63 0 47921 0
vsize: 191936
[startup+50.0023 s]
Raw data (loadavg): 0.87 0.92 0.89 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 47361 0 0 0 4899 97 0 0 25 0 1 0 908209196 197099520 47241 4294967295 134512640 134716908 3221224560 3221223004 134536784 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.0021 s]
Raw data (loadavg): 0.89 0.92 0.89 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 47361 0 0 0 5899 97 0 0 25 0 1 0 908209196 197099520 47241 4294967295 134512640 134716908 3221224560 3221223152 134524415 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.003 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 47563 0 0 0 6899 97 0 0 25 0 1 0 908209196 197660672 47377 4294967295 134512640 134716908 3221224560 3221223312 134630814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48257 47377 1111 63 0 48194 0
vsize: 193028
[startup+80.0039 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 47823 0 0 0 7898 98 0 0 25 0 1 0 908209196 198725632 47637 4294967295 134512640 134716908 3221224560 3221223172 134557788 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.0037 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 48012 0 0 0 8898 99 0 0 25 0 1 0 908209196 199471104 47826 4294967295 134512640 134716908 3221224560 3221223148 134543588 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.004 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 48954 0 0 0 9896 100 0 0 25 0 1 0 908209196 203329536 48768 4294967295 134512640 134716908 3221224560 3221223148 134535506 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.006 s]
Raw data (loadavg): 0.95 0.93 0.90 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49467 0 0 0 10896 101 0 0 25 0 1 0 908209196 205406208 49281 4294967295 134512640 134716908 3221224560 3221223020 134535988 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.007 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49467 0 0 0 11896 101 0 0 25 0 1 0 908209196 205406208 49281 4294967295 134512640 134716908 3221224560 3221223024 134543097 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.007 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49467 0 0 0 12896 101 0 0 25 0 1 0 908209196 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+140.007 s]
Raw data (loadavg): 0.97 0.94 0.90 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49467 0 0 0 13897 101 0 0 25 0 1 0 908209196 205406208 49281 4294967295 134512640 134716908 3221224560 3221223192 134532457 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.008 s]
Raw data (loadavg): 0.97 0.94 0.90 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49467 0 0 0 14897 101 0 0 25 0 1 0 908209196 205406208 49281 4294967295 134512640 134716908 3221224560 3221223040 134539129 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.008 s]
Raw data (loadavg): 0.98 0.94 0.90 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49467 0 0 0 15897 101 0 0 25 0 1 0 908209196 205406208 49281 4294967295 134512640 134716908 3221224560 3221223268 134618255 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.009 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49467 0 0 0 16897 101 0 0 25 0 1 0 908209196 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+180.009 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49467 0 0 0 17897 101 0 0 25 0 1 0 908209196 205406208 49281 4294967295 134512640 134716908 3221224560 3221223312 134630808 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.008 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49467 0 0 0 18898 101 0 0 25 0 1 0 908209196 205406208 49281 4294967295 134512640 134716908 3221224560 3221223040 134539110 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.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49467 0 0 0 19898 101 0 0 25 0 1 0 908209196 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.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 20897 102 0 0 25 0 1 0 908209196 206336000 49496 4294967295 134512640 134716908 3221224560 3221223168 134542598 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.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 21897 102 0 0 25 0 1 0 908209196 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+230.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 22898 102 0 0 25 0 1 0 908209196 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+240.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 23898 102 0 0 25 0 1 0 908209196 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+250.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 24898 102 0 0 25 0 1 0 908209196 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+260.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 25898 102 0 0 25 0 1 0 908209196 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.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 26898 102 0 0 25 0 1 0 908209196 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+280.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 27898 102 0 0 25 0 1 0 908209196 206336000 49496 4294967295 134512640 134716908 3221224560 3221223196 134554932 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.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 28899 102 0 0 25 0 1 0 908209196 206336000 49496 4294967295 134512640 134716908 3221224560 3221223268 134618255 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.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 29899 102 0 0 25 0 1 0 908209196 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+310.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 30899 102 0 0 25 0 1 0 908209196 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+320.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 31899 102 0 0 25 0 1 0 908209196 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.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 32899 102 0 0 25 0 1 0 908209196 206336000 49496 4294967295 134512640 134716908 3221224560 3221223216 134609212 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.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 33899 102 0 0 25 0 1 0 908209196 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+350.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 34899 102 0 0 25 0 1 0 908209196 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.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 35900 102 0 0 25 0 1 0 908209196 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.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 36900 102 0 0 25 0 1 0 908209196 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+380.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 37900 102 0 0 25 0 1 0 908209196 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+390.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 38900 102 0 0 25 0 1 0 908209196 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+400.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 39901 102 0 0 25 0 1 0 908209196 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 40901 102 0 0 25 0 1 0 908209196 206336000 49496 4294967295 134512640 134716908 3221224560 3221223040 134539166 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 41901 102 0 0 25 0 1 0 908209196 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+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 42901 102 0 0 25 0 1 0 908209196 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+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 43901 102 0 0 25 0 1 0 908209196 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 44901 102 0 0 25 0 1 0 908209196 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+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 45902 102 0 0 25 0 1 0 908209196 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+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 46902 102 0 0 25 0 1 0 908209196 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+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 47902 102 0 0 25 0 1 0 908209196 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+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 48902 102 0 0 25 0 1 0 908209196 206336000 49496 4294967295 134512640 134716908 3221224560 3221223116 1077374048 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 49902 102 0 0 25 0 1 0 908209196 206336000 49496 4294967295 134512640 134716908 3221224560 3221223168 134542598 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 50902 102 0 0 25 0 1 0 908209196 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+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 51903 102 0 0 25 0 1 0 908209196 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+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 52903 102 0 0 25 0 1 0 908209196 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+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 53903 102 0 0 25 0 1 0 908209196 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 54903 102 0 0 25 0 1 0 908209196 206336000 49496 4294967295 134512640 134716908 3221224560 3221223168 134542598 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 55903 102 0 0 25 0 1 0 908209196 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+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 56904 102 0 0 25 0 1 0 908209196 206336000 49496 4294967295 134512640 134716908 3221224560 3221223080 134543614 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 57904 102 0 0 25 0 1 0 908209196 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 58904 102 0 0 25 0 1 0 908209196 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+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 59904 102 0 0 25 0 1 0 908209196 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+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 60904 102 0 0 25 0 1 0 908209196 206336000 49496 4294967295 134512640 134716908 3221224560 3221223260 134606816 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 61904 102 0 0 25 0 1 0 908209196 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+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 62905 102 0 0 25 0 1 0 908209196 206336000 49496 4294967295 134512640 134716908 3221224560 3221223312 134630811 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 63905 102 0 0 25 0 1 0 908209196 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+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 64905 102 0 0 25 0 1 0 908209196 206336000 49496 4294967295 134512640 134716908 3221224560 3221223232 134606864 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 65905 102 0 0 25 0 1 0 908209196 206336000 49496 4294967295 134512640 134716908 3221224560 3221222748 1077379908 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 66906 102 0 0 25 0 1 0 908209196 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+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 67906 102 0 0 25 0 1 0 908209196 206336000 49496 4294967295 134512640 134716908 3221224560 3221223172 134557801 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 68906 102 0 0 25 0 1 0 908209196 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 69906 102 0 0 25 0 1 0 908209196 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 70906 102 0 0 25 0 1 0 908209196 206336000 49496 4294967295 134512640 134716908 3221224560 3221223212 134558493 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 71907 102 0 0 25 0 1 0 908209196 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 72907 102 0 0 25 0 1 0 908209196 206336000 49496 4294967295 134512640 134716908 3221224560 3221223004 134536763 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 73907 102 0 0 25 0 1 0 908209196 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 74907 102 0 0 25 0 1 0 908209196 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+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 75907 102 0 0 25 0 1 0 908209196 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+770.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 76908 102 0 0 25 0 1 0 908209196 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.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 77908 102 0 0 25 0 1 0 908209196 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+790.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 78908 102 0 0 25 0 1 0 908209196 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+800.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 79908 102 0 0 25 0 1 0 908209196 206336000 49496 4294967295 134512640 134716908 3221224560 3221223212 134558608 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 49682 0 0 0 80908 102 0 0 25 0 1 0 908209196 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+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 59286 0 0 0 81887 123 0 0 25 0 1 0 908209196 207245312 49859 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50597 49859 1111 63 0 50534 0
vsize: 202388
[startup+821.369 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 10609
Raw data (stat): 10609 (bsolo_lpr_cuts-) R 10608 21152 21151 0 -1 0 59286 0 0 0 81887 123 0 0 25 0 1 0 908209196 207245312 49859 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50597 49859 1111 63 0 50534 0
vsize: 0

Child status: 20
Real time (s): 821.368
CPU time (s): 821.45
CPU user time (s): 820.122
CPU system time (s): 1.3278
CPU usage (%): 100.01
Max. virtual memory (Kb): 202388
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####