Trace number 4103092

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-LSU PB16SAT (TO)-50 1800.02 1800.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
MD5SUMb94d4317cfb468b1c3dd3d790ff99d4d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-50
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94289
Number of constraints which are clauses94289
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1272
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1272
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1272
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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

Verifier Data 

OK	-50

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-4103092-1466245599/watcher-4103092-1466245599 -o /tmp/evaluation-result-4103092-1466245599/solver-4103092-1466245599 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466230464-10276 --watchdog 1960 open-wbo-lsu HOME/instance-4103092-1466245599.opb 

pid=14422
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.13 2.16 2.11 3/176 14425
/proc/meminfo: memFree=30745220/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=4720 CPUtime=0 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 915 0 0 0 0 0 0 0 20 0 1 0 26608826 4833280 791 33554432000 4194304 6058637 140735536934576 140735415399448 5042435 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 1180 791 697 456 0 154 0

[startup+0.100159 s]
/proc/loadavg: 2.13 2.16 2.11 3/176 14425
/proc/meminfo: memFree=30745220/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=6808 CPUtime=0.09 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 1382 0 0 0 9 0 0 0 20 0 1 0 26608826 6971392 1258 33554432000 4194304 6058637 140735536934576 140735415399448 5042435 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 1702 1258 697 456 0 676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6808

[startup+0.200284 s]
/proc/loadavg: 2.13 2.16 2.11 3/176 14425
/proc/meminfo: memFree=30745220/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=9196 CPUtime=0.19 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 1891 0 0 0 19 0 0 0 20 0 1 0 26608826 9416704 1767 33554432000 4194304 6058637 140735536934576 140735415399448 5042435 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 2299 1767 697 456 0 1273 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9196

[startup+0.300285 s]
/proc/loadavg: 2.13 2.16 2.11 3/176 14425
/proc/meminfo: memFree=30745220/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=19016 CPUtime=0.29 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 4319 0 0 0 29 0 0 0 20 0 1 0 26608826 19472384 4063 33554432000 4194304 6058637 140735536934576 140735415399448 4277959 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 4754 4063 164 456 0 4290 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19016

[startup+0.700316 s]
/proc/loadavg: 2.13 2.16 2.11 3/176 14425
/proc/meminfo: memFree=30745220/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=19412 CPUtime=0.69 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 4507 0 0 0 69 0 0 0 20 0 1 0 26608826 19877888 4249 33554432000 4194304 6058637 140735536934576 140735536933192 4278255 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 4853 4249 177 456 0 4389 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19412

[startup+1.50029 s]
/proc/loadavg: 2.13 2.16 2.11 3/177 14426
/proc/meminfo: memFree=30728384/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=19884 CPUtime=1.49 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 5285 0 0 0 148 1 0 0 20 0 1 0 26608826 20361216 4319 33554432000 4194304 6058637 140735536934576 140735536933640 4280035 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 4971 4319 178 456 0 4507 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19884

[startup+3.10028 s]
/proc/loadavg: 2.13 2.16 2.11 3/177 14426
/proc/meminfo: memFree=30725156/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=27208 CPUtime=3.09 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 6219 0 0 0 308 1 0 0 20 0 1 0 26608826 27860992 6090 33554432000 4194304 6058637 140735536934576 140735536933912 4277700 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 6802 6090 178 456 0 6338 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27208

[startup+6.30032 s]
/proc/loadavg: 2.12 2.16 2.11 4/177 14426
/proc/meminfo: memFree=30714752/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=31560 CPUtime=6.29 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 7022 0 0 0 628 1 0 0 20 0 1 0 26608826 32317440 7327 33554432000 4194304 6058637 140735536934576 140735536933912 4277690 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 7890 7327 178 456 0 7426 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31560

[startup+12.7003 s]
/proc/loadavg: 2.11 2.15 2.11 3/177 14426
/proc/meminfo: memFree=30706712/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=35980 CPUtime=12.69 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 7712 0 0 0 1268 1 0 0 20 0 1 0 26608826 36843520 8460 33554432000 4194304 6058637 140735536934576 140735536933912 4254977 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 8995 8460 178 456 0 8531 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35980

[startup+25.5004 s]
/proc/loadavg: 2.09 2.14 2.11 3/177 14426
/proc/meminfo: memFree=30762548/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=31628 CPUtime=25.49 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 9117 0 0 0 2547 2 0 0 20 0 1 0 26608826 32387072 7420 33554432000 4194304 6058637 140735536934576 140735536933640 4254411 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 7907 7420 178 456 0 7443 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31628

