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 26425

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-24 15:38:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13469 boxname=wulflinc12 idbench=1037 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  5d4b655a5461d6a0782bca8bd105f9c2  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-khb05250.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-khb05250.opb
IDLAUNCH: 13469
/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:        900316 kB
Buffers:         35812 kB
Cached:          77384 kB
SwapCached:        568 kB
Active:          63704 kB
Inactive:        51916 kB
HighTotal:      131008 kB
HighFree:        49840 kB
LowTotal:       903652 kB
LowFree:        850476 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            13212 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 15:46:36 (client local time) WITH STATUS 20 IN 469.827 SECONDS
stats: 13469 7 469.827 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: 469.77 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.84 0.94 0.97 2/54 869
Raw data (stat): 869 (runsolver) R 868 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773153436 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.87 0.94 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 1131 0 0 0 994 3 0 0 25 0 1 0 773153436 16568320 1055 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.0004 s]
Raw data (loadavg): 0.89 0.94 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 1366 0 0 0 1993 4 0 0 25 0 1 0 773153436 17625088 1290 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4303 1290 1111 63 0 4240 0
vsize: 17212
[startup+30.0012 s]
Raw data (loadavg): 0.90 0.94 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 1599 0 0 0 2992 5 0 0 25 0 1 0 773153436 18485248 1523 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4513 1523 1111 63 0 4450 0
vsize: 18052
[startup+40.0006 s]
Raw data (loadavg): 0.92 0.94 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 1842 0 0 0 3992 5 0 0 25 0 1 0 773153436 19513344 1766 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4764 1766 1111 63 0 4701 0
vsize: 19056
[startup+50.0008 s]
Raw data (loadavg): 0.93 0.94 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 2085 0 0 0 4992 6 0 0 25 0 1 0 773153436 20566016 2009 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5021 2009 1111 63 0 4958 0
vsize: 20084
[startup+60.0017 s]
Raw data (loadavg): 0.94 0.95 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 2328 0 0 0 5991 6 0 0 25 0 1 0 773153436 21475328 2252 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5243 2252 1111 63 0 5180 0
vsize: 20972
[startup+70.0021 s]
Raw data (loadavg): 0.95 0.95 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 2572 0 0 0 6991 7 0 0 25 0 1 0 773153436 22503424 2496 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5494 2496 1111 63 0 5431 0
vsize: 21976
[startup+80.0035 s]
Raw data (loadavg): 0.96 0.95 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 2823 0 0 0 7991 7 0 0 25 0 1 0 773153436 23560192 2747 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5752 2747 1111 63 0 5689 0
vsize: 23008
[startup+90.0037 s]
Raw data (loadavg): 0.96 0.95 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 3082 0 0 0 8991 8 0 0 25 0 1 0 773153436 24604672 3006 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6007 3006 1111 63 0 5944 0
vsize: 24028
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 3335 0 0 0 9990 8 0 0 25 0 1 0 773153436 25640960 3259 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6260 3259 1111 63 0 6197 0
vsize: 25040
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 3602 0 0 0 10990 9 0 0 25 0 1 0 773153436 26701824 3526 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6519 3526 1111 63 0 6456 0
vsize: 26076
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 3867 0 0 0 11989 10 0 0 25 0 1 0 773153436 27758592 3791 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6777 3791 1111 63 0 6714 0
vsize: 27108
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 4136 0 0 0 12990 10 0 0 25 0 1 0 773153436 28966912 4060 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7072 4060 1111 63 0 7009 0
vsize: 28288
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 4424 0 0 0 13989 10 0 0 25 0 1 0 773153436 30023680 4348 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7330 4348 1111 63 0 7267 0
vsize: 29320
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 4718 0 0 0 14989 10 0 0 25 0 1 0 773153436 31232000 4642 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7625 4642 1111 63 0 7562 0
vsize: 30500
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 5030 0 0 0 15989 11 0 0 25 0 1 0 773153436 32591872 4954 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7957 4954 1111 63 0 7894 0
vsize: 31828
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 5348 0 0 0 16988 12 0 0 25 0 1 0 773153436 33951744 5272 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8289 5272 1111 63 0 8226 0
vsize: 33156
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 5665 0 0 0 17988 12 0 0 25 0 1 0 773153436 35155968 5589 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8583 5589 1111 63 0 8520 0
vsize: 34332
[startup+190.006 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 5991 0 0 0 18987 13 0 0 25 0 1 0 773153436 36511744 5915 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8914 5915 1111 63 0 8851 0
vsize: 35656
[startup+200.014 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 6316 0 0 0 19988 14 0 0 25 0 1 0 773153436 37867520 6240 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9245 6240 1111 63 0 9182 0
vsize: 36980
[startup+210.018 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 6649 0 0 0 20987 15 0 0 25 0 1 0 773153436 39223296 6573 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9576 6573 1111 63 0 9513 0
vsize: 38304
[startup+220.017 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 6995 0 0 0 21985 16 0 0 25 0 1 0 773153436 40583168 6919 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9908 6919 1111 63 0 9845 0
vsize: 39632
[startup+230.018 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 7338 0 0 0 22984 17 0 0 25 0 1 0 773153436 42090496 7262 4294967295 134512640 134714508 3221224592 3221222680 1077360362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10276 7262 1111 63 0 10213 0
vsize: 41104
[startup+240.019 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 7690 0 0 0 23983 18 0 0 25 0 1 0 773153436 43446272 7614 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10607 7614 1111 63 0 10544 0
vsize: 42428
[startup+250.019 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 8053 0 0 0 24983 19 0 0 25 0 1 0 773153436 44957696 7977 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10976 7977 1111 63 0 10913 0
vsize: 43904
[startup+260.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 8420 0 0 0 25983 19 0 0 25 0 1 0 773153436 46460928 8344 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11343 8344 1111 63 0 11280 0
vsize: 45372
[startup+270.049 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 8797 0 0 0 26985 20 0 0 25 0 1 0 773153436 47968256 8721 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11711 8721 1111 63 0 11648 0
vsize: 46844
[startup+280.066 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 9207 0 0 0 27986 21 0 0 25 0 1 0 773153436 49729536 9131 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12141 9131 1111 63 0 12078 0
vsize: 48564
[startup+290.066 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 9606 0 0 0 28985 21 0 0 25 0 1 0 773153436 51388416 9530 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12546 9530 1111 63 0 12483 0
vsize: 50184
[startup+300.077 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 10014 0 0 0 29986 22 0 0 25 0 1 0 773153436 53043200 9938 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12950 9938 1111 63 0 12887 0
vsize: 51800
[startup+310.089 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 10440 0 0 0 30986 23 0 0 25 0 1 0 773153436 54849536 10364 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13391 10364 1111 63 0 13328 0
vsize: 53564
[startup+320.089 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 10875 0 0 0 31985 24 0 0 25 0 1 0 773153436 56659968 10799 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13833 10799 1111 63 0 13770 0
vsize: 55332
[startup+330.089 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 11326 0 0 0 32985 25 0 0 25 0 1 0 773153436 58466304 11250 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14274 11250 1111 63 0 14211 0
vsize: 57096
[startup+340.089 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 11793 0 0 0 33984 26 0 0 25 0 1 0 773153436 60276736 11717 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14716 11717 1111 63 0 14653 0
vsize: 58864
[startup+350.089 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 12265 0 0 0 34983 27 0 0 25 0 1 0 773153436 62238720 12189 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15195 12189 1111 63 0 15132 0
vsize: 60780
[startup+360.089 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 12776 0 0 0 35982 28 0 0 25 0 1 0 773153436 64348160 12700 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15710 12700 1111 63 0 15647 0
vsize: 62840
[startup+370.088 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 13352 0 0 0 36981 30 0 0 25 0 1 0 773153436 66760704 13276 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16299 13276 1111 63 0 16236 0
vsize: 65196
[startup+380.089 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 13994 0 0 0 37979 31 0 0 25 0 1 0 773153436 69320704 13918 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16924 13918 1111 63 0 16861 0
vsize: 67696
[startup+390.088 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 14666 0 0 0 38978 32 0 0 25 0 1 0 773153436 72032256 14590 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17586 14590 1111 63 0 17523 0
vsize: 70344
[startup+400.088 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 15377 0 0 0 39977 34 0 0 25 0 1 0 773153436 74899456 15301 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18286 15301 1111 63 0 18223 0
vsize: 73144
[startup+410.089 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 16144 0 0 0 40975 36 0 0 25 0 1 0 773153436 78032896 16068 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19051 16068 1111 63 0 18988 0
vsize: 76204
[startup+420.089 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 16989 0 0 0 41974 38 0 0 25 0 1 0 773153436 81862656 16913 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19986 16913 1111 63 0 19923 0
vsize: 79944
[startup+430.088 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 17875 0 0 0 42972 39 0 0 25 0 1 0 773153436 85450752 17799 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20862 17799 1111 63 0 20799 0
vsize: 83448
[startup+440.089 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 18843 0 0 0 43970 41 0 0 25 0 1 0 773153436 89366528 18767 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21818 18767 1111 63 0 21755 0
vsize: 87272
[startup+450.089 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 20459 0 0 0 44967 44 0 0 25 0 1 0 773153436 95305728 20235 4294967295 134512640 134714508 3221224592 3221222868 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23268 20235 1111 63 0 23205 0
vsize: 93072
[startup+460.089 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 21873 0 0 0 45963 48 0 0 25 0 1 0 773153436 101134336 21649 4294967295 134512640 134714508 3221224592 3221222868 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24691 21649 1111 63 0 24628 0
vsize: 98764
[startup+469.805 s]
Raw data (loadavg): 0.99 0.97 0.97 1/53 869
Raw data (stat): 869 (bsolo_lpr) R 868 32284 32283 0 -1 0 21873 0 0 0 45963 48 0 0 25 0 1 0 773153436 101134336 21649 4294967295 134512640 134714508 3221224592 3221222868 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24691 21649 1111 63 0 24628 0
vsize: 0

Child status: 20
Real time (s): 469.805
CPU time (s): 469.827
CPU user time (s): 469.207
CPU system time (s): 0.619905
CPU usage (%): 100.005
Max. virtual memory (Kb): 98764
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####