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/miplib/normalized-mps-v2-13-7-p0201.opb
MD5SUM	ffa3a55eb53181880328dd1b84f91e66
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1523
Optimality of the best value was proved	NO
Number of terms in the objective function	201
Biggest coefficient in the objective function	1920
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	19980
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	1920
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	19980
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02184
Number of variables	201
Total number of constraints	334
Number of constraints which are clauses	20
Number of constraints which are cardinality constraints (but not clauses)	227
Number of constraints which are nor clauses,nor cardinality constraints	87
Minimum length of a constraint	1
Maximum length of a constraint	67

Trace number 40294

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 06:13:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28361 boxname=wulflinc4 idbench=1317 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  ffa3a55eb53181880328dd1b84f91e66  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-p0201.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-p0201.opb
IDLAUNCH: 28361
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 2
cpu MHz		: 451.169
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:        816596 kB
Buffers:         18528 kB
Cached:         178004 kB
SwapCached:        872 kB
Active:          22812 kB
Inactive:       175748 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        816344 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4916 kB
Slab:            13804 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 06:22:55 (client local time) WITH STATUS 30 IN 577.834 SECONDS
stats: 28361 0 577.834 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 201 variables and 133 constraints.
c After prepocess the problem consists of 195 variables and 289 constraints.
c preprocess terminated 0.35 s
c Initial Lower Bound: 1425
c Lower Bound Elapsed time: 0.05025
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2034 @ 7.171
c NEW SOLUTION FOUND: 2022 @ 8.179
c NEW SOLUTION FOUND: 2018 @ 8.65
c NEW SOLUTION FOUND: 2012 @ 10.831
c NEW SOLUTION FOUND: 2006 @ 14.495
c NEW SOLUTION FOUND: 2000 @ 14.726
c NEW SOLUTION FOUND: 1989 @ 17.365
c NEW SOLUTION FOUND: 1978 @ 17.507
c NEW SOLUTION FOUND: 1954 @ 21.341
c NEW SOLUTION FOUND: 1940 @ 21.472
c NEW SOLUTION FOUND: 1922 @ 22.357
c NEW SOLUTION FOUND: 1898 @ 23.698
c NEW SOLUTION FOUND: 1895 @ 24.523
c NEW SOLUTION FOUND: 1859 @ 24.661
c NEW SOLUTION FOUND: 1848 @ 29.352
c NEW SOLUTION FOUND: 1829 @ 29.873
c NEW SOLUTION FOUND: 1804 @ 31.174
c NEW SOLUTION FOUND: 1784 @ 34.037
c NEW SOLUTION FOUND: 1744 @ 34.182
c NEW SOLUTION FOUND: 1723 @ 49.793
c NEW SOLUTION FOUND: 1717 @ 113.88
c NEW SOLUTION FOUND: 1707 @ 119.378
c NEW SOLUTION FOUND: 1705 @ 145.596
c NEW SOLUTION FOUND: 1695 @ 208.216
c NEW SOLUTION FOUND: 1693 @ 222.673
c NEW SOLUTION FOUND: 1680 @ 246.08
c NEW SOLUTION FOUND: 1670 @ 246.211
c NEW SOLUTION FOUND: 1649 @ 248.48
c NEW SOLUTION FOUND: 1631 @ 268.133
c NEW SOLUTION FOUND: 1621 @ 268.162
c NEW SOLUTION FOUND: 1591 @ 280.54
c NEW SOLUTION FOUND: 1581 @ 281.401
c NEW SOLUTION FOUND: 1573 @ 305.554
c NEW SOLUTION FOUND: 1563 @ 365.832
c NEW SOLUTION FOUND: 1561 @ 369.097
c NEW SOLUTION FOUND: 1545 @ 404.876
c NEW SOLUTION FOUND: 1535 @ 405.367
c NEW SOLUTION FOUND: 1533 @ 441.205
c NEW SOLUTION FOUND: 1523 @ 513.83
s OPTIMUM FOUND
v -C1001_bit0 -C1002_bit0 -C1003_bit0 -C1004_bit0 -C1005_bit0 -C1006_bit0 -C1007_bit0 -C1008_bit0 C1009_bit0 -C1010_bit0 C1011_bit0 -C1012_bit0 -C1013_bit0 -C1014_bit0 -C1015_bit0 -C1016_bit0 -C1017_bit0 -C1018_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 C1022_bit0 -C1023_bit0 -C1024_bit0 -C1025_bit0 -C1026_bit0 -C1027_bit0 -C1028_bit0 -C1029_bit0 -C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 -C1035_bit0 -C1036_bit0 -C1037_bit0 -C1038_bit0 C1039_bit0 C1040_bit0 -C1041_bit0 -C1042_bit0 -C1043_bit0 -C1044_bit0 -C1045_bit0 -C1046_bit0 -C1047_bit0 -C1048_bit0 -C1049_bit0 -C1050_bit0 -C1051_bit0 -C1052_bit0 -C1053_bit0 -C1054_bit0 -C1055_bit0 -C1056_bit0 C1057_bit0 -C1058_bit0 -C1059_bit0 -C1060_bit0 C1061_bit0 -C1062_bit0 -C1063_bit0 -C1064_bit0 -C1065_bit0 -C1066_bit0 -C1067_bit0 -C1068_bit0 -C1069_bit0 -C1070_bit0 -C1071_bit0 -C1072_bit0 -C1073_bit0 -C1074_bit0 C1075_bit0 -C1076_bit0 -C1077_bit0 -C1078_bit0 -C1079_bit0 C1080_bit0 -C1081_bit0 -C1082_bit0 -C1083_bit0 -C1084_bit0 -C1085_bit0 -C1086_bit0 -C1087_bit0 -C1088_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 C1093_bit0 -C1094_bit0 C1095_bit0 -C1096_bit0 -C1097_bit0 -C1098_bit0 -C1099_bit0 -C1100_bit0 -C1101_bit0 -C1102_bit0 -C1103_bit0 -C1104_bit0 -C1105_bit0 -C1106_bit0 -C1107_bit0 -C1108_bit0 -C1109_bit0 -C1110_bit0 C1111_bit0 C1112_bit0 -C1113_bit0 -C1114_bit0 -C1115_bit0 -C1116_bit0 -C1117_bit0 -C1118_bit0 -C1119_bit0 -C1120_bit0 -C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 -C1125_bit0 -C1126_bit0 -C1127_bit0 -C1128_bit0 C1129_bit0 -C1130_bit0 -C1131_bit0 -C1132_bit0 C1133_bit0 -C1134_bit0 -C1135_bit0 -C1136_bit0 -C1137_bit0 -C1138_bit0 -C1139_bit0 -C1140_bit0 -C1141_bit0 -C1142_bit0 -C1143_bit0 -C1144_bit0 -C1145_bit0 -C1146_bit0 C1147_bit0 -C1148_bit0 -C1149_bit0 -C1150_bit0 -C1151_bit0 C1152_bit0 -C1153_bit0 -C1154_bit0 -C1155_bit0 -C1156_bit0 -C1157_bit0 -C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 -C1163_bit0 -C1164_bit0 C1165_bit0 -C1166_bit0 C1167_bit0 -C1168_bit0 -C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 -C1173_bit0 -C1174_bit0 -C1175_bit0 -C1176_bit0 -C1177_bit0 -C1178_bit0 -C1179_bit0 -C1180_bit0 -C1181_bit0 -C1182_bit0 C1183_bit0 C1184_bit0 -C1185_bit0 -C1186_bit0 -C1187_bit0 -C1188_bit0 -C1189_bit0 -C1190_bit0 -C1191_bit0 -C1192_bit0 -C1193_bit0 -C1194_bit0 -C1195_bit0 -C1196_bit0 -C1197_bit0 -C1198_bit0 -C1199_bit0 -C1200_bit0 C1201_bit0 
c Exit Code: 30
c Total time: 577.807 s
#### 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.59 0.89 0.89 1/54 29151
Raw data (stat): 29151 (runsolver) R 29150 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 899374675 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 0.65 0.89 0.89 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 6571 0 0 0 979 18 0 0 25 0 1 0 899374675 11132928 2039 4294967295 134512640 134716908 3221224576 3221221856 1074140010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2718 2039 1111 63 0 2655 0
vsize: 10872
[startup+20.0027 s]
Raw data (loadavg): 0.71 0.90 0.89 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 15814 0 0 0 1953 44 0 0 25 0 1 0 899374675 13123584 2497 4294967295 134512640 134716908 3221224576 3221220736 1075090337 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3204 2497 1111 63 0 3141 0
vsize: 12816
[startup+30.0031 s]
Raw data (loadavg): 0.75 0.90 0.89 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 31520 0 0 0 2917 79 0 0 25 0 1 0 899374675 13803520 2692 4294967295 134512640 134716908 3221224576 3221222976 1074118864 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3370 2692 1111 63 0 3307 0
vsize: 13480
[startup+40.0035 s]
Raw data (loadavg): 0.79 0.90 0.89 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 46393 0 0 0 3885 112 0 0 25 0 1 0 899374675 15413248 3026 4294967295 134512640 134716908 3221224576 3221222904 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3763 3026 1111 63 0 3700 0
vsize: 15052
[startup+50.0041 s]
Raw data (loadavg): 0.82 0.90 0.89 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 55440 0 0 0 4862 133 0 0 25 0 1 0 899374675 16314368 3187 4294967295 134512640 134716908 3221224576 3221220604 1074788153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3983 3189 1111 63 0 3920 0
vsize: 15932
[startup+60.0036 s]
Raw data (loadavg): 0.85 0.91 0.90 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 67829 0 0 0 5834 162 0 0 25 0 1 0 899374675 17002496 3355 4294967295 134512640 134716908 3221224576 3221221520 1074620063 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4151 3355 1111 63 0 4088 0
vsize: 16604
[startup+70.0051 s]
Raw data (loadavg): 0.87 0.91 0.90 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 80768 0 0 0 6806 190 0 0 25 0 1 0 899374675 16912384 3452 4294967295 134512640 134716908 3221224576 3221222816 1073973712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4129 3452 1111 63 0 4066 0
vsize: 16516
[startup+80.0056 s]
Raw data (loadavg): 0.89 0.91 0.90 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 93100 0 0 0 7778 218 0 0 25 0 1 0 899374675 17612800 3623 4294967295 134512640 134716908 3221224576 3221222304 1075830006 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4300 3623 1111 63 0 4237 0
vsize: 17200
[startup+90.0051 s]
Raw data (loadavg): 0.91 0.91 0.90 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 104775 0 0 0 8752 244 0 0 25 0 1 0 899374675 18755584 3809 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 3809 1111 63 0 4516 0
vsize: 18316
[startup+100.005 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 117225 0 0 0 9724 273 0 0 25 0 1 0 899374675 19337216 3950 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4721 3950 1111 63 0 4658 0
vsize: 18884
[startup+110.006 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 129454 0 0 0 10697 300 0 0 25 0 1 0 899374675 19341312 4045 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4722 4045 1111 63 0 4659 0
vsize: 18888
[startup+120.007 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 144306 0 0 0 11665 332 0 0 25 0 1 0 899374675 20148224 4150 4294967295 134512640 134716908 3221224576 3221220816 1075088566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 4150 1111 63 0 4856 0
vsize: 19676
[startup+130.007 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 158523 0 0 0 12634 363 0 0 25 0 1 0 899374675 20459520 4229 4294967295 134512640 134716908 3221224576 3221221616 1075971386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4995 4229 1111 63 0 4932 0
vsize: 19980
[startup+140.007 s]
Raw data (loadavg): 0.96 0.92 0.90 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 169804 0 0 0 13610 387 0 0 25 0 1 0 899374675 21213184 4414 4294967295 134512640 134716908 3221224576 3221220508 1074788143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5179 4414 1111 63 0 5116 0
vsize: 20716
[startup+150.007 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 183789 0 0 0 14576 421 0 0 25 0 1 0 899374675 21274624 4516 4294967295 134512640 134716908 3221224576 3221223192 1074057650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5194 4516 1111 63 0 5131 0
vsize: 20776
[startup+160.008 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 196199 0 0 0 15548 448 0 0 25 0 1 0 899374675 22454272 4717 4294967295 134512640 134716908 3221224576 3221221624 1077377398 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5482 4717 1111 63 0 5419 0
vsize: 21928
[startup+170.008 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 207944 0 0 0 16521 476 0 0 25 0 1 0 899374675 22683648 4861 4294967295 134512640 134716908 3221224576 3221222928 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5538 4861 1111 63 0 5475 0
vsize: 22152
[startup+180.008 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 220402 0 0 0 17494 503 0 0 25 0 1 0 899374675 23908352 5071 4294967295 134512640 134716908 3221224576 3221220676 1075964214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5837 5071 1111 63 0 5774 0
vsize: 23348
[startup+190.009 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 232257 0 0 0 18469 528 0 0 25 0 1 0 899374675 24895488 5282 4294967295 134512640 134716908 3221224576 3221221648 1075895984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6078 5282 1111 63 0 6015 0
vsize: 24312
[startup+200.009 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 243306 0 0 0 19443 554 0 0 25 0 1 0 899374675 25182208 5458 4294967295 134512640 134716908 3221224576 3221222576 1074918533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6148 5458 1111 63 0 6085 0
vsize: 24592
[startup+210.008 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 257740 0 0 0 20411 587 0 0 25 0 1 0 899374675 26144768 5706 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6383 5706 1111 63 0 6320 0
vsize: 25532
[startup+220.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 268743 0 0 0 21387 611 0 0 25 0 1 0 899374675 27176960 5958 4294967295 134512640 134716908 3221224576 3221222304 1075829506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6635 5958 1111 63 0 6572 0
vsize: 26540
[startup+230.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 278880 0 0 0 22364 634 0 0 25 0 1 0 899374675 28639232 6222 4294967295 134512640 134716908 3221224576 3221220792 1074878881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6992 6222 1111 63 0 6929 0
vsize: 27968
[startup+240.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 292621 0 0 0 23333 665 0 0 25 0 1 0 899374675 29585408 6400 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7223 6413 1111 63 0 7160 0
vsize: 28892
[startup+250.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 305598 0 0 0 24303 695 0 0 25 0 1 0 899374675 30203904 6694 4294967295 134512640 134716908 3221224576 3221223288 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7374 6694 1111 63 0 7311 0
vsize: 29496
[startup+260.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 316292 0 0 0 25282 717 0 0 25 0 1 0 899374675 31145984 6924 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7604 6924 1111 63 0 7541 0
vsize: 30416
[startup+270.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 326859 0 0 0 26260 739 0 0 25 0 1 0 899374675 31907840 7110 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7790 7110 1111 63 0 7727 0
vsize: 31160
[startup+280.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 336625 0 0 0 27237 762 0 0 25 0 1 0 899374675 33628160 7422 4294967295 134512640 134716908 3221224576 3221220816 1075115730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8210 7422 1111 63 0 8147 0
vsize: 32840
[startup+290.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 342835 0 0 0 28222 777 0 0 25 0 1 0 899374675 33525760 7501 4294967295 134512640 134716908 3221224576 3221222736 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8185 7501 1111 63 0 8122 0
vsize: 32740
[startup+300.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 350964 0 0 0 29204 795 0 0 25 0 1 0 899374675 34246656 7670 4294967295 134512640 134716908 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8361 7670 1111 63 0 8298 0
vsize: 33444
[startup+310.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 359402 0 0 0 30187 812 0 0 25 0 1 0 899374675 34852864 7826 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8509 7826 1111 63 0 8446 0
vsize: 34036
[startup+320.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 367234 0 0 0 31169 831 0 0 25 0 1 0 899374675 35303424 7936 4294967295 134512640 134716908 3221224576 3221222928 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8619 7936 1111 63 0 8556 0
vsize: 34476
[startup+330.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 375090 0 0 0 32151 849 0 0 25 0 1 0 899374675 35897344 8081 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8764 8081 1111 63 0 8701 0
vsize: 35056
[startup+340.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 383347 0 0 0 33133 867 0 0 25 0 1 0 899374675 37146624 8290 4294967295 134512640 134716908 3221224576 3221220720 1074969682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9069 8290 1111 63 0 9006 0
vsize: 36276
[startup+350.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 391267 0 0 0 34113 887 0 0 25 0 1 0 899374675 37130240 8383 4294967295 134512640 134716908 3221224576 3221222224 1075819090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9065 8383 1111 63 0 9002 0
vsize: 36260
[startup+360.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 399378 0 0 0 35097 904 0 0 25 0 1 0 899374675 37777408 8506 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9321 8514 1111 63 0 9258 0
vsize: 36892
[startup+370.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 407524 0 0 0 36077 924 0 0 25 0 1 0 899374675 38133760 8628 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9310 8628 1111 63 0 9247 0
vsize: 37240
[startup+380.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 414824 0 0 0 37061 940 0 0 25 0 1 0 899374675 39108608 8744 4294967295 134512640 134716908 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9548 8750 1111 63 0 9485 0
vsize: 38192
[startup+390.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 423545 0 0 0 38039 962 0 0 25 0 1 0 899374675 39776256 8914 4294967295 134512640 134716908 3221224576 3221221108 1075863638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9711 8914 1111 63 0 9648 0
vsize: 38844
[startup+400.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 431492 0 0 0 39022 979 0 0 25 0 1 0 899374675 39870464 9054 4294967295 134512640 134716908 3221224576 3221222576 1074915852 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9734 9054 1111 63 0 9671 0
vsize: 38936
[startup+410.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 440472 0 0 0 40001 1001 0 0 25 0 1 0 899374675 40505344 9209 4294967295 134512640 134716908 3221224576 3221222224 1075818355 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9889 9209 1111 63 0 9826 0
vsize: 39556
[startup+420.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 449001 0 0 0 40980 1021 0 0 25 0 1 0 899374675 41213952 9382 4294967295 134512640 134716908 3221224576 3221222928 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10062 9382 1111 63 0 9999 0
vsize: 40248
[startup+430.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 456833 0 0 0 41962 1040 0 0 25 0 1 0 899374675 42418176 9553 4294967295 134512640 134716908 3221224576 3221221408 1075115411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10356 9554 1111 63 0 10293 0
vsize: 41424
[startup+440.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 464396 0 0 0 42945 1058 0 0 25 0 1 0 899374675 42233856 9631 4294967295 134512640 134716908 3221224576 3221222456 1077378583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10311 9631 1111 63 0 10248 0
vsize: 41244
[startup+450.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 472474 0 0 0 43927 1075 0 0 25 0 1 0 899374675 42856448 9783 4294967295 134512640 134716908 3221224576 3221222860 1073986656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10463 9783 1111 63 0 10400 0
vsize: 41852
[startup+460.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 481259 0 0 0 44909 1094 0 0 25 0 1 0 899374675 43679744 9984 4294967295 134512640 134716908 3221224576 3221222496 1075799687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10664 9984 1111 63 0 10601 0
vsize: 42656
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 490215 0 0 0 45889 1114 0 0 25 0 1 0 899374675 45056000 10231 4294967295 134512640 134716908 3221224576 3221220736 1074794528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11000 10231 1111 63 0 10937 0
vsize: 44000
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 497702 0 0 0 46872 1131 0 0 25 0 1 0 899374675 45641728 10352 4294967295 134512640 134716908 3221224576 3221220460 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11143 10352 1111 63 0 11080 0
vsize: 44572
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 505586 0 0 0 47851 1152 0 0 25 0 1 0 899374675 45809664 10386 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11184 10386 1111 63 0 11121 0
vsize: 44736
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 513133 0 0 0 48832 1172 0 0 25 0 1 0 899374675 46346240 10524 4294967295 134512640 134716908 3221224576 3221220988 1075894404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11315 10524 1111 63 0 11252 0
vsize: 45260
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 520748 0 0 0 49813 1191 0 0 25 0 1 0 899374675 46804992 10658 4294967295 134512640 134716908 3221224576 3221220576 1075965308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11427 10658 1111 63 0 11364 0
vsize: 45708
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 527838 0 0 0 50795 1209 0 0 25 0 1 0 899374675 47382528 10772 4294967295 134512640 134716908 3221224576 3221220588 1074788897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11568 10772 1111 63 0 11505 0
vsize: 46272
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 535792 0 0 0 51776 1228 0 0 25 0 1 0 899374675 47292416 10849 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11546 10849 1111 63 0 11483 0
vsize: 46184
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 544156 0 0 0 52756 1248 0 0 25 0 1 0 899374675 47980544 11034 4294967295 134512640 134716908 3221224576 3221222928 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11714 11034 1111 63 0 11651 0
vsize: 46856
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 551209 0 0 0 53740 1264 0 0 25 0 1 0 899374675 49004544 11195 4294967295 134512640 134716908 3221224576 3221220736 1075093355 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11964 11195 1111 63 0 11901 0
vsize: 47856
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 558053 0 0 0 54725 1280 0 0 25 0 1 0 899374675 48947200 11265 4294967295 134512640 134716908 3221224576 3221223036 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11950 11265 1111 63 0 11887 0
vsize: 47800
[startup+570.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 566666 0 0 0 55708 1299 0 0 25 0 1 0 899374675 49516544 11404 4294967295 134512640 134716908 3221224576 3221222844 1077402400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12089 11404 1111 63 0 12026 0
vsize: 48356
[startup+577.801 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 29151
Raw data (stat): 29151 (bsolo_lpr-v2) R 29150 21152 21151 0 -1 0 566666 0 0 0 55708 1299 0 0 25 0 1 0 899374675 49516544 11404 4294967295 134512640 134716908 3221224576 3221222844 1077402400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12089 11404 1111 63 0 12026 0
vsize: 0

Child status: 30
Real time (s): 577.801
CPU time (s): 577.834
CPU user time (s): 564.672
CPU system time (s): 13.162
CPU usage (%): 100.006
Max. virtual memory (Kb): 48356
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1523
#### END VERIFIER DATA ####