[startup+51.1004 s]
/proc/loadavg: 2.06 2.13 2.10 4/177 14426
/proc/meminfo: memFree=30700552/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=57968 CPUtime=51.08 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 9855 0 0 0 5106 2 0 0 20 0 1 0 26608826 59359232 12746 33554432000 4194304 6058637 140735536934576 140735536933304 4277378 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 14492 12746 178 456 0 14028 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 57968

[startup+102.3 s]
/proc/loadavg: 2.19 2.16 2.11 3/177 14427
/proc/meminfo: memFree=30672988/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=88316 CPUtime=102.28 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 10749 0 0 0 10225 3 0 0 20 0 1 0 26608826 90435584 19512 33554432000 4194304 6058637 140735536934576 140735536933304 4277493 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 22079 19512 178 456 0 21615 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 88316

[startup+162.3 s]
/proc/loadavg: 2.28 2.19 2.12 3/177 14428
/proc/meminfo: memFree=30658404/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=88316 CPUtime=162.26 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 10753 0 0 0 16223 3 0 0 20 0 1 0 26608826 90435584 21560 33554432000 4194304 6058637 140735536934576 140735536933304 4277378 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 22079 21560 178 456 0 21615 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 88316

[startup+222.307 s]
/proc/loadavg: 2.27 2.20 2.12 3/178 14432
/proc/meminfo: memFree=30664040/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=92716 CPUtime=222.27 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 11373 0 0 0 22223 4 0 0 20 0 1 0 26608826 94941184 22660 33554432000 4194304 6058637 140735536934576 140735536933336 4277655 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 23179 22660 178 456 0 22715 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 92716

[startup+282.3 s]
/proc/loadavg: 2.17 2.17 2.11 3/177 14434
/proc/meminfo: memFree=30664436/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=92716 CPUtime=282.25 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 11373 0 0 0 28221 4 0 0 20 0 1 0 26608826 94941184 22660 33554432000 4194304 6058637 140735536934576 140735536933912 4277378 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 23179 22660 178 456 0 22715 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 92716

[startup+342.3 s]
/proc/loadavg: 2.09 2.15 2.11 3/177 14435
/proc/meminfo: memFree=30701560/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=92716 CPUtime=342.24 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 11373 0 0 0 34220 4 0 0 20 0 1 0 26608826 94941184 22660 33554432000 4194304 6058637 140735536934576 140735536933912 4278096 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 23179 22660 178 456 0 22715 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 92716

[startup+402.3 s]
/proc/loadavg: 2.11 2.15 2.11 3/177 14436
/proc/meminfo: memFree=30651928/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=99888 CPUtime=402.22 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 12540 0 0 0 40218 4 0 0 20 0 1 0 26608826 102285312 24453 33554432000 4194304 6058637 140735536934576 140735536933352 4277690 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 24972 24453 178 456 0 24508 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 99888

[startup+462.3 s]
/proc/loadavg: 2.26 2.18 2.12 3/177 14437
/proc/meminfo: memFree=30637900/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=99888 CPUtime=462.22 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 13312 0 0 0 46216 6 0 0 20 0 1 0 26608826 102285312 24453 33554432000 4194304 6058637 140735536934576 140735536933640 4277682 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 24972 24453 178 456 0 24508 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 99888

[startup+522.3 s]
/proc/loadavg: 2.15 2.16 2.11 3/177 14438
/proc/meminfo: memFree=30614828/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=149208 CPUtime=522.21 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 14468 0 0 0 52213 8 0 0 20 0 1 0 26608826 152788992 33522 33554432000 4194304 6058637 140735536934576 140735536933352 4278177 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 37302 33522 178 456 0 36838 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 149208

[startup+582.3 s]
/proc/loadavg: 2.10 2.14 2.10 3/176 14439
/proc/meminfo: memFree=30608188/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=149208 CPUtime=582.2 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 15252 0 0 0 58210 10 0 0 20 0 1 0 26608826 152788992 35059 33554432000 4194304 6058637 140735536934576 140735536933352 4277682 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 37302 35059 178 456 0 36838 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 149208


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


