Trace number 4118669

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 into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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 X seconds (see the parameters in the trace). 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 X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    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.
  5. 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 provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Open-WBO PB16SAT (TO)-79 1800.02 1800.3

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-sporttournament30.lin.opb
MD5SUM27a6077c0a24ef534f3f9188caec09de
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-168
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1275
Total number of constraints1680
Number of constraints which are clauses840
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints840
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 1114
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 1200
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1200
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c
0.00/0.00	c Open-WBO:	 a Modular MaxSAT Solver -- based on Glucose4.0 (core version)
0.00/0.00	c Version:	 Pseudo-Boolean Evaluation 2016
0.00/0.00	c Authors:	 Ruben Martins, Vasco Manquinho, Ines Lynce
0.00/0.00	c Contributors:	 Miguel Neves, Saurabh Joshi, Mikolas Janota
0.00/0.00	c Contact:	 open-wbo@sat.inesc-id.pt -- http://sat.inesc-id.pt/open-wbo/
0.00/0.00	c
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Instance file HOME/instance-4118669-1467225656.opb
0.00/0.00	c File size is 61932 bytes.
1800.01/1800.30	c Sum of soft weights:         1200
1800.01/1800.30	c |                                                                                                       |
1800.01/1800.30	c ========================================[ Problem Statistics ]===========================================
1800.01/1800.30	c |                                                                                                       |
1800.01/1800.30	c |  Problem Type:             Weighted                                                                   |
1800.01/1800.30	c |  Number of variables:          1275                                                                   |
1800.01/1800.30	c |  Number of hard clauses:        840                                                                   |
1800.01/1800.30	c |  Number of soft clauses:       1114                                                                   |
1800.01/1800.30	c |  Number of cardinality:           0                                                                   |
1800.01/1800.30	c |  Number of PB :                 840                                                                   |
1800.01/1800.30	c |  Parse time:                   0.01 s                                                                 |
1800.01/1800.30	c |                                                                                                       |
1800.01/1800.30	o -79
1800.01/1800.30	s SATISFIABLE
1800.01/1800.30	v -x436 -x1 x198 -x437 x235 -x438 -x439 -x440 -x2 -x441 -x442 -x443 -x444 -x3 x51 -x445 -x149 -x446 x178 -x447 x448 x4 x154 x449 x253 x450 x255 -x451 x452 x5 x56 x453 -x454 -x455 -x456 -x6 x205 -x457 -x458 -x459 -x460 x7 -x70 x461 x177 -x462 -x463 x464 x8 x465 x73 x466 -x467 -x468 -x9 x86 -x469 -x213 -x470 -x471 -x472 -x10 -x473 x90 -x474 -x475 -x476 -x11 -x22 -x477 x201 -x478 -x12 x18 -x479 -x480 x250 -x481 -x482 -x13 -x483 -x113 -x484 x134 -x485 x486 x14 x487 x247 -x488 -x489 -x490 -x15 -x491 x135 -x492 x159 -x493 -x494 -x16 -x33 -x495 -x496 -x17 x244 -x497 -x498 -x499 x500 x84 x501 x126 -x502 -x503 -x19 x210 -x504 -x505 -x506 -x507 -x20 -x508 -x161 -x509 x188 -x510 -x511 -x21 -x512 x75 -x513 -x514 -x515 x23 -x516 x61 -x517 x120 -x518 -x45 -x519 x24 -x520 -x190 -x521 -x224 x522 x523 x25 x42 x524 x525 x92 -x526 x527 x26 x27 x528 x44 x529 x272 -x530 -x531 -x62 -x532 x28 -x29 x533 x52 x534 x108 -x535 -x536 x53 -x537 x155 -x538 -x539 -x30 -x540 -x226 -x541 x260 -x542 x543 x31 x58 x544 x115 -x545 -x546 -x547 x32 -x548 -x60 -x549 -x79 -x550 -x551 x34 -x552 x238 -x553 -x554 -x35 -x36 -x555 -x556 -x557 -x558 x209 -x559 -x560 x561 x37 x562 x563 -x564 -x565 x38 -x39 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x40 -x573 x262 -x574 -x575 x576 x41 x577 x138 x578 -x579 x580 x228 x581 x267 -x582 x583 x43 x584 x585 -x586 -x587 -x77 -x588 -x100 -x589 x46 -x590 x199 -x591 -x592 -x593 -x47 -x48 -x594 -x595 -x596 -x597 x49 -x598 -x599 x600 x246 x601 -x602 -x603 -x50 -x604 -x605 -x606 x607 x176 -x608 x609 x54 x610 x87 -x611 -x157 -x612 x613 -x614 x615 x55 -x616 -x617 x618 x221 x619 x223 -x620 -x621 -x57 -x622 -x623 x164 -x624 x263 x625 x93 -x626 -x627 x628 x59 -x629 -x630 -x631 -x632 -x633 x96 -x634 x635 x97 -x636 -x121 -x637 x63 -x638 x239 -x639 -x640 -x641 -x64 x66 -x642 -x643 x65 -x145 -x644 -x173 -x645 -x646 x647 -x648 -x649 -x650 -x67 -x68 -x651 x174 -x652 -x653 -x654 x127 -x655 -x656 -x657 x69 x658 x105 -x659 -x660 -x661 -x128 -x662 x211 -x663 x71 -x107 -x664 x665 x152 -x666 x667 x72 -x668 x669 -x670 -x671 -x74 -x672 -x673 x192 -x674 x227 x675 -x676 x677 x76 x195 x678 -x679 -x680 -x681 -x78 -x682 -x118 -x683 -x684 x119 -x685 -x144 -x686 -x687 x80 -x688 x273 -x689 x690 x81 x206 x691 x692 -x693 -x694 x82 -x83 x695 -x696 -x697 -x698 -x699 -x700 x701 x702 -x703 -x704 x85 -x150 -x705 -x249 -x706 -x707 -x708 -x709 -x248 x710 x182 x711 x219 -x712 x713 x88 x89 -x714 -x715 -x716 -x717 x718 -x719 x720 x91 -x721 x722 -x723 -x191 -x724 -x230 x725 x94 -x726 -x232 -x727 -x95 -x728 -x231 -x729 -x730 -x731 -x732 -x733 -x734 -x143 -x735 -x736 -x99 -x737 -x142 -x738 -x739 x98 -x740 -x170 -x741 -x742 -x743 -x744 -x745 -x746 x101 -x747 -x748 x749 x102 x243 -x750 -x751 -x752 -x753 x103 -x104 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 x762 x106 x215 -x763 -x764 -x765 -x766 -x767 -x151 -x768 x769 x110 -x770 -x771 x109 -x185 -x772 -x773 -x774 -x775 -x183 -x776 -x777 -x778 x111 -x112 x779 x257 -x780 -x781 -x782 -x783 -x784 -x785 x114 -x786 -x787 -x162 x788 -x789 -x266 -x790 -x116 -x791 -x792 -x793 -x794 -x795 x117 x796 x233 x797 -x798 -x799 -x169 -x800 x801 x802 x168 -x803 -x804 -x805 -x200 -x806 x122 -x807 -x808 x123 -x124 x809 -x810 -x811 -x812 -x125 -x813 -x814 -x815 -x816 -x817 x818 -x819 x820 -x821 -x822 -x129 -x823 -x824 x252 -x825 -x826 -x827 x130 -x828 x829 -x830 -x831 x131 -x156 -x832 -x833 -x834 -x835 x132 -x836 -x217 -x837 -x838 x839 x133 -x840 -x841 -x842 -x843 -x160 -x844 -x845 -x846 -x137 -x847 -x848 -x136 -x849 -x850 -x851 -x852 x139 -x853 -x854 -x140 -x855 -x856 x857 x229 -x858 -x859 x194 -x860 -x861 x141 x862 x193 x863 -x864 -x865 -x197 -x866 -x867 x196 -x868 -x869 -x870 -x871 x146 -x872 x873 -x874 x875 x147 x245 x876 -x877 -x878 x879 x148 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x153 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x254 -x898 -x899 -x186 -x900 -x901 -x158 -x902 -x903 -x904 -x905 -x906 x907 x189 -x908 -x909 -x910 -x911 x163 -x912 -x913 x914 x165 -x915 x916 x166 -x917 x918 x919 x265 -x920 x921 x167 -x922 x923 x924 -x925 x926 x237 -x927 -x928 x236 -x929 -x930 x931 x171 -x932 -x933 -x172 -x934 -x935 -x936 -x937 -x175 -x938 -x939 x940 x208 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 x181 -x950 -x951 x952 x179 x953 -x954 -x955 -x956 -x180 -x957 -x251 -x958 -x959 -x960 -x961 x962 x184 -x963 -x964 -x965 -x966 -x967 -x968 -x187 -x969 x258 -x970 -x971 -x972 -x973 x974 x225 -x975 -x976 -x977 -x978 x264 -x979 -x980 x981 -x982 -x983 -x984 x985 -x986 -x987 -x988 -x271 -x989 -x990 -x991 -x992 -x993 x270 -x994 x995 -x996 x997 -x998 -x999 -x202 -x1000 -x1001 x1002 x203 -x1003 -x1004 -x204 -x1005 -x1006 -x1007 -x1008 -x207 x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 x212 -x1018 -x1019 -x1020 -x1021 x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x214 -x1028 x216 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x218 x1037 x220 -x1038 -x1039 x1040 -x1041 x1042 x1043 -x1044 x1045 x222 -x1046 -x1047 x1048 -x1049 -x1050 -x261 x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x234 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 x1075 -x1076 -x1077 -x274 -x1078 -x1079 -x1080 x240 -x1081 x1082 x241 x242 -x1083 x1084 -x1085 x1086 -x1087 -x1088 x1089 -x1090 x1091 -x1092 x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 x256 x1115 -x1116 -x1117 x1118 x1119 -x1120 x1121 -x1122 -x1123 x1124 x259 x1125 x1126 -x1127 x1128 -x1129 -x1130 x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x268 -x1139 -x269 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x280 x294 -x283 -x316 x317 -x318 x284 -x348 x340 -x341 -x342 x327 -x354 x355 -x289 -x290 x351 -x352 x299 x359 x360 x286 x369 -x314 x379 x362 -x287 -x323 x387 x304 -x307 x370 -x380 -x319 x338 -x390 x365 -x374 x402 x296 x403 -x366 -x309 x325 -x395 -x275 -x353 x393 x396 -x397 x383 x385 x407 -x409 x378 -x410 -x300 x320 -x399 -x389 -x343 -x371 -x276 -x392 x334 -x344 -x408 -x401 x281 -x297 x311 -x414 -x332 x391 x335 -x416 -x376 -x394 x279 -x345 -x349 -x291 -x302 -x418 -x326 x278 -x293 -x277 -x285 -x328 -x398 -x419 -x384 -x420 -x337 -x368 x422 -x361 x415 x322 -x423 x308 x336 x424 -x330 x411 -x417 -x358 -x310 -x386 x331 x412 x427 -x303 x382 -x388 -x333 -x356 -x429 x430 x329 x413 -x350 x426 -x406 x432 x313 -x381 -x431 -x367 -x298 -x324 -x339 -x400 -x434 -x312 -x372 x373 x375 -x305 -x433 -x425 x357 x301 -x295 -x321 x363 -x364 x315 x421 -x347 -x405 -x428 x435 x282 x288 x306 x292 x377 -x404 x346

