Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2 | UNSAT | 35.7695 | 35.7662 |
Name | Random/Random-D-t020/ rand-2-40-11-414-020-79.xml |
MD5SUM | c0f256b6b5f799b1206df7220afe38a7 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 31.3194 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 40 |
Number of constraints | 414 |
Number of domains | 1 |
Minimum domain size | 11 |
Maximum domain size | 11 |
Distribution of domain sizes | [{"size":11,"count":40}] |
Minimum variable degree | 14 |
Maximum variable degree | 26 |
Distribution of variable degrees | [{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1},{"degree":18,"count":6},{"degree":19,"count":4},{"degree":20,"count":5},{"degree":21,"count":6},{"degree":22,"count":6},{"degree":23,"count":5},{"degree":24,"count":1},{"degree":25,"count":2},{"degree":26,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":414}] |
Number of extensional constraints | 414 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":414}] |
Optimization problem | NO |
Type of objective |
0.00/0.04 c root propagations : 0 0.00/0.04 c restarts enabled, print stats at every restarts 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c This is cosoco 2.00 -- 0.00/0.04 c 0.00/0.04 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389376-1568319328.xml 0.00/0.04 c ========================================[ Problem Statistics ]=========================================== 0.00/0.04 c | 0.00/0.04 c | Parse time : 0.04 s 0.00/0.04 c | 0.00/0.04 c | Variables: 40 0.00/0.04 c | Domain Sizes: 11..11 0.00/0.04 c | 0.00/0.04 c | Constraints: 414 0.00/0.04 c | Arity: 2..2 -- Binary: 414 0.00/0.04 c | 0.00/0.04 c | Types: 0.00/0.04 c | Extension: 414 (nb tuples: 9..36) -- (shared: 0) 0.00/0.04 c | 0.00/0.04 c ========================================================================================================= 0.00/0.04 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.05 c 101 234 65434 14339 0 0 4 10 7 0.00/0.05 c 211 536 141334 29222 0 0 6 13 9 0.00/0.06 c 332 895 231597 47182 0 0 6 13 9 0.00/0.07 c 465 1314 333467 67597 0 0 6 17 10 0.00/0.08 c 611 1718 434612 88270 0 0 6 15 9 0.00/0.09 c 771 2141 547174 112845 0 0 5 13 8 0.10/0.11 c 947 2658 680334 138831 0 0 7 14 10 0.10/0.12 c 1140 3258 825127 167581 0 0 6 14 9 0.10/0.14 c 1352 3938 996725 204972 0 0 3 14 8 0.10/0.16 c 1585 4636 1171675 240393 0 0 5 17 9 0.10/0.18 c 1841 5373 1359052 278830 0 0 6 16 10 0.10/0.20 c 2122 6164 1570165 323576 0 0 5 13 8 0.21/0.22 c 2431 7094 1798341 370555 0 0 6 15 9 0.21/0.25 c 2770 8077 2056619 423860 0 0 6 16 9 0.21/0.28 c 3142 9158 2342784 484439 0 0 5 14 8 0.21/0.31 c 3551 10366 2649559 546200 0 0 5 17 9 0.31/0.35 c 4000 11695 3000891 621856 0 0 4 13 8 0.31/0.38 c 4493 13143 3376887 699165 0 0 4 15 9 0.41/0.42 c 5035 14664 3761541 777587 0 0 5 17 9 0.41/0.47 c 5631 16455 4215938 870492 0 0 4 15 9 0.51/0.52 c 6286 18388 4716494 972082 0 0 5 16 9 0.51/0.58 c 7006 20487 5274791 1088852 0 0 5 15 9 0.60/0.64 c 7798 22836 5864471 1210660 0 0 5 17 9 0.69/0.70 c 8669 25309 6499035 1345011 0 0 4 16 8 0.69/0.78 c 9627 28175 7227175 1495816 0 0 4 16 9 0.79/0.86 c 10680 31379 8045494 1665828 0 0 4 14 9 0.89/0.96 c 11838 34791 8943293 1855857 0 0 4 15 9 1.00/1.06 c 13111 38522 9914764 2062799 0 0 3 15 8 1.10/1.17 c 14511 42659 10971516 2280019 0 0 4 16 9 1.19/1.28 c 16051 47201 12128384 2515415 0 0 5 15 9 1.39/1.42 c 17745 52338 13452227 2786172 0 0 5 15 9 1.49/1.56 c 19608 57812 14835298 3063057 0 0 4 18 9 1.69/1.72 c 21657 63962 16417202 3403558 0 0 4 15 8 1.79/1.89 c 23910 70840 18145563 3740874 0 0 4 18 9 2.00/2.08 c 26388 78123 19999960 4115009 0 0 4 17 9 2.29/2.30 c 29113 86101 22111033 4570222 0 0 4 15 9 2.49/2.53 c 32110 95471 24433959 5029537 0 0 4 18 9 2.69/2.79 c 35406 104921 26898199 5549483 0 0 4 16 9 3.00/3.07 c 39031 115502 29649422 6130947 0 0 3 16 9 3.29/3.39 c 43018 128244 32748550 6753343 0 0 4 17 10 3.69/3.73 c 47403 141400 36149790 7466588 0 0 4 17 9 4.10/4.12 c 52226 155713 39840995 8244909 0 0 4 15 8 4.49/4.55 c 57531 171746 44013776 9128220 0 0 4 17 9 5.00/5.01 c 63366 189895 48575469 10059778 0 0 3 17 9 5.49/5.52 c 69784 209139 53568878 11079039 0 0 4 17 9 6.00/6.07 c 76843 229718 58949480 12199377 0 0 3 17 9 6.59/6.69 c 84607 252801 64965250 13467253 0 0 3 19 9 7.29/7.35 c 93147 277688 71392820 14786905 0 0 3 16 9 8.00/8.08 c 102541 306023 78604187 16262509 0 0 3 18 9 8.79/8.89 c 112874 337437 86579388 17878911 0 0 4 19 9 9.69/9.79 c 124240 370318 95278718 19687260 0 0 3 17 9 10.69/10.77 c 136742 407420 104881836 21686120 0 0 3 17 9 11.79/11.82 c 150494 448274 115327253 23791638 0 0 4 17 9 13.00/13.01 c 165621 493853 127016904 26180445 0 0 4 19 9 14.29/14.34 c 182260 544302 139903338 28873262 0 0 3 18 9 15.69/15.77 c 200562 599386 153965196 31765109 0 0 4 18 9 17.29/17.39 c 220694 659174 169525563 35052290 2 0 3 18 9 19.10/19.14 c 242839 725577 186705102 38589075 3 0 3 18 9 21.00/21.06 c 267198 797438 205370174 42461465 4 0 3 19 9 23.10/23.19 c 293992 876674 226040106 46760266 7 0 2 18 8 25.49/25.55 c 323465 965606 248993239 51535052 9 0 2 20 8 28.10/28.13 c 355885 1060949 273953776 56782947 10 0 2 16 8 30.89/30.98 c 391547 1167080 301460518 62557967 15 0 2 17 8 34.19/34.22 c 430775 1284572 332276680 69129388 19 0 2 18 8 35.69/35.76 s UNSATISFIABLE 35.69/35.76 c restarts : 64 35.69/35.76 c conflicts : 449447 (12567 /sec) 35.69/35.76 c decisions : 1340283 (37475 /sec) 35.69/35.76 c propagations : 72261058 (2020468 /sec) 35.69/35.76 c root propagations : 0 35.69/35.76 c filter calls : 346920921 (9700144 /sec) 35.69/35.76 c useless filter calls : 294709110 (84 %) 35.69/35.76 c Memory used : 27.10 MB 35.69/35.76 c CPU time : 35.7644 s 35.69/35.76 c real time : 35.7623 s 35.69/35.76
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: 16375 MiB (13189 MiB free) memory of node 1: 16384 MiB (15726 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389376-1568319328/watcher-4389376-1568319328 -o /tmp/evaluation-result-4389376-1568319328/solver-4389376-1568319328 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6439 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389376-1568319328.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=8036, runsolver pid=8033 [startup+0.100155 s]* /proc/loadavg: 2.00 2.01 2.05 3/200 8037 /proc/meminfo: memFree=29610120/32770688 swapFree=66960932/67108860 [pid=8036] ppid=8033 vsize=27748 memory=4032 CPUtime=0.1 cores=4-7 /proc/8036/stat : 8036 (cosoco) R 8033 8036 6407 0 -1 4202496 1229 0 0 0 10 0 0 0 20 0 1 0 407874477 28413952 1008 33554432000 4194304 6210612 140730962979840 140730962976376 5017050 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 12488704 140730962985995 140730962986097 140730962986097 140730962989006 0 /proc/8036/statm: 6937 1008 807 493 0 242 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27748 KiB Current children cumulated memory: 4032 KiB [startup+0.21071 s]* /proc/loadavg: 2.00 2.01 2.05 3/200 8037 /proc/meminfo: memFree=29610452/32770688 swapFree=66960932/67108860 [pid=8036] ppid=8033 vsize=27748 memory=4032 CPUtime=0.21 cores=4-7 /proc/8036/stat : 8036 (cosoco) R 8033 8036 6407 0 -1 4202496 1229 0 0 0 21 0 0 0 20 0 1 0 407874477 28413952 1008 33554432000 4194304 6210612 140730962979840 140730962977800 5017104 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 12488704 140730962985995 140730962986097 140730962986097 140730962989006 0 /proc/8036/statm: 6937 1008 807 493 0 242 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 27748 KiB Current children cumulated memory: 4032 KiB [startup+0.31024 s]* /proc/loadavg: 2.00 2.01 2.05 3/200 8037 /proc/meminfo: memFree=29610452/32770688 swapFree=66960932/67108860 [pid=8036] ppid=8033 vsize=27748 memory=4032 CPUtime=0.31 cores=4-7 /proc/8036/stat : 8036 (cosoco) R 8033 8036 6407 0 -1 4202496 1229 0 0 0 31 0 0 0 20 0 1 0 407874477 28413952 1008 33554432000 4194304 6210612 140730962979840 140730962977800 5185816 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 12488704 140730962985995 140730962986097 140730962986097 140730962989006 0 /proc/8036/statm: 6937 1008 807 493 0 242 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 27748 KiB Current children cumulated memory: 4032 KiB [startup+0.700287 s] /proc/loadavg: 2.00 2.01 2.05 3/200 8037 /proc/meminfo: memFree=29610452/32770688 swapFree=66960932/67108860 [pid=8036] ppid=8033 vsize=27748 memory=4032 CPUtime=0.69 cores=4-7 /proc/8036/stat : 8036 (cosoco) R 8033 8036 6407 0 -1 4202496 1229 0 0 0 69 0 0 0 20 0 1 0 407874477 28413952 1008 33554432000 4194304 6210612 140730962979840 140730962977800 5185878 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 12488704 140730962985995 140730962986097 140730962986097 140730962989006 0 /proc/8036/statm: 6937 1008 807 493 0 242 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 27748 KiB Current children cumulated memory: 4032 KiB [startup+1.50029 s] /proc/loadavg: 2.00 2.01 2.05 4/200 8037 /proc/meminfo: memFree=29610452/32770688 swapFree=66960932/67108860 [pid=8036] ppid=8033 vsize=27748 memory=4032 CPUtime=1.49 cores=4-7 /proc/8036/stat : 8036 (cosoco) R 8033 8036 6407 0 -1 4202496 1229 0 0 0 149 0 0 0 20 0 1 0 407874477 28413952 1008 33554432000 4194304 6210612 140730962979840 140730962977800 5390051 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 12488704 140730962985995 140730962986097 140730962986097 140730962989006 0 /proc/8036/statm: 6937 1008 807 493 0 242 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 27748 KiB Current children cumulated memory: 4032 KiB [startup+3.11035 s] /proc/loadavg: 2.00 2.01 2.05 4/200 8037 /proc/meminfo: memFree=29610432/32770688 swapFree=66960932/67108860 [pid=8036] ppid=8033 vsize=27748 memory=4272 CPUtime=3.1 cores=4-7 /proc/8036/stat : 8036 (cosoco) R 8033 8036 6407 0 -1 4202496 1385 0 0 0 310 0 0 0 20 0 1 0 407874477 28413952 1068 33554432000 4194304 6210612 140730962979840 140730962977800 5017113 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 12488704 140730962985995 140730962986097 140730962986097 140730962989006 0 /proc/8036/statm: 6937 1068 849 493 0 242 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 27748 KiB Current children cumulated memory: 4272 KiB [startup+6.30027 s] /proc/loadavg: 2.00 2.01 2.05 5/200 8037 /proc/meminfo: memFree=29610432/32770688 swapFree=66960932/67108860 [pid=8036] ppid=8033 vsize=27748 memory=4272 CPUtime=6.29 cores=4-7 /proc/8036/stat : 8036 (cosoco) R 8033 8036 6407 0 -1 4202496 1541 0 0 0 629 0 0 0 20 0 1 0 407874477 28413952 1068 33554432000 4194304 6210612 140730962979840 140730962977800 5016909 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 12488704 140730962985995 140730962986097 140730962986097 140730962989006 0 /proc/8036/statm: 6937 1068 849 493 0 242 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 27748 KiB Current children cumulated memory: 4272 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.05 5/200 8037 /proc/meminfo: memFree=29610068/32770688 swapFree=66960932/67108860 [pid=8036] ppid=8033 vsize=27748 memory=4272 CPUtime=12.69 cores=4-7 /proc/8036/stat : 8036 (cosoco) R 8033 8036 6407 0 -1 4202496 1697 0 0 0 1269 0 0 0 20 0 1 0 407874477 28413952 1068 33554432000 4194304 6210612 140730962979840 140730962977800 5389284 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 12488704 140730962985995 140730962986097 140730962986097 140730962989006 0 /proc/8036/statm: 6937 1068 849 493 0 242 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 27748 KiB Current children cumulated memory: 4272 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.05 5/199 8040 /proc/meminfo: memFree=29609508/32770688 swapFree=66960932/67108860 [pid=8036] ppid=8033 vsize=27748 memory=4272 CPUtime=25.49 cores=4-7 /proc/8036/stat : 8036 (cosoco) R 8033 8036 6407 0 -1 4202496 2009 0 0 0 2549 0 0 0 20 0 1 0 407874477 28413952 1068 33554432000 4194304 6210612 140730962979840 140730962977800 5017098 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 12488704 140730962985995 140730962986097 140730962986097 140730962989006 0 /proc/8036/statm: 6937 1068 849 493 0 242 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 27748 KiB Current children cumulated memory: 4272 KiB [startup+35.7661 s] # the end of solver process 8036 was just reported to runsolver # cumulated CPU time of all completed processes: user=35.7645 s, system=0.005 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+25.6003 s] /proc/loadavg: 2.00 2.01 2.05 5/199 8040 /proc/meminfo: memFree=29609508/32770688 swapFree=66960932/67108860 [pid=8036] ppid=8033 vsize=27748 memory=4272 CPUtime=25.59 cores=4-7 /proc/8036/stat : 8036 (cosoco) R 8033 8036 6407 0 -1 4202496 2009 0 0 0 2559 0 0 0 20 0 1 0 407874477 28413952 1068 33554432000 4194304 6210612 140730962979840 140730962977800 5016909 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 12488704 140730962985995 140730962986097 140730962986097 140730962989006 0 /proc/8036/statm: 6937 1068 849 493 0 242 0 Current children cumulated CPU time: 25.59 s Current children cumulated vsize: 27748 KiB Current children cumulated memory: 4272 KiB [startup+32.0002 s]* /proc/loadavg: 2.00 2.01 2.05 5/199 8040 /proc/meminfo: memFree=29609564/32770688 swapFree=66960932/67108860 [pid=8036] ppid=8033 vsize=27748 memory=4272 CPUtime=32 cores=4-7 /proc/8036/stat : 8036 (cosoco) R 8033 8036 6407 0 -1 4202496 2009 0 0 0 3200 0 0 0 20 0 1 0 407874477 28413952 1068 33554432000 4194304 6210612 140730962979840 140730962977800 5389648 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 12488704 140730962985995 140730962986097 140730962986097 140730962989006 0 /proc/8036/statm: 6937 1068 849 493 0 242 0 Current children cumulated CPU time: 32 s Current children cumulated vsize: 27748 KiB Current children cumulated memory: 4272 KiB [startup+33.6002 s] /proc/loadavg: 2.00 2.01 2.05 4/199 8040 /proc/meminfo: memFree=29609564/32770688 swapFree=66960932/67108860 [pid=8036] ppid=8033 vsize=27748 memory=4272 CPUtime=33.59 cores=4-7 /proc/8036/stat : 8036 (cosoco) R 8033 8036 6407 0 -1 4202496 2009 0 0 0 3359 0 0 0 20 0 1 0 407874477 28413952 1068 33554432000 4194304 6210612 140730962979840 140730962977800 5185856 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 12488704 140730962985995 140730962986097 140730962986097 140730962989006 0 /proc/8036/statm: 6937 1068 849 493 0 242 0 Current children cumulated CPU time: 33.59 s Current children cumulated vsize: 27748 KiB Current children cumulated memory: 4272 KiB [startup+34.4003 s] /proc/loadavg: 2.00 2.01 2.05 5/199 8040 /proc/meminfo: memFree=29609688/32770688 swapFree=66960932/67108860 [pid=8036] ppid=8033 vsize=27748 memory=4272 CPUtime=34.39 cores=4-7 /proc/8036/stat : 8036 (cosoco) R 8033 8036 6407 0 -1 4202496 2009 0 0 0 3439 0 0 0 20 0 1 0 407874477 28413952 1068 33554432000 4194304 6210612 140730962979840 140730962977800 5017050 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 12488704 140730962985995 140730962986097 140730962986097 140730962989006 0 /proc/8036/statm: 6937 1068 849 493 0 242 0 Current children cumulated CPU time: 34.39 s Current children cumulated vsize: 27748 KiB Current children cumulated memory: 4272 KiB [startup+35.2003 s] /proc/loadavg: 2.00 2.01 2.05 5/199 8040 /proc/meminfo: memFree=29609664/32770688 swapFree=66960932/67108860 [pid=8036] ppid=8033 vsize=27748 memory=4272 CPUtime=35.19 cores=4-7 /proc/8036/stat : 8036 (cosoco) R 8033 8036 6407 0 -1 4202496 2009 0 0 0 3519 0 0 0 20 0 1 0 407874477 28413952 1068 33554432000 4194304 6210612 140730962979840 140730962977800 5389284 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 12488704 140730962985995 140730962986097 140730962986097 140730962989006 0 /proc/8036/statm: 6937 1068 849 493 0 242 0 Current children cumulated CPU time: 35.19 s Current children cumulated vsize: 27748 KiB Current children cumulated memory: 4272 KiB [startup+35.6003 s] /proc/loadavg: 2.00 2.01 2.05 5/199 8040 /proc/meminfo: memFree=29609664/32770688 swapFree=66960932/67108860 [pid=8036] ppid=8033 vsize=27748 memory=4272 CPUtime=35.59 cores=4-7 /proc/8036/stat : 8036 (cosoco) R 8033 8036 6407 0 -1 4202496 2009 0 0 0 3559 0 0 0 20 0 1 0 407874477 28413952 1068 33554432000 4194304 6210612 140730962979840 140730962977800 5397215 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 12488704 140730962985995 140730962986097 140730962986097 140730962989006 0 /proc/8036/statm: 6937 1068 849 493 0 242 0 Current children cumulated CPU time: 35.59 s Current children cumulated vsize: 27748 KiB Current children cumulated memory: 4272 KiB [startup+35.7002 s] /proc/loadavg: 2.00 2.01 2.05 5/199 8040 /proc/meminfo: memFree=29609664/32770688 swapFree=66960932/67108860 [pid=8036] ppid=8033 vsize=27748 memory=4272 CPUtime=35.69 cores=4-7 /proc/8036/stat : 8036 (cosoco) R 8033 8036 6407 0 -1 4202496 2009 0 0 0 3569 0 0 0 20 0 1 0 407874477 28413952 1068 33554432000 4194304 6210612 140730962979840 140730962977800 5016823 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 12488704 140730962985995 140730962986097 140730962986097 140730962989006 0 /proc/8036/statm: 6937 1068 849 493 0 242 0 Current children cumulated CPU time: 35.69 s Current children cumulated vsize: 27748 KiB Current children cumulated memory: 4272 KiB Child status: 0 Real time (s): 35.7662 CPU time (s): 35.7695 CPU user time (s): 35.7645 CPU system time (s): 0.005 CPU usage (%): 100.009 Max. virtual memory (cumulated for all children) (KiB): 27748 Max. memory (cumulated for all children) (KiB): 4272 getrusage(RUSAGE_CHILDREN,...) data: user time used= 35.7645 system time used= 0.005 maximum resident set size= 4344 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2048 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= 6 involuntary context switches= 12 # summary of solver processes directly reported to runsolver: # pid: 8036 # total CPU time (s): 35.7695 # total CPU user time (s): 35.7645 # total CPU system time (s): 0.005 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.16337 second user time and 0.307967 second system time The end
Begin job on node116 at 2019-09-12 22:14:47 IDJOB=4389376 IDBENCH=121909 IDSOLVER=2829 FILE ID=node116/4389376-1568319328 RUNJOBID= node116-1568311136-6439 PBS_JOBID= 21701125 Free space on /tmp= 56884 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP17/Random/Random-D-t020/rand-2-40-11-414-020-79.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389376-1568319328/watcher-4389376-1568319328 -o /tmp/evaluation-result-4389376-1568319328/solver-4389376-1568319328 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6439 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389376-1568319328.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c0f256b6b5f799b1206df7220afe38a7 RANDOM SEED=2057093504 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 29610568 kB MemAvailable: 31832180 kB Buffers: 74684 kB Cached: 2421940 kB SwapCached: 46484 kB Active: 824436 kB Inactive: 1736552 kB Active(anon): 16856 kB Inactive(anon): 88236 kB Active(file): 807580 kB Inactive(file): 1648316 kB Unevictable: 110244 kB Mlocked: 110244 kB SwapTotal: 67108860 kB SwapFree: 66960932 kB Dirty: 2912 kB Writeback: 20 kB AnonPages: 81696 kB Mapped: 43964 kB Shmem: 31848 kB Slab: 191548 kB SReclaimable: 163100 kB SUnreclaim: 28448 kB KernelStack: 3648 kB PageTables: 5668 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 541336 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 34816 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 56880 MiB End job on node116 at 2019-09-12 22:15:23