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-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.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 40031

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 01:05:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28099 boxname=wulflinc1 idbench=1055 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  8c361d02d5162bb0b133ab6ed38f9294  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-p0201.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-p0201.opb
IDLAUNCH: 28099
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        906396 kB
Buffers:         16172 kB
Cached:          87428 kB
SwapCached:       1120 kB
Active:          23264 kB
Inactive:        82464 kB
HighTotal:      131008 kB
HighFree:        41076 kB
LowTotal:       903652 kB
LowFree:        865320 kB
SwapTotal:     2097136 kB
SwapFree:      2094844 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5200 kB
Slab:            16748 kB
Committed_AS:    92704 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 01:15:16 (client local time) WITH STATUS 30 IN 579.73 SECONDS
stats: 28099 0 579.73 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.375 s
c Initial Lower Bound: 1425
c Lower Bound Elapsed time: 0.0495
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2034 @ 7.112
c NEW SOLUTION FOUND: 2022 @ 8.102
c NEW SOLUTION FOUND: 2018 @ 8.566
c NEW SOLUTION FOUND: 2012 @ 10.74
c NEW SOLUTION FOUND: 2006 @ 14.429
c NEW SOLUTION FOUND: 2000 @ 14.658
c NEW SOLUTION FOUND: 1989 @ 17.272
c NEW SOLUTION FOUND: 1978 @ 17.412
c NEW SOLUTION FOUND: 1954 @ 21.208
c NEW SOLUTION FOUND: 1940 @ 21.338
c NEW SOLUTION FOUND: 1922 @ 22.217
c NEW SOLUTION FOUND: 1898 @ 23.552
c NEW SOLUTION FOUND: 1895 @ 24.379
c NEW SOLUTION FOUND: 1859 @ 24.517
c NEW SOLUTION FOUND: 1848 @ 29.198
c NEW SOLUTION FOUND: 1829 @ 29.715
c NEW SOLUTION FOUND: 1804 @ 31.01
c NEW SOLUTION FOUND: 1784 @ 33.849
c NEW SOLUTION FOUND: 1744 @ 33.992
c NEW SOLUTION FOUND: 1723 @ 49.571
c NEW SOLUTION FOUND: 1717 @ 114.096
c NEW SOLUTION FOUND: 1707 @ 119.625
c NEW SOLUTION FOUND: 1705 @ 145.993
c NEW SOLUTION FOUND: 1695 @ 208.901
c NEW SOLUTION FOUND: 1693 @ 223.441
c NEW SOLUTION FOUND: 1680 @ 246.961
c NEW SOLUTION FOUND: 1670 @ 247.092
c NEW SOLUTION FOUND: 1649 @ 249.383
c NEW SOLUTION FOUND: 1631 @ 269.159
c NEW SOLUTION FOUND: 1621 @ 269.187
c NEW SOLUTION FOUND: 1591 @ 281.636
c NEW SOLUTION FOUND: 1581 @ 282.498
c NEW SOLUTION FOUND: 1573 @ 306.76
c NEW SOLUTION FOUND: 1563 @ 367.282
c NEW SOLUTION FOUND: 1561 @ 370.56
c NEW SOLUTION FOUND: 1545 @ 406.493
c NEW SOLUTION FOUND: 1535 @ 406.987
c NEW SOLUTION FOUND: 1533 @ 443
c NEW SOLUTION FOUND: 1523 @ 515.594
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: 579.698 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.79 0.95 0.90 2/55 14623
Raw data (stat): 14623 (runsolver) R 14622 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 840680925 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.001 s]
Raw data (loadavg): 0.82 0.95 0.90 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 6681 0 0 0 979 18 0 0 25 0 1 0 840680925 11177984 2051 4294967295 134512640 134716908 3221224576 3221222688 1074867314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2729 2051 1111 63 0 2666 0
vsize: 10916
[startup+20.0007 s]
Raw data (loadavg): 0.85 0.95 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 15928 0 0 0 1952 46 0 0 25 0 1 0 840680925 12943360 2482 4294967295 134512640 134716908 3221224576 3221222936 1077410279 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.002 s]
Raw data (loadavg): 0.87 0.95 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 32160 0 0 0 2917 81 0 0 25 0 1 0 840680925 13889536 2710 4294967295 134512640 134716908 3221224576 3221221496 1077377742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3391 2710 1111 63 0 3328 0
vsize: 13564
[startup+40.0023 s]
Raw data (loadavg): 0.89 0.95 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 46602 0 0 0 3882 115 0 0 25 0 1 0 840680925 15704064 3065 4294967295 134512640 134716908 3221224576 3221220848 1074806295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3834 3065 1111 63 0 3771 0
vsize: 15336
[startup+50.0031 s]
Raw data (loadavg): 0.91 0.96 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 55647 0 0 0 4860 137 0 0 25 0 1 0 840680925 15695872 3155 4294967295 134512640 134716908 3221224576 3221222508 1074057894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3832 3155 1111 63 0 3769 0
vsize: 15328
[startup+60.0029 s]
Raw data (loadavg): 0.92 0.96 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 68050 0 0 0 5832 166 0 0 25 0 1 0 840680925 16326656 3309 4294967295 134512640 134716908 3221224576 3221222688 1074867212 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3986 3309 1111 63 0 3923 0
vsize: 15944
[startup+70.0027 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 80863 0 0 0 6800 198 0 0 25 0 1 0 840680925 17592320 3494 4294967295 134512640 134716908 3221224576 3221221136 1076046556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4295 3494 1111 63 0 4232 0
vsize: 17180
[startup+80.0035 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 93138 0 0 0 7770 229 0 0 25 0 1 0 840680925 18149376 3661 4294967295 134512640 134716908 3221224576 3221221120 1075088560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4431 3661 1111 63 0 4368 0
vsize: 17724
[startup+90.0037 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 104691 0 0 0 8742 257 0 0 25 0 1 0 840680925 18755584 3777 4294967295 134512640 134716908 3221224576 3221221616 1075860565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4579 3777 1111 63 0 4516 0
vsize: 18316
[startup+100.003 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 117082 0 0 0 9714 284 0 0 25 0 1 0 840680925 18800640 3912 4294967295 134512640 134716908 3221224576 3221222912 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4590 3912 1111 63 0 4527 0
vsize: 18360
[startup+110.004 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 129290 0 0 0 10687 312 0 0 25 0 1 0 840680925 19345408 4045 4294967295 134512640 134716908 3221224576 3221222780 1077404777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4723 4045 1111 63 0 4660 0
vsize: 18892
[startup+120.004 s]
Raw data (loadavg): 0.97 0.96 0.91 3/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 143995 0 0 0 11653 346 0 0 25 0 1 0 840680925 20148224 4151 4294967295 134512640 134716908 3221224576 3221220540 1074860620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4919 4151 1111 63 0 4856 0
vsize: 19676
[startup+130.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 158237 0 0 0 12620 379 0 0 25 0 1 0 840680925 20434944 4220 4294967295 134512640 134716908 3221224576 3221220688 1075895897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4989 4220 1111 63 0 4926 0
vsize: 19956
[startup+140.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 169346 0 0 0 13594 405 0 0 25 0 1 0 840680925 20652032 4365 4294967295 134512640 134716908 3221224576 3221222576 1074056648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5042 4365 1111 63 0 4979 0
vsize: 20168
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 183325 0 0 0 14561 439 0 0 25 0 1 0 840680925 21938176 4557 4294967295 134512640 134716908 3221224576 3221221408 1075115385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5356 4557 1111 63 0 5293 0
vsize: 21424
[startup+160.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 195825 0 0 0 15530 469 0 0 25 0 1 0 840680925 22454272 4713 4294967295 134512640 134716908 3221224576 3221220540 1074860608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5482 4713 1111 63 0 5419 0
vsize: 21928
[startup+170.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 207580 0 0 0 16501 499 0 0 25 0 1 0 840680925 23195648 4899 4294967295 134512640 134716908 3221224576 3221220816 1075115768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5663 4899 1111 63 0 5600 0
vsize: 22652
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 219917 0 0 0 17472 528 0 0 25 0 1 0 840680925 23363584 5024 4294967295 134512640 134716908 3221224576 3221223472 134621520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5704 5024 1111 63 0 5641 0
vsize: 22816
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 231656 0 0 0 18446 554 0 0 25 0 1 0 840680925 24674304 5256 4294967295 134512640 134716908 3221224576 3221220452 1074786513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6024 5256 1111 63 0 5961 0
vsize: 24096
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 242396 0 0 0 19421 579 0 0 25 0 1 0 840680925 25124864 5457 4294967295 134512640 134716908 3221224576 3221221752 1074207825 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6134 5457 1111 63 0 6071 0
vsize: 24536
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 257106 0 0 0 20391 609 0 0 25 0 1 0 840680925 26628096 5734 4294967295 134512640 134716908 3221224576 3221221064 1075006389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6501 5734 1111 63 0 6438 0
vsize: 26004
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 267906 0 0 0 21366 635 0 0 25 0 1 0 840680925 27598848 5970 4294967295 134512640 134716908 3221224576 3221220720 1074792095 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6738 5970 1111 63 0 6675 0
vsize: 26952
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 278099 0 0 0 22341 660 0 0 25 0 1 0 840680925 28094464 6177 4294967295 134512640 134716908 3221224576 3221223036 134535959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6859 6177 1111 63 0 6796 0
vsize: 27436
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 291618 0 0 0 23308 692 0 0 25 0 1 0 840680925 29507584 6407 4294967295 134512640 134716908 3221224576 3221220736 1074794589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7204 6407 1111 63 0 7141 0
vsize: 28816
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 304820 0 0 0 24276 725 0 0 25 0 1 0 840680925 30658560 6715 4294967295 134512640 134716908 3221224576 3221220736 1075093377 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7485 6715 1111 63 0 7422 0
vsize: 29940
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 315195 0 0 0 25250 751 0 0 25 0 1 0 840680925 31571968 6935 4294967295 134512640 134716908 3221224576 3221220848 1074960970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7708 6935 1111 63 0 7645 0
vsize: 30832
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 325900 0 0 0 26225 776 0 0 25 0 1 0 840680925 32436224 7121 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7919 7121 1111 63 0 7856 0
vsize: 31676
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 335676 0 0 0 27201 800 0 0 25 0 1 0 840680925 32886784 7345 4294967295 134512640 134716908 3221224576 3221222820 1074051428 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8029 7345 1111 63 0 7966 0
vsize: 32116
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 341885 0 0 0 28186 816 0 0 25 0 1 0 840680925 34144256 7533 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8336 7533 1111 63 0 8273 0
vsize: 33344
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 350316 0 0 0 29166 835 0 0 25 0 1 0 840680925 34181120 7662 4294967295 134512640 134716908 3221224576 3221223132 134536820 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8345 7662 1111 63 0 8282 0
vsize: 33380
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 358481 0 0 0 30148 854 0 0 25 0 1 0 840680925 35389440 7847 4294967295 134512640 134716908 3221224576 3221221412 1074786520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8640 7847 1111 63 0 8577 0
vsize: 34560
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 366258 0 0 0 31129 873 0 0 25 0 1 0 840680925 35844096 7967 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8751 7967 1111 63 0 8688 0
vsize: 35004
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 373898 0 0 0 32112 890 0 0 25 0 1 0 840680925 35811328 8049 4294967295 134512640 134716908 3221224576 3221222100 1077378730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8743 8049 1111 63 0 8680 0
vsize: 34972
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 382186 0 0 0 33094 908 0 0 25 0 1 0 840680925 37060608 8248 4294967295 134512640 134716908 3221224576 3221221136 1074888071 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9048 8248 1111 63 0 8985 0
vsize: 36192
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 390081 0 0 0 34075 927 0 0 25 0 1 0 840680925 37036032 8356 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9042 8356 1111 63 0 8979 0
vsize: 36168
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 398124 0 0 0 35055 948 0 0 25 0 1 0 840680925 37482496 8469 4294967295 134512640 134716908 3221224576 3221223248 134652567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9151 8469 1111 63 0 9088 0
vsize: 36604
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 406338 0 0 0 36035 968 0 0 25 0 1 0 840680925 38707200 8687 4294967295 134512640 134716908 3221224576 3221220736 1075091282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9450 8687 1111 63 0 9387 0
vsize: 37800
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 413627 0 0 0 37019 984 0 0 25 0 1 0 840680925 39047168 8761 4294967295 134512640 134716908 3221224576 3221220540 1074860566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9533 8761 1111 63 0 9470 0
vsize: 38132
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 422396 0 0 0 37999 1004 0 0 25 0 1 0 840680925 39157760 8880 4294967295 134512640 134716908 3221224576 3221222928 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9560 8880 1111 63 0 9497 0
vsize: 38240
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 430223 0 0 0 38980 1023 0 0 25 0 1 0 840680925 39731200 9020 4294967295 134512640 134716908 3221224576 3221222912 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9700 9020 1111 63 0 9637 0
vsize: 38800
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 439228 0 0 0 39958 1045 0 0 25 0 1 0 840680925 40386560 9180 4294967295 134512640 134716908 3221224576 3221222600 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9860 9180 1111 63 0 9797 0
vsize: 39440
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 447575 0 0 0 40938 1065 0 0 25 0 1 0 840680925 41783296 9398 4294967295 134512640 134716908 3221224576 3221221148 1076049555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10201 9398 1111 63 0 10138 0
vsize: 40804
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 455460 0 0 0 41917 1086 0 0 25 0 1 0 840680925 41734144 9509 4294967295 134512640 134716908 3221224576 3221222912 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10189 9509 1111 63 0 10126 0
vsize: 40756
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 462835 0 0 0 42898 1105 0 0 25 0 1 0 840680925 42172416 9616 4294967295 134512640 134716908 3221224576 3221223152 134652440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10296 9616 1111 63 0 10233 0
vsize: 41184
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 471054 0 0 0 43878 1126 0 0 25 0 1 0 840680925 43302912 9802 4294967295 134512640 134716908 3221224576 3221221568 1075338877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10572 9802 1111 63 0 10509 0
vsize: 42288
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 479732 0 0 0 44857 1147 0 0 25 0 1 0 840680925 44105728 9997 4294967295 134512640 134716908 3221224576 3221220912 1075114256 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10768 9997 1111 63 0 10705 0
vsize: 43072
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 488527 0 0 0 45836 1169 0 0 25 0 1 0 840680925 44961792 10182 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10977 10182 1111 63 0 10914 0
vsize: 43908
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 496398 0 0 0 46816 1189 0 0 25 0 1 0 840680925 44867584 10274 4294967295 134512640 134716908 3221224576 3221222912 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10954 10274 1111 63 0 10891 0
vsize: 43816
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 503943 0 0 0 47796 1209 0 0 25 0 1 0 840680925 45719552 10388 4294967295 134512640 134716908 3221224576 3221221128 1075240389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11162 10388 1111 63 0 11099 0
vsize: 44648
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 511806 0 0 0 48777 1228 0 0 25 0 1 0 840680925 46288896 10501 4294967295 134512640 134716908 3221224576 3221220720 1074969486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11301 10501 1111 63 0 11238 0
vsize: 45204
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 519457 0 0 0 49758 1247 0 0 25 0 1 0 840680925 46780416 10654 4294967295 134512640 134716908 3221224576 3221220876 1075894868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11421 10654 1111 63 0 11358 0
vsize: 45684
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 526390 0 0 0 50744 1261 0 0 25 0 1 0 840680925 47308800 10772 4294967295 134512640 134716908 3221224576 3221220512 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11550 10772 1111 63 0 11487 0
vsize: 46200
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 534291 0 0 0 51725 1280 0 0 25 0 1 0 840680925 47636480 10863 4294967295 134512640 134716908 3221224576 3221220460 1074788921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11630 10863 1111 63 0 11567 0
vsize: 46520
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 542719 0 0 0 52704 1301 0 0 25 0 1 0 840680925 48308224 11019 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11794 11019 1111 63 0 11731 0
vsize: 47176
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 549956 0 0 0 53687 1319 0 0 25 0 1 0 840680925 48361472 11127 4294967295 134512640 134716908 3221224576 3221222576 1074918566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11807 11127 1111 63 0 11744 0
vsize: 47228
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 557161 0 0 0 54670 1336 0 0 25 0 1 0 840680925 49504256 11321 4294967295 134512640 134716908 3221224576 3221220848 1074960912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12086 11321 1111 63 0 12023 0
vsize: 48344
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 565145 0 0 0 55651 1355 0 0 25 0 1 0 840680925 49950720 11423 4294967295 134512640 134716908 3221224576 3221220736 1074794498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12195 11423 1111 63 0 12132 0
vsize: 48780
[startup+579.68 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 14625
Raw data (stat): 14623 (bsolo_lpr-v2) R 14622 8378 8377 0 -1 0 565145 0 0 0 55651 1355 0 0 25 0 1 0 840680925 49950720 11423 4294967295 134512640 134716908 3221224576 3221220736 1074794498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12195 11423 1111 63 0 12132 0
vsize: 0

Child status: 30
Real time (s): 579.68
CPU time (s): 579.73
CPU user time (s): 565.97
CPU system time (s): 13.7599
CPU usage (%): 100.009
Max. virtual memory (Kb): 48780
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1523
#### END VERIFIER DATA ####