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-t1717.opb
MD5SUM	bc46e72682d969c09e6f4028df473a45
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	201342
Optimality of the best value was proved	NO
Number of terms in the objective function	73885
Biggest coefficient in the objective function	4066
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	172074995
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	4066
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	172074995
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.18
Number of variables	73885
Total number of constraints	74436
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	74436
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	612
Trace number 28361

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-25 02:03:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13066 boxname=wulflinc25 idbench=1006 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  bc46e72682d969c09e6f4028df473a45  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-t1717.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-t1717.opb
IDLAUNCH: 13066
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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	: 3
cpu MHz		: 451.220
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        527760 kB
Buffers:          7364 kB
Cached:         470056 kB
SwapCached:        688 kB
Active:          36964 kB
Inactive:       442812 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        527508 kB
SwapTotal:     2097892 kB
SwapFree:      2096616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5604 kB
Slab:            21448 kB
Committed_AS:    63564 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 02:15:38 (client local time) WITH STATUS 0 IN 725.479 SECONDS
stats: 13066 7 725.479 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.93 0.97 0.99 2/54 7520
Raw data (stat): 7520 (runsolver) R 7519 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835145004 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 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+9.99955 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 7520
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 3708 0 0 0 988 9 0 0 25 0 1 0 835145004 27029504 3632 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6599 3632 1111 63 0 6536 0
vsize: 26396
[startup+20.0019 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 7520
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 6671 0 0 0 1985 13 0 0 25 0 1 0 835145004 39268352 6595 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9587 6595 1111 63 0 9524 0
vsize: 38348
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 7520
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 9651 0 0 0 2980 18 0 0 25 0 1 0 835145004 51351552 9575 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12537 9575 1111 63 0 12474 0
vsize: 50148
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 7520
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 12634 0 0 0 3975 23 0 0 25 0 1 0 835145004 63594496 12558 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15526 12558 1111 63 0 15463 0
vsize: 62104
[startup+50.0018 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 7520
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 15629 0 0 0 4968 30 0 0 25 0 1 0 835145004 75960320 15553 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18545 15553 1111 63 0 18482 0
vsize: 74180
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 7520
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 18612 0 0 0 5964 34 0 0 25 0 1 0 835145004 88055808 18536 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21498 18536 1111 63 0 21435 0
vsize: 85992
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 7520
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 21607 0 0 0 6960 39 0 0 25 0 1 0 835145004 100446208 21531 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24523 21531 1111 63 0 24460 0
vsize: 98092
[startup+80.0021 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 7520
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 24597 0 0 0 7954 44 0 0 25 0 1 0 835145004 112693248 24521 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27513 24521 1111 63 0 27450 0
vsize: 110052
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 7520
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 27593 0 0 0 8950 49 0 0 25 0 1 0 835145004 124907520 27517 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30495 27517 1111 63 0 30432 0
vsize: 121980
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 7520
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 30581 0 0 0 9944 56 0 0 25 0 1 0 835145004 137146368 30505 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33483 30505 1111 63 0 33420 0
vsize: 133932
[startup+110.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7520
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 33577 0 0 0 10938 62 0 0 25 0 1 0 835145004 149389312 33501 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36472 33501 1111 63 0 36409 0
vsize: 145888
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 36574 0 0 0 11933 67 0 0 25 0 1 0 835145004 161632256 36498 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39461 36498 1111 63 0 39398 0
vsize: 157844
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 39570 0 0 0 12929 71 0 0 25 0 1 0 835145004 174026752 39494 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42487 39494 1111 63 0 42424 0
vsize: 169948
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 42572 0 0 0 13925 75 0 0 25 0 1 0 835145004 186269696 42496 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45476 42496 1111 63 0 45413 0
vsize: 181904
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 45574 0 0 0 14919 81 0 0 25 0 1 0 835145004 198512640 45498 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48465 45498 1111 63 0 48402 0
vsize: 193860
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 48569 0 0 0 15914 87 0 0 25 0 1 0 835145004 210755584 48493 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51454 48493 1111 63 0 51391 0
vsize: 205816
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 51569 0 0 0 16909 92 0 0 25 0 1 0 835145004 223145984 51493 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54479 51493 1111 63 0 54416 0
vsize: 217916
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 54577 0 0 0 17903 98 0 0 25 0 1 0 835145004 235540480 54501 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57505 54501 1111 63 0 57442 0
vsize: 230020
[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 57560 0 0 0 18897 104 0 0 25 0 1 0 835145004 247627776 57484 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60456 57484 1111 63 0 60393 0
vsize: 241824
[startup+200.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 60580 0 0 0 19891 111 0 0 25 0 1 0 835145004 260022272 60504 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63482 60504 1111 63 0 63419 0
vsize: 253928
[startup+210.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 63608 0 0 0 20885 117 0 0 25 0 1 0 835145004 272412672 63532 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66507 63532 1111 63 0 66444 0
vsize: 266028
[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 66621 0 0 0 21880 122 0 0 25 0 1 0 835145004 284807168 66545 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69533 66546 1111 63 0 69470 0
vsize: 278132
[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 69667 0 0 0 22874 129 0 0 25 0 1 0 835145004 297197568 69591 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72558 69591 1111 63 0 72495 0
vsize: 290232
[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 72674 0 0 0 23869 134 0 0 25 0 1 0 835145004 309592064 72598 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75584 72598 1111 63 0 75521 0
vsize: 302336
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 75732 0 0 0 24864 139 0 0 25 0 1 0 835145004 322134016 75656 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78646 75656 1111 63 0 78583 0
vsize: 314584
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 78758 0 0 0 25859 143 0 0 25 0 1 0 835145004 334528512 78682 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81672 78682 1111 63 0 81609 0
vsize: 326688
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 81803 0 0 0 26854 149 0 0 25 0 1 0 835145004 346918912 81727 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84697 81727 1111 63 0 84634 0
vsize: 338788
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 84829 0 0 0 27849 155 0 0 25 0 1 0 835145004 359313408 84753 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87723 84753 1111 63 0 87660 0
vsize: 350892
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 87868 0 0 0 28844 160 0 0 25 0 1 0 835145004 371855360 87792 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90785 87792 1111 63 0 90722 0
vsize: 363140
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 90925 0 0 0 29840 164 0 0 25 0 1 0 835145004 384245760 90849 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93810 90849 1111 63 0 93747 0
vsize: 375240
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 93944 0 0 0 30836 168 0 0 25 0 1 0 835145004 396640256 93868 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96836 93868 1111 63 0 96773 0
vsize: 387344
[startup+320.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 96998 0 0 0 31832 173 0 0 25 0 1 0 835145004 409174016 96922 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99896 96922 1111 63 0 99833 0
vsize: 399584
[startup+330.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 100036 0 0 0 32827 179 0 0 25 0 1 0 835145004 421785600 99960 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102975 99960 1111 63 0 102912 0
vsize: 411900
[startup+340.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 103093 0 0 0 33822 184 0 0 25 0 1 0 835145004 434327552 103017 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106037 103017 1111 63 0 105974 0
vsize: 424148
[startup+350.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 106125 0 0 0 34817 188 0 0 25 0 1 0 835145004 446717952 106049 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109062 106049 1111 63 0 108999 0
vsize: 436248
[startup+360.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 109164 0 0 0 35813 193 0 0 25 0 1 0 835145004 459112448 109088 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112088 109088 1111 63 0 112025 0
vsize: 448352
[startup+370.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 112215 0 0 0 36808 199 0 0 25 0 1 0 835145004 471654400 112139 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115150 112139 1111 63 0 115087 0
vsize: 460600
[startup+380.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 115254 0 0 0 37803 204 0 0 25 0 1 0 835145004 484044800 115178 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118175 115178 1111 63 0 118112 0
vsize: 472700
[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 118329 0 0 0 38797 210 0 0 25 0 1 0 835145004 496586752 118253 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121237 118253 1111 63 0 121174 0
vsize: 484948
[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 121386 0 0 0 39792 214 0 0 25 0 1 0 835145004 509128704 121310 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124299 121310 1111 63 0 124236 0
vsize: 497196
[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 124455 0 0 0 40787 220 0 0 25 0 1 0 835145004 521670656 124379 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127361 124379 1111 63 0 127298 0
vsize: 509444
[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 127512 0 0 0 41784 223 0 0 25 0 1 0 835145004 534212608 127436 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130423 127436 1111 63 0 130360 0
vsize: 521692
[startup+430.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 130575 0 0 0 42778 229 0 0 25 0 1 0 835145004 546754560 130499 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133485 130499 1111 63 0 133422 0
vsize: 533940
[startup+440.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 133656 0 0 0 43771 235 0 0 25 0 1 0 835145004 559448064 133580 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 136584 133580 1111 63 0 136521 0
vsize: 546336
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 136701 0 0 0 44763 241 0 0 25 0 1 0 835145004 571838464 136625 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139609 136625 1111 63 0 139546 0
vsize: 558436
[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 139751 0 0 0 45756 247 0 0 25 0 1 0 835145004 584380416 139675 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 142671 139675 1111 63 0 142608 0
vsize: 570684
[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 142827 0 0 0 46750 251 0 0 25 0 1 0 835145004 596922368 142751 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 145733 142751 1111 63 0 145670 0
vsize: 582932
[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 145962 0 0 0 47743 258 0 0 25 0 1 0 835145004 609763328 145886 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 148868 145886 1111 63 0 148805 0
vsize: 595472
[startup+490.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 149116 0 0 0 48736 265 0 0 25 0 1 0 835145004 622751744 149040 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 152039 149040 1111 63 0 151976 0
vsize: 608156
[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 152204 0 0 0 49730 271 0 0 25 0 1 0 835145004 635293696 152128 4294967295 134512640 134714508 3221224592 3221222924 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 155101 152128 1111 63 0 155038 0
vsize: 620404
[startup+510.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 155376 0 0 0 50725 276 0 0 25 0 1 0 835145004 648282112 155300 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 158272 155300 1111 63 0 158209 0
vsize: 633088
[startup+520.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 158524 0 0 0 51719 283 0 0 25 0 1 0 835145004 661270528 158448 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 161443 158448 1111 63 0 161380 0
vsize: 645772
[startup+530.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 161665 0 0 0 52712 289 0 0 25 0 1 0 835145004 674111488 161589 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 164578 161589 1111 63 0 164515 0
vsize: 658312
[startup+540.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 164850 0 0 0 53706 296 0 0 25 0 1 0 835145004 687099904 164774 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 167749 164774 1111 63 0 167686 0
vsize: 670996
[startup+550.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 168034 0 0 0 54699 303 0 0 25 0 1 0 835145004 700239872 167958 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 170957 167958 1111 63 0 170894 0
vsize: 683828
[startup+560.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 171262 0 0 0 55695 307 0 0 25 0 1 0 835145004 713379840 171186 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 174165 171186 1111 63 0 174102 0
vsize: 696660
[startup+570.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 174451 0 0 0 56688 315 0 0 25 0 1 0 835145004 726515712 174375 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 177372 174375 1111 63 0 177309 0
vsize: 709488
[startup+580.135 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 177697 0 0 0 57691 322 0 0 25 0 1 0 835145004 739803136 177621 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 180616 177621 1111 63 0 180553 0
vsize: 722464
[startup+590.136 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 180941 0 0 0 58685 328 0 0 25 0 1 0 835145004 753090560 180865 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 183860 180865 1111 63 0 183797 0
vsize: 735440
[startup+600.136 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 184231 0 0 0 59678 335 0 0 25 0 1 0 835145004 766533632 184155 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 187142 184155 1111 63 0 187079 0
vsize: 748568
[startup+610.143 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 187439 0 0 0 60672 342 0 0 25 0 1 0 835145004 779673600 187363 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 190350 187363 1111 63 0 190287 0
vsize: 761400
[startup+620.143 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 190768 0 0 0 61666 348 0 0 25 0 1 0 835145004 793255936 190692 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 193666 190692 1111 63 0 193603 0
vsize: 774664
[startup+630.142 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 194043 0 0 0 62659 354 0 0 25 0 1 0 835145004 806694912 193967 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 196947 193967 1111 63 0 196884 0
vsize: 787788
[startup+640.143 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 197490 0 0 0 63650 363 0 0 25 0 1 0 835145004 821088256 197414 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 200461 197414 1111 63 0 200398 0
vsize: 801844
[startup+650.144 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 200846 0 0 0 64643 371 0 0 25 0 1 0 835145004 834830336 200770 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 203816 200770 1111 63 0 203753 0
vsize: 815264
[startup+660.143 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 204261 0 0 0 65636 378 0 0 25 0 1 0 835145004 848711680 204185 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 207205 204185 1111 63 0 207142 0
vsize: 828820
[startup+670.143 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 207743 0 0 0 66628 386 0 0 25 0 1 0 835145004 863043584 207603 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 210704 207603 1111 63 0 210641 0
vsize: 842816
[startup+680.161 s]
Raw data (loadavg): 1.06 0.99 1.00 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 211310 0 0 0 67621 394 0 0 25 0 1 0 835145004 877678592 211074 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214277 211074 1111 63 0 214214 0
vsize: 857108
[startup+690.191 s]
Raw data (loadavg): 1.05 0.99 1.00 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 214914 0 0 0 68615 403 0 0 25 0 1 0 835145004 892456960 214390 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 217885 214390 1111 63 0 217822 0
vsize: 871540
[startup+700.19 s]
Raw data (loadavg): 1.04 0.99 1.00 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 218493 0 0 0 69606 412 0 0 25 0 1 0 835145004 907091968 217713 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 221458 217713 1111 63 0 221395 0
vsize: 885832
[startup+710.19 s]
Raw data (loadavg): 1.04 0.99 1.00 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 222140 0 0 0 70597 421 0 0 25 0 1 0 835145004 922021888 220912 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 225103 220912 1111 63 0 225040 0
vsize: 900412
[startup+720.21 s]
Raw data (loadavg): 1.03 0.99 1.00 2/54 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 225794 0 0 0 71589 432 0 0 25 0 1 0 835145004 936955904 224214 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228749 224214 1111 63 0 228686 0
vsize: 914996
[startup+725.488 s]
Raw data (loadavg): 1.03 0.99 1.00 1/53 7522
Raw data (stat): 7520 (bsolo_lpr) R 7519 1586 1585 0 -1 0 225794 0 0 0 71589 432 0 0 25 0 1 0 835145004 936955904 224214 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228749 224214 1111 63 0 228686 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 725.486
CPU time (s): 725.479
CPU user time (s): 720.688
CPU system time (s): 4.79027
CPU usage (%): 99.9991
Max. virtual memory (Kb): 914996
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####