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/MIPLIB/miplib3/normalized-mps-v2-13-7-dano3mip.opb
MD5SUM	a9d7b9b5569d1dec981f274df34ef66e
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	65536000
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	555744750
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	35.1067
Number of variables	266924
Total number of constraints	3778
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	600
Number of constraints which are nor clauses,nor cardinality constraints	3178
Minimum length of a constraint	1
Maximum length of a constraint	10600

Trace number 27133

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-24 19:36:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18253 boxname=wulflinc28 idbench=1405 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  a9d7b9b5569d1dec981f274df34ef66e  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-dano3mip.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-dano3mip.opb
IDLAUNCH: 18253
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        720416 kB
Buffers:         34336 kB
Cached:         257708 kB
SwapCached:       1104 kB
Active:          84376 kB
Inactive:       210268 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        720164 kB
SwapTotal:     2097640 kB
SwapFree:      2096184 kB
Dirty:             212 kB
Writeback:           0 kB
Mapped:           5544 kB
Slab:            13936 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 19:45:11 (client local time) WITH STATUS 0 IN 520.995 SECONDS
stats: 18253 7 520.995 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.94 0.99 0.93 2/54 28271
Raw data (stat): 28271 (runsolver) R 28270 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832814200 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.95 0.99 0.93 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 28832 0 0 0 935 63 0 0 25 0 1 0 832814200 131420160 28756 4294967295 134512640 134714508 3221224592 3221222504 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32085 28756 1111 63 0 32022 0
vsize: 128340
[startup+20.0009 s]
Raw data (loadavg): 0.95 0.99 0.93 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 48945 0 0 0 1896 102 0 0 25 0 1 0 832814200 212766720 48649 4294967295 134512640 134714508 3221224592 3221222884 134566536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51945 48649 1111 63 0 51882 0
vsize: 207780
[startup+30.0016 s]
Raw data (loadavg): 0.96 0.99 0.93 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 67284 0 0 0 2858 138 0 0 25 0 1 0 832814200 287854592 66862 4294967295 134512640 134714508 3221224592 3221222868 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70277 66862 1111 63 0 70214 0
vsize: 281108
[startup+40.0021 s]
Raw data (loadavg): 0.97 0.99 0.93 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 83062 0 0 0 3829 169 0 0 25 0 1 0 832814200 352231424 82640 4294967295 134512640 134714508 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85994 82640 1111 63 0 85931 0
vsize: 343976
[startup+50.0018 s]
Raw data (loadavg): 0.97 0.99 0.93 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 97522 0 0 0 4801 196 0 0 25 0 1 0 832814200 409440256 96660 4294967295 134512640 134714508 3221224592 3221222896 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 99961 96661 1111 63 0 99898 0
vsize: 399844
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.99 0.93 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 112371 0 0 0 5775 222 0 0 25 0 1 0 832814200 469942272 111131 4294967295 134512640 134714508 3221224592 3221223072 134540480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114732 111131 1111 63 0 114669 0
vsize: 458928
[startup+70.0019 s]
Raw data (loadavg): 0.98 0.99 0.93 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 125297 0 0 0 6748 249 0 0 25 0 1 0 832814200 522698752 124057 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127612 124057 1111 63 0 127549 0
vsize: 510448
[startup+80.0028 s]
Raw data (loadavg): 0.98 0.99 0.93 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 136930 0 0 0 7726 271 0 0 25 0 1 0 832814200 570130432 135690 4294967295 134512640 134714508 3221224592 3221222868 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139192 135690 1111 63 0 139129 0
vsize: 556768
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.99 0.93 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 149422 0 0 0 8702 296 0 0 25 0 1 0 832814200 621096960 148182 4294967295 134512640 134714508 3221224592 3221221036 1077359235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151635 148182 1111 63 0 151572 0
vsize: 606540
[startup+100.002 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 160477 0 0 0 9682 315 0 0 25 0 1 0 832814200 666279936 159237 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 162666 159237 1111 63 0 162603 0
vsize: 650664
[startup+110.003 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 173909 0 0 0 10659 339 0 0 25 0 1 0 832814200 717496320 171789 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 175170 171789 1111 63 0 175107 0
vsize: 700680
[startup+120.004 s]
Raw data (loadavg): 0.99 0.99 0.93 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 184879 0 0 0 11638 359 0 0 25 0 1 0 832814200 762159104 182759 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 186074 182759 1111 63 0 186011 0
vsize: 744296
[startup+130.004 s]
Raw data (loadavg): 1.07 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 197295 0 0 0 12609 384 0 0 25 0 1 0 832814200 812916736 194422 4294967295 134512640 134714508 3221224592 3221222776 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198466 194423 1111 63 0 198403 0
vsize: 793864
[startup+140.004 s]
Raw data (loadavg): 1.06 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 208027 0 27 0 13567 410 0 0 25 0 1 0 832814200 856670208 204640 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 209148 204640 1111 63 0 209085 0
vsize: 836592
[startup+150.004 s]
Raw data (loadavg): 1.05 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 209664 0 52 0 14553 416 0 0 25 0 1 0 832814200 863023104 206088 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 210699 206088 1111 63 0 210636 0
vsize: 842796
[startup+160.004 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 211225 0 62 0 15541 422 0 0 25 0 1 0 832814200 869240832 207513 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 212217 207513 1111 63 0 212154 0
vsize: 848868
[startup+170.004 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 212874 0 67 0 16534 427 0 0 25 0 1 0 832814200 875864064 208938 4294967295 134512640 134714508 3221224592 3221222868 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 213834 208938 1111 63 0 213771 0
vsize: 855336
[startup+180.006 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 214718 0 75 0 17524 433 0 0 25 0 1 0 832814200 883433472 210592 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 215682 210592 1111 63 0 215619 0
vsize: 862728
[startup+190.006 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 217028 0 89 0 18512 440 0 0 25 0 1 0 832814200 892760064 212543 4294967295 134512640 134714508 3221224592 3221223152 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 217959 212543 1111 63 0 217896 0
vsize: 871836
[startup+200.006 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 218354 0 98 0 19504 443 0 0 25 0 1 0 832814200 898031616 213620 4294967295 134512640 134714508 3221224592 3221222868 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 219246 213620 1111 63 0 219183 0
vsize: 876984
[startup+210.007 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 218691 0 98 0 20502 444 0 0 25 0 1 0 832814200 899567616 213944 4294967295 134512640 134714508 3221224592 3221222868 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 219621 213944 1111 63 0 219558 0
vsize: 878484
[startup+220.013 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 219022 0 98 0 21501 446 0 0 25 0 1 0 832814200 901038080 214053 4294967295 134512640 134714508 3221224592 3221222868 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 219980 214053 1111 63 0 219917 0
vsize: 879920
[startup+230.013 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 219348 0 98 0 22500 446 0 0 25 0 1 0 832814200 902512640 214364 4294967295 134512640 134714508 3221224592 3221222868 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 220340 214364 1111 63 0 220277 0
vsize: 881360
[startup+240.014 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 219677 0 98 0 23500 447 0 0 25 0 1 0 832814200 903983104 214679 4294967295 134512640 134714508 3221224592 3221222868 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 220699 214679 1111 63 0 220636 0
vsize: 882796
[startup+250.013 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 219990 0 98 0 24499 447 0 0 25 0 1 0 832814200 905322496 214976 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 221026 214976 1111 63 0 220963 0
vsize: 884104
[startup+260.013 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 220170 0 98 0 25499 448 0 0 25 0 1 0 832814200 906207232 215032 4294967295 134512640 134714508 3221224592 3221223088 134539120 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 221242 215032 1111 63 0 221179 0
vsize: 884968
[startup+270.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 220356 0 98 0 26497 449 0 0 25 0 1 0 832814200 906928128 215210 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 221418 215210 1111 63 0 221355 0
vsize: 885672
[startup+280.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 220659 0 98 0 27497 450 0 0 25 0 1 0 832814200 908398592 215498 4294967295 134512640 134714508 3221224592 3221222868 1077414397 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 221777 215498 1111 63 0 221714 0
vsize: 887108
[startup+290.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 220983 0 98 0 28496 450 0 0 25 0 1 0 832814200 909873152 215737 4294967295 134512640 134714508 3221224592 3221222868 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 222137 215737 1111 63 0 222074 0
vsize: 888548
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 221310 0 98 0 29495 452 0 0 25 0 1 0 832814200 911343616 215962 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 222496 215962 1111 63 0 222433 0
vsize: 889984
[startup+310.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 221484 0 98 0 30494 453 0 0 25 0 1 0 832814200 912097280 216129 4294967295 134512640 134714508 3221224592 3221222876 134517284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 222680 216129 1111 63 0 222617 0
vsize: 890720
[startup+320.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 221640 0 98 0 31493 454 0 0 25 0 1 0 832814200 912818176 216235 4294967295 134512640 134714508 3221224592 3221222876 1077399588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 222856 216235 1111 63 0 222793 0
vsize: 891424
[startup+330.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 221971 0 98 0 32492 455 0 0 25 0 1 0 832814200 914288640 216537 4294967295 134512640 134714508 3221224592 3221222868 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 223215 216537 1111 63 0 223152 0
vsize: 892860
[startup+340.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 222296 0 98 0 33491 456 0 0 25 0 1 0 832814200 915763200 216701 4294967295 134512640 134714508 3221224592 3221222868 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 223575 216701 1111 63 0 223512 0
vsize: 894300
[startup+350.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 222549 0 98 0 34491 457 0 0 25 0 1 0 832814200 916791296 216945 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 223826 216945 1111 63 0 223763 0
vsize: 895304
[startup+360.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 222723 0 98 0 35490 458 0 0 25 0 1 0 832814200 917647360 217111 4294967295 134512640 134714508 3221224592 3221221156 1077358213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 224035 217111 1111 63 0 223972 0
vsize: 896140
[startup+370.016 s]
Raw data (loadavg): 1.00 1.00 0.94 3/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 222955 0 98 0 36489 459 0 0 25 0 1 0 832814200 918704128 217283 4294967295 134512640 134714508 3221224592 3221222868 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224293 217283 1111 63 0 224230 0
vsize: 897172
[startup+380.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 223282 0 98 0 37488 460 0 0 25 0 1 0 832814200 920178688 217515 4294967295 134512640 134714508 3221224592 3221222868 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224653 217515 1111 63 0 224590 0
vsize: 898612
[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 223551 0 98 0 38487 461 0 0 25 0 1 0 832814200 921341952 217728 4294967295 134512640 134714508 3221224592 3221222876 1077399564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224937 217728 1111 63 0 224874 0
vsize: 899748
[startup+400.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 223720 0 98 0 39486 461 0 0 25 0 1 0 832814200 922062848 217891 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 225113 217891 1111 63 0 225050 0
vsize: 900452
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 223938 0 98 0 40486 461 0 0 25 0 1 0 832814200 923123712 218023 4294967295 134512640 134714508 3221224592 3221222868 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 225372 218023 1111 63 0 225309 0
vsize: 901488
[startup+420.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 224269 0 98 0 41484 462 0 0 25 0 1 0 832814200 924594176 218287 4294967295 134512640 134714508 3221224592 3221222868 1077414372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 225731 218287 1111 63 0 225668 0
vsize: 902924
[startup+430.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 224531 0 98 0 42483 463 0 0 25 0 1 0 832814200 925761536 218465 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226016 218465 1111 63 0 225953 0
vsize: 904064
[startup+440.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 224695 0 98 0 43482 463 0 0 25 0 1 0 832814200 926482432 218622 4294967295 134512640 134714508 3221224592 3221221068 1077193054 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226192 218622 1111 63 0 226129 0
vsize: 904768
[startup+450.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 224925 0 98 0 44481 464 0 0 25 0 1 0 832814200 927539200 218838 4294967295 134512640 134714508 3221224592 3221222868 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226450 218838 1111 63 0 226387 0
vsize: 905800
[startup+460.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 225255 0 98 0 45480 465 0 0 25 0 1 0 832814200 929017856 219035 4294967295 134512640 134714508 3221224592 3221222868 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226811 219035 1111 63 0 226748 0
vsize: 907244
[startup+470.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 225498 0 98 0 46480 465 0 0 25 0 1 0 832814200 930045952 219268 4294967295 134512640 134714508 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 227062 219268 1111 63 0 226999 0
vsize: 908248
[startup+480.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 225836 0 188 0 47421 468 0 0 18 0 1 0 832814200 930488320 219531 4294967295 134512640 134714508 3221224592 3221222876 1077399570 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227170 219531 1111 63 0 227107 0
vsize: 908680
[startup+490.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 226537 0 197 0 48415 469 0 0 25 0 1 0 832814200 931962880 219769 4294967295 134512640 134714508 3221224592 3221222868 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227530 219769 1111 63 0 227467 0
vsize: 910120
[startup+500.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 226858 0 197 0 49414 470 0 0 25 0 1 0 832814200 933298176 220076 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227856 220076 1111 63 0 227793 0
vsize: 911424
[startup+510.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 227893 0 203 0 50406 473 0 0 25 0 1 0 832814200 937488384 220899 4294967295 134512640 134714508 3221224592 3221222252 1077244344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228879 220899 1111 63 0 228816 0
vsize: 915516
[startup+520.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 228778 0 203 0 51401 477 0 0 25 0 1 0 832814200 941137920 221546 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229770 221546 1111 63 0 229707 0
vsize: 919080
[startup+522.224 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 28271
Raw data (stat): 28271 (bsolo_lpr) R 28270 24821 24820 0 -1 0 228778 0 203 0 51401 477 0 0 25 0 1 0 832814200 941137920 221546 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229770 221546 1111 63 0 229707 0
vsize: 0

Child ended because it received signal 11 (SIGSEGV)
Real time (s): 522.223
CPU time (s): 520.995
CPU user time (s): 515.79
CPU system time (s): 5.20521
CPU usage (%): 99.7647
Max. virtual memory (Kb): 919080
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####