PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-nw04.opb
MD5SUM	a5c401bba5afccf02c7b40cb1c595b15
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	87482
Biggest coefficient in the objective function	5220
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	120189580
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	5220
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	120189580
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.13683
Number of variables	87482
Total number of constraints	87518
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	87518
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	42032
Trace number 40032

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 01:00:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28097 boxname=wulflinc2 idbench=1053 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  a5c401bba5afccf02c7b40cb1c595b15  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-nw04.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-nw04.opb
IDLAUNCH: 28097
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        881012 kB
Buffers:         21620 kB
Cached:         108584 kB
SwapCached:       1376 kB
Active:          39192 kB
Inactive:        93024 kB
HighTotal:      131008 kB
HighFree:        47460 kB
LowTotal:       903652 kB
LowFree:        833552 kB
SwapTotal:     2097136 kB
SwapFree:      2094692 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4980 kB
Slab:            15496 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 01:15:21 (client local time) WITH STATUS 0 IN 864.361 SECONDS
stats: 28097 7 864.361 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.83 0.94 0.90 2/54 931
Raw data (stat): 931 (runsolver) R 930 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897513485 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+9.9999 s]
Raw data (loadavg): 0.85 0.94 0.91 2/54 931
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 3351 0 0 0 989 8 0 0 25 0 1 0 897513485 25382912 3271 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6197 3271 1111 63 0 6134 0
vsize: 24788
[startup+20.0005 s]
Raw data (loadavg): 0.87 0.94 0.91 2/54 931
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 5921 0 0 0 1985 12 0 0 25 0 1 0 897513485 35840000 5841 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8750 5841 1111 63 0 8687 0
vsize: 35000
[startup+30.0007 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 933
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 8493 0 0 0 2981 17 0 0 25 0 1 0 897513485 46424064 8413 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11334 8413 1111 63 0 11271 0
vsize: 45336
[startup+40.0009 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 933
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 11058 0 0 0 3976 22 0 0 25 0 1 0 897513485 56877056 10978 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13886 10978 1111 63 0 13823 0
vsize: 55544
[startup+50.0016 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 933
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 13662 0 0 0 4972 26 0 0 25 0 1 0 897513485 67600384 13582 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16504 13582 1111 63 0 16441 0
vsize: 66016
[startup+60.0017 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 933
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 16264 0 0 0 5968 31 0 0 25 0 1 0 897513485 78204928 16184 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19093 16184 1111 63 0 19030 0
vsize: 76372
[startup+70.0021 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 933
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 18869 0 0 0 6962 37 0 0 25 0 1 0 897513485 88948736 18789 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21716 18789 1111 63 0 21653 0
vsize: 86864
[startup+80.0027 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 933
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 21483 0 0 0 7957 42 0 0 25 0 1 0 897513485 99700736 21403 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24341 21403 1111 63 0 24278 0
vsize: 97364
[startup+90.0028 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 933
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 24100 0 0 0 8953 46 0 0 25 0 1 0 897513485 110301184 24020 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26929 24020 1111 63 0 26866 0
vsize: 107716
[startup+100.003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 933
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 26720 0 0 0 9948 52 0 0 25 0 1 0 897513485 121176064 26640 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29584 26640 1111 63 0 29521 0
vsize: 118336
[startup+110.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 933
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 29320 0 0 0 10944 55 0 0 25 0 1 0 897513485 131772416 29240 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32171 29240 1111 63 0 32108 0
vsize: 128684
[startup+120.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 933
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 31934 0 0 0 11940 59 0 0 25 0 1 0 897513485 142524416 31854 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34796 31854 1111 63 0 34733 0
vsize: 139184
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 933
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 34517 0 0 0 12937 63 0 0 25 0 1 0 897513485 152973312 34437 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37347 34437 1111 63 0 37284 0
vsize: 149388
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 933
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 37093 0 0 0 13933 67 0 0 25 0 1 0 897513485 163577856 37013 4294967295 134512640 134716908 3221224576 3221222804 1077414418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39936 37013 1111 63 0 39873 0
vsize: 159744
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 933
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 39669 0 0 0 14929 72 0 0 25 0 1 0 897513485 174174208 39589 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42523 39589 1111 63 0 42460 0
vsize: 170092
[startup+160.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 933
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 42277 0 0 0 15923 77 0 0 25 0 1 0 897513485 184778752 42197 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45112 42197 1111 63 0 45049 0
vsize: 180448
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 933
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 44907 0 0 0 16919 82 0 0 25 0 1 0 897513485 195526656 44827 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47736 44827 1111 63 0 47673 0
vsize: 190944
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 933
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 47514 0 0 0 17915 86 0 0 25 0 1 0 897513485 206278656 47434 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50361 47434 1111 63 0 50298 0
vsize: 201444
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 933
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 50221 0 0 0 18911 90 0 0 25 0 1 0 897513485 217468928 50141 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53093 50141 1111 63 0 53030 0
vsize: 212372
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 933
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 52884 0 0 0 19907 94 0 0 25 0 1 0 897513485 228372480 52804 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55755 52804 1111 63 0 55692 0
vsize: 223020
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 933
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 55507 0 0 0 20903 98 0 0 25 0 1 0 897513485 239116288 55427 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58378 55427 1111 63 0 58315 0
vsize: 233512
[startup+220.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 933
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 58098 0 0 0 21898 104 0 0 25 0 1 0 897513485 249720832 58018 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60967 58018 1111 63 0 60904 0
vsize: 243868
[startup+230.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 933
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 60704 0 0 0 22893 108 0 0 25 0 1 0 897513485 260317184 60624 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63554 60624 1111 63 0 63491 0
vsize: 254216
[startup+240.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 933
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 63301 0 0 0 23890 112 0 0 25 0 1 0 897513485 270921728 63221 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66143 63221 1111 63 0 66080 0
vsize: 264572
[startup+250.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 933
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 65955 0 0 0 24886 116 0 0 25 0 1 0 897513485 281817088 65875 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68803 65875 1111 63 0 68740 0
vsize: 275212
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 68611 0 0 0 25881 121 0 0 25 0 1 0 897513485 292720640 68531 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71465 68531 1111 63 0 71402 0
vsize: 285860
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 71213 0 0 0 26878 124 0 0 25 0 1 0 897513485 303325184 71133 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74054 71133 1111 63 0 73991 0
vsize: 296216
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 73795 0 0 0 27875 128 0 0 25 0 1 0 897513485 313921536 73715 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76641 73715 1111 63 0 76578 0
vsize: 306564
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 76415 0 0 0 28870 133 0 0 25 0 1 0 897513485 324673536 76335 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79266 76335 1111 63 0 79203 0
vsize: 317064
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 78974 0 0 0 29866 137 0 0 25 0 1 0 897513485 335122432 78894 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81817 78898 1111 63 0 81754 0
vsize: 327268
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 81623 0 0 0 30861 142 0 0 25 0 1 0 897513485 346025984 81543 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84479 81543 1111 63 0 84416 0
vsize: 337916
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 84181 0 0 0 31857 146 0 0 25 0 1 0 897513485 356474880 84101 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87030 84101 1111 63 0 86967 0
vsize: 348120
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 86849 0 0 0 32853 151 0 0 25 0 1 0 897513485 367374336 86769 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89691 86769 1111 63 0 89628 0
vsize: 358764
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 89389 0 0 0 33849 155 0 0 25 0 1 0 897513485 377823232 89309 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92242 89309 1111 63 0 92179 0
vsize: 368968
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 92014 0 0 0 34845 159 0 0 25 0 1 0 897513485 388575232 91934 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94867 91934 1111 63 0 94804 0
vsize: 379468
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 94577 0 0 0 35840 165 0 0 25 0 1 0 897513485 399024128 94497 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97418 94497 1111 63 0 97355 0
vsize: 389672
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 97118 0 0 0 36836 168 0 0 25 0 1 0 897513485 409481216 97038 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 99971 97038 1111 63 0 99908 0
vsize: 399884
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 99674 0 0 0 37833 172 0 0 25 0 1 0 897513485 419995648 99594 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102538 99594 1111 63 0 102475 0
vsize: 410152
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 102226 0 0 0 38829 175 0 0 25 0 1 0 897513485 430444544 102146 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105089 102146 1111 63 0 105026 0
vsize: 420356
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 104786 0 0 0 39826 179 0 0 25 0 1 0 897513485 440897536 104706 4294967295 134512640 134716908 3221224576 3221222928 134567424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107641 104706 1111 63 0 107578 0
vsize: 430564
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 107391 0 0 0 40822 183 0 0 25 0 1 0 897513485 451645440 107311 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110265 107311 1111 63 0 110202 0
vsize: 441060
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 110084 0 0 0 41818 188 0 0 25 0 1 0 897513485 462696448 110004 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 112963 110004 1111 63 0 112900 0
vsize: 451852
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 112606 0 0 0 42814 192 0 0 25 0 1 0 897513485 472993792 112526 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115477 112526 1111 63 0 115414 0
vsize: 461908
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 115335 0 0 0 43811 196 0 0 25 0 1 0 897513485 484196352 115255 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 118212 115255 1111 63 0 118149 0
vsize: 472848
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 117913 0 0 0 44805 201 0 0 25 0 1 0 897513485 494649344 117833 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 120764 117833 1111 63 0 120701 0
vsize: 483056
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 120464 0 0 0 45802 205 0 0 25 0 1 0 897513485 505098240 120384 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123315 120384 1111 63 0 123252 0
vsize: 493260
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 123091 0 0 0 46799 208 0 0 25 0 1 0 897513485 515850240 123011 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 125940 123011 1111 63 0 125877 0
vsize: 503760
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 125708 0 0 0 47794 213 0 0 25 0 1 0 897513485 526598144 125628 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128564 125628 1111 63 0 128501 0
vsize: 514256
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 128250 0 0 0 48790 217 0 0 25 0 1 0 897513485 537051136 128170 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131116 128170 1111 63 0 131053 0
vsize: 524464
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 131068 0 0 0 49786 221 0 0 25 0 1 0 897513485 548544512 130988 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 133922 130988 1111 63 0 133859 0
vsize: 535688
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 133980 0 0 0 50782 226 0 0 25 0 1 0 897513485 560488448 133900 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 136838 133900 1111 63 0 136775 0
vsize: 547352
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 136843 0 0 0 51777 231 0 0 25 0 1 0 897513485 572284928 136763 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139718 136763 1111 63 0 139655 0
vsize: 558872
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 139863 0 0 0 52772 236 0 0 25 0 1 0 897513485 584531968 139783 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 142708 139783 1111 63 0 142645 0
vsize: 570832
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 142780 0 0 0 53767 242 0 0 25 0 1 0 897513485 596475904 142700 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 145624 142700 1111 63 0 145561 0
vsize: 582496
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 145399 0 0 0 54763 245 0 0 25 0 1 0 897513485 607223808 145319 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 148248 145319 1111 63 0 148185 0
vsize: 592992
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 148110 0 0 0 55758 251 0 0 25 0 1 0 897513485 618422272 148030 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 150982 148030 1111 63 0 150919 0
vsize: 603928
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 150606 0 0 0 56754 255 0 0 25 0 1 0 897513485 628572160 150526 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 153460 150526 1111 63 0 153397 0
vsize: 613840
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 153319 0 0 0 57750 259 0 0 25 0 1 0 897513485 639623168 153239 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 156158 153239 1111 63 0 156095 0
vsize: 624632
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 156033 0 0 0 58746 263 0 0 25 0 1 0 897513485 650817536 155953 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 158891 155953 1111 63 0 158828 0
vsize: 635564
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 158982 0 0 0 59742 268 0 0 25 0 1 0 897513485 662913024 158902 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 161844 158902 1111 63 0 161781 0
vsize: 647376
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 161819 0 0 0 60737 273 0 0 25 0 1 0 897513485 674557952 161739 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 164687 161739 1111 63 0 164624 0
vsize: 658748
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 164475 0 0 0 61733 277 0 0 25 0 1 0 897513485 685305856 164395 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 167311 164395 1111 63 0 167248 0
vsize: 669244
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 167095 0 0 0 62728 282 0 0 25 0 1 0 897513485 696057856 167015 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169936 167015 1111 63 0 169873 0
vsize: 679744
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 169896 0 0 0 63723 287 0 0 25 0 1 0 897513485 707559424 169816 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 172744 169816 1111 63 0 172681 0
vsize: 690976
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 172515 0 0 0 64719 291 0 0 25 0 1 0 897513485 718303232 172435 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 175367 172435 1111 63 0 175304 0
vsize: 701468
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 175037 0 0 0 65714 296 0 0 25 0 1 0 897513485 728608768 174957 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 177883 174957 1111 63 0 177820 0
vsize: 711532
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 177621 0 0 0 66712 298 0 0 25 0 1 0 897513485 739209216 177541 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 180471 177541 1111 63 0 180408 0
vsize: 721884
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 180056 0 0 0 67708 303 0 0 25 0 1 0 897513485 749207552 179976 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 182912 179976 1111 63 0 182849 0
vsize: 731648
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 182469 0 0 0 68705 306 0 0 25 0 1 0 897513485 759066624 182389 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 185319 182389 1111 63 0 185256 0
vsize: 741276
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 184876 0 0 0 69702 310 0 0 25 0 1 0 897513485 768917504 184796 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 187724 184796 1111 63 0 187661 0
vsize: 750896
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 187338 0 0 0 70698 313 0 0 25 0 1 0 897513485 778919936 187258 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 190166 187258 1111 63 0 190103 0
vsize: 760664
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 189732 0 0 0 71695 317 0 0 25 0 1 0 897513485 788779008 189652 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 192573 189652 1111 63 0 192510 0
vsize: 770292
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 192459 0 0 0 72691 321 0 0 25 0 1 0 897513485 799973376 192379 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 195306 192379 1111 63 0 195243 0
vsize: 781224
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 195023 0 0 0 73687 325 0 0 25 0 1 0 897513485 810426368 194943 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 197858 194943 1111 63 0 197795 0
vsize: 791432
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 197705 0 0 0 74683 330 0 0 25 0 1 0 897513485 821686272 197625 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 200607 197625 1111 63 0 200544 0
vsize: 802428
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 200252 0 0 0 75679 333 0 0 25 0 1 0 897513485 832139264 200172 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 203159 200172 1111 63 0 203096 0
vsize: 812636
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 202907 0 0 0 76676 337 0 0 25 0 1 0 897513485 843034624 202827 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 205819 202827 1111 63 0 205756 0
vsize: 823276
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 205448 0 0 0 77672 342 0 0 25 0 1 0 897513485 853340160 205368 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 208335 205368 1111 63 0 208272 0
vsize: 833340
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 208263 0 0 0 78665 348 0 0 25 0 1 0 897513485 864989184 208183 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 211179 208183 1111 63 0 211116 0
vsize: 844716
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 210984 0 0 0 79661 353 0 0 25 0 1 0 897513485 876032000 210904 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 213875 210904 1111 63 0 213812 0
vsize: 855500
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 213647 0 0 0 80656 358 0 0 25 0 1 0 897513485 886935552 213567 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 216537 213567 1111 63 0 216474 0
vsize: 866148
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 216362 0 0 0 81652 362 0 0 25 0 1 0 897513485 898129920 216282 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 219270 216282 1111 63 0 219207 0
vsize: 877080
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 219158 0 0 0 82647 368 0 0 25 0 1 0 897513485 909479936 219078 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 222041 219078 1111 63 0 221978 0
vsize: 888164
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 221906 0 0 0 83641 374 0 0 25 0 1 0 897513485 920825856 221794 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224811 221794 1111 63 0 224748 0
vsize: 899244
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 224359 0 0 0 84633 381 0 0 25 0 1 0 897513485 930828288 223767 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 227253 223767 1111 63 0 227190 0
vsize: 909012
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 226645 0 0 0 85628 387 0 0 25 0 1 0 897513485 940232704 225733 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229549 225733 1111 63 0 229486 0
vsize: 918196
[startup+864.226 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 935
Raw data (stat): 931 (bsolo_lpr-v2) R 930 31399 31398 0 -1 0 226645 0 0 0 85628 387 0 0 25 0 1 0 897513485 940232704 225733 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229549 225733 1111 63 0 229486 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 864.225
CPU time (s): 864.361
CPU user time (s): 860.048
CPU system time (s): 4.31234
CPU usage (%): 100.016
Max. virtual memory (Kb): 918196
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####