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-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_3.opb
MD5SUM	cb5fbc431eb68f8a2a8d0f81405ac2af
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	131072000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	576307709
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	296.838
Number of variables	270305
Total number of constraints	3778
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	72
Number of constraints which are nor clauses,nor cardinality constraints	3706
Minimum length of a constraint	1
Maximum length of a constraint	10600

Trace number 40472

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 12:08:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28540 boxname=wulflinc1 idbench=1496 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  cb5fbc431eb68f8a2a8d0f81405ac2af  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-dano3_3.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-dano3_3.opb
IDLAUNCH: 28540
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        817184 kB
Buffers:         26332 kB
Cached:         165624 kB
SwapCached:       1164 kB
Active:          49784 kB
Inactive:       144488 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        816932 kB
SwapTotal:     2097136 kB
SwapFree:      2094844 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            17372 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 12:16:27 (client local time) WITH STATUS 0 IN 504.428 SECONDS
stats: 28540 7 504.428 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.95 0.90 2/55 22653
Raw data (stat): 22653 (runsolver) R 22652 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 844656116 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.0009 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 32962 0 0 0 920 76 0 0 25 0 1 0 844656116 148242432 32806 4294967295 134512640 134716908 3221224576 3221223120 134553584 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36192 32806 1111 63 0 36129 0
vsize: 144768
[startup+20.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 54205 0 0 0 1873 122 0 0 25 0 1 0 844656116 234840064 53847 4294967295 134512640 134716908 3221224576 3221223224 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57334 53847 1111 63 0 57271 0
vsize: 229336
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 71340 0 0 0 2840 155 0 0 25 0 1 0 844656116 303521792 70678 4294967295 134512640 134716908 3221224576 3221221108 1077365025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74102 70678 1111 63 0 74039 0
vsize: 296408
[startup+40.002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 87026 0 0 0 3812 183 0 0 25 0 1 0 844656116 367489024 86364 4294967295 134512640 134716908 3221224576 3221223072 134539126 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89719 86364 1111 63 0 89656 0
vsize: 358876
[startup+50.0029 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 102044 0 0 0 4783 212 0 0 25 0 1 0 844656116 428679168 101004 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104658 101004 1111 63 0 104595 0
vsize: 418632
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 115224 0 0 0 5759 236 0 0 25 0 1 0 844656116 482549760 114184 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117810 114184 1111 63 0 117747 0
vsize: 471240
[startup+70.0024 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 128082 0 0 0 6734 260 0 0 25 0 1 0 844656116 532455424 126434 4294967295 134512640 134716908 3221224576 3221222236 1077244344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129994 126434 1111 63 0 129931 0
vsize: 519976
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 140992 0 0 0 7710 285 0 0 25 0 1 0 844656116 585109504 139344 4294967295 134512640 134716908 3221224576 3221222860 1077399575 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 142849 139344 1111 63 0 142786 0
vsize: 571396
[startup+90.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 151836 0 0 0 8690 305 0 0 25 0 1 0 844656116 629440512 150188 4294967295 134512640 134716908 3221224576 3221223072 134538959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 153672 150188 1111 63 0 153609 0
vsize: 614688
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 163778 0 0 0 9667 327 0 0 25 0 1 0 844656116 678166528 162130 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165568 162130 1111 63 0 165505 0
vsize: 662272
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 174546 0 0 0 10646 349 0 0 25 0 1 0 844656116 722112512 172898 4294967295 134512640 134716908 3221224576 3221222880 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 176297 172900 1111 63 0 176234 0
vsize: 705188
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 185343 0 0 0 11630 364 0 0 25 0 1 0 844656116 766050304 183695 4294967295 134512640 134716908 3221224576 3221222880 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 187024 183696 1111 63 0 186961 0
vsize: 748096
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 196229 0 0 0 12610 385 0 0 25 0 1 0 844656116 810442752 194581 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 197862 194581 1111 63 0 197799 0
vsize: 791448
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 209732 0 0 0 13579 415 0 0 25 0 1 0 844656116 865591296 207267 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 211326 207267 1111 63 0 211263 0
vsize: 845304
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 211241 0 0 0 14576 418 0 0 25 0 1 0 844656116 871809024 208552 4294967295 134512640 134716908 3221224576 3221222880 134566768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 212844 208552 1111 63 0 212781 0
vsize: 851376
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 212763 0 0 0 15570 423 0 0 25 0 1 0 844656116 878026752 209882 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214362 209882 1111 63 0 214299 0
vsize: 857448
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 214285 0 0 0 16566 428 0 0 25 0 1 0 844656116 884244480 211180 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 215880 211180 1111 63 0 215817 0
vsize: 863520
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 215949 0 0 0 17560 434 0 0 25 0 1 0 844656116 891138048 212493 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 217563 212493 1111 63 0 217500 0
vsize: 870252
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 217918 0 0 0 18554 440 0 0 25 0 1 0 844656116 899112960 214159 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 219510 214159 1111 63 0 219447 0
vsize: 878040
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 220140 0 0 0 19547 447 0 0 25 0 1 0 844656116 908034048 215717 4294967295 134512640 134716908 3221224576 3221222852 1077414397 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 221688 215717 1111 63 0 221625 0
vsize: 886752
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 220835 0 0 0 20546 449 0 0 25 0 1 0 844656116 911040512 216164 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 222422 216164 1111 63 0 222359 0
vsize: 889688
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 221091 0 0 0 21545 450 0 0 25 0 1 0 844656116 912203776 216411 4294967295 134512640 134716908 3221224576 3221223240 134568955 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 222706 216411 1111 63 0 222643 0
vsize: 890824
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 221291 0 0 0 22544 451 0 0 25 0 1 0 844656116 913059840 216604 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 222915 216604 1111 63 0 222852 0
vsize: 891660
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 221502 0 0 0 23544 451 0 0 25 0 1 0 844656116 914120704 216662 4294967295 134512640 134716908 3221224576 3221222852 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 223174 216662 1111 63 0 223111 0
vsize: 892696
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 221832 0 0 0 24543 452 0 0 25 0 1 0 844656116 915591168 216977 4294967295 134512640 134716908 3221224576 3221222852 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 223533 216977 1111 63 0 223470 0
vsize: 894132
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 222157 0 0 0 25542 453 0 0 25 0 1 0 844656116 917065728 217286 4294967295 134512640 134716908 3221224576 3221222852 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 223893 217286 1111 63 0 223830 0
vsize: 895572
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 222484 0 0 0 26541 454 0 0 25 0 1 0 844656116 918536192 217311 4294967295 134512640 134716908 3221224576 3221222852 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224252 217311 1111 63 0 224189 0
vsize: 897008
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 222704 0 0 0 27541 455 0 0 25 0 1 0 844656116 919425024 217523 4294967295 134512640 134716908 3221224576 3221223236 134568993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224469 217523 1111 63 0 224406 0
vsize: 897876
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 222911 0 0 0 28540 456 0 0 25 0 1 0 844656116 920420352 217722 4294967295 134512640 134716908 3221224576 3221222832 1077314177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224712 217722 1111 63 0 224649 0
vsize: 898848
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 223137 0 0 0 29539 457 0 0 25 0 1 0 844656116 921481216 217936 4294967295 134512640 134716908 3221224576 3221222852 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224971 217936 1111 63 0 224908 0
vsize: 899884
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 223470 0 0 0 30538 458 0 0 25 0 1 0 844656116 922951680 218142 4294967295 134512640 134716908 3221224576 3221222852 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 225330 218142 1111 63 0 225267 0
vsize: 901320
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 223791 0 0 0 31537 460 0 0 25 0 1 0 844656116 924426240 218448 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 225690 218448 1111 63 0 225627 0
vsize: 902760
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 223965 0 0 0 32536 460 0 0 25 0 1 0 844656116 925175808 218364 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 225873 218364 1111 63 0 225810 0
vsize: 903492
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 224127 0 0 0 33536 461 0 0 25 0 1 0 844656116 925896704 218519 4294967295 134512640 134716908 3221224576 3221222852 1077414397 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226049 218519 1111 63 0 225986 0
vsize: 904196
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 224459 0 0 0 34534 462 0 0 25 0 1 0 844656116 927375360 218836 4294967295 134512640 134716908 3221224576 3221222852 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226410 218836 1111 63 0 226347 0
vsize: 905640
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 224784 0 0 0 35533 464 0 0 25 0 1 0 844656116 928849920 218948 4294967295 134512640 134716908 3221224576 3221222852 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226770 218948 1111 63 0 226707 0
vsize: 907080
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 224956 0 0 0 36532 465 0 0 25 0 1 0 844656116 929599488 219112 4294967295 134512640 134716908 3221224576 3221222852 1077049360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226953 219112 1111 63 0 226890 0
vsize: 907812
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 225111 0 0 0 37532 465 0 0 25 0 1 0 844656116 930320384 219261 4294967295 134512640 134716908 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 227129 219261 1111 63 0 227066 0
vsize: 908516
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 225439 0 0 0 38531 466 0 0 25 0 1 0 844656116 931790848 219200 4294967295 134512640 134716908 3221224576 3221222852 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 227488 219200 1111 63 0 227425 0
vsize: 909952
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 225764 0 0 0 39530 468 0 0 25 0 1 0 844656116 933265408 219512 4294967295 134512640 134716908 3221224576 3221222852 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 227848 219512 1111 63 0 227785 0
vsize: 911392
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 225936 0 0 0 40529 468 0 0 25 0 1 0 844656116 934014976 219677 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228031 219677 1111 63 0 227968 0
vsize: 912124
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 226095 0 0 0 41529 469 0 0 25 0 1 0 844656116 934735872 219829 4294967295 134512640 134716908 3221224576 3221222852 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228207 219829 1111 63 0 228144 0
vsize: 912828
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 226421 0 0 0 42528 470 0 0 25 0 1 0 844656116 936210432 220140 4294967295 134512640 134716908 3221224576 3221222852 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228567 220140 1111 63 0 228504 0
vsize: 914268
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 226744 0 0 0 43526 471 0 0 25 0 1 0 844656116 937545728 220054 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228893 220054 1111 63 0 228830 0
vsize: 915572
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 226908 0 0 0 44526 472 0 0 25 0 1 0 844656116 938434560 220210 4294967295 134512640 134716908 3221224576 3221223072 134539120 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229110 220210 1111 63 0 229047 0
vsize: 916440
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 227076 0 0 0 45525 472 0 0 25 0 1 0 844656116 939155456 220370 4294967295 134512640 134716908 3221224576 3221222852 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229286 220370 1111 63 0 229223 0
vsize: 917144
[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 227405 0 0 0 46526 473 0 0 25 0 1 0 844656116 940625920 220683 4294967295 134512640 134716908 3221224576 3221222852 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229645 220683 1111 63 0 229582 0
vsize: 918580
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 227651 0 0 0 47525 474 0 0 25 0 1 0 844656116 941654016 220919 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229896 220919 1111 63 0 229833 0
vsize: 919584
[startup+490.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 227794 0 0 0 48524 475 0 0 25 0 1 0 844656116 942370816 220939 4294967295 134512640 134716908 3221224576 3221223072 134539120 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 230071 220939 1111 63 0 230008 0
vsize: 920284
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 228058 0 0 0 49523 476 0 0 25 0 1 0 844656116 943570944 220796 4294967295 134512640 134716908 3221224576 3221222852 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 230364 220796 1111 63 0 230301 0
vsize: 921456
[startup+504.454 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 22653
Raw data (stat): 22653 (bsolo_lpr-v2) R 22652 8378 8377 0 -1 0 228058 0 0 0 49523 476 0 0 25 0 1 0 844656116 943570944 220796 4294967295 134512640 134716908 3221224576 3221222852 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 230364 220796 1111 63 0 230301 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 504.453
CPU time (s): 504.428
CPU user time (s): 499.24
CPU system time (s): 5.18821
CPU usage (%): 99.9951
Max. virtual memory (Kb): 921456
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####