Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: cosoco 1.1 | ? (TO) | 2400.05 | 2400.6 |
Name | Blackhole/Blackhole-m1-s10/ Blackhole-10-3-04.xml |
MD5SUM | 986ee2669b222e63b3403a1d528be806 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.090393998 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 80 |
Number of constraints | 67 |
Number of domains | 1 |
Minimum domain size | 40 |
Maximum domain size | 40 |
Distribution of domain sizes | [{"size":40,"count":80}] |
Minimum variable degree | 2 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":2,"count":67},{"degree":3,"count":13}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 80 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":65},{"arity":80,"count":1}] |
Number of extensional constraints | 39 |
Number of intensional constraints | 27 |
Distribution of constraint types | [{"type":"extension","count":39},{"type":"intension","count":27},{"type":"channel","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c Create channel(X,Y) constraint using 40 element constraint 0.00/0.00 c intension y[30]<y[29] using generic constraint 0.00/0.00 c intension y[29]<y[17] using generic constraint 0.00/0.00 c intension y[11]<y[3] using generic constraint 0.00/0.01 c intension y[3]<y[19] using generic constraint 0.00/0.01 c intension y[38]<y[12] using generic constraint 0.00/0.01 c intension y[12]<y[20] using generic constraint 0.00/0.01 c intension y[9]<y[6] using generic constraint 0.00/0.01 c intension y[6]<y[14] using generic constraint 0.00/0.01 c intension y[21]<y[15] using generic constraint 0.00/0.01 c intension y[15]<y[24] using generic constraint 0.00/0.01 c intension y[25]<y[8] using generic constraint 0.00/0.01 c intension y[8]<y[27] using generic constraint 0.00/0.01 c intension y[7]<y[22] using generic constraint 0.00/0.01 c intension y[22]<y[2] using generic constraint 0.00/0.01 c intension y[32]<y[5] using generic constraint 0.00/0.01 c intension y[5]<y[28] using generic constraint 0.00/0.01 c intension y[16]<y[13] using generic constraint 0.00/0.01 c intension y[13]<y[33] using generic constraint 0.00/0.01 c intension y[18]<y[35] using generic constraint 0.00/0.01 c intension y[35]<y[4] using generic constraint 0.00/0.01 c intension y[10]<y[36] using generic constraint 0.00/0.01 c intension y[36]<y[39] using generic constraint 0.00/0.01 c intension y[26]<y[1] using generic constraint 0.00/0.01 c intension y[1]<y[23] using generic constraint 0.00/0.01 c intension y[34]<y[31] using generic constraint 0.00/0.01 c intension y[31]<y[37] using generic constraint 0.00/0.01 c root propagations : 234 0.00/0.01 c restarts enabled, print stats at every restarts 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c This is cosoco 1.0 -- 0.00/0.01 c 0.00/0.01 c ========================================[ Problem Statistics ]=========================================== 0.00/0.01 c | 0.00/0.01 c | Parse time : 0.01 s 0.00/0.01 c | 0.00/0.01 c | Variables: 80 0.00/0.01 c | Domain Sizes: 40..40 0.00/0.01 c | 0.00/0.01 c | Constraints: 106 0.00/0.01 c | Arity: 1..41 -- Unary: 1 -- Binary: 65 0.00/0.01 c | 0.00/0.01 c | Types: 0.00/0.01 c | (X - Y < k): 26 0.00/0.01 c | Element Constant: 40 0.00/0.01 c | Extension: 39 (nb tuples: 320..320) -- (shared: 38) 0.00/0.01 c | Intension: 1 0.00/0.01 c | 0.00/0.01 c ========================================================================================================= 0.00/0.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.01 c 101 274 18071 5356 80 0 41 48 43 0.00/0.02 c 211 466 35987 21126 80 0 28 31 29 0.00/0.02 c 332 642 48261 31224 80 0 31 32 31 0.00/0.02 c 465 928 68122 36387 80 0 31 44 42 0.00/0.02 c 611 1143 85298 50222 80 0 34 34 33 0.00/0.03 c 771 1402 109910 62297 80 0 30 33 32 0.00/0.03 c 947 1721 130934 71005 80 0 29 33 32 0.00/0.03 c 1140 2044 153035 84115 80 0 36 37 36 0.00/0.04 c 1352 2450 205364 121534 80 0 27 28 27 0.00/0.04 c 1585 2768 233033 145393 80 0 33 34 33 0.00/0.05 c 1841 3312 273168 160900 80 0 32 35 33 0.00/0.06 c 2122 3890 340876 192197 80 0 31 34 33 0.00/0.06 c 2431 4377 390236 225055 80 0 34 39 36 0.00/0.07 c 2770 4767 447967 272172 80 0 27 34 30 0.00/0.08 c 3142 5370 489136 303679 80 0 28 35 33 0.00/0.08 c 3551 6280 541526 316478 80 0 28 29 28 0.00/0.09 c 4000 6867 581575 361394 80 0 30 33 30 0.09/0.10 c 4493 7646 643311 403434 80 0 33 34 33 0.09/0.11 c 5035 8743 725119 455037 80 0 28 32 30 0.09/0.11 c 5631 9861 797424 467198 80 0 29 45 38 0.09/0.12 c 6286 10894 880764 514945 80 0 34 35 34 0.09/0.13 c 7006 11940 958649 587544 80 0 32 35 33 0.09/0.14 c 7798 13054 1040897 647426 80 0 34 34 33 0.09/0.15 c 8669 14939 1167727 697702 80 0 33 35 34 0.09/0.17 c 9627 16967 1327384 775847 80 0 35 36 35 0.09/0.18 c 10680 18462 1433091 848630 80 0 34 37 35 0.09/0.19 c 11838 20968 1593885 905287 80 0 32 35 34 0.19/0.21 c 13111 22993 1916525 1037789 80 0 31 39 34 0.19/0.24 c 14511 25179 2167136 1238687 80 0 31 39 34 0.19/0.25 c 16051 27163 2325722 1351948 80 0 34 35 34 0.19/0.27 c 17745 30807 2587828 1446368 80 0 32 42 39 0.19/0.29 c 19608 33476 2797747 1591798 80 0 34 37 34 0.29/0.32 c 21657 37582 3153486 1867364 80 0 35 37 35 0.29/0.35 c 23910 41293 3471161 2089024 80 0 32 37 34 0.29/0.37 c 26388 45226 3825892 2193095 80 0 32 42 38 0.39/0.40 c 29113 49380 4106843 2366696 80 0 32 37 34 0.39/0.42 c 32110 54923 4502236 2426753 80 0 24 37 34 0.39/0.49 c 35406 60479 5155324 2990954 80 0 27 35 29 0.49/0.52 c 39031 66709 5659188 3136463 80 0 32 44 38 0.49/0.55 c 43018 72180 5952682 3370549 80 0 34 34 33 0.49/0.59 c 47403 79513 6515614 3757895 80 0 35 38 36 0.59/0.63 c 52226 86377 7104619 3892089 80 0 35 41 37 0.59/0.67 c 57531 94795 7566028 4105160 80 0 34 36 35 0.69/0.71 c 63366 103408 8284100 4234580 80 0 42 46 44 0.69/0.77 c 69784 113804 9096935 4899508 80 0 33 37 35 0.79/0.87 c 76843 123035 10374116 5627876 80 0 34 37 34 0.89/0.95 c 84607 134127 11175674 6263729 80 0 32 33 32 0.99/1.00 c 93147 147800 11891269 6577644 80 0 33 36 35 0.99/1.09 c 102541 165872 13280342 6923527 80 0 38 47 43 1.10/1.15 c 112874 182353 14170086 7336525 80 0 36 38 37 1.29/1.33 c 124240 199184 16486227 8470044 80 0 25 39 34 1.39/1.41 c 136742 220178 17589861 8904907 80 0 34 37 36 1.49/1.53 c 150494 247116 19428834 9328041 80 0 26 40 33 1.59/1.65 c 165621 267982 20613077 10267460 80 0 31 33 32 1.69/1.78 c 182260 290919 21980559 11380783 80 0 31 34 33 1.99/2.01 c 200562 316506 24965647 12910149 80 0 29 42 36 2.09/2.16 c 220694 344315 26544543 14189436 80 0 31 33 32 2.39/2.47 c 242839 376388 30728744 16172436 80 0 28 44 37 2.59/2.67 c 267198 419130 33267556 17422694 80 0 32 36 34 2.89/2.93 c 293992 463493 36426352 19186335 80 0 33 36 35 3.09/3.16 c 323465 503784 38813935 21135308 80 0 31 33 32 3.30/3.36 c 355885 543570 42313940 21910426 80 0 29 41 39 3.59/3.64 c 391547 592360 45186525 24252135 80 0 31 33 32 3.89/3.90 c 430775 651311 49742754 25193365 80 0 34 45 41 4.19/4.22 c 473925 715461 53440331 27282565 80 0 33 36 34 4.50/4.59 c 521390 778595 57247246 30566591 80 0 31 37 32 5.09/5.19 c 573601 840694 64896550 34570231 80 0 37 44 37 5.50/5.54 c 631033 926660 69379542 37038685 80 0 32 35 34 5.99/6.05 c 694208 1020646 77767533 39353033 80 0 32 45 40 6.70/6.79 c 763700 1133751 86478913 44017880 80 0 27 35 31 7.29/7.37 c 840141 1264377 94343931 47274832 80 0 31 36 34 8.39/8.47 c 924226 1381349 105799763 60196032 80 0 31 36 33 9.39/9.46 c 1016719 1506186 116270861 69863706 80 0 31 36 33 10.19/10.22 c 1118461 1664847 125529632 75996665 80 0 31 35 34 11.29/11.32 c 1230377 1861131 142498024 82214075 80 0 34 46 42 12.20/12.25 c 1353484 2039965 153764239 88404290 80 0 31 36 34 13.39/13.48 c 1488901 2333253 175135909 93290993 80 0 31 46 40 14.49/14.59 c 1637859 2587657 190020627 99631302 80 0 31 36 34 15.69/15.79 c 1801712 2799334 209969244 104648560 80 0 32 42 38 16.89/17.00 c 1981950 3098504 226391642 111405130 80 0 31 36 34 18.49/18.50 c 2180211 3362749 242984540 122456068 80 0 31 36 33 19.79/19.86 c 2398298 3615713 266578172 127132039 80 0 37 46 42 21.69/21.70 c 2638193 4009961 290679152 137933825 80 0 31 36 34 23.79/23.80 c 2902077 4549700 326561688 144934666 80 0 36 43 41 25.69/25.71 c 3192349 5054240 353539050 154896839 80 0 31 36 34 28.19/28.27 c 3511648 5699655 397109698 163599660 80 0 35 43 40 30.79/30.86 c 3862876 6285908 432149695 178425895 80 0 31 36 34 33.98/34.02 c 4249226 6980456 482635196 195794167 80 0 32 44 40 38.98/39.06 c 4674211 7903917 551754801 224790264 80 0 31 36 33 42.18/42.28 c 5141694 8714826 595541045 242461725 80 0 31 36 34 46.58/46.69 c 5655925 9448058 645713081 276012098 80 0 32 36 33 50.28/50.38 c 6221579 10479545 715246655 287913759 80 0 32 45 43 55.28/55.35 c 6843798 11593530 782531112 316006220 80 0 30 36 34 60.98/61.03 c 7528238 12520450 845573413 359474584 80 0 33 36 33 67.38/67.41 c 8281122 13676695 947929414 386510833 80 0 30 44 41 73.58/73.60 c 9109294 15052851 1028846135 424446550 80 0 32 38 35 82.17/82.22 c 10020283 16562151 1140732882 480196433 80 0 30 36 34 90.57/90.65 c 11022370 18809344 1292103389 507628320 80 0 30 45 42 97.57/97.60 c 12124665 20588521 1386381625 548089675 80 0 30 36 34 107.27/107.32 c 13337189 23054911 1554046193 586653020 80 0 35 45 42 115.77/115.83 c 14670965 25298022 1673080432 633323829 80 0 30 36 34 136.66/136.77 c 16138118 27940152 1946002924 763462257 80 0 27 44 37 148.16/148.25 c 17751986 31015695 2112902183 819639701 80 0 31 38 36 166.65/166.70 c 19527240 34469592 2413857453 901165845 80 0 23 43 39 181.35/181.49 c 21480019 37394892 2592517875 1001858248 80 0 31 38 35 197.95/198.08 c 23628075 41885828 2894684026 1063693323 80 0 27 44 43 216.34/216.42 c 25990936 45830255 3126885245 1189158706 80 0 31 38 34 238.34/238.40 c 28590083 51766593 3495887141 1252867568 80 0 20 43 36 256.53/256.60 c 31449144 56313055 3738654618 1367746685 80 0 32 38 35 305.12/305.27 c 34594111 62535006 4387095147 1716513754 80 0 17 45 37 345.32/345.44 c 38053574 69265032 4910975136 1984150578 80 0 30 38 34 410.60/410.70 c 41858983 76792028 5675876948 2296422307 80 0 32 38 34 439.49/439.66 c 46044932 85106448 6228720506 2384767298 80 0 19 50 40 493.08/493.23 c 50649475 92856806 6908612221 2698207857 80 0 33 38 36 550.17/550.39 c 55714472 100654573 7624913478 3149395134 80 0 32 38 35 586.27/586.44 c 61285968 112615943 8252885308 3251532183 80 0 25 39 34 658.94/659.17 c 67414613 121272451 9068626024 3989390840 80 0 33 39 36 733.83/734.01 c 74156122 130332894 10062970720 4483961903 80 0 27 38 31 835.30/835.59 c 81571781 141472798 11230844927 5559391304 80 0 31 34 33 962.17/962.42 c 89729005 157375490 12960605777 6498761541 80 0 29 46 40 1070.25/1070.51 c 98701951 174708987 14297280142 7099656363 80 0 30 37 35 1151.44/1151.72 c 108572191 188225919 15162080279 7778618441 80 0 30 38 34 1227.71/1228.01 c 119429455 204291019 16486365454 8030618660 80 0 24 42 39 1373.48/1373.87 c 131372445 230898309 18332317165 8881233489 80 0 29 35 33 1552.74/1553.20 c 144509734 252293644 20528381036 10048402006 80 0 29 38 34 1727.30/1727.76 c 158960751 275626491 22512771335 11395114993 80 0 28 39 33 1890.96/1891.47 c 174856869 302080382 24729557667 12333581040 80 0 31 37 35 2065.02/2065.54 c 192342598 335640435 27221953650 13191804565 80 0 30 37 35 2254.88/2255.50 c 211576899 370461955 29616321998 14311863266 80 0 30 37 35
One s line expected
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-4242460-1500663308/watcher-4242460-1500663308 -o /tmp/evaluation-result-4242460-1500663308/solver-4242460-1500663308 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500648174-2491 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242460-1500663308.xml pid=5043 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB [startup+0 s] /proc/loadavg: 2.01 2.03 2.05 3/242 5046 /proc/meminfo: memFree=31885380/32770624 swapFree=5840/217556 [pid=5046] ppid=5043 vsize=27124 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1067 0 0 0 0 0 0 0 20 0 1 0 1598615 27774976 898 33554432000 4194304 5970956 140729284875968 140729284872616 140308840806976 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6781 898 780 434 0 145 0 [startup+0.100135 s] /proc/loadavg: 2.01 2.03 2.05 3/242 5046 /proc/meminfo: memFree=31885380/32770624 swapFree=5840/217556 [pid=5046] ppid=5043 vsize=27256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1130 0 0 0 9 0 0 0 20 0 1 0 1598615 27910144 964 33554432000 4194304 5970956 140729284875968 140729284873304 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 964 828 434 0 178 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27256 [startup+0.200295 s] /proc/loadavg: 2.01 2.03 2.05 3/242 5046 /proc/meminfo: memFree=31885380/32770624 swapFree=5840/217556 [pid=5046] ppid=5043 vsize=27256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1130 0 0 0 19 0 0 0 20 0 1 0 1598615 27910144 964 33554432000 4194304 5970956 140729284875968 140729284873304 4994545 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 964 828 434 0 178 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 27256 [startup+0.300267 s] /proc/loadavg: 2.01 2.03 2.05 3/242 5046 /proc/meminfo: memFree=31885380/32770624 swapFree=5840/217556 [pid=5046] ppid=5043 vsize=27256 CPUtime=0.29 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1130 0 0 0 29 0 0 0 20 0 1 0 1598615 27910144 964 33554432000 4194304 5970956 140729284875968 140729284873304 4908184 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 964 828 434 0 178 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27256 [startup+0.700236 s] /proc/loadavg: 2.01 2.03 2.05 3/242 5046 /proc/meminfo: memFree=31885380/32770624 swapFree=5840/217556 [pid=5046] ppid=5043 vsize=27256 CPUtime=0.69 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1130 0 0 0 69 0 0 0 20 0 1 0 1598615 27910144 964 33554432000 4194304 5970956 140729284875968 140729284873304 4908188 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 964 828 434 0 178 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27256 [startup+1.50023 s] /proc/loadavg: 2.01 2.03 2.05 3/243 5047 /proc/meminfo: memFree=31884336/32770624 swapFree=5840/217596 [pid=5046] ppid=5043 vsize=27256 CPUtime=1.49 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1130 0 0 0 149 0 0 0 20 0 1 0 1598615 27910144 964 33554432000 4194304 5970956 140729284875968 140729284873304 5337501 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 964 828 434 0 178 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27256 [startup+3.10027 s] /proc/loadavg: 2.01 2.03 2.05 3/243 5047 /proc/meminfo: memFree=31883964/32770624 swapFree=5840/217596 [pid=5046] ppid=5043 vsize=27256 CPUtime=3.09 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1209 0 0 0 309 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5081120 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27256 [startup+6.30027 s] /proc/loadavg: 2.01 2.03 2.05 3/243 5047 /proc/meminfo: memFree=31883968/32770624 swapFree=5840/217596 [pid=5046] ppid=5043 vsize=27256 CPUtime=6.29 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1290 0 0 0 629 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4994545 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27256 [startup+12.7003 s] /proc/loadavg: 2.01 2.03 2.05 3/243 5047 /proc/meminfo: memFree=31883184/32770624 swapFree=5840/217596 [pid=5046] ppid=5043 vsize=27256 CPUtime=12.69 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1370 0 0 0 1269 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5327936 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27256 [startup+25.5003 s] /proc/loadavg: 2.00 2.02 2.05 3/243 5047 /proc/meminfo: memFree=31883564/32770624 swapFree=5840/217572 [pid=5046] ppid=5043 vsize=27256 CPUtime=25.49 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1530 0 0 0 2549 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4994526 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 27256 [startup+51.1003 s] /proc/loadavg: 2.00 2.02 2.05 3/243 5047 /proc/meminfo: memFree=31883564/32770624 swapFree=5840/217572 [pid=5046] ppid=5043 vsize=27256 CPUtime=51.08 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1610 0 0 0 5108 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4994554 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 27256 [startup+102.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 5048 /proc/meminfo: memFree=31883144/32770624 swapFree=5840/217572 [pid=5046] ppid=5043 vsize=27256 CPUtime=102.28 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1690 0 0 0 10228 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4994454 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 27256 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5049 /proc/meminfo: memFree=31882524/32770624 swapFree=5840/217728 [pid=5046] ppid=5043 vsize=27256 CPUtime=162.26 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1770 0 0 0 16226 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4994541 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 27256 [startup+222.308 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5051 /proc/meminfo: memFree=31883832/32770624 swapFree=5840/217808 [pid=5046] ppid=5043 vsize=27256 CPUtime=222.25 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1850 0 0 0 22225 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5337501 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 27256 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5052 /proc/meminfo: memFree=31883948/32770624 swapFree=5840/217848 [pid=5046] ppid=5043 vsize=27256 CPUtime=282.23 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 1930 0 0 0 28223 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4994549 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 27256 [startup+342.3 s] /proc/loadavg: 2.04 2.03 2.05 3/243 5060 /proc/meminfo: memFree=31882440/32770624 swapFree=5840/217848 [pid=5046] ppid=5043 vsize=27256 CPUtime=342.22 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 2010 0 0 0 34222 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4908196 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 27256 [startup+402.3 s] /proc/loadavg: 2.05 2.04 2.05 3/243 5083 /proc/meminfo: memFree=31881644/32770624 swapFree=5840/217952 [pid=5046] ppid=5043 vsize=27256 CPUtime=402.2 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 2076 0 0 0 40220 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4994541 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 27256 [startup+462.3 s] /proc/loadavg: 2.02 2.03 2.05 3/243 5084 /proc/meminfo: memFree=31880844/32770624 swapFree=5840/217952 [pid=5046] ppid=5043 vsize=27256 CPUtime=462.19 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 2170 0 0 0 46219 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5337501 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 27256 [startup+522.3 s] /proc/loadavg: 2.01 2.03 2.05 3/243 5216 /proc/meminfo: memFree=32032444/32770624 swapFree=5840/218124 [pid=5046] ppid=5043 vsize=27256 CPUtime=522.18 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 2250 0 0 0 52218 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 27256 [startup+582.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 5217 /proc/meminfo: memFree=32032352/32770624 swapFree=5840/218124 [pid=5046] ppid=5043 vsize=27256 CPUtime=582.16 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 2330 0 0 0 58216 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4908341 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 27256 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 5240 /proc/meminfo: memFree=32029548/32770624 swapFree=5840/218924 [pid=5046] ppid=5043 vsize=27256 CPUtime=1481.96 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 3435 0 0 0 148196 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5093248 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 27256 [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5248 /proc/meminfo: memFree=32029932/32770624 swapFree=5840/218924 [pid=5046] ppid=5043 vsize=27256 CPUtime=1541.95 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 3502 0 0 0 154195 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4912762 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 27256 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5249 /proc/meminfo: memFree=32029224/32770624 swapFree=5840/219000 [pid=5046] ppid=5043 vsize=27256 CPUtime=1601.93 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 3580 0 0 0 160193 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4908184 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 27256 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5250 /proc/meminfo: memFree=32028320/32770624 swapFree=5840/219000 [pid=5046] ppid=5043 vsize=27256 CPUtime=1661.91 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 3645 0 0 0 166191 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4994506 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 27256 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5251 /proc/meminfo: memFree=32029208/32770624 swapFree=5840/219076 [pid=5046] ppid=5043 vsize=27256 CPUtime=1721.9 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 3710 0 0 0 172190 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5319252 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 27256 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5252 /proc/meminfo: memFree=32029204/32770624 swapFree=5840/219076 [pid=5046] ppid=5043 vsize=27256 CPUtime=1781.89 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 3791 0 0 0 178189 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4994554 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 27256 [startup+1842.3 s] /proc/loadavg: 2.04 2.03 2.05 3/243 5254 /proc/meminfo: memFree=32029012/32770624 swapFree=5840/219180 [pid=5046] ppid=5043 vsize=27256 CPUtime=1841.87 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 3857 0 0 0 184187 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4908175 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 1841.87 Current children cumulated vsize (KiB) 27256 [startup+1902.3 s] /proc/loadavg: 2.02 2.02 2.05 3/243 5255 /proc/meminfo: memFree=32027784/32770624 swapFree=5840/219180 [pid=5046] ppid=5043 vsize=27256 CPUtime=1901.86 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 3937 0 0 0 190186 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4994545 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 1901.86 Current children cumulated vsize (KiB) 27256 [startup+1962.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 5256 /proc/meminfo: memFree=32028592/32770624 swapFree=5840/219256 [pid=5046] ppid=5043 vsize=27256 CPUtime=1961.85 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 4004 0 0 0 196185 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5337497 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 1961.85 Current children cumulated vsize (KiB) 27256 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/242 5258 /proc/meminfo: memFree=32030608/32770624 swapFree=5840/219308 [pid=5046] ppid=5043 vsize=27256 CPUtime=2021.83 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 4071 0 0 0 202183 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 2021.83 Current children cumulated vsize (KiB) 27256 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 5260 /proc/meminfo: memFree=32029232/32770624 swapFree=5840/219356 [pid=5046] ppid=5043 vsize=27256 CPUtime=2081.83 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 4151 0 0 0 208183 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4912709 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 2081.83 Current children cumulated vsize (KiB) 27256 [startup+2142.3 s] /proc/loadavg: 2.06 2.03 2.05 3/243 5268 /proc/meminfo: memFree=32027992/32770624 swapFree=5840/219364 [pid=5046] ppid=5043 vsize=27256 CPUtime=2141.8 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 4218 0 0 0 214180 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5319868 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 2141.8 Current children cumulated vsize (KiB) 27256 [startup+2202.31 s] /proc/loadavg: 2.02 2.02 2.05 3/243 5269 /proc/meminfo: memFree=32028924/32770624 swapFree=5840/219424 [pid=5046] ppid=5043 vsize=27256 CPUtime=2201.8 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 4285 0 0 0 220180 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 2201.8 Current children cumulated vsize (KiB) 27256 [startup+2262.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 5270 /proc/meminfo: memFree=32027904/32770624 swapFree=5840/219424 [pid=5046] ppid=5043 vsize=27256 CPUtime=2261.78 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 4365 0 0 0 226178 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4994503 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 2261.78 Current children cumulated vsize (KiB) 27256 [startup+2322.3 s] /proc/loadavg: 2.05 2.03 2.05 3/243 5271 /proc/meminfo: memFree=32028868/32770624 swapFree=5840/219496 [pid=5046] ppid=5043 vsize=27256 CPUtime=2321.76 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 4431 0 0 0 232176 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5327799 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 2321.76 Current children cumulated vsize (KiB) 27256 [startup+2382.3 s] /proc/loadavg: 2.02 2.02 2.05 3/243 5272 /proc/meminfo: memFree=32027032/32770624 swapFree=5840/219496 [pid=5046] ppid=5043 vsize=27256 CPUtime=2381.75 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 4496 0 0 0 238175 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 5093436 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 2381.75 Current children cumulated vsize (KiB) 27256 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.6 s] /proc/loadavg: 2.08 2.04 2.05 3/243 5273 /proc/meminfo: memFree=32027860/32770624 swapFree=5840/219496 [pid=5046] ppid=5043 vsize=27256 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14 /proc/5046/stat : 5046 (cosoco) R 5043 5046 2458 0 -1 4202496 4562 0 0 0 240005 0 0 0 20 0 1 0 1598615 27910144 970 33554432000 4194304 5970956 140729284875968 140729284873304 4908175 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 24834048 140729284879553 140729284879683 140729284879683 140729284882382 0 /proc/5046/statm: 6814 970 831 434 0 178 0 Current children cumulated CPU time (s) 2400.05 Current children cumulated vsize (KiB) 27256 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 5046 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.6 CPU time (s): 2400.05 CPU user time (s): 2400.05 CPU system time (s): 0.002999 CPU usage (%): 99.9772 Max. virtual memory (cumulated for all children) (KiB): 27256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.05 system time used= 0.002999 maximum resident set size= 3924 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4589 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= 121834 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.18731 second user time and 10.9799 second system time The end
Begin job on node126 at 2017-07-21 20:55:08 IDJOB=4242460 IDBENCH=134538 IDSOLVER=2620 FILE ID=node126/4242460-1500663308 RUNJOBID= node126-1500648174-2491 PBS_JOBID= 20623294 Free space on /tmp= 61980 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/Blackhole/Blackhole-m1-s10/Blackhole-10-3-04.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242460-1500663308/watcher-4242460-1500663308 -o /tmp/evaluation-result-4242460-1500663308/solver-4242460-1500663308 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500648174-2491 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242460-1500663308.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 986ee2669b222e63b3403a1d528be806 RANDOM SEED=771942285 node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 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 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 sep 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 nopl 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 dtherm 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 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 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 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 sep 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 nopl 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 dtherm 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 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 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 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 sep 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 nopl 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 dtherm 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 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 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 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 sep 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 nopl 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 dtherm 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 : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep 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 nopl 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 dtherm 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: 32770624 kB MemFree: 31885728 kB MemAvailable: 31878620 kB Buffers: 34936 kB Cached: 270080 kB SwapCached: 0 kB Active: 289408 kB Inactive: 226212 kB Active(anon): 213316 kB Inactive(anon): 8656 kB Active(file): 76092 kB Inactive(file): 217556 kB Unevictable: 5840 kB Mlocked: 5840 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2052 kB Writeback: 0 kB AnonPages: 221920 kB Mapped: 31212 kB Shmem: 8840 kB Slab: 61592 kB SReclaimable: 30160 kB SUnreclaim: 31432 kB KernelStack: 4544 kB PageTables: 5772 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 482280 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 163840 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61980 MiB End job on node126 at 2017-07-21 21:35:09