Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 parallel | SAT | 3.60323 | 0.743451 |
Name | TravellingSalesman/TravellingSalesman-xcsp2-s20a4/ TravellingSalesman-4-20-001-a4_X2.xml |
MD5SUM | b8ea00653452363d0c81f6ef3102e485 |
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.830237 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 61 |
Number of constraints | 228 |
Number of domains | 5 |
Minimum domain size | 1 |
Maximum domain size | 1001 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":20,"count":20},{"size":161,"count":19},{"size":1001,"count":20}] |
Minimum variable degree | 1 |
Maximum variable degree | 208 |
Distribution of variable degrees | [{"degree":1,"count":2},{"degree":2,"count":37},{"degree":19,"count":1},{"degree":20,"count":18},{"degree":37,"count":1},{"degree":190,"count":1},{"degree":208,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 4 |
Distribution of constraint arities | [{"arity":2,"count":1},{"arity":3,"count":20},{"arity":4,"count":207}] |
Number of extensional constraints | 228 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":228}] |
Optimization problem | NO |
Type of objective |
1.14/0.44 c root propagations : 22212 1.14/0.44 c restarts enabled, print stats at every restarts 1.14/0.44 c 1.14/0.44 c 1.14/0.44 c 1.14/0.44 c This is cosoco 2.00 -- 1.14/0.44 c 1.14/0.44 c command line: cosoco -model -nbcores=8 HOME/instance-4409204-1569833725.xml 1.14/0.44 c ========================================[ Problem Statistics ]=========================================== 1.14/0.44 c | 1.14/0.44 c | Parse time : 0.25 s 1.14/0.44 c | 1.14/0.44 c | Variables: 61 1.14/0.44 c | Domain Sizes: 1..1001 1.14/0.44 c | 1.14/0.44 c | Constraints: 228 1.14/0.44 c | Arity: 2..4 -- Binary: 1 -- Ternary: 20 1.14/0.44 c | 1.14/0.44 c | Types: 1.14/0.44 c | Extension: 228 (nb tuples: 1..13041) -- (shared: 1632) 1.14/0.44 c | 1.14/0.44 c ========================================================================================================= 1.14/0.44 c Parallel mode: Portfolio 1.14/0.44 c [pFactory][Group N°0] created (threads:8). 1.14/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 1.14/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 1.14/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 1.14/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 1.14/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 1.14/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 1.14/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 1.14/0.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 1.14/0.44 c [pFactory][Group N°0] concurrent mode: enabled. 1.14/0.44 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 1.14/0.44 c [pFactory][Group N°0] task 7 launched on thread 0. 1.14/0.44 c [pFactory][Group N°0] task 6 launched on thread 2. 1.14/0.44 c [pFactory][Group N°0] task 5 launched on thread 1. 1.14/0.44 c [pFactory][Group N°0] task 4 launched on thread 6. 1.14/0.44 c [pFactory][Group N°0] task 3 launched on thread 7. 1.14/0.44 c [pFactory][Group N°0] task 2 launched on thread 3. 1.14/0.44 c [pFactory][Group N°0] task 1 launched on thread 5. 1.14/0.44 c [pFactory][Group N°0] task 0 launched on thread 4. 1.14/0.44 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.14/0.44 c root propagations : 22212 1.14/0.44 c restarts enabled, print stats at every restarts 1.14/0.44 c 1.14/0.44 c 1.14/0.44 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.14/0.44 c root propagations : 22212 1.14/0.44 c restarts enabled, print stats at every restarts 1.14/0.44 c 1.14/0.44 c 1.14/0.44 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.14/0.44 c 0 1 1463 22213 59 0 0 0 0 1.14/0.44 c 0 2 1463 22214 59 0 0 0 0 1.14/0.45 c root propagations : 22212 1.14/0.45 c restarts enabled, print stats at every restarts 1.14/0.45 c 1.14/0.45 c 1.14/0.45 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.14/0.46 c 0 1 1463 22213 59 0 0 0 0 1.14/0.46 c root propagations : 22212 1.14/0.46 c restarts enabled, print stats at every restarts 1.14/0.46 c 1.14/0.46 c 1.14/0.46 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.14/0.46 c 0 1 1463 22213 59 0 0 0 0 1.14/0.46 c root propagations : 22212 1.14/0.46 c restarts enabled, print stats at every restarts 1.14/0.46 c 1.14/0.46 c 1.14/0.46 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.14/0.46 c root propagations : 22212 1.14/0.46 c restarts enabled, print stats at every restarts 1.14/0.46 c 1.14/0.46 c 1.14/0.46 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.14/0.46 c 0 1 1463 22213 59 0 0 0 0 1.14/0.46 c 0 1 1463 22213 59 0 0 0 0 1.14/0.46 c 0 2 1484 22216 59 0 0 0 0 1.14/0.46 c 0 6 1658 22243 59 0 0 0 0 1.14/0.46 c 0 7 1679 22246 59 0 0 0 0 1.14/0.46 c 0 3 1741 22591 59 0 0 0 0 1.14/0.46 c c 0 4 1762 22594 59 00 1 0 0 0 1484 1.14/0.46 22215 59 0 0 0 0 1.14/0.46 c root propagations : 22212 1.14/0.46 c restarts enabled, print stats at every restarts 1.14/0.46 c 1.14/0.46 c 1.14/0.46 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.14/0.46 c 0 1 1484 22215 59 0 0 0 0 1.14/0.47 c 0 4 1668 22258 59 0 0 0 0 1.14/0.47 c 0 3 1675 22242 59 0 0 0 0 1.14/0.47 c 0 6 2040 22972 59 0 0 0 0 1.14/0.47 c 0 7 2061 22975 59 0 0 0 0 1.14/0.47 c 0 12 2087 22617 59 0 0 0 0 1.14/0.47 c 0 6 1852 22300 59 0 0 0 0 1.14/0.47 c 0 3 1820 22646 59 0 0 0 0 1.14/0.47 c 0 3 1966 22724 59 0 0 0 0 1.14/0.47 c 0 7 1873 22303 59 0 0 0 0 1.14/0.47 c 0 4 1841 22649 59 0 0 0 0 1.14/0.47 c 0 2 1746 22407 59 0 c 0 5 1866 0 0 0 22269 1.14/0.47 59 0 0 0 0 1.14/0.48 c 0 3 1767 22410 59 0 0 0 0 1.14/0.48 c 0 6 1887 22272 59 0 0 0 0 1.14/0.48 c 0 9 2339 23353 59 0 0 0 0 1.14/0.48 c 0 17 2303 22649 59 0 0 0 0 1.14/0.48 c 0 9 2057 22345 59 0 0 0 0 1.14/0.48 c 0 6 2177 23078 59 0 0 0 0 1.14/0.48 c 0 5 2469 23235 59 0 0 0 0 1.14/0.49 c 0 22 2711 23020 59 0 0 0 0 1.14/0.49 c 0 18 3119 23830 59 0 0 0 0 1.14/0.49 c 0 23 2757 23030 59 0 0 0 0 1.14/0.49 c 0 19 3164 23840 59 0 0 0 0 1.14/0.49 c 0 20 3185 23843 59 0 0 0 0 1.14/0.49 c 0 21 3206 23846 59 0 0 0 0 1.14/0.49 c 0 8 2552 23784 59 0 0 0 0 1.14/0.49 c 0 28 2943 23058 59 0 0 0 0 1.14/0.49 c 0 9 2634 23798 59 0 0 0 0 1.14/0.49 c 0 29 2984 23063 59 0 0 0 0 1.14/0.49 c 0 10 2655 23801 59 0 0 0 0 1.14/0.49 c 0 7 2951 23744 59 0 0 0 0 1.14/0.49 c 0 23 3484 24214 59 0 0 0 0 1.14/0.50 c 0 8 3033 23760 59 0 0 0 0 1.14/0.50 c 0 12 2991 24215 59 0 0 0 0 1.14/0.50 c 0 34 3413 23423 59 0 0 0 0 1.14/0.51 c 0 14 3366 24906 59 0 0 0 0 1.14/0.51 c 0 18 3893 24357 59 0 0 0 0 1.91/0.52 c 0 16 3703 25320 59 0 0 0 0 1.91/0.52 c 0 22 4350 26107 59 0 0 0 0 1.91/0.53 c 0 23 4371 26110 59 0 0 0 0 1.91/0.53 c 0 25 4746 26797 59 0 0 0 0 1.91/0.53 c 0 26 4787 26802 59 0 0 0 0 1.91/0.53 c 0 27 4808 26805 59 0 0 0 0 1.91/0.53 c 0 28 4808 26806 59 0 0 0 0 1.91/0.54 c 0 36 5667 27545 59 0 0 0 0 1.91/0.56 c 0 37 5725 27567 59 0 0 0 0 1.91/0.56 c 0 39 6099 28250 59 0 0 0 0 1.91/0.58 c 32 93 17645 32178 59 0 1 25 11 1.91/0.59 c 32 125 21611 30090 59 0 6 19 13 1.91/0.59 c 32 73 15781 29801 59 0 6 23 16 1.91/0.60 c 32 120 22076 31334 59 0 6 27 13 1.91/0.60 c 33 126 22097 30338 59 0 1 1 0 1.91/0.60 c 33 103 19516 32863 59 0 10 10 5 2.64/0.62 c 33 93 17374 30762 59 0 20 20 10 2.64/0.63 c 33 133 24330 32263 59 0 13 13 6 2.64/0.64 c 64 196 29440 36374 59 0 17 29 21 2.64/0.66 c 65 198 29867 36993 59 0 2 2 1 2.64/0.66 c 64 170 26073 36595 59 0 12 35 21 2.64/0.66 c 101 214 33401 39962 59 0 10 26 17 2.64/0.67 c 65 171 26261 37163 59 0 1 1 0 2.64/0.67 c 66 172 26500 37713 59 0 1 1 0 2.64/0.67 c 101 183 31812 39076 59 0 6 33 14 2.64/0.67 c 66 206 31182 37660 59 0 8 8 4 2.64/0.68 c 67 173 26699 38255 59 0 1 1 0 2.64/0.69 c 67 215 32533 38363 59 0 9 9 4 3.35/0.72 c First solution is found 3.35/0.73 c [pFactory][Group N°0] concurent mode: thread 3 has won with the task 2. 3.35/0.73 c [pFactory][Group N°0] Thread N°0 is joined. 3.35/0.73 c [pFactory][Group N°0] Thread N°1 is joined. 3.35/0.73 c [pFactory][Group N°0] Thread N°2 is joined. 3.35/0.73 c [pFactory][Group N°0] Thread N°3 is joined. 3.35/0.73 c [pFactory][Group N°0] Thread N°4 is joined. 3.35/0.73 c [pFactory][Group N°0] Thread N°5 is joined. 3.35/0.73 c [pFactory][Group N°0] Thread N°6 is joined. 3.35/0.73 c [pFactory][Group N°0] Thread N°7 is joined. 3.35/0.73 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°3) 3.35/0.73 s SATISFIABLE 3.35/0.73 c restarts : 12 3.35/0.73 c conflicts : 51 (14 /sec) 3.35/0.73 c decisions : 178 (51 /sec) 3.35/0.73 c propagations : 36028 (10235 /sec) 3.35/0.73 c root propagations : 22212 3.35/0.73 c filter calls : 34495 (9800 /sec) 3.35/0.73 c useless filter calls : 30581 (88 %) 3.35/0.73 c Memory used : 713.47 MB 3.35/0.73 c CPU time : 3.51991 s 3.35/0.73 c real time : 0.726026 s 3.35/0.73 3.35/0.73 c solution 1 3.35/0.73 3.35/0.73 v <instantiation type='solution'> 3.35/0.73 v <list>w3 w4 x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] z[14] z[15] z[16] z[17] z[18] </list> 3.35/0.73 v <values>160 0 10 3 16 12 4 9 5 18 8 14 13 2 15 7 1 19 6 17 20 11 13 3 1 15 6 0 5 11 2 1 2 20 7 26 0 21 0 3 15 9 16 17 32 38 38 43 54 56 57 59 79 86 112 112 133 133 136 151 160 </values> 3.35/0.73 v </instantiation> 3.35/0.73
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL 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. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15216 MiB free) memory of node 1: 16384 MiB (15524 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409204-1569833725/watcher-4409204-1569833725 -o /tmp/evaluation-result-4409204-1569833725/solver-4409204-1569833725 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569823905-29621 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409204-1569833725.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=30845, runsolver pid=30842 Current StackSize limit: 8192 KiB [startup+0.100159 s]* /proc/loadavg: 5.15 8.02 8.50 2/191 30846 /proc/meminfo: memFree=31465944/32770624 swapFree=67000008/67108860 [pid=30845] ppid=30842 vsize=40688 memory=16168 CPUtime=0.1 cores=0-7 /proc/30845/stat : 30845 (cosoco) R 30842 30845 29594 0 -1 4202496 4387 0 0 0 10 0 0 0 20 0 1 0 559626128 41664512 4042 33554432000 4194304 6211132 140725670263504 140725670260040 5818712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 /proc/30845/statm: 10172 4042 814 493 0 3477 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 40688 KiB Current children cumulated memory: 16168 KiB [startup+0.209201 s]* /proc/loadavg: 5.15 8.02 8.50 2/191 30846 /proc/meminfo: memFree=31457388/32770624 swapFree=67000008/67108860 [pid=30845] ppid=30842 vsize=54800 memory=29364 CPUtime=0.2 cores=0-7 /proc/30845/stat : 30845 (cosoco) R 30842 30845 29594 0 -1 4202496 7729 0 0 0 20 0 0 0 20 0 1 0 559626128 56115200 7341 33554432000 4194304 6211132 140725670263504 140725670260040 5037221 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 /proc/30845/statm: 13700 7341 822 493 0 7005 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 54800 KiB Current children cumulated memory: 29364 KiB [startup+0.317681 s]* /proc/loadavg: 5.15 8.02 8.50 9/199 30854 /proc/meminfo: memFree=31333240/32770624 swapFree=67000008/67108860 [pid=30845] ppid=30842 vsize=763376 memory=148428 CPUtime=0.48 cores=0-7 /proc/30845/stat : 30845 (cosoco) S 30842 30845 29594 0 -1 1077944320 37827 0 0 0 44 4 0 0 20 0 9 0 559626128 781697024 37107 33554432000 4194304 6211132 140725670263504 140725670261760 139806509010679 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 /proc/30845/statm: 190844 37107 849 493 0 184149 0 [pid=30845/tid=30847] ppid=30842 vsize=763376 memory=8317482817917895235 CPUtime=0.02 cores=0-7 /proc/30845/task/30847/stat : 30847 (cosoco) R 30842 30845 29594 0 -1 4202560 48 0 0 0 2 0 0 0 20 0 9 0 559626158 781697024 37107 33554432000 4194304 6211132 140725670263504 139806482721640 5039014 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 [pid=30845/tid=30848] ppid=30842 vsize=763376 memory=0 CPUtime=0.02 cores=0-7 /proc/30845/task/30848/stat : 30848 (cosoco) R 30842 30845 29594 0 -1 4202560 43 0 0 0 2 0 0 0 20 0 9 0 559626158 781697024 37107 33554432000 4194304 6211132 140725670263504 139806474328936 5039132 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 [pid=30845/tid=30849] ppid=30842 vsize=763376 memory=0 CPUtime=0.02 cores=0-7 /proc/30845/task/30849/stat : 30849 (cosoco) R 30842 30845 29594 0 -1 4202560 43 0 0 0 2 0 0 0 20 0 9 0 559626158 781697024 37107 33554432000 4194304 6211132 140725670263504 139806465936232 5039038 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 [pid=30845/tid=30850] ppid=30842 vsize=763376 memory=6944656575208382560 CPUtime=0.02 cores=0-7 /proc/30845/task/30850/stat : 30850 (cosoco) R 30842 30845 29594 0 -1 4202560 43 0 0 0 2 0 0 0 20 0 9 0 559626158 781697024 37107 33554432000 4194304 6211132 140725670263504 139806457543528 5039540 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 [pid=30845/tid=30851] ppid=30842 vsize=763376 memory=0 CPUtime=0.02 cores=0-7 /proc/30845/task/30851/stat : 30851 (cosoco) R 30842 30845 29594 0 -1 4202560 43 0 0 0 2 0 0 0 20 0 9 0 559626158 781697024 37107 33554432000 4194304 6211132 140725670263504 139806449150872 5039026 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 [pid=30845/tid=30852] ppid=30842 vsize=763376 memory=0 CPUtime=0.01 cores=0-7 /proc/30845/task/30852/stat : 30852 (cosoco) R 30842 30845 29594 0 -1 4202560 43 0 0 0 1 0 0 0 20 0 9 0 559626158 781697024 37107 33554432000 4194304 6211132 140725670263504 139806440758168 5039061 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 [pid=30845/tid=30853] ppid=30842 vsize=763376 memory=0 CPUtime=0.02 cores=0-7 /proc/30845/task/30853/stat : 30853 (cosoco) R 30842 30845 29594 0 -1 4202560 43 0 0 0 2 0 0 0 20 0 9 0 559626158 781697024 37107 33554432000 4194304 6211132 140725670263504 139806432365272 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 [pid=30845/tid=30854] ppid=30842 vsize=763376 memory=0 CPUtime=0.02 cores=0-7 /proc/30845/task/30854/stat : 30854 (cosoco) R 30842 30845 29594 0 -1 4202560 43 0 0 0 2 0 0 0 20 0 9 0 559626158 781697024 37107 33554432000 4194304 6211132 140725670263504 139806423972712 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 Current children cumulated CPU time: 0.48 s Current children cumulated vsize: 763376 KiB Current children cumulated memory: 148428 KiB [startup+0.700682 s] /proc/loadavg: 5.15 8.02 8.50 10/199 30854 /proc/meminfo: memFree=31304340/32770624 swapFree=67000008/67108860 [pid=30845] ppid=30842 vsize=779792 memory=178572 CPUtime=3.35 cores=0-7 /proc/30845/stat : 30845 (cosoco) S 30842 30845 29594 0 -1 1077944320 45818 0 0 0 328 7 0 0 20 0 9 0 559626128 798507008 44643 33554432000 4194304 6211132 140725670263504 140725670261760 139806509010679 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 /proc/30845/statm: 194948 44643 857 493 0 188253 0 [pid=30845/tid=30847] ppid=30842 vsize=779792 memory=9588 CPUtime=0.38 cores=0-7 /proc/30845/task/30847/stat : 30847 (cosoco) R 30842 30845 29594 0 -1 4202560 1046 0 0 0 38 0 0 0 20 0 9 0 559626158 798507008 44643 33554432000 4194304 6211132 140725670263504 139806482721608 5039038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 [pid=30845/tid=30848] ppid=30842 vsize=779792 memory=1548 CPUtime=0.38 cores=0-7 /proc/30845/task/30848/stat : 30848 (cosoco) R 30842 30845 29594 0 -1 4202560 1048 0 0 0 38 0 0 0 20 0 9 0 559626158 798507008 44643 33554432000 4194304 6211132 140725670263504 139806474329296 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 [pid=30845/tid=30849] ppid=30842 vsize=779792 memory=628 CPUtime=0.37 cores=0-7 /proc/30845/task/30849/stat : 30849 (cosoco) R 30842 30845 29594 0 -1 4202560 1041 0 0 0 37 0 0 0 20 0 9 0 559626158 798507008 44643 33554432000 4194304 6211132 140725670263504 139806465936200 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 [pid=30845/tid=30850] ppid=30842 vsize=779792 memory=1056 CPUtime=0.38 cores=0-7 /proc/30845/task/30850/stat : 30850 (cosoco) R 30842 30845 29594 0 -1 4202560 1041 0 0 0 38 0 0 0 20 0 9 0 559626158 798507008 44643 33554432000 4194304 6211132 140725670263504 139806457543544 5039137 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 [pid=30845/tid=30851] ppid=30842 vsize=779792 memory=1724 CPUtime=0.38 cores=0-7 /proc/30845/task/30851/stat : 30851 (cosoco) R 30842 30845 29594 0 -1 4202560 1041 0 0 0 38 0 0 0 20 0 9 0 559626158 798507008 44643 33554432000 4194304 6211132 140725670263504 139806449151072 5039561 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 [pid=30845/tid=30852] ppid=30842 vsize=779792 memory=140475763820159 CPUtime=0.36 cores=0-7 /proc/30845/task/30852/stat : 30852 (cosoco) R 30842 30845 29594 0 -1 4202560 1041 0 0 0 36 0 0 0 20 0 9 0 559626158 798507008 44643 33554432000 4194304 6211132 140725670263504 139806440758368 5039026 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 [pid=30845/tid=30853] ppid=30842 vsize=779792 memory=5782674880105308224 CPUtime=0.38 cores=0-7 /proc/30845/task/30853/stat : 30853 (cosoco) R 30842 30845 29594 0 -1 4202560 1041 0 0 0 38 0 0 0 20 0 9 0 559626158 798507008 44643 33554432000 4194304 6211132 140725670263504 139806432365664 5039536 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 [pid=30845/tid=30854] ppid=30842 vsize=779792 memory=7597685182856913236 CPUtime=0.38 cores=0-7 /proc/30845/task/30854/stat : 30854 (cosoco) R 30842 30845 29594 0 -1 4202560 1041 0 0 0 38 0 0 0 20 0 9 0 559626158 798507008 44643 33554432000 4194304 6211132 140725670263504 139806423972960 5039022 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 Current children cumulated CPU time: 3.35 s Current children cumulated vsize: 779792 KiB Current children cumulated memory: 178572 KiB [startup+0.743378 s] # the end of solver process 30845 was just reported to runsolver # cumulated CPU time of all completed processes: user=3.52006 s, system=0.083166 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.700682 s] /proc/loadavg: 5.15 8.02 8.50 10/199 30854 /proc/meminfo: memFree=31304340/32770624 swapFree=67000008/67108860 [pid=30845] ppid=30842 vsize=779792 memory=178572 CPUtime=3.35 cores=0-7 /proc/30845/stat : 30845 (cosoco) S 30842 30845 29594 0 -1 1077944320 45818 0 0 0 328 7 0 0 20 0 9 0 559626128 798507008 44643 33554432000 4194304 6211132 140725670263504 140725670261760 139806509010679 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 /proc/30845/statm: 194948 44643 857 493 0 188253 0 [pid=30845/tid=30847] ppid=30842 vsize=779792 memory=9588 CPUtime=0.38 cores=0-7 /proc/30845/task/30847/stat : 30847 (cosoco) R 30842 30845 29594 0 -1 4202560 1046 0 0 0 38 0 0 0 20 0 9 0 559626158 798507008 44643 33554432000 4194304 6211132 140725670263504 139806482721608 5039038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 [pid=30845/tid=30848] ppid=30842 vsize=779792 memory=1548 CPUtime=0.38 cores=0-7 /proc/30845/task/30848/stat : 30848 (cosoco) R 30842 30845 29594 0 -1 4202560 1048 0 0 0 38 0 0 0 20 0 9 0 559626158 798507008 44643 33554432000 4194304 6211132 140725670263504 139806474329296 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 [pid=30845/tid=30849] ppid=30842 vsize=779792 memory=628 CPUtime=0.37 cores=0-7 /proc/30845/task/30849/stat : 30849 (cosoco) R 30842 30845 29594 0 -1 4202560 1041 0 0 0 37 0 0 0 20 0 9 0 559626158 798507008 44643 33554432000 4194304 6211132 140725670263504 139806465936200 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 [pid=30845/tid=30850] ppid=30842 vsize=779792 memory=1056 CPUtime=0.38 cores=0-7 /proc/30845/task/30850/stat : 30850 (cosoco) R 30842 30845 29594 0 -1 4202560 1041 0 0 0 38 0 0 0 20 0 9 0 559626158 798507008 44643 33554432000 4194304 6211132 140725670263504 139806457543544 5039137 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 [pid=30845/tid=30851] ppid=30842 vsize=779792 memory=1724 CPUtime=0.38 cores=0-7 /proc/30845/task/30851/stat : 30851 (cosoco) R 30842 30845 29594 0 -1 4202560 1041 0 0 0 38 0 0 0 20 0 9 0 559626158 798507008 44643 33554432000 4194304 6211132 140725670263504 139806449151072 5039561 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 [pid=30845/tid=30852] ppid=30842 vsize=779792 memory=140475763820159 CPUtime=0.36 cores=0-7 /proc/30845/task/30852/stat : 30852 (cosoco) R 30842 30845 29594 0 -1 4202560 1041 0 0 0 36 0 0 0 20 0 9 0 559626158 798507008 44643 33554432000 4194304 6211132 140725670263504 139806440758368 5039026 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 [pid=30845/tid=30853] ppid=30842 vsize=779792 memory=5782674880105308224 CPUtime=0.38 cores=0-7 /proc/30845/task/30853/stat : 30853 (cosoco) R 30842 30845 29594 0 -1 4202560 1041 0 0 0 38 0 0 0 20 0 9 0 559626158 798507008 44643 33554432000 4194304 6211132 140725670263504 139806432365664 5039536 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 [pid=30845/tid=30854] ppid=30842 vsize=779792 memory=7597685182856913236 CPUtime=0.38 cores=0-7 /proc/30845/task/30854/stat : 30854 (cosoco) R 30842 30845 29594 0 -1 4202560 1041 0 0 0 38 0 0 0 20 0 9 0 559626158 798507008 44643 33554432000 4194304 6211132 140725670263504 139806423972960 5039022 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13316096 140725670269969 140725670270061 140725670270061 140725670272974 0 Current children cumulated CPU time: 3.35 s Current children cumulated vsize: 779792 KiB Current children cumulated memory: 178572 KiB Child status: 0 Real time (s): 0.743451 CPU time (s): 3.60323 CPU user time (s): 3.52006 CPU system time (s): 0.083166 CPU usage (%): 484.662 Max. virtual memory (cumulated for all children) (KiB): 779792 Max. memory (cumulated for all children) (KiB): 178572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.52006 system time used= 0.083166 maximum resident set size= 178572 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45836 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= 1110 involuntary context switches= 54 # summary of solver processes directly reported to runsolver: # pid: 30845 # total CPU time (s): 3.60323 # total CPU user time (s): 3.52006 # total CPU system time (s): 0.083166 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.02759 second user time and 0.044145 second system time The end
Begin job on node106 at 2019-09-30 09:53:58 IDJOB=4409204 IDBENCH=135918 IDSOLVER=2877 FILE ID=node106/4409204-1569833725 RUNJOBID= node106-1569823905-29621 PBS_JOBID= 21705930 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s20a4/TravellingSalesman-4-20-001-a4_X2.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409204-1569833725/watcher-4409204-1569833725 -o /tmp/evaluation-result-4409204-1569833725/solver-4409204-1569833725 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569823905-29621 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409204-1569833725.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= b8ea00653452363d0c81f6ef3102e485 RANDOM SEED=1320606125 node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /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 : 2668.000 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 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.79 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 : 2668.000 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 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 : 2668.000 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 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.79 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 : 2668.000 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 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 : 2668.000 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 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.79 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 : 2668.000 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 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 : 2668.000 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 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.79 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 : 2668.000 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 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: 31478188 kB MemAvailable: 31863448 kB Buffers: 194028 kB Cached: 515756 kB SwapCached: 4560 kB Active: 279916 kB Inactive: 438024 kB Active(anon): 18760 kB Inactive(anon): 66616 kB Active(file): 261156 kB Inactive(file): 371408 kB Unevictable: 109328 kB Mlocked: 109328 kB SwapTotal: 67108860 kB SwapFree: 67000008 kB Dirty: 3104 kB Writeback: 4 kB AnonPages: 113000 kB Mapped: 26856 kB Shmem: 68520 kB Slab: 166284 kB SReclaimable: 137060 kB SUnreclaim: 29224 kB KernelStack: 3408 kB PageTables: 5340 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 530440 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 62028 MiB End job on node106 at 2019-09-30 09:53:58