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-air02.opb
MD5SUM	75acdcffdd43b3d3a30d0459a6bffe45
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	6106
Optimality of the best value was proved	NO
Number of terms in the objective function	6774
Biggest coefficient in the objective function	4804
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	6613094
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	4804
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	6613094
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1190.1
Number of variables	6774
Total number of constraints	6824
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	6824
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	3729
Trace number 26701

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-24 16:51:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11623 boxname=wulflinc21 idbench=895 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  75acdcffdd43b3d3a30d0459a6bffe45  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-air02.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-air02.opb
IDLAUNCH: 11623
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        606240 kB
Buffers:         23152 kB
Cached:         383952 kB
SwapCached:       1168 kB
Active:          34412 kB
Inactive:       375424 kB
HighTotal:      131008 kB
HighFree:        19740 kB
LowTotal:       903652 kB
LowFree:        586500 kB
SwapTotal:     2097892 kB
SwapFree:      2096256 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            13032 kB
Committed_AS:    63876 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 17:04:13 (client local time) WITH STATUS 0 IN 779.809 SECONDS
stats: 11623 7 779.809 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6774 variables and 100 constraints.
#### 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.95 0.97 2/55 1489
Raw data (stat): 1489 (runsolver) R 1488 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 709081320 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.9994 s]
Raw data (loadavg): 0.93 0.96 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 41954 0 0 0 916 81 0 0 25 0 1 0 709081320 184889344 41878 4294967295 134512640 134714508 3221224592 3221222252 1077244246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45139 41878 1111 63 0 45076 0
vsize: 180556
[startup+20 s]
Raw data (loadavg): 0.94 0.96 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 42826 0 0 0 1915 83 0 0 25 0 1 0 709081320 188420096 42750 4294967295 134512640 134714508 3221224592 3221222868 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46001 42750 1111 63 0 45938 0
vsize: 184004
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.96 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 43626 0 0 0 2913 85 0 0 25 0 1 0 709081320 191827968 43550 4294967295 134512640 134714508 3221224592 3221222868 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46833 43550 1111 63 0 46770 0
vsize: 187332
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 46036 0 0 0 3908 90 0 0 25 0 1 0 709081320 191823872 45926 4294967295 134512640 134714508 3221224592 3221223008 134543712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46832 45926 1111 63 0 46769 0
vsize: 187328
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 49025 0 0 0 4902 96 0 0 25 0 1 0 709081320 204128256 48915 4294967295 134512640 134714508 3221224592 3221222976 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49836 48915 1111 63 0 49773 0
vsize: 199344
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 52020 0 0 0 5897 101 0 0 25 0 1 0 709081320 216432640 51910 4294967295 134512640 134714508 3221224592 3221223120 134542884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52840 51910 1111 63 0 52777 0
vsize: 211360
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 54942 0 0 0 6892 106 0 0 25 0 1 0 709081320 228335616 54832 4294967295 134512640 134714508 3221224592 3221223328 134625553 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55746 54832 1111 63 0 55683 0
vsize: 222984
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 57809 0 0 0 7887 111 0 0 25 0 1 0 709081320 240099328 57699 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58618 57699 1111 63 0 58555 0
vsize: 234472
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 60685 0 0 0 8883 116 0 0 25 0 1 0 709081320 251863040 60575 4294967295 134512640 134714508 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61490 60575 1111 63 0 61427 0
vsize: 245960
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 63653 0 0 0 9877 122 0 0 25 0 1 0 709081320 264032256 63543 4294967295 134512640 134714508 3221224592 3221223080 1077377229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64461 63543 1111 63 0 64398 0
vsize: 257844
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 66485 0 0 0 10872 127 0 0 25 0 1 0 709081320 275664896 66375 4294967295 134512640 134714508 3221224592 3221223080 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67301 66375 1111 63 0 67238 0
vsize: 269204
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 69368 0 0 0 11866 133 0 0 25 0 1 0 709081320 287428608 69258 4294967295 134512640 134714508 3221224592 3221223104 134543735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70173 69258 1111 63 0 70110 0
vsize: 280692
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 72272 0 0 0 12860 139 0 0 25 0 1 0 709081320 299327488 72162 4294967295 134512640 134714508 3221224592 3221223156 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73078 72162 1111 63 0 73015 0
vsize: 292312
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 75081 0 0 0 13855 144 0 0 25 0 1 0 709081320 310820864 74971 4294967295 134512640 134714508 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75884 74971 1111 63 0 75821 0
vsize: 303536
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 77952 0 0 0 14852 148 0 0 25 0 1 0 709081320 322588672 77842 4294967295 134512640 134714508 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78757 77842 1111 63 0 78694 0
vsize: 315028
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 80818 0 0 0 15846 154 0 0 25 0 1 0 709081320 334352384 80708 4294967295 134512640 134714508 3221224592 3221223096 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81629 80708 1111 63 0 81566 0
vsize: 326516
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 83625 0 0 0 16840 160 0 0 25 0 1 0 709081320 345845760 83515 4294967295 134512640 134714508 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84435 83515 1111 63 0 84372 0
vsize: 337740
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 86435 0 0 0 17834 166 0 0 25 0 1 0 709081320 357339136 86325 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87241 86325 1111 63 0 87178 0
vsize: 348964
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 89179 0 0 0 18831 169 0 0 25 0 1 0 709081320 368562176 89069 4294967295 134512640 134714508 3221224592 3221223056 134543102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89981 89069 1111 63 0 89918 0
vsize: 359924
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 91926 0 0 0 19826 175 0 0 25 0 1 0 709081320 379789312 91816 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92722 91816 1111 63 0 92659 0
vsize: 370888
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 94726 0 0 0 20820 181 0 0 25 0 1 0 709081320 391282688 94616 4294967295 134512640 134714508 3221224592 3221223072 134539427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95528 94616 1111 63 0 95465 0
vsize: 382112
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 97527 0 0 0 21815 186 0 0 25 0 1 0 709081320 402776064 97417 4294967295 134512640 134714508 3221224592 3221223056 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98334 97417 1111 63 0 98271 0
vsize: 393336
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 100314 0 0 0 22809 192 0 0 25 0 1 0 709081320 414134272 100204 4294967295 134512640 134714508 3221224592 3221223384 134617118 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101107 100204 1111 63 0 101044 0
vsize: 404428
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 103065 0 0 0 23803 198 0 0 25 0 1 0 709081320 425492480 102955 4294967295 134512640 134714508 3221224592 3221223008 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103880 102955 1111 63 0 103817 0
vsize: 415520
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 105809 0 0 0 24799 203 0 0 25 0 1 0 709081320 436719616 105699 4294967295 134512640 134714508 3221224592 3221223056 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106621 105699 1111 63 0 106558 0
vsize: 426484
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 108507 0 0 0 25793 208 0 0 25 0 1 0 709081320 447807488 108397 4294967295 134512640 134714508 3221224592 3221222956 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109328 108397 1111 63 0 109265 0
vsize: 437312
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 111231 0 0 0 26788 213 0 0 25 0 1 0 709081320 458895360 111121 4294967295 134512640 134714508 3221224592 3221223024 134543700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112035 111121 1111 63 0 111972 0
vsize: 448140
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 113846 0 0 0 27784 217 0 0 25 0 1 0 709081320 469577728 113736 4294967295 134512640 134714508 3221224592 3221222972 134539223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114643 113736 1111 63 0 114580 0
vsize: 458572
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 116506 0 0 0 28780 222 0 0 25 0 1 0 709081320 480530432 116396 4294967295 134512640 134714508 3221224592 3221223208 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117317 116396 1111 63 0 117254 0
vsize: 469268
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 119137 0 0 0 29774 228 0 0 25 0 1 0 709081320 491347968 119027 4294967295 134512640 134714508 3221224592 3221222956 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 119958 119027 1111 63 0 119895 0
vsize: 479832
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 121760 0 0 0 30769 233 0 0 25 0 1 0 709081320 502034432 121650 4294967295 134512640 134714508 3221224592 3221223060 134536694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122567 121650 1111 63 0 122504 0
vsize: 490268
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 124368 0 0 0 31764 238 0 0 25 0 1 0 709081320 512716800 124258 4294967295 134512640 134714508 3221224592 3221222976 134542362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125175 124258 1111 63 0 125112 0
vsize: 500700
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 127011 0 0 0 32760 243 0 0 25 0 1 0 709081320 523534336 126901 4294967295 134512640 134714508 3221224592 3221223072 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127816 126901 1111 63 0 127753 0
vsize: 511264
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 129572 0 0 0 33754 248 0 0 25 0 1 0 709081320 534081536 129462 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130391 129462 1111 63 0 130328 0
vsize: 521564
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 132079 0 0 0 34749 253 0 0 25 0 1 0 709081320 544358400 131969 4294967295 134512640 134714508 3221224592 3221223000 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132900 131969 1111 63 0 132837 0
vsize: 531600
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 134720 0 0 0 35744 259 0 0 25 0 1 0 709081320 555175936 134610 4294967295 134512640 134714508 3221224592 3221223096 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135541 134610 1111 63 0 135478 0
vsize: 542164
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 137143 0 0 0 36741 262 0 0 25 0 1 0 709081320 565047296 137033 4294967295 134512640 134714508 3221224592 3221222972 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 137951 137033 1111 63 0 137888 0
vsize: 551804
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 139570 0 0 0 37736 267 0 0 25 0 1 0 709081320 575053824 139460 4294967295 134512640 134714508 3221224592 3221223208 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 140394 139460 1111 63 0 140331 0
vsize: 561576
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 141988 0 0 0 38732 272 0 0 25 0 1 0 709081320 584925184 141878 4294967295 134512640 134714508 3221224592 3221222956 134539223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 142804 141878 1111 63 0 142741 0
vsize: 571216
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 144499 0 0 0 39728 276 0 0 25 0 1 0 709081320 595202048 144389 4294967295 134512640 134714508 3221224592 3221222976 134542342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 145313 144389 1111 63 0 145250 0
vsize: 581252
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 147051 0 0 0 40723 280 0 0 25 0 1 0 709081320 605618176 146941 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 147856 146941 1111 63 0 147793 0
vsize: 591424
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 149496 0 0 0 41718 286 0 0 25 0 1 0 709081320 615624704 149386 4294967295 134512640 134714508 3221224592 3221223000 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 150299 149386 1111 63 0 150236 0
vsize: 601196
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 152022 0 0 0 42713 291 0 0 25 0 1 0 709081320 626036736 151912 4294967295 134512640 134714508 3221224592 3221223084 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 152841 151912 1111 63 0 152778 0
vsize: 611364
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 154493 0 0 0 43706 298 0 0 25 0 1 0 709081320 636178432 154383 4294967295 134512640 134714508 3221224592 3221223156 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 155317 154383 1111 63 0 155254 0
vsize: 621268
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 156903 0 0 0 44702 303 0 0 25 0 1 0 709081320 645914624 156793 4294967295 134512640 134714508 3221224592 3221223008 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 157694 156793 1111 63 0 157631 0
vsize: 630776
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 159332 0 0 0 45696 308 0 0 25 0 1 0 709081320 655921152 159222 4294967295 134512640 134714508 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 160137 159222 1111 63 0 160074 0
vsize: 640548
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 161738 0 0 0 46691 313 0 0 25 0 1 0 709081320 665792512 161628 4294967295 134512640 134714508 3221224592 3221222992 134542817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 162547 161628 1111 63 0 162484 0
vsize: 650188
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 164093 0 0 0 47687 318 0 0 25 0 1 0 709081320 675393536 163983 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 164891 163983 1111 63 0 164828 0
vsize: 659564
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 166295 0 0 0 48682 323 0 0 25 0 1 0 709081320 684453888 166185 4294967295 134512640 134714508 3221224592 3221223036 134542824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 167103 166185 1111 63 0 167040 0
vsize: 668412
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 168587 0 0 0 49677 328 0 0 25 0 1 0 709081320 693784576 168477 4294967295 134512640 134714508 3221224592 3221223232 134584901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169381 168477 1111 63 0 169318 0
vsize: 677524
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 170846 0 0 0 50673 333 0 0 25 0 1 0 709081320 703115264 170736 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 171659 170736 1111 63 0 171596 0
vsize: 686636
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 173083 0 0 0 51669 337 0 0 25 0 1 0 709081320 712310784 172973 4294967295 134512640 134714508 3221224592 3221223384 134617118 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 173904 172973 1111 63 0 173841 0
vsize: 695616
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1489
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 175334 0 0 0 52663 343 0 0 25 0 1 0 709081320 721506304 175224 4294967295 134512640 134714508 3221224592 3221223088 134543742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 176149 175224 1111 63 0 176086 0
vsize: 704596
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1544
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 177677 0 0 0 53657 348 0 0 25 0 1 0 709081320 731107328 177567 4294967295 134512640 134714508 3221224592 3221223232 134584901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 178493 177567 1111 63 0 178430 0
vsize: 713972
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1544
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 179963 0 0 0 54653 351 0 0 25 0 1 0 709081320 740438016 179853 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 180771 179853 1111 63 0 180708 0
vsize: 723084
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1544
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 182281 0 0 0 55648 356 0 0 25 0 1 0 709081320 749903872 182171 4294967295 134512640 134714508 3221224592 3221223208 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 183082 182171 1111 63 0 183019 0
vsize: 732328
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1544
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 184541 0 0 0 56644 359 0 0 25 0 1 0 709081320 759234560 184431 4294967295 134512640 134714508 3221224592 3221222996 134542688 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 185360 184431 1111 63 0 185297 0
vsize: 741440
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1544
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 186861 0 0 0 57640 363 0 0 25 0 1 0 709081320 768700416 186751 4294967295 134512640 134714508 3221224592 3221223208 134543825 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 187671 186751 1111 63 0 187608 0
vsize: 750684
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1546
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 189143 0 0 0 58635 367 0 0 25 0 1 0 709081320 778031104 189033 4294967295 134512640 134714508 3221224592 3221223232 134594944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 189949 189033 1111 63 0 189886 0
vsize: 759796
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1548
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 191397 0 0 0 59630 371 0 0 25 0 1 0 709081320 787226624 191287 4294967295 134512640 134714508 3221224592 3221223168 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 192194 191287 1111 63 0 192131 0
vsize: 768776
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1548
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 193630 0 0 0 60625 375 0 0 25 0 1 0 709081320 796422144 193520 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 194439 193520 1111 63 0 194376 0
vsize: 777756
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1548
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 195856 0 0 0 61620 379 0 0 25 0 1 0 709081320 805482496 195746 4294967295 134512640 134714508 3221224592 3221223084 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 196651 195746 1111 63 0 196588 0
vsize: 786604
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1548
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 198060 0 0 0 62614 383 0 0 25 0 1 0 709081320 814542848 197918 4294967295 134512640 134714508 3221224592 3221223072 134539356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198863 197918 1111 63 0 198800 0
vsize: 795452
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1548
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 200181 0 0 0 63610 386 0 0 25 0 1 0 709081320 823197696 199914 4294967295 134512640 134714508 3221224592 3221223072 134536730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 200976 199914 1111 63 0 200913 0
vsize: 803904
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1548
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 202388 0 1 0 64604 390 0 0 25 0 1 0 709081320 832258048 201929 4294967295 134512640 134714508 3221224592 3221222976 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 203188 201929 1111 63 0 203125 0
vsize: 812752
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1548
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 204528 0 6 0 65593 395 0 0 25 0 1 0 709081320 841043968 203952 4294967295 134512640 134714508 3221224592 3221223304 134586784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 205333 203952 1111 63 0 205270 0
vsize: 821332
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1548
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 206600 0 14 0 66579 399 0 0 25 0 1 0 709081320 849563648 205843 4294967295 134512640 134714508 3221224592 3221222956 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207413 205843 1111 63 0 207350 0
vsize: 829652
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1548
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 208745 0 16 0 67573 404 0 0 25 0 1 0 709081320 858353664 207773 4294967295 134512640 134714508 3221224592 3221223000 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 209559 207773 1111 63 0 209496 0
vsize: 838236
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1548
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 210819 0 24 0 68557 410 0 0 25 0 1 0 709081320 866738176 209671 4294967295 134512640 134714508 3221224592 3221223072 134539362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 211606 209671 1111 63 0 211543 0
vsize: 846424
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1548
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 212914 0 32 0 69543 417 0 0 25 0 1 0 709081320 875393024 211553 4294967295 134512640 134714508 3221224592 3221222992 134542808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 213719 211553 1111 63 0 213656 0
vsize: 854876
[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1548
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 215094 0 37 0 70533 422 0 0 25 0 1 0 709081320 884183040 213492 4294967295 134512640 134714508 3221224592 3221223216 134528943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 215865 213492 1111 63 0 215802 0
vsize: 863460
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1548
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 217150 0 39 0 71527 425 0 0 25 0 1 0 709081320 892702720 215403 4294967295 134512640 134714508 3221224592 3221223008 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 217945 215403 1111 63 0 217882 0
vsize: 871780
[startup+730.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1548
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 219223 0 44 0 72517 430 0 0 25 0 1 0 709081320 901087232 217313 4294967295 134512640 134714508 3221224592 3221222956 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 219992 217313 1111 63 0 219929 0
vsize: 879968
[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1548
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 221350 0 80 0 73476 436 0 0 25 0 1 0 709081320 909742080 219281 4294967295 134512640 134714508 3221224592 3221223208 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 222105 219281 1111 63 0 222042 0
vsize: 888420
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1548
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 223465 0 95 0 74453 441 0 0 25 0 1 0 709081320 918261760 221180 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 224185 221180 1111 63 0 224122 0
vsize: 896740
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1548
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 225513 0 102 0 75440 447 0 0 25 0 1 0 709081320 926646272 223000 4294967295 134512640 134714508 3221224592 3221223060 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 226232 223000 1111 63 0 226169 0
vsize: 904928
[startup+770.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1548
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 227553 0 122 0 76412 453 0 0 25 0 1 0 709081320 934756352 224835 4294967295 134512640 134714508 3221224592 3221223208 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228212 224835 1111 63 0 228149 0
vsize: 912848
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1548
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 229552 0 128 0 77397 457 0 0 25 0 1 0 709081320 943005696 226512 4294967295 134512640 134714508 3221224592 3221223056 134542356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 230226 226512 1111 63 0 230163 0
vsize: 920904
[startup+781.308 s]
Raw data (loadavg): 0.99 0.97 0.97 1/54 1548
Raw data (stat): 1489 (bsolo_lpr) R 1488 32363 32362 0 -1 0 229552 0 128 0 77397 457 0 0 25 0 1 0 709081320 943005696 226512 4294967295 134512640 134714508 3221224592 3221223056 134542356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 230226 226512 1111 63 0 230163 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 781.308
CPU time (s): 779.809
CPU user time (s): 774.801
CPU system time (s): 5.00824
CPU usage (%): 99.8082
Max. virtual memory (Kb): 920904
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####