Verifier Data 

OK	-79

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4118669-1467225656/watcher-4118669-1467225656 -o /tmp/evaluation-result-4118669-1467225656/solver-4118669-1467225656 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467213050-5998 --watchdog 1960 open-wbo HOME/instance-4118669-1467225656.opb 

pid=7645
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 7648
/proc/meminfo: memFree=29968300/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=2532 CPUtime=0 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 373 0 0 0 0 0 0 0 20 0 1 0 3669390 2592768 248 33554432000 4194304 6059633 140734317820656 140735113822360 5131227 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 633 248 150 456 0 153 0

[startup+0.100138 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 7648
/proc/meminfo: memFree=29968300/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=10444 CPUtime=0.09 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 1344 0 0 0 9 0 0 0 20 0 1 0 3669390 10694656 1708 33554432000 4194304 6059633 140734317820656 140735113822360 4277538 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 2611 1708 187 456 0 2147 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10444

[startup+0.200343 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 7648
/proc/meminfo: memFree=29968300/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=6848 CPUtime=0.19 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 1514 0 0 0 19 0 0 0 20 0 1 0 3669390 7012352 1327 33554432000 4194304 6059633 140734317820656 140735113822360 4263969 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 1712 1327 191 456 0 1248 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6848

[startup+0.300256 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 7648
/proc/meminfo: memFree=29968300/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=7368 CPUtime=0.29 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 1588 0 0 0 29 0 0 0 20 0 1 0 3669390 7544832 1400 33554432000 4194304 6059633 140734317820656 140735113822360 4278373 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 1842 1400 191 456 0 1378 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7368

[startup+0.700233 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 7648
/proc/meminfo: memFree=29968300/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=8116 CPUtime=0.69 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 2054 0 0 0 69 0 0 0 20 0 1 0 3669390 8310784 1655 33554432000 4194304 6059633 140734317820656 140735113822360 4278373 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 2029 1655 191 456 0 1565 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8116

[startup+1.50025 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 7649
/proc/meminfo: memFree=29961216/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=9764 CPUtime=1.49 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 2466 0 0 0 149 0 0 0 20 0 1 0 3669390 9998336 2034 33554432000 4194304 6059633 140734317820656 140734317818808 4277847 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 2441 2034 191 456 0 1977 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9764

[startup+3.10023 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 7649
/proc/meminfo: memFree=29959232/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=11612 CPUtime=3.09 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 2784 0 0 0 309 0 0 0 20 0 1 0 3669390 11890688 2347 33554432000 4194304 6059633 140734317820656 140734317818808 4278443 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 2903 2347 191 456 0 2439 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11612

[startup+6.30021 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 7649
/proc/meminfo: memFree=29952904/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=14896 CPUtime=6.29 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 3879 0 0 0 629 0 0 0 20 0 1 0 3669390 15253504 3362 33554432000 4194304 6059633 140734317820656 140734317818840 4278373 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 3724 3362 191 456 0 3260 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14896

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 4/175 7649
/proc/meminfo: memFree=29947736/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=16128 CPUtime=12.69 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 4148 0 0 0 1268 1 0 0 20 0 1 0 3669390 16515072 3620 33554432000 4194304 6059633 140734317820656 140734317819416 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 4032 3620 191 456 0 3568 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16128

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 7649
/proc/meminfo: memFree=29983988/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=25080 CPUtime=25.49 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 5034 0 0 0 2548 1 0 0 20 0 1 0 3669390 25681920 4851 33554432000 4194304 6059633 140734317820656 140734317819416 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 6270 4851 191 456 0 5806 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25080

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 7649
/proc/meminfo: memFree=29939508/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=29424 CPUtime=51.08 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 5688 0 0 0 5107 1 0 0 20 0 1 0 3669390 30130176 6998 33554432000 4194304 6059633 140734317820656 140734317818840 4277586 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 7356 6998 191 456 0 6892 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29424

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/175 7650
/proc/meminfo: memFree=29932812/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=37808 CPUtime=102.28 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 6840 0 0 0 10226 2 0 0 20 0 1 0 3669390 38715392 8950 33554432000 4194304 6059633 140734317820656 140734317819144 4261024 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 9452 8950 191 456 0 8988 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 37808

[startup+162.3 s]
/proc/loadavg: 2.06 2.02 2.00 4/175 7651
/proc/meminfo: memFree=29921212/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=56484 CPUtime=162.26 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 7368 0 0 0 16224 2 0 0 20 0 1 0 3669390 57839616 10995 33554432000 4194304 6059633 140734317820656 140734317818808 4278479 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 14121 10995 191 456 0 13657 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 56484

[startup+222.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 7652
/proc/meminfo: memFree=29918916/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=56484 CPUtime=222.27 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 7716 0 0 0 22224 3 0 0 20 0 1 0 3669390 57839616 11000 33554432000 4194304 6059633 140734317820656 140734317819416 4277874 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 14121 11000 192 456 0 13657 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 56484

[startup+282.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/175 7653
/proc/meminfo: memFree=29897196/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=75340 CPUtime=282.25 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 8221 0 0 0 28222 3 0 0 20 0 1 0 3669390 77148160 16588 33554432000 4194304 6059633 140734317820656 140734317818808 4277879 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 18835 16588 192 456 0 18371 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 75340

[startup+342.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/175 7655
/proc/meminfo: memFree=29886212/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=75340 CPUtime=342.23 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 8401 0 0 0 34220 3 0 0 20 0 1 0 3669390 77148160 18294 33554432000 4194304 6059633 140734317820656 140734317818808 4278373 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 18835 18294 192 456 0 18371 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 75340

[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 7656
/proc/meminfo: memFree=29885568/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=75340 CPUtime=402.22 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 8410 0 0 0 40219 3 0 0 20 0 1 0 3669390 77148160 18351 33554432000 4194304 6059633 140734317820656 140734317818808 4277874 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 18835 18351 192 456 0 18371 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 75340

[startup+462.3 s]
/proc/loadavg: 2.10 2.04 2.01 4/175 7657
/proc/meminfo: memFree=29884032/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=75340 CPUtime=462.21 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 8410 0 0 0 46218 3 0 0 20 0 1 0 3669390 77148160 18351 33554432000 4194304 6059633 140734317820656 140734317818808 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 18835 18351 192 456 0 18371 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 75340

[startup+522.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/174 7658
/proc/meminfo: memFree=29886608/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=75340 CPUtime=522.2 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 8410 0 0 0 52217 3 0 0 20 0 1 0 3669390 77148160 18351 33554432000 4194304 6059633 140734317820656 140734317818808 4277874 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 18835 18351 192 456 0 18371 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 75340

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 7709
/proc/meminfo: memFree=30001124/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=75340 CPUtime=582.19 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 8410 0 0 0 58216 3 0 0 20 0 1 0 3669390 77148160 18351 33554432000 4194304 6059633 140734317820656 140734317818808 4278414 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 18835 18351 192 456 0 18371 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 75340


################
# More data... #
################


[startup+942.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/175 7717
/proc/meminfo: memFree=29961176/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=89056 CPUtime=942.14 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 13133 0 0 0 94205 9 0 0 20 0 1 0 3669390 91193344 21783 33554432000 4194304 6059633 140734317820656 140734317819144 4278520 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 22264 21783 192 456 0 21800 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 89056

[startup+1002.3 s]
/proc/loadavg: 2.21 2.09 2.02 4/175 7718
/proc/meminfo: memFree=29954912/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=89056 CPUtime=1002.13 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 13616 0 0 0 100204 9 0 0 20 0 1 0 3669390 91193344 21783 33554432000 4194304 6059633 140734317820656 140734317819144 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 22264 21783 192 456 0 21800 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 89056

[startup+1062.3 s]
/proc/loadavg: 2.12 2.09 2.02 3/175 7719
/proc/meminfo: memFree=29922964/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=138376 CPUtime=1062.12 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 14584 0 0 0 106202 10 0 0 20 0 1 0 3669390 141697024 30443 33554432000 4194304 6059633 140734317820656 140734317818856 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 34594 30443 192 456 0 34130 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 138376

[startup+1122.3 s]
/proc/loadavg: 2.12 2.09 2.02 3/175 7720
/proc/meminfo: memFree=29953236/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=89056 CPUtime=1122.11 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 15069 0 0 0 112200 11 0 0 20 0 1 0 3669390 91193344 21783 33554432000 4194304 6059633 140734317820656 140734317819144 4277882 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 22264 21783 192 456 0 21800 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 89056

[startup+1182.3 s]
/proc/loadavg: 2.09 2.08 2.02 3/176 7724
/proc/meminfo: memFree=29942124/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=89056 CPUtime=1182.11 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 15554 0 0 0 118199 12 0 0 20 0 1 0 3669390 91193344 21783 33554432000 4194304 6059633 140734317820656 140734317819144 4278536 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 22264 21783 192 456 0 21800 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 89056

[startup+1242.3 s]
/proc/loadavg: 2.03 2.07 2.01 3/176 7749
/proc/meminfo: memFree=29941368/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=89056 CPUtime=1242.09 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 16039 0 0 0 124197 12 0 0 20 0 1 0 3669390 91193344 21783 33554432000 4194304 6059633 140734317820656 140734317819144 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 22264 21783 192 456 0 21800 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 89056

[startup+1302.3 s]
/proc/loadavg: 2.13 2.08 2.01 3/175 7750
/proc/meminfo: memFree=29941012/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=89056 CPUtime=1302.09 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 16525 0 0 0 130196 13 0 0 20 0 1 0 3669390 91193344 21783 33554432000 4194304 6059633 140734317820656 140734317819144 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 22264 21783 192 456 0 21800 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 89056

[startup+1362.3 s]
/proc/loadavg: 2.11 2.08 2.01 3/175 7751
/proc/meminfo: memFree=29938964/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=89056 CPUtime=1362.08 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 17011 0 0 0 136194 14 0 0 20 0 1 0 3669390 91193344 21783 33554432000 4194304 6059633 140734317820656 140734317819144 4255186 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 22264 21783 192 456 0 21800 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 89056

[startup+1422.3 s]
/proc/loadavg: 2.20 2.11 2.02 3/175 7752
/proc/meminfo: memFree=29905196/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=138376 CPUtime=1422.07 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 17982 0 0 0 142192 15 0 0 20 0 1 0 3669390 141697024 30443 33554432000 4194304 6059633 140734317820656 140734317818856 4278035 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 34594 30443 192 456 0 34130 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 138376

[startup+1482.3 s]
/proc/loadavg: 2.20 2.12 2.03 3/175 7753
/proc/meminfo: memFree=29905328/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=138376 CPUtime=1482.06 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 18469 0 0 0 148191 15 0 0 20 0 1 0 3669390 141697024 30443 33554432000 4194304 6059633 140734317820656 140734317818856 4277921 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 34594 30443 192 456 0 34130 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 138376

[startup+1542.31 s]
/proc/loadavg: 2.18 2.12 2.03 3/175 7755
/proc/meminfo: memFree=29900488/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=138376 CPUtime=1542.06 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 18959 0 0 0 154190 16 0 0 20 0 1 0 3669390 141697024 31467 33554432000 4194304 6059633 140734317820656 140734317818856 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 34594 31467 192 456 0 34130 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 138376

[startup+1602.3 s]
/proc/loadavg: 2.22 2.14 2.04 3/175 7756
/proc/meminfo: memFree=29896392/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=138376 CPUtime=1602.04 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 19448 0 0 0 160187 17 0 0 20 0 1 0 3669390 141697024 31979 33554432000 4194304 6059633 140734317820656 140734317818856 4278373 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 34594 31979 192 456 0 34130 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 138376

[startup+1662.3 s]
/proc/loadavg: 2.17 2.14 2.05 3/175 7757
/proc/meminfo: memFree=29896520/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=138376 CPUtime=1662.04 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 19936 0 0 0 166186 18 0 0 20 0 1 0 3669390 141697024 31979 33554432000 4194304 6059633 140734317820656 140734317818856 4277855 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 34594 31979 192 456 0 34130 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 138376

[startup+1722.3 s]
/proc/loadavg: 2.06 2.12 2.04 3/175 7758
/proc/meminfo: memFree=29876456/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=138376 CPUtime=1722.02 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 20426 0 0 0 172184 18 0 0 20 0 1 0 3669390 141697024 32491 33554432000 4194304 6059633 140734317820656 140734317818856 4277855 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 34594 32491 192 456 0 34130 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 138376

[startup+1782.3 s]
/proc/loadavg: 2.23 2.15 2.06 3/176 7762
/proc/meminfo: memFree=29875936/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=138376 CPUtime=1782.02 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 20915 0 0 0 178183 19 0 0 20 0 1 0 3669390 141697024 32491 33554432000 4194304 6059633 140734317820656 140734317818856 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 34594 32491 192 456 0 34130 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 138376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.17 2.14 2.06 3/176 7762
/proc/meminfo: memFree=29918756/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=89056 CPUtime=1800.01 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 20917 0 0 0 179982 19 0 0 20 0 1 0 3669390 91193344 21783 33554432000 4194304 6059633 140734317820656 140734317819144 4277874 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 22264 21783 192 456 0 21800 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 89056

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7648 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.17 2.14 2.06 3/176 7762
/proc/meminfo: memFree=29918756/32872528 swapFree=447588/480292
[pid=7648] ppid=7645 vsize=89056 CPUtime=1800.01 cores=1,3,5,7
/proc/7648/stat : 7648 (open-wbo) R 7645 7648 3935 0 -1 4202496 20917 0 0 0 179982 19 0 0 20 0 1 0 3669390 91193344 21783 33554432000 4194304 6059633 140734317820656 140734317819144 4277874 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/7648/statm: 22264 21783 192 456 0 21800 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 89056

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.83
CPU system time (s): 0.19497
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 138376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.19497
maximum resident set size= 134060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20920
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 1981

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.50831 second user time and 5.84411 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-29 20:40:56
IDJOB=4118669
IDBENCH=111519
IDSOLVER=2547
FILE ID=node104/4118669-1467225656
RUNJOBID= node104-1467213050-5998
PBS_JOBID= 19997589
Free space on /tmp= 71728 MiB

SOLVER NAME= Open-WBO PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament30.lin.opb
COMMAND LINE= open-wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118669-1467225656/watcher-4118669-1467225656 -o /tmp/evaluation-result-4118669-1467225656/solver-4118669-1467225656 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467213050-5998 --watchdog 1960  open-wbo HOME/instance-4118669-1467225656.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 27a6077c0a24ef534f3f9188caec09de
RANDOM SEED=1026520494

node104.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29968952 kB
Buffers:          132212 kB
Cached:          1404724 kB
SwapCached:            0 kB
Active:          1070828 kB
Inactive:         609072 kB
Active(anon):     145664 kB
Inactive(anon):        0 kB
Active(file):     925164 kB
Inactive(file):   609072 kB
Unevictable:      480292 kB
Mlocked:          447588 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4704 kB
Writeback:             0 kB
AnonPages:        631272 kB
Mapped:            14116 kB
Shmem:               204 kB
Slab:             604860 kB
SReclaimable:      49352 kB
SUnreclaim:       555508 kB
KernelStack:        1472 kB
PageTables:         4684 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     741652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71720 MiB
End job on node104 at 2016-06-29 21:10:57