[startup+942.3 s]
/proc/loadavg: 2.07 2.10 2.09 3/177 15090
/proc/meminfo: memFree=30531780/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=149208 CPUtime=942.15 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 24131 0 0 0 94189 26 0 0 20 0 1 0 26608826 152788992 36732 33554432000 4194304 6058637 140735536934576 140735536933352 4278181 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 37302 36732 178 456 0 36838 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 149208

[startup+1002.3 s]
/proc/loadavg: 2.17 2.12 2.09 3/177 15228
/proc/meminfo: memFree=30580636/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=180028 CPUtime=1002.13 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 25565 0 0 0 100185 28 0 0 20 0 1 0 26608826 184348672 39734 33554432000 4194304 6058637 140735536934576 140735536933608 4278348 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 45007 39734 178 456 0 44543 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 180028

[startup+1062.3 s]
/proc/loadavg: 2.19 2.13 2.09 3/177 15412
/proc/meminfo: memFree=30575880/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=149208 CPUtime=1062.12 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 26929 0 0 0 106181 31 0 0 20 0 1 0 26608826 152788992 32499 33554432000 4194304 6058637 140735536934576 140735536933640 4278181 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 37302 32499 178 456 0 36838 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 149208

[startup+1122.3 s]
/proc/loadavg: 2.15 2.13 2.09 3/177 15550
/proc/meminfo: memFree=30532324/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=149208 CPUtime=1122.11 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 27912 0 0 0 112178 33 0 0 20 0 1 0 26608826 152788992 35059 33554432000 4194304 6058637 140735536934576 140735536933352 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 37302 35059 178 456 0 36838 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 149208

[startup+1182.3 s]
/proc/loadavg: 2.23 2.17 2.10 3/177 15688
/proc/meminfo: memFree=30526464/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=180028 CPUtime=1182.1 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 29486 0 0 0 118175 35 0 0 20 0 1 0 26608826 184348672 37686 33554432000 4194304 6058637 140735536934576 140735536933608 4278171 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 45007 37686 178 456 0 44543 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 180028

[startup+1242.3 s]
/proc/loadavg: 2.13 2.15 2.10 3/177 15873
/proc/meminfo: memFree=30516688/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=180028 CPUtime=1242.09 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 30485 0 0 0 124172 37 0 0 20 0 1 0 26608826 184348672 40758 33554432000 4194304 6058637 140735536934576 140735536933608 4277690 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 45007 40758 178 456 0 44543 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 180028

[startup+1302.3 s]
/proc/loadavg: 2.14 2.15 2.10 3/177 16011
/proc/meminfo: memFree=30600004/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=99888 CPUtime=1302.08 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 31467 0 0 0 130169 39 0 0 20 0 1 0 26608826 102285312 24454 33554432000 4194304 6058637 140735536934576 140735536933640 4277687 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 24972 24454 178 456 0 24508 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 99888

[startup+1362.3 s]
/proc/loadavg: 2.11 2.13 2.09 3/177 16149
/proc/meminfo: memFree=30567980/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=149208 CPUtime=1362.07 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 32827 0 0 0 136166 41 0 0 20 0 1 0 26608826 152788992 32499 33554432000 4194304 6058637 140735536934576 140735536933640 4255181 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 37302 32499 178 456 0 36838 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 149208

[startup+1422.3 s]
/proc/loadavg: 2.06 2.12 2.09 3/178 16336
/proc/meminfo: memFree=30549940/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=149208 CPUtime=1422.07 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 33816 0 0 0 142164 43 0 0 20 0 1 0 26608826 152788992 33523 33554432000 4194304 6058637 140735536934576 140735536933352 4278265 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 37302 33523 178 456 0 36838 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 149208

