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/miplib/normalized-mps-v2-20-10-khb05250.opb
MD5SUM	18d2c1f575fe90b4288795c634aa1a5b
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	1208.43
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 39890

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 22:05:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27959 boxname=wulflinc6 idbench=915 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  18d2c1f575fe90b4288795c634aa1a5b  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-khb05250.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-khb05250.opb
IDLAUNCH: 27959
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        893816 kB
Buffers:         12772 kB
Cached:         106108 kB
SwapCached:       1004 kB
Active:          29460 kB
Inactive:        91528 kB
HighTotal:      131008 kB
HighFree:        31612 kB
LowTotal:       903652 kB
LowFree:        862204 kB
SwapTotal:     2097136 kB
SwapFree:      2095172 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5004 kB
Slab:            14164 kB
Committed_AS:    63724 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 22:13:30 (client local time) WITH STATUS 20 IN 467.489 SECONDS
stats: 27959 7 467.489 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: 467.435 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.78 0.91 0.89 1/54 20992
Raw data (stat): 20992 (runsolver) R 20991 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896457448 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.001 s]
Raw data (loadavg): 0.81 0.91 0.90 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 1133 0 0 0 994 4 0 0 25 0 1 0 896457448 16568320 1053 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.001 s]
Raw data (loadavg): 0.84 0.92 0.90 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 1362 0 0 0 1994 4 0 0 25 0 1 0 896457448 17477632 1282 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 1282 1111 63 0 4204 0
vsize: 17068
[startup+30.0012 s]
Raw data (loadavg): 0.86 0.92 0.90 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 1601 0 0 0 2993 5 0 0 25 0 1 0 896457448 18485248 1521 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4513 1521 1111 63 0 4450 0
vsize: 18052
[startup+40.0014 s]
Raw data (loadavg): 0.88 0.92 0.90 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 1844 0 0 0 3994 5 0 0 25 0 1 0 896457448 19513344 1764 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4764 1764 1111 63 0 4701 0
vsize: 19056
[startup+50.0015 s]
Raw data (loadavg): 0.90 0.92 0.90 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 2094 0 0 0 4994 5 0 0 25 0 1 0 896457448 20566016 2014 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5021 2014 1111 63 0 4958 0
vsize: 20084
[startup+60.0017 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 2346 0 0 0 5993 6 0 0 25 0 1 0 896457448 21626880 2266 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5280 2266 1111 63 0 5217 0
vsize: 21120
[startup+70.0018 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 2603 0 0 0 6993 6 0 0 25 0 1 0 896457448 22654976 2523 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5531 2523 1111 63 0 5468 0
vsize: 22124
[startup+80.0019 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 2864 0 0 0 7993 7 0 0 25 0 1 0 896457448 23715840 2784 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5790 2784 1111 63 0 5727 0
vsize: 23160
[startup+90.0021 s]
Raw data (loadavg): 0.95 0.93 0.90 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 3137 0 0 0 8993 7 0 0 25 0 1 0 896457448 24883200 3057 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6075 3057 1111 63 0 6012 0
vsize: 24300
[startup+100.002 s]
Raw data (loadavg): 0.95 0.93 0.90 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 3412 0 0 0 9993 8 0 0 25 0 1 0 896457448 25939968 3332 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6333 3332 1111 63 0 6270 0
vsize: 25332
[startup+110.003 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 3706 0 0 0 10992 8 0 0 25 0 1 0 896457448 27152384 3626 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6629 3626 1111 63 0 6566 0
vsize: 26516
[startup+120.004 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 3991 0 0 0 11992 9 0 0 25 0 1 0 896457448 28364800 3911 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6925 3911 1111 63 0 6862 0
vsize: 27700
[startup+130.004 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 4286 0 0 0 12992 10 0 0 25 0 1 0 896457448 29573120 4206 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7220 4206 1111 63 0 7157 0
vsize: 28880
[startup+140.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 4587 0 0 0 13992 10 0 0 25 0 1 0 896457448 30777344 4507 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7514 4507 1111 63 0 7451 0
vsize: 30056
[startup+150.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 4901 0 0 0 14992 11 0 0 25 0 1 0 896457448 32141312 4821 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7847 4821 1111 63 0 7784 0
vsize: 31388
[startup+160.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 5216 0 0 0 15992 11 0 0 25 0 1 0 896457448 33345536 5136 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8141 5136 1111 63 0 8078 0
vsize: 32564
[startup+170.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 5534 0 0 0 16991 12 0 0 25 0 1 0 896457448 34701312 5454 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8472 5454 1111 63 0 8409 0
vsize: 33888
[startup+180.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 5853 0 0 0 17991 12 0 0 25 0 1 0 896457448 35913728 5773 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8768 5773 1111 63 0 8705 0
vsize: 35072
[startup+190.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 6177 0 0 0 18991 13 0 0 25 0 1 0 896457448 37261312 6097 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9097 6097 1111 63 0 9034 0
vsize: 36388
[startup+200.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 6510 0 0 0 19990 14 0 0 25 0 1 0 896457448 38625280 6430 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9430 6430 1111 63 0 9367 0
vsize: 37720
[startup+210.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 6850 0 0 0 20990 15 0 0 25 0 1 0 896457448 39976960 6770 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9760 6770 1111 63 0 9697 0
vsize: 39040
[startup+220.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 7189 0 0 0 21990 15 0 0 25 0 1 0 896457448 41484288 7109 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10128 7109 1111 63 0 10065 0
vsize: 40512
[startup+230.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 7545 0 0 0 22989 16 0 0 25 0 1 0 896457448 42840064 7465 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10459 7465 1111 63 0 10396 0
vsize: 41836
[startup+240.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 7900 0 0 0 23989 17 0 0 25 0 1 0 896457448 44351488 7820 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10828 7820 1111 63 0 10765 0
vsize: 43312
[startup+250.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 8269 0 0 0 24988 18 0 0 25 0 1 0 896457448 45858816 8189 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11196 8189 1111 63 0 11133 0
vsize: 44784
[startup+260.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 8636 0 0 0 25988 19 0 0 25 0 1 0 896457448 47362048 8556 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11563 8556 1111 63 0 11500 0
vsize: 46252
[startup+270.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 9039 0 0 0 26988 19 0 0 25 0 1 0 896457448 49123328 8959 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11993 8959 1111 63 0 11930 0
vsize: 47972
[startup+280.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 9431 0 0 0 27987 20 0 0 25 0 1 0 896457448 50634752 9351 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12362 9351 1111 63 0 12299 0
vsize: 49448
[startup+290.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 9837 0 0 0 28989 20 0 0 25 0 1 0 896457448 52289536 9757 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12766 9757 1111 63 0 12703 0
vsize: 51064
[startup+300.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 10250 0 0 0 29989 21 0 0 25 0 1 0 896457448 54099968 10170 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13208 10170 1111 63 0 13145 0
vsize: 52832
[startup+310.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 10663 0 0 0 30989 21 0 0 25 0 1 0 896457448 55754752 10583 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13612 10583 1111 63 0 13549 0
vsize: 54448
[startup+320.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 11099 0 0 0 31989 22 0 0 25 0 1 0 896457448 57565184 11019 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14054 11019 1111 63 0 13991 0
vsize: 56216
[startup+330.032 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 11551 0 0 0 32988 23 0 0 25 0 1 0 896457448 59371520 11471 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14495 11471 1111 63 0 14432 0
vsize: 57980
[startup+340.032 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 12024 0 0 0 33988 24 0 0 25 0 1 0 896457448 61333504 11944 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14974 11944 1111 63 0 14911 0
vsize: 59896
[startup+350.033 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 12540 0 0 0 34986 25 0 0 25 0 1 0 896457448 63442944 12460 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15489 12460 1111 63 0 15426 0
vsize: 61956
[startup+360.033 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 13086 0 0 0 35986 26 0 0 25 0 1 0 896457448 65552384 13006 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16004 13006 1111 63 0 15941 0
vsize: 64016
[startup+370.033 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 13656 0 0 0 36985 27 0 0 25 0 1 0 896457448 67964928 13576 4294967295 134512640 134716908 3221224576 3221222912 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16593 13576 1111 63 0 16530 0
vsize: 66372
[startup+380.034 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 14256 0 0 0 37985 28 0 0 25 0 1 0 896457448 70377472 14176 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17182 14176 1111 63 0 17119 0
vsize: 68728
[startup+390.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 14882 0 0 0 38984 29 0 0 25 0 1 0 896457448 72937472 14802 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17807 14802 1111 63 0 17744 0
vsize: 71228
[startup+400.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 15578 0 0 0 39983 30 0 0 25 0 1 0 896457448 75800576 15498 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18506 15498 1111 63 0 18443 0
vsize: 74024
[startup+410.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 16352 0 0 0 40981 32 0 0 25 0 1 0 896457448 78938112 16272 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19272 16272 1111 63 0 19209 0
vsize: 77088
[startup+420.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 17212 0 0 0 41980 35 0 0 25 0 1 0 896457448 82763776 17132 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20206 17132 1111 63 0 20143 0
vsize: 80824
[startup+430.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 18113 0 0 0 42979 36 0 0 25 0 1 0 896457448 86355968 18033 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21083 18033 1111 63 0 21020 0
vsize: 84332
[startup+440.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 19102 0 0 0 43978 37 0 0 25 0 1 0 896457448 90419200 19022 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22075 19022 1111 63 0 22012 0
vsize: 88300
[startup+450.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 20777 0 0 0 44973 42 0 0 25 0 1 0 896457448 96657408 20549 4294967295 134512640 134716908 3221224576 3221222864 1077360129 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23598 20549 1111 63 0 23535 0
vsize: 94392
[startup+460.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 22061 0 0 0 45970 46 0 0 25 0 1 0 896457448 101945344 21833 4294967295 134512640 134716908 3221224576 3221222852 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24889 21833 1111 63 0 24826 0
vsize: 99556
[startup+467.37 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 20992
Raw data (stat): 20992 (bsolo_lpr-v2) R 20991 25568 25567 0 -1 0 22061 0 0 0 45970 46 0 0 25 0 1 0 896457448 101945344 21833 4294967295 134512640 134716908 3221224576 3221222852 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24889 21833 1111 63 0 24826 0
vsize: 0

Child status: 20
Real time (s): 467.37
CPU time (s): 467.489
CPU user time (s): 466.893
CPU system time (s): 0.595909
CPU usage (%): 100.026
Max. virtual memory (Kb): 99556
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####