PB'05 competition: run trace

Some explanations

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

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

General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0201.opb
MD5SUM	8c361d02d5162bb0b133ab6ed38f9294
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 40415

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 09:46:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28483 boxname=wulflinc2 idbench=1439 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  8c361d02d5162bb0b133ab6ed38f9294  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-p0201.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-p0201.opb
IDLAUNCH: 28483
/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:        907552 kB
Buffers:          7608 kB
Cached:          97416 kB
SwapCached:       1328 kB
Active:          22748 kB
Inactive:        84264 kB
HighTotal:      131008 kB
HighFree:        58492 kB
LowTotal:       903652 kB
LowFree:        849060 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4976 kB
Slab:            14252 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 09:56:31 (client local time) WITH STATUS 30 IN 581.623 SECONDS
stats: 28483 0 581.623 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.355 s
c Initial Lower Bound: 1425
c Lower Bound Elapsed time: 0.0505
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2034 @ 7.229
c NEW SOLUTION FOUND: 2022 @ 8.237
c NEW SOLUTION FOUND: 2018 @ 8.708
c NEW SOLUTION FOUND: 2012 @ 10.874
c NEW SOLUTION FOUND: 2006 @ 14.578
c NEW SOLUTION FOUND: 2000 @ 14.814
c NEW SOLUTION FOUND: 1989 @ 17.47
c NEW SOLUTION FOUND: 1978 @ 17.611
c NEW SOLUTION FOUND: 1954 @ 21.46
c NEW SOLUTION FOUND: 1940 @ 21.59
c NEW SOLUTION FOUND: 1922 @ 22.467
c NEW SOLUTION FOUND: 1898 @ 23.843
c NEW SOLUTION FOUND: 1895 @ 24.68
c NEW SOLUTION FOUND: 1859 @ 24.821
c NEW SOLUTION FOUND: 1848 @ 29.518
c NEW SOLUTION FOUND: 1829 @ 30.045
c NEW SOLUTION FOUND: 1804 @ 31.364
c NEW SOLUTION FOUND: 1784 @ 34.206
c NEW SOLUTION FOUND: 1744 @ 34.35
c NEW SOLUTION FOUND: 1723 @ 49.812
c NEW SOLUTION FOUND: 1717 @ 114.506
c NEW SOLUTION FOUND: 1707 @ 120.069
c NEW SOLUTION FOUND: 1705 @ 146.569
c NEW SOLUTION FOUND: 1695 @ 209.662
c NEW SOLUTION FOUND: 1693 @ 224.24
c NEW SOLUTION FOUND: 1680 @ 247.839
c NEW SOLUTION FOUND: 1670 @ 247.972
c NEW SOLUTION FOUND: 1649 @ 250.27
c NEW SOLUTION FOUND: 1631 @ 270.111
c NEW SOLUTION FOUND: 1621 @ 270.141
c NEW SOLUTION FOUND: 1591 @ 282.645
c NEW SOLUTION FOUND: 1581 @ 283.515
c NEW SOLUTION FOUND: 1573 @ 307.85
c NEW SOLUTION FOUND: 1563 @ 368.531
c NEW SOLUTION FOUND: 1561 @ 371.81
c NEW SOLUTION FOUND: 1545 @ 407.824
c NEW SOLUTION FOUND: 1535 @ 408.318
c NEW SOLUTION FOUND: 1533 @ 444.403
c NEW SOLUTION FOUND: 1523 @ 517.223
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: 581.594 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.86 0.95 0.94 2/54 8197
Raw data (stat): 8197 (runsolver) R 8196 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900669199 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.99997 s]
Raw data (loadavg): 0.88 0.95 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 6531 0 0 0 978 19 0 0 25 0 1 0 900669199 11137024 2039 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2719 2039 1111 63 0 2656 0
vsize: 10876
[startup+20.0002 s]
Raw data (loadavg): 0.90 0.95 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 15717 0 0 0 1948 49 0 0 25 0 1 0 900669199 12943360 2482 4294967295 134512640 134716908 3221224576 3221222576 1074917044 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3160 2482 1111 63 0 3097 0
vsize: 12640
[startup+30.0009 s]
Raw data (loadavg): 0.91 0.95 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 31071 0 0 0 2911 86 0 0 25 0 1 0 900669199 13803520 2692 4294967295 134512640 134716908 3221224576 3221221856 1074140701 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.0004 s]
Raw data (loadavg): 0.93 0.96 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 46325 0 0 0 3877 120 0 0 25 0 1 0 900669199 15187968 3021 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3708 3021 1111 63 0 3645 0
vsize: 14832
[startup+50.0008 s]
Raw data (loadavg): 0.94 0.96 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 55400 0 0 0 4856 141 0 0 25 0 1 0 900669199 15777792 3147 4294967295 134512640 134716908 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3918 3151 1111 63 0 3855 0
vsize: 15408
[startup+60.0013 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 67716 0 0 0 5829 168 0 0 25 0 1 0 900669199 16306176 3304 4294967295 134512640 134716908 3221224576 3221223024 1073990196 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3981 3304 1111 63 0 3918 0
vsize: 15924
[startup+70.0014 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 80585 0 0 0 6797 200 0 0 25 0 1 0 900669199 17436672 3488 4294967295 134512640 134716908 3221224576 3221220960 1075133250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4257 3488 1111 63 0 4194 0
vsize: 17028
[startup+80.0019 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 92612 0 0 0 7771 227 0 0 25 0 1 0 900669199 17612800 3623 4294967295 134512640 134716908 3221224576 3221222892 1077402400 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.0019 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 104364 0 0 0 8744 253 0 0 25 0 1 0 900669199 18714624 3799 4294967295 134512640 134716908 3221224576 3221220944 1075894558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4569 3799 1111 63 0 4506 0
vsize: 18276
[startup+100.003 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 116618 0 0 0 9717 280 0 0 25 0 1 0 900669199 18784256 3909 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4586 3909 1111 63 0 4523 0
vsize: 18344
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 128853 0 0 0 10690 307 0 0 25 0 1 0 900669199 19308544 4037 4294967295 134512640 134716908 3221224576 3221222576 1074918607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4714 4037 1111 63 0 4651 0
vsize: 18856
[startup+120.003 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 143306 0 0 0 11658 340 0 0 25 0 1 0 900669199 19611648 4111 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4788 4111 1111 63 0 4725 0
vsize: 19152
[startup+130.004 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 157530 0 0 0 12627 371 0 0 25 0 1 0 900669199 19857408 4171 4294967295 134512640 134716908 3221224576 3221222976 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4848 4171 1111 63 0 4785 0
vsize: 19392
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 168789 0 0 0 13601 397 0 0 25 0 1 0 900669199 21274624 4398 4294967295 134512640 134716908 3221224576 3221221152 1076048884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5194 4398 1111 63 0 5131 0
vsize: 20776
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 182519 0 0 0 14568 430 0 0 25 0 1 0 900669199 21200896 4498 4294967295 134512640 134716908 3221224576 3221222840 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5176 4498 1111 63 0 5113 0
vsize: 20704
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 195106 0 0 0 15541 458 0 0 25 0 1 0 900669199 21889024 4667 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5344 4667 1111 63 0 5281 0
vsize: 21376
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 206834 0 0 0 16515 484 0 0 25 0 1 0 900669199 22638592 4846 4294967295 134512640 134716908 3221224576 3221222304 1075828682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5527 4846 1111 63 0 5464 0
vsize: 22108
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 219233 0 0 0 17487 512 0 0 25 0 1 0 900669199 23887872 5054 4294967295 134512640 134716908 3221224576 3221220736 1074794640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5832 5054 1111 63 0 5769 0
vsize: 23328
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 230644 0 0 0 18461 538 0 0 25 0 1 0 900669199 24059904 5192 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5874 5192 1111 63 0 5811 0
vsize: 23496
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 241894 0 0 0 19436 564 0 0 25 0 1 0 900669199 25718784 5487 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6279 5487 1111 63 0 6216 0
vsize: 25116
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 256100 0 0 0 20403 597 0 0 25 0 1 0 900669199 25976832 5665 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6342 5665 1111 63 0 6279 0
vsize: 25368
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 266948 0 0 0 21376 624 0 0 25 0 1 0 900669199 26939392 5899 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6577 5899 1111 63 0 6514 0
vsize: 26308
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 277461 0 0 0 22350 650 0 0 25 0 1 0 900669199 27979776 6154 4294967295 134512640 134716908 3221224576 3221222576 1074916866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6831 6154 1111 63 0 6768 0
vsize: 27324
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 290678 0 0 0 23322 678 0 0 25 0 1 0 900669199 29491200 6405 4294967295 134512640 134716908 3221224576 3221220728 1074883357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7200 6405 1111 63 0 7137 0
vsize: 28800
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 303929 0 0 0 24293 707 0 0 25 0 1 0 900669199 30035968 6642 4294967295 134512640 134716908 3221224576 3221223168 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7333 6642 1111 63 0 7270 0
vsize: 29332
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 314211 0 0 0 25271 729 0 0 25 0 1 0 900669199 30953472 6871 4294967295 134512640 134716908 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7557 6871 1111 63 0 7494 0
vsize: 30228
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 324683 0 0 0 26245 755 0 0 25 0 1 0 900669199 32215040 7060 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7865 7061 1111 63 0 7802 0
vsize: 31460
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 334951 0 0 0 27222 779 0 0 25 0 1 0 900669199 32784384 7320 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8004 7320 1111 63 0 7941 0
vsize: 32016
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 341329 0 0 0 28206 795 0 0 25 0 1 0 900669199 33394688 7469 4294967295 134512640 134716908 3221224576 3221222880 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8153 7469 1111 63 0 8090 0
vsize: 32612
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 349453 0 0 0 29187 814 0 0 25 0 1 0 900669199 34107392 7644 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8327 7644 1111 63 0 8264 0
vsize: 33308
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 357919 0 0 0 30166 836 0 0 25 0 1 0 900669199 34697216 7788 4294967295 134512640 134716908 3221224576 3221223208 134543541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8471 7788 1111 63 0 8408 0
vsize: 33884
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 365176 0 0 0 31148 854 0 0 25 0 1 0 900669199 35794944 7970 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8739 7971 1111 63 0 8676 0
vsize: 34956
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 373022 0 0 0 32130 872 0 0 25 0 1 0 900669199 35733504 8041 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8724 8041 1111 63 0 8661 0
vsize: 34896
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 381122 0 0 0 33109 892 0 0 25 0 1 0 900669199 36855808 8192 4294967295 134512640 134716908 3221224576 3221221504 1075890980 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8998 8192 1111 63 0 8935 0
vsize: 35992
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 389134 0 0 0 34092 910 0 0 25 0 1 0 900669199 37527552 8401 4294967295 134512640 134716908 3221224576 3221220736 1074794571 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9162 8401 1111 63 0 9099 0
vsize: 36648
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 397090 0 0 0 35074 928 0 0 25 0 1 0 900669199 38060032 8529 4294967295 134512640 134716908 3221224576 3221220736 1075093184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9292 8529 1111 63 0 9229 0
vsize: 37168
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 405467 0 0 0 36054 948 0 0 25 0 1 0 900669199 38064128 8611 4294967295 134512640 134716908 3221224576 3221223168 134652405 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9293 8611 1111 63 0 9230 0
vsize: 37172
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 412788 0 0 0 37037 966 0 0 25 0 1 0 900669199 38428672 8700 4294967295 134512640 134716908 3221224576 3221223132 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9382 8700 1111 63 0 9319 0
vsize: 37528
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 421809 0 0 0 38015 988 0 0 25 0 1 0 900669199 39751680 8920 4294967295 134512640 134716908 3221224576 3221220452 1074786567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9705 8920 1111 63 0 9642 0
vsize: 38820
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 429167 0 0 0 38998 1005 0 0 25 0 1 0 900669199 39661568 9003 4294967295 134512640 134716908 3221224576 3221222560 1074056045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9683 9003 1111 63 0 9620 0
vsize: 38732
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 438186 0 0 0 39976 1028 0 0 25 0 1 0 900669199 40308736 9161 4294967295 134512640 134716908 3221224576 3221222928 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9841 9161 1111 63 0 9778 0
vsize: 39364
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 446280 0 0 0 40956 1048 0 0 25 0 1 0 900669199 41619456 9367 4294967295 134512640 134716908 3221224576 3221220848 1074961003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10161 9368 1111 63 0 10098 0
vsize: 40644
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 454541 0 0 0 41935 1068 0 0 25 0 1 0 900669199 41689088 9498 4294967295 134512640 134716908 3221224576 3221223132 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10178 9498 1111 63 0 10115 0
vsize: 40712
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 461733 0 0 0 42919 1085 0 0 25 0 1 0 900669199 42680320 9654 4294967295 134512640 134716908 3221224576 3221220720 1074970285 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10420 9654 1111 63 0 10357 0
vsize: 41680
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 469829 0 0 0 43901 1103 0 0 25 0 1 0 900669199 43352064 9783 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10584 9783 1111 63 0 10521 0
vsize: 42336
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 478352 0 0 0 44879 1125 0 0 25 0 1 0 900669199 43339776 9901 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10581 9901 1111 63 0 10518 0
vsize: 42324
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 487127 0 0 0 45859 1145 0 0 25 0 1 0 900669199 44212224 10114 4294967295 134512640 134716908 3221224576 3221222304 1075828514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10794 10114 1111 63 0 10731 0
vsize: 43176
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 495231 0 0 0 46841 1163 0 0 25 0 1 0 900669199 44720128 10238 4294967295 134512640 134716908 3221224576 3221222708 1077378583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10918 10238 1111 63 0 10855 0
vsize: 43672
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 502664 0 0 0 47824 1181 0 0 25 0 1 0 900669199 45039616 10316 4294967295 134512640 134716908 3221224576 3221222828 1077374432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10996 10316 1111 63 0 10933 0
vsize: 43984
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 510581 0 0 0 48805 1200 0 0 25 0 1 0 900669199 46174208 10505 4294967295 134512640 134716908 3221224576 3221220780 1075564295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11273 10505 1111 63 0 11210 0
vsize: 45092
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 518295 0 0 0 49786 1219 0 0 25 0 1 0 900669199 46686208 10606 4294967295 134512640 134716908 3221224576 3221221560 1074831385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11398 10606 1111 63 0 11335 0
vsize: 45592
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 525627 0 0 0 50769 1236 0 0 25 0 1 0 900669199 47169536 10749 4294967295 134512640 134716908 3221224576 3221220736 1074794508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11516 10749 1111 63 0 11453 0
vsize: 46064
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 532881 0 0 0 51753 1253 0 0 25 0 1 0 900669199 47017984 10799 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11479 10799 1111 63 0 11416 0
vsize: 45916
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 541080 0 0 0 52734 1271 0 0 25 0 1 0 900669199 48181248 10999 4294967295 134512640 134716908 3221224576 3221220896 1075171056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11763 10999 1111 63 0 11700 0
vsize: 47052
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 548887 0 0 0 53715 1290 0 0 25 0 1 0 900669199 48218112 11092 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11772 11092 1111 63 0 11709 0
vsize: 47088
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 555947 0 0 0 54699 1307 0 0 25 0 1 0 900669199 49467392 11302 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12077 11302 1111 63 0 12014 0
vsize: 48308
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 563275 0 0 0 55683 1323 0 0 25 0 1 0 900669199 49770496 11373 4294967295 134512640 134716908 3221224576 3221220672 1074788601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12151 11373 1111 63 0 12088 0
vsize: 48604
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 571991 0 0 0 56663 1343 0 0 25 0 1 0 900669199 50565120 11557 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12345 11568 1111 63 0 12282 0
vsize: 49380
[startup+581.561 s]
Raw data (loadavg): 0.99 0.97 0.94 1/53 8197
Raw data (stat): 8197 (bsolo_lpr-v2) R 8196 31399 31398 0 -1 0 571991 0 0 0 56663 1343 0 0 25 0 1 0 900669199 50565120 11557 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12345 11568 1111 63 0 12282 0
vsize: 0

Child status: 30
Real time (s): 581.561
CPU time (s): 581.623
CPU user time (s): 568.136
CPU system time (s): 13.4869
CPU usage (%): 100.011
Max. virtual memory (Kb): 49380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1523
#### END VERIFIER DATA ####