PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:

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

General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-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.02284
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 39909

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 22:22:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27977 boxname=wulflinc4 idbench=933 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  ffa3a55eb53181880328dd1b84f91e66  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-p0201.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-p0201.opb
IDLAUNCH: 27977
/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:        897488 kB
Buffers:          4976 kB
Cached:         109848 kB
SwapCached:        844 kB
Active:          23460 kB
Inactive:        93344 kB
HighTotal:      131008 kB
HighFree:        23772 kB
LowTotal:       903652 kB
LowFree:        873716 kB
SwapTotal:     2097136 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4892 kB
Slab:            14708 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 22:31:55 (client local time) WITH STATUS 30 IN 586.717 SECONDS
stats: 27977 0 586.717 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.349 s
c Initial Lower Bound: 1425
c Lower Bound Elapsed time: 0.05
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2034 @ 7.117
c NEW SOLUTION FOUND: 2022 @ 8.107
c NEW SOLUTION FOUND: 2018 @ 8.57
c NEW SOLUTION FOUND: 2012 @ 10.734
c NEW SOLUTION FOUND: 2006 @ 14.405
c NEW SOLUTION FOUND: 2000 @ 14.633
c NEW SOLUTION FOUND: 1989 @ 17.236
c NEW SOLUTION FOUND: 1978 @ 17.375
c NEW SOLUTION FOUND: 1954 @ 21.191
c NEW SOLUTION FOUND: 1940 @ 21.322
c NEW SOLUTION FOUND: 1922 @ 22.207
c NEW SOLUTION FOUND: 1898 @ 23.561
c NEW SOLUTION FOUND: 1895 @ 24.398
c NEW SOLUTION FOUND: 1859 @ 24.538
c NEW SOLUTION FOUND: 1848 @ 29.323
c NEW SOLUTION FOUND: 1829 @ 29.838
c NEW SOLUTION FOUND: 1804 @ 31.132
c NEW SOLUTION FOUND: 1784 @ 33.999
c NEW SOLUTION FOUND: 1744 @ 34.145
c NEW SOLUTION FOUND: 1723 @ 49.846
c NEW SOLUTION FOUND: 1717 @ 115.194
c NEW SOLUTION FOUND: 1707 @ 120.81
c NEW SOLUTION FOUND: 1705 @ 147.548
c NEW SOLUTION FOUND: 1695 @ 211.17
c NEW SOLUTION FOUND: 1693 @ 225.874
c NEW SOLUTION FOUND: 1680 @ 249.704
c NEW SOLUTION FOUND: 1670 @ 249.838
c NEW SOLUTION FOUND: 1649 @ 252.149
c NEW SOLUTION FOUND: 1631 @ 272.139
c NEW SOLUTION FOUND: 1621 @ 272.169
c NEW SOLUTION FOUND: 1591 @ 284.741
c NEW SOLUTION FOUND: 1581 @ 285.613
c NEW SOLUTION FOUND: 1573 @ 310.18
c NEW SOLUTION FOUND: 1563 @ 371.415
c NEW SOLUTION FOUND: 1561 @ 374.735
c NEW SOLUTION FOUND: 1545 @ 411.138
c NEW SOLUTION FOUND: 1535 @ 411.636
c NEW SOLUTION FOUND: 1533 @ 448.043
c NEW SOLUTION FOUND: 1523 @ 521.625
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: 586.683 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.71 0.90 0.89 2/54 21997
Raw data (stat): 21997 (runsolver) R 21996 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896547401 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.0011 s]
Raw data (loadavg): 0.75 0.90 0.89 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 6681 0 0 0 977 20 0 0 25 0 1 0 896547401 11177984 2051 4294967295 134512640 134716908 3221224576 3221222960 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2729 2051 1111 63 0 2666 0
vsize: 10916
[startup+20.0018 s]
Raw data (loadavg): 0.79 0.90 0.89 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 15937 0 0 0 1948 48 0 0 25 0 1 0 896547401 12943360 2482 4294967295 134512640 134716908 3221224576 3221222940 1074057616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3160 2482 1111 63 0 3097 0
vsize: 12640
[startup+30.0018 s]
Raw data (loadavg): 0.82 0.91 0.89 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 31652 0 0 0 2909 86 0 0 25 0 1 0 896547401 13803520 2692 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3370 2692 1111 63 0 3307 0
vsize: 13480
[startup+40.0025 s]
Raw data (loadavg): 0.85 0.91 0.89 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 46393 0 0 0 3872 123 0 0 25 0 1 0 896547401 15142912 3020 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3697 3020 1111 63 0 3634 0
vsize: 14788
[startup+50.0028 s]
Raw data (loadavg): 0.87 0.91 0.89 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 55381 0 0 0 4851 145 0 0 25 0 1 0 896547401 16314368 3189 4294967295 134512640 134716908 3221224576 3221221140 1074888065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3983 3189 1111 63 0 3920 0
vsize: 15932
[startup+60.0033 s]
Raw data (loadavg): 0.89 0.91 0.89 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 67579 0 0 0 5820 176 0 0 25 0 1 0 896547401 16351232 3304 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3982 3304 1111 63 0 3919 0
vsize: 15968
[startup+70.0041 s]
Raw data (loadavg): 0.91 0.92 0.89 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 80324 0 0 0 6790 206 0 0 25 0 1 0 896547401 16867328 3441 4294967295 134512640 134716908 3221224576 3221222744 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4118 3441 1111 63 0 4055 0
vsize: 16472
[startup+80.0039 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 92203 0 0 0 7761 235 0 0 25 0 1 0 896547401 17612800 3623 4294967295 134512640 134716908 3221224576 3221222912 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4300 3623 1111 63 0 4237 0
vsize: 17200
[startup+90.0038 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 103962 0 0 0 8735 261 0 0 25 0 1 0 896547401 18157568 3754 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4433 3754 1111 63 0 4370 0
vsize: 17732
[startup+100.004 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 115898 0 0 0 9706 291 0 0 25 0 1 0 896547401 19378176 3955 4294967295 134512640 134716908 3221224576 3221220588 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4731 3955 1111 63 0 4668 0
vsize: 18924
[startup+110.005 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 128198 0 0 0 10677 320 0 0 25 0 1 0 896547401 19963904 4083 4294967295 134512640 134716908 3221224576 3221220848 1074960926 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4874 4083 1111 63 0 4811 0
vsize: 19496
[startup+120.005 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 142301 0 0 0 11647 350 0 0 25 0 1 0 896547401 19632128 4111 4294967295 134512640 134716908 3221224576 3221222440 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4793 4111 1111 63 0 4730 0
vsize: 19172
[startup+130.005 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 156618 0 0 0 12613 384 0 0 25 0 1 0 896547401 19828736 4164 4294967295 134512640 134716908 3221224576 3221223296 134558537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4841 4164 1111 63 0 4778 0
vsize: 19364
[startup+140.005 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 167726 0 0 0 13586 412 0 0 25 0 1 0 896547401 21102592 4385 4294967295 134512640 134716908 3221224576 3221220736 1075090557 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5152 4386 1111 63 0 5089 0
vsize: 20608
[startup+150.005 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 181084 0 0 0 14555 442 0 0 25 0 1 0 896547401 21737472 4541 4294967295 134512640 134716908 3221224576 3221221496 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5307 4541 1111 63 0 5244 0
vsize: 21228
[startup+160.005 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 193804 0 0 0 15523 474 0 0 25 0 1 0 896547401 22339584 4683 4294967295 134512640 134716908 3221224576 3221220672 1074790226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5454 4683 1111 63 0 5391 0
vsize: 21816
[startup+170.005 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 205544 0 0 0 16493 504 0 0 25 0 1 0 896547401 23158784 4869 4294967295 134512640 134716908 3221224576 3221220944 1075894558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5654 4869 1111 63 0 5591 0
vsize: 22616
[startup+180.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 217639 0 0 0 17468 530 0 0 25 0 1 0 896547401 23166976 4978 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5656 4978 1111 63 0 5593 0
vsize: 22624
[startup+190.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 229094 0 0 0 18441 557 0 0 25 0 1 0 896547401 24457216 5206 4294967295 134512640 134716908 3221224576 3221220848 1074960868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5971 5206 1111 63 0 5908 0
vsize: 23884
[startup+200.005 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 240504 0 0 0 19416 582 0 0 25 0 1 0 896547401 25477120 5452 4294967295 134512640 134716908 3221224576 3221220668 1075663457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6220 5452 1111 63 0 6157 0
vsize: 24880
[startup+210.005 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 253838 0 0 0 20386 612 0 0 25 0 1 0 896547401 25841664 5632 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6309 5632 1111 63 0 6246 0
vsize: 25236
[startup+220.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 265142 0 0 0 21358 640 0 0 25 0 1 0 896547401 26787840 5863 4294967295 134512640 134716908 3221224576 3221222784 1074143916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6540 5863 1111 63 0 6477 0
vsize: 26160
[startup+230.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 275845 0 0 0 22332 666 0 0 25 0 1 0 896547401 27824128 6116 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6793 6116 1111 63 0 6730 0
vsize: 27172
[startup+240.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 288374 0 0 0 23305 694 0 0 25 0 1 0 896547401 28651520 6316 4294967295 134512640 134716908 3221224576 3221222320 1075640481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6995 6316 1111 63 0 6932 0
vsize: 27980
[startup+250.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 300740 0 0 0 24277 722 0 0 25 0 1 0 896547401 29696000 6570 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7250 6570 1111 63 0 7187 0
vsize: 29000
[startup+260.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 311799 0 0 0 25252 747 0 0 25 0 1 0 896547401 30846976 6851 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7531 6851 1111 63 0 7468 0
vsize: 30124
[startup+270.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 323100 0 0 0 26227 772 0 0 25 0 1 0 896547401 32022528 7047 4294967295 134512640 134716908 3221224576 3221220588 1074788977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7818 7047 1111 63 0 7755 0
vsize: 31272
[startup+280.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 333196 0 0 0 27203 796 0 0 25 0 1 0 896547401 32604160 7276 4294967295 134512640 134716908 3221224576 3221222576 1074918536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7960 7276 1111 63 0 7897 0
vsize: 31840
[startup+290.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 339706 0 0 0 28188 811 0 0 25 0 1 0 896547401 33361920 7430 4294967295 134512640 134716908 3221224576 3221221640 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8145 7436 1111 63 0 8082 0
vsize: 32580
[startup+300.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 347357 0 0 0 29168 831 0 0 25 0 1 0 896547401 34508800 7643 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8425 7643 1111 63 0 8362 0
vsize: 33700
[startup+310.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 354715 0 0 0 30152 848 0 0 25 0 1 0 896547401 35045376 7759 4294967295 134512640 134716908 3221224576 3221220944 1075894480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8556 7759 1111 63 0 8493 0
vsize: 34224
[startup+320.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 363509 0 0 0 31133 867 0 0 25 0 1 0 896547401 35119104 7891 4294967295 134512640 134716908 3221224576 3221221920 1074839053 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8574 7891 1111 63 0 8511 0
vsize: 34296
[startup+330.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 371424 0 0 0 32114 886 0 0 25 0 1 0 896547401 35688448 8030 4294967295 134512640 134716908 3221224576 3221223040 1074121071 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8713 8030 1111 63 0 8650 0
vsize: 34852
[startup+340.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 378970 0 0 0 33097 903 0 0 25 0 1 0 896547401 36110336 8133 4294967295 134512640 134716908 3221224576 3221223200 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8816 8133 1111 63 0 8753 0
vsize: 35264
[startup+350.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 387052 0 0 0 34078 923 0 0 25 0 1 0 896547401 36765696 8294 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8976 8294 1111 63 0 8913 0
vsize: 35904
[startup+360.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 394965 0 0 0 35059 941 0 0 25 0 1 0 896547401 38027264 8491 4294967295 134512640 134716908 3221224576 3221221176 1075850685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9284 8491 1111 63 0 9221 0
vsize: 37136
[startup+370.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 403038 0 0 0 36041 960 0 0 25 0 1 0 896547401 38510592 8610 4294967295 134512640 134716908 3221224576 3221220944 1075894549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9402 8610 1111 63 0 9339 0
vsize: 37608
[startup+380.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 410638 0 0 0 37022 979 0 0 25 0 1 0 896547401 38379520 8669 4294967295 134512640 134716908 3221224576 3221222576 1074916260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9370 8669 1111 63 0 9307 0
vsize: 37480
[startup+390.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 419328 0 0 0 38002 999 0 0 25 0 1 0 896547401 38887424 8814 4294967295 134512640 134716908 3221224576 3221222528 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9494 8814 1111 63 0 9431 0
vsize: 37976
[startup+400.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 426725 0 0 0 38986 1015 0 0 25 0 1 0 896547401 39559168 8978 4294967295 134512640 134716908 3221224576 3221222716 1075963296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9658 8978 1111 63 0 9595 0
vsize: 38632
[startup+410.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 434379 0 0 0 39967 1035 0 0 25 0 1 0 896547401 40050688 9098 4294967295 134512640 134716908 3221224576 3221222516 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9778 9098 1111 63 0 9715 0
vsize: 39112
[startup+420.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 443344 0 0 0 40945 1057 0 0 25 0 1 0 896547401 40734720 9265 4294967295 134512640 134716908 3221224576 3221222876 1074064918 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9945 9265 1111 63 0 9882 0
vsize: 39780
[startup+430.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 451793 0 0 0 41924 1077 0 0 25 0 1 0 896547401 41410560 9430 4294967295 134512640 134716908 3221224576 3221222796 1073986667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10110 9430 1111 63 0 10047 0
vsize: 40440
[startup+440.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 458951 0 0 0 42908 1094 0 0 25 0 1 0 896547401 42164224 9550 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10359 9556 1111 63 0 10296 0
vsize: 41176
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 466859 0 0 0 43890 1112 0 0 25 0 1 0 896547401 43028480 9739 4294967295 134512640 134716908 3221224576 3221221232 1075966250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10505 9739 1111 63 0 10442 0
vsize: 42020
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 474580 0 0 0 44873 1129 0 0 25 0 1 0 896547401 43581440 9863 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10640 9863 1111 63 0 10577 0
vsize: 42560
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 483662 0 0 0 45850 1153 0 0 25 0 1 0 896547401 44425216 10081 4294967295 134512640 134716908 3221224576 3221220960 1074972795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10846 10081 1111 63 0 10783 0
vsize: 43384
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 492377 0 0 0 46830 1172 0 0 25 0 1 0 896547401 44630016 10216 4294967295 134512640 134716908 3221224576 3221222976 1074118784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10896 10216 1111 63 0 10833 0
vsize: 43584
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 499662 0 0 0 47814 1189 0 0 25 0 1 0 896547401 45563904 10321 4294967295 134512640 134716908 3221224576 3221221232 1075966240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11124 10321 1111 63 0 11061 0
vsize: 44496
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 507647 0 0 0 48795 1208 0 0 25 0 1 0 896547401 46141440 10483 4294967295 134512640 134716908 3221224576 3221220508 1074788103 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11265 10483 1111 63 0 11202 0
vsize: 45060
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 514900 0 0 0 49776 1227 0 0 25 0 1 0 896547401 45842432 10512 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11192 10512 1111 63 0 11129 0
vsize: 44768
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 521868 0 0 0 50759 1244 0 0 25 0 1 0 896547401 46198784 10599 4294967295 134512640 134716908 3221224576 3221222372 1077374077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11279 10599 1111 63 0 11216 0
vsize: 45116
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 529388 0 0 0 51741 1263 0 0 25 0 1 0 896547401 47464448 10794 4294967295 134512640 134716908 3221224576 3221220848 1074960857 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11588 10794 1111 63 0 11525 0
vsize: 46352
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 537376 0 0 0 52722 1282 0 0 25 0 1 0 896547401 47988736 10923 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11716 10923 1111 63 0 11653 0
vsize: 46864
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 545464 0 0 0 53704 1300 0 0 25 0 1 0 896547401 48623616 11109 4294967295 134512640 134716908 3221224576 3221220544 1075965303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11871 11109 1111 63 0 11808 0
vsize: 47484
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 552338 0 0 0 54687 1317 0 0 25 0 1 0 896547401 49078272 11203 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11982 11203 1111 63 0 11919 0
vsize: 47928
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 559143 0 0 0 55671 1334 0 0 25 0 1 0 896547401 48979968 11273 4294967295 134512640 134716908 3221224576 3221223200 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11958 11273 1111 63 0 11895 0
vsize: 47832
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 567728 0 0 0 56651 1353 0 0 25 0 1 0 896547401 49664000 11440 4294967295 134512640 134716908 3221224576 3221222304 1075829517 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12125 11440 1111 63 0 12062 0
vsize: 48500
[startup+586.673 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 21997
Raw data (stat): 21997 (bsolo_lpr-v2) R 21996 21152 21151 0 -1 0 567728 0 0 0 56651 1353 0 0 25 0 1 0 896547401 49664000 11440 4294967295 134512640 134716908 3221224576 3221222304 1075829517 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12125 11440 1111 63 0 12062 0
vsize: 0

Child status: 30
Real time (s): 586.673
CPU time (s): 586.717
CPU user time (s): 573.03
CPU system time (s): 13.6869
CPU usage (%): 100.007
Max. virtual memory (Kb): 48500
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1523
#### END VERIFIER DATA ####