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/miplib3/normalized-mps-v2-20-10-khb05250.opb
MD5SUM	5d4b655a5461d6a0782bca8bd105f9c2
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	37494
Biggest coefficient in the objective function	6251324899328
Number of bits for the biggest coefficient in the objective function	43
Sum of the numbers in the objective function	5652283493428566
Number of bits of the sum of numbers in the objective function	53
Biggest number in a constraint	6251324899328
Number of bits of the biggest number in a constraint	43
Biggest sum of numbers in a constraint	5652283493428566
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1250.4
Number of variables	38297
Total number of constraints	126
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	102
Minimum length of a constraint	1
Maximum length of a constraint	1530

Trace number 41184

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 07:41:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29253 boxname=wulflinc5 idbench=1037 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  5d4b655a5461d6a0782bca8bd105f9c2  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-khb05250.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-khb05250.opb
IDLAUNCH: 29253
/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:        747548 kB
Buffers:          5844 kB
Cached:         259576 kB
SwapCached:        664 kB
Active:          28268 kB
Inactive:       239148 kB
HighTotal:      131008 kB
HighFree:         5488 kB
LowTotal:       903652 kB
LowFree:        742060 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            13872 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 07:49:26 (client local time) WITH STATUS 20 IN 475.044 SECONDS
stats: 29253 7 475.044 20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 38297 variables and 179 constraints.
s UNSATISFIABLE
c Exit Code: 20
c Total time: 474.987 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.81 0.90 0.90 1/54 31558
Raw data (stat): 31558 (runsolver) R 31557 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908554775 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.0005 s]
Raw data (loadavg): 0.84 0.90 0.90 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 1133 0 0 0 994 3 0 0 25 0 1 0 908554775 16568320 1053 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4045 1053 1111 63 0 3982 0
vsize: 16180
[startup+20.0016 s]
Raw data (loadavg): 0.86 0.91 0.90 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 1369 0 0 0 1994 4 0 0 25 0 1 0 908554775 17625088 1289 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4303 1289 1111 63 0 4240 0
vsize: 17212
[startup+30.001 s]
Raw data (loadavg): 0.88 0.91 0.90 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 1608 0 0 0 2994 4 0 0 25 0 1 0 908554775 18485248 1528 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4513 1528 1111 63 0 4450 0
vsize: 18052
[startup+40.0007 s]
Raw data (loadavg): 0.90 0.91 0.90 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 1845 0 0 0 3993 4 0 0 25 0 1 0 908554775 19513344 1765 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4764 1765 1111 63 0 4701 0
vsize: 19056
[startup+50.0018 s]
Raw data (loadavg): 0.91 0.91 0.90 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 2101 0 0 0 4993 5 0 0 25 0 1 0 908554775 20566016 2021 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5021 2021 1111 63 0 4958 0
vsize: 20084
[startup+60.0012 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 2339 0 0 0 5993 5 0 0 25 0 1 0 908554775 21475328 2259 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5243 2259 1111 63 0 5180 0
vsize: 20972
[startup+70.0019 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 2589 0 0 0 6993 5 0 0 25 0 1 0 908554775 22503424 2509 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5494 2509 1111 63 0 5431 0
vsize: 21976
[startup+80.003 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 2840 0 0 0 7993 6 0 0 25 0 1 0 908554775 23560192 2760 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5752 2760 1111 63 0 5689 0
vsize: 23008
[startup+90.0024 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 3107 0 0 0 8993 6 0 0 25 0 1 0 908554775 24739840 3027 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6040 3027 1111 63 0 5977 0
vsize: 24160
[startup+100.002 s]
Raw data (loadavg): 0.96 0.92 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 3366 0 0 0 9992 6 0 0 25 0 1 0 908554775 25792512 3286 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6297 3286 1111 63 0 6234 0
vsize: 25188
[startup+110.002 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 3634 0 0 0 10992 7 0 0 25 0 1 0 908554775 26849280 3554 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6555 3554 1111 63 0 6492 0
vsize: 26220
[startup+120.003 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 3901 0 0 0 11992 7 0 0 25 0 1 0 908554775 27910144 3821 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6814 3821 1111 63 0 6751 0
vsize: 27256
[startup+130.002 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 4175 0 0 0 12992 8 0 0 25 0 1 0 908554775 29118464 4095 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7109 4095 1111 63 0 7046 0
vsize: 28436
[startup+140.002 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 4449 0 0 0 13992 8 0 0 25 0 1 0 908554775 30179328 4369 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7368 4369 1111 63 0 7305 0
vsize: 29472
[startup+150.003 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 4735 0 0 0 14991 9 0 0 25 0 1 0 908554775 31383552 4655 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7662 4655 1111 63 0 7599 0
vsize: 30648
[startup+160.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 5031 0 0 0 15991 9 0 0 25 0 1 0 908554775 32591872 4951 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7957 4951 1111 63 0 7894 0
vsize: 31828
[startup+170.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 5321 0 0 0 16990 10 0 0 25 0 1 0 908554775 33796096 5241 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8251 5241 1111 63 0 8188 0
vsize: 33004
[startup+180.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 5622 0 0 0 17990 10 0 0 25 0 1 0 908554775 35008512 5542 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8547 5542 1111 63 0 8484 0
vsize: 34188
[startup+190.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 5919 0 0 0 18990 11 0 0 25 0 1 0 908554775 36212736 5839 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8841 5839 1111 63 0 8778 0
vsize: 35364
[startup+200.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 6222 0 0 0 19990 11 0 0 25 0 1 0 908554775 37416960 6142 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9135 6142 1111 63 0 9072 0
vsize: 36540
[startup+210.002 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 6532 0 0 0 20990 11 0 0 25 0 1 0 908554775 38772736 6452 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9466 6452 1111 63 0 9403 0
vsize: 37864
[startup+220.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 6849 0 0 0 21989 12 0 0 25 0 1 0 908554775 39976960 6769 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9760 6769 1111 63 0 9697 0
vsize: 39040
[startup+230.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 7161 0 0 0 22989 12 0 0 25 0 1 0 908554775 41336832 7081 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10092 7081 1111 63 0 10029 0
vsize: 40368
[startup+240.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 7493 0 0 0 23989 12 0 0 25 0 1 0 908554775 42688512 7413 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10422 7413 1111 63 0 10359 0
vsize: 41688
[startup+250.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 7825 0 0 0 24989 13 0 0 25 0 1 0 908554775 44052480 7745 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10755 7745 1111 63 0 10692 0
vsize: 43020
[startup+260.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 8164 0 0 0 25988 14 0 0 25 0 1 0 908554775 45404160 8084 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11085 8084 1111 63 0 11022 0
vsize: 44340
[startup+270.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 8505 0 0 0 26988 14 0 0 25 0 1 0 908554775 46764032 8425 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11417 8425 1111 63 0 11354 0
vsize: 45668
[startup+280.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 8876 0 0 0 27987 15 0 0 25 0 1 0 908554775 48373760 8796 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11810 8796 1111 63 0 11747 0
vsize: 47240
[startup+290.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 9252 0 0 0 28987 15 0 0 25 0 1 0 908554775 50028544 9172 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12214 9172 1111 63 0 12151 0
vsize: 48856
[startup+300.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 9653 0 0 0 29987 16 0 0 25 0 1 0 908554775 51539968 9573 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12583 9573 1111 63 0 12520 0
vsize: 50332
[startup+310.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 10074 0 0 0 30986 16 0 0 25 0 1 0 908554775 53346304 9994 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13024 9994 1111 63 0 12961 0
vsize: 52096
[startup+320.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 10503 0 0 0 31986 17 0 0 25 0 1 0 908554775 55005184 10423 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13429 10423 1111 63 0 13366 0
vsize: 53716
[startup+330.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 10946 0 0 0 32985 18 0 0 25 0 1 0 908554775 56811520 10866 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13870 10866 1111 63 0 13807 0
vsize: 55480
[startup+340.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 11417 0 0 0 33984 19 0 0 25 0 1 0 908554775 58773504 11337 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14349 11337 1111 63 0 14286 0
vsize: 57396
[startup+350.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 11912 0 0 0 34983 20 0 0 25 0 1 0 908554775 60882944 11832 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14864 11832 1111 63 0 14801 0
vsize: 59456
[startup+360.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 12435 0 0 0 35983 20 0 0 25 0 1 0 908554775 62988288 12355 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15378 12355 1111 63 0 15315 0
vsize: 61512
[startup+370.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 12984 0 0 0 36982 21 0 0 25 0 1 0 908554775 65253376 12904 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15931 12904 1111 63 0 15868 0
vsize: 63724
[startup+380.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 13598 0 0 0 37981 23 0 0 25 0 1 0 908554775 67665920 13518 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16520 13518 1111 63 0 16457 0
vsize: 66080
[startup+390.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 14270 0 0 0 38980 24 0 0 25 0 1 0 908554775 70377472 14190 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17182 14190 1111 63 0 17119 0
vsize: 68728
[startup+400.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 14979 0 0 0 39979 25 0 0 25 0 1 0 908554775 73392128 14899 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17918 14899 1111 63 0 17855 0
vsize: 71672
[startup+410.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 15718 0 0 0 40978 26 0 0 25 0 1 0 908554775 76402688 15638 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18653 15638 1111 63 0 18590 0
vsize: 74612
[startup+420.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 16522 0 0 0 41977 28 0 0 25 0 1 0 908554775 79695872 16442 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19457 16442 1111 63 0 19394 0
vsize: 77828
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 17405 0 0 0 42976 29 0 0 25 0 1 0 908554775 83521536 17325 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20391 17325 1111 63 0 20328 0
vsize: 81564
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 18321 0 0 0 43975 31 0 0 25 0 1 0 908554775 87257088 18241 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21303 18241 1111 63 0 21240 0
vsize: 85212
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 19333 0 0 0 44973 32 0 0 25 0 1 0 908554775 91324416 19253 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22296 19253 1111 63 0 22233 0
vsize: 89184
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 21038 0 0 0 45968 37 0 0 25 0 1 0 908554775 97738752 20810 4294967295 134512640 134716908 3221224560 3221221160 1076880158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23862 20810 1111 63 0 23799 0
vsize: 95448
[startup+470.008 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 22260 0 0 0 46964 41 0 0 25 0 1 0 908554775 102756352 22032 4294967295 134512640 134716908 3221224560 3221223056 134539129 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25087 22032 1111 63 0 25024 0
vsize: 100348
[startup+474.997 s]
Raw data (loadavg): 1.07 0.99 0.91 1/53 31558
Raw data (stat): 31558 (bsolo_lpr_cuts-) R 31557 7266 7265 0 -1 0 22260 0 0 0 46964 41 0 0 25 0 1 0 908554775 102756352 22032 4294967295 134512640 134716908 3221224560 3221223056 134539129 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25087 22032 1111 63 0 25024 0
vsize: 0

Child status: 20
Real time (s): 474.996
CPU time (s): 475.044
CPU user time (s): 474.513
CPU system time (s): 0.530919
CPU usage (%): 100.01
Max. virtual memory (Kb): 100348
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####