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 28294

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-25 01:38:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13470 boxname=wulflinc12 idbench=1037 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  5d4b655a5461d6a0782bca8bd105f9c2  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-khb05250.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-khb05250.opb
IDLAUNCH: 13470
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        610584 kB
Buffers:         37452 kB
Cached:         365560 kB
SwapCached:        568 kB
Active:         124160 kB
Inactive:       281332 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        610332 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            12968 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 01:46:04 (client local time) WITH STATUS 20 IN 474.958 SECONDS
stats: 13470 7 474.958 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.898 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/54 7063
Raw data (stat): 7063 (runsolver) R 7062 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776750130 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 1131 0 0 0 994 3 0 0 25 0 1 0 776750130 16568320 1055 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4045 1055 1111 63 0 3982 0
vsize: 16180
[startup+20.001 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 1367 0 0 0 1993 4 0 0 25 0 1 0 776750130 17625088 1291 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4303 1291 1111 63 0 4240 0
vsize: 17212
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 1606 0 0 0 2993 4 0 0 25 0 1 0 776750130 18485248 1530 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4513 1530 1111 63 0 4450 0
vsize: 18052
[startup+40.0031 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 1844 0 0 0 3993 4 0 0 25 0 1 0 776750130 19513344 1768 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4764 1768 1111 63 0 4701 0
vsize: 19056
[startup+50.0036 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 2099 0 0 0 4993 5 0 0 25 0 1 0 776750130 20566016 2023 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5021 2023 1111 63 0 4958 0
vsize: 20084
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 2343 0 0 0 5993 5 0 0 25 0 1 0 776750130 21626880 2267 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5280 2267 1111 63 0 5217 0
vsize: 21120
[startup+70.0046 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 2587 0 0 0 6993 5 0 0 25 0 1 0 776750130 22503424 2511 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5494 2511 1111 63 0 5431 0
vsize: 21976
[startup+80.0051 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 2839 0 0 0 7993 6 0 0 25 0 1 0 776750130 23560192 2763 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5752 2763 1111 63 0 5689 0
vsize: 23008
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 3106 0 0 0 8993 6 0 0 25 0 1 0 776750130 24739840 3030 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6040 3030 1111 63 0 5977 0
vsize: 24160
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 3365 0 0 0 9992 7 0 0 25 0 1 0 776750130 25792512 3289 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6297 3289 1111 63 0 6234 0
vsize: 25188
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 3632 0 0 0 10992 7 0 0 25 0 1 0 776750130 26849280 3556 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6555 3556 1111 63 0 6492 0
vsize: 26220
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 3905 0 0 0 11992 7 0 0 25 0 1 0 776750130 27910144 3829 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6814 3829 1111 63 0 6751 0
vsize: 27256
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 4179 0 0 0 12992 8 0 0 25 0 1 0 776750130 29118464 4103 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7109 4103 1111 63 0 7046 0
vsize: 28436
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 4454 0 0 0 13991 9 0 0 25 0 1 0 776750130 30179328 4378 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7368 4378 1111 63 0 7305 0
vsize: 29472
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 4739 0 0 0 14990 10 0 0 25 0 1 0 776750130 31383552 4663 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7662 4663 1111 63 0 7599 0
vsize: 30648
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 5030 0 0 0 15990 11 0 0 25 0 1 0 776750130 32591872 4954 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7957 4954 1111 63 0 7894 0
vsize: 31828
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 5326 0 0 0 16989 11 0 0 25 0 1 0 776750130 33796096 5250 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8251 5250 1111 63 0 8188 0
vsize: 33004
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 5621 0 0 0 17989 12 0 0 25 0 1 0 776750130 35008512 5545 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8547 5545 1111 63 0 8484 0
vsize: 34188
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 5918 0 0 0 18989 12 0 0 25 0 1 0 776750130 36212736 5842 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8841 5842 1111 63 0 8778 0
vsize: 35364
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 6227 0 0 0 19989 13 0 0 25 0 1 0 776750130 37568512 6151 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9172 6151 1111 63 0 9109 0
vsize: 36688
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 6537 0 0 0 20988 13 0 0 25 0 1 0 776750130 38772736 6461 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9466 6461 1111 63 0 9403 0
vsize: 37864
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 6848 0 0 0 21988 14 0 0 25 0 1 0 776750130 39976960 6772 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9760 6772 1111 63 0 9697 0
vsize: 39040
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 7172 0 0 0 22988 14 0 0 25 0 1 0 776750130 41336832 7096 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10092 7096 1111 63 0 10029 0
vsize: 40368
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 7498 0 0 0 23987 15 0 0 25 0 1 0 776750130 42688512 7422 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10422 7422 1111 63 0 10359 0
vsize: 41688
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 7831 0 0 0 24987 15 0 0 25 0 1 0 776750130 44052480 7755 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10755 7755 1111 63 0 10692 0
vsize: 43020
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 8163 0 0 0 25987 16 0 0 25 0 1 0 776750130 45404160 8087 4294967295 134512640 134714508 3221224576 3221222804 1077414347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11085 8087 1111 63 0 11022 0
vsize: 44340
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 8510 0 0 0 26986 17 0 0 25 0 1 0 776750130 46764032 8434 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11417 8434 1111 63 0 11354 0
vsize: 45668
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 8881 0 0 0 27986 17 0 0 25 0 1 0 776750130 48521216 8805 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11846 8805 1111 63 0 11783 0
vsize: 47384
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 9251 0 0 0 28985 18 0 0 25 0 1 0 776750130 50028544 9175 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12214 9175 1111 63 0 12151 0
vsize: 48856
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 9643 0 0 0 29985 18 0 0 25 0 1 0 776750130 51539968 9567 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12583 9567 1111 63 0 12520 0
vsize: 50332
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 10042 0 0 0 30984 19 0 0 25 0 1 0 776750130 53194752 9966 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12987 9966 1111 63 0 12924 0
vsize: 51948
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 10455 0 0 0 31984 20 0 0 25 0 1 0 776750130 54849536 10379 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13391 10379 1111 63 0 13328 0
vsize: 53564
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 10868 0 0 0 32983 21 0 0 25 0 1 0 776750130 56508416 10792 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13796 10792 1111 63 0 13733 0
vsize: 55184
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 11319 0 0 0 33982 22 0 0 25 0 1 0 776750130 58466304 11243 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14274 11243 1111 63 0 14211 0
vsize: 57096
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 11816 0 0 0 34981 23 0 0 25 0 1 0 776750130 60432384 11740 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14754 11740 1111 63 0 14691 0
vsize: 59016
[startup+360.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 12376 0 0 0 35982 24 0 0 25 0 1 0 776750130 62689280 12300 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15305 12300 1111 63 0 15242 0
vsize: 61220
[startup+370.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 12983 0 0 0 36980 26 0 0 25 0 1 0 776750130 65253376 12907 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15931 12907 1111 63 0 15868 0
vsize: 63724
[startup+380.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 13618 0 0 0 37980 26 0 0 25 0 1 0 776750130 67817472 13542 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16557 13542 1111 63 0 16494 0
vsize: 66228
[startup+390.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 14284 0 0 0 38979 28 0 0 25 0 1 0 776750130 70529024 14208 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17219 14208 1111 63 0 17156 0
vsize: 68876
[startup+400.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 14992 0 0 0 39978 29 0 0 25 0 1 0 776750130 73392128 14916 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17918 14916 1111 63 0 17855 0
vsize: 71672
[startup+410.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 15738 0 0 0 40976 30 0 0 25 0 1 0 776750130 76402688 15662 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18653 15662 1111 63 0 18590 0
vsize: 74612
[startup+420.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 16535 0 0 0 41975 32 0 0 25 0 1 0 776750130 79695872 16459 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19457 16459 1111 63 0 19394 0
vsize: 77828
[startup+430.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 17418 0 0 0 42973 34 0 0 25 0 1 0 776750130 83521536 17342 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20391 17342 1111 63 0 20328 0
vsize: 81564
[startup+440.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 18348 0 0 0 43971 36 0 0 25 0 1 0 776750130 87404544 18272 4294967295 134512640 134714508 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21339 18272 1111 63 0 21276 0
vsize: 85356
[startup+450.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 19366 0 0 0 44969 39 0 0 25 0 1 0 776750130 91475968 19290 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22333 19290 1111 63 0 22270 0
vsize: 89332
[startup+460.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 21076 0 0 0 45965 42 0 0 25 0 1 0 776750130 97873920 20852 4294967295 134512640 134714508 3221224576 3221222852 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23895 20852 1111 63 0 23832 0
vsize: 95580
[startup+470.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 22291 0 0 0 46960 46 0 0 25 0 1 0 776750130 102895616 22067 4294967295 134512640 134714508 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25121 22067 1111 63 0 25058 0
vsize: 100484
[startup+474.919 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 7063
Raw data (stat): 7063 (bsolo_lpr_cuts) R 7062 32284 32283 0 -1 0 22291 0 0 0 46960 46 0 0 25 0 1 0 776750130 102895616 22067 4294967295 134512640 134714508 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25121 22067 1111 63 0 25058 0
vsize: 0

Child status: 20
Real time (s): 474.919
CPU time (s): 474.958
CPU user time (s): 474.358
CPU system time (s): 0.599908
CPU usage (%): 100.008
Max. virtual memory (Kb): 100484
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####