[startup+1482.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/177 16474
/proc/meminfo: memFree=30641860/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=149208 CPUtime=1482.06 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 34806 0 0 0 148161 45 0 0 20 0 1 0 26608826 152788992 34547 33554432000 4194304 6058637 140735536934576 140735536933352 4278162 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 37302 34547 178 456 0 36838 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 149208

[startup+1542.31 s]
/proc/loadavg: 2.19 2.13 2.09 3/177 16613
/proc/meminfo: memFree=30723592/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=149208 CPUtime=1542.05 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 35792 0 0 0 154159 46 0 0 20 0 1 0 26608826 152788992 35571 33554432000 4194304 6058637 140735536934576 140735536933352 4278190 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 37302 35571 178 456 0 36838 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 149208

[startup+1602.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/177 16614
/proc/meminfo: memFree=30706620/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=149208 CPUtime=1602.04 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 36779 0 0 0 160155 49 0 0 20 0 1 0 26608826 152788992 35059 33554432000 4194304 6058637 140735536934576 140735536933352 4277690 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 37302 35059 178 456 0 36838 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 149208

[startup+1662.3 s]
/proc/loadavg: 2.17 2.13 2.09 3/177 16615
/proc/meminfo: memFree=30703552/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=149208 CPUtime=1662.03 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 37767 0 0 0 166153 50 0 0 20 0 1 0 26608826 152788992 33523 33554432000 4194304 6058637 140735536934576 140735536933352 4278251 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 37302 33523 178 456 0 36838 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 149208

[startup+1722.3 s]
/proc/loadavg: 2.10 2.12 2.09 3/177 16616
/proc/meminfo: memFree=30718592/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=99888 CPUtime=1722.01 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 38375 0 0 0 172150 51 0 0 20 0 1 0 26608826 102285312 24454 33554432000 4194304 6058637 140735536934576 140735536933640 4278222 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 24972 24454 178 456 0 24508 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 99888

[startup+1782.3 s]
/proc/loadavg: 2.07 2.11 2.09 3/177 16617
/proc/meminfo: memFree=30713888/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=99888 CPUtime=1782.01 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 39364 0 0 0 178148 53 0 0 20 0 1 0 26608826 102285312 24454 33554432000 4194304 6058637 140735536934576 140735536933640 4277708 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 24972 24454 178 456 0 24508 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 99888



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/176 16617
/proc/meminfo: memFree=30676668/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=149208 CPUtime=1800.01 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 39747 0 0 0 179947 54 0 0 20 0 1 0 26608826 152788992 34035 33554432000 4194304 6058637 140735536934576 140735536933352 4278162 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 37302 34035 178 456 0 36838 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 149208

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 14425 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/176 16617
/proc/meminfo: memFree=30676668/32872528 swapFree=877056/942464
[pid=14425] ppid=14422 vsize=149208 CPUtime=1800.01 cores=1,3,5,7
/proc/14425/stat : 14425 (open-wbo-lsu) R 14422 14425 10259 0 -1 4202496 39747 0 0 0 179947 54 0 0 20 0 1 0 26608826 152788992 34035 33554432000 4194304 6058637 140735536934576 140735536933352 4278162 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/14425/statm: 37302 34035 178 456 0 36838 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 149208

Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.47
CPU system time (s): 0.543917
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 180028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.543917
maximum resident set size= 175320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39750
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= 22
involuntary context switches= 1972

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.39133 second user time and 7.06992 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-18 12:26:39
IDJOB=4103092
IDBENCH=2257
IDSOLVER=2545
FILE ID=node113/4103092-1466245599
RUNJOBID= node113-1466230464-10276
PBS_JOBID= 19918179
Free space on /tmp= 71700 MiB

SOLVER NAME= Open-WBO-LSU PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
COMMAND LINE= open-wbo-lsu BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103092-1466245599/watcher-4103092-1466245599 -o /tmp/evaluation-result-4103092-1466245599/solver-4103092-1466245599 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466230464-10276 --watchdog 1960  open-wbo-lsu HOME/instance-4103092-1466245599.opb

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

MD5SUM BENCH= b94d4317cfb468b1c3dd3d790ff99d4d
RANDOM SEED=1817979185

node113.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.799
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	: 5333.59
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.799
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.799
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.56
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.799
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.799
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.799
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.54
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.799
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.799
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30745236 kB
Buffers:           92356 kB
Cached:           206124 kB
SwapCached:         1896 kB
Active:           213284 kB
Inactive:         216480 kB
Active(anon):     130876 kB
Inactive(anon):     2728 kB
Active(file):      82408 kB
Inactive(file):   213752 kB
Unevictable:      942464 kB
Mlocked:          877056 kB
SwapTotal:      67108856 kB
SwapFree:       67098956 kB
Dirty:              6980 kB
Writeback:             0 kB
AnonPages:       1093180 kB
Mapped:             7832 kB
Shmem:                 0 kB
Slab:             602604 kB
SReclaimable:      46448 kB
SUnreclaim:       556156 kB
KernelStack:        1432 kB
PageTables:         6016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1210080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    206848 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= 71696 MiB
End job on node113 at 2016-06-18 12:56:39