Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.O parallel | SAT | 9.39529 | 1.37528 |
Name | XCSP19/ConsecutiveSquarePacking/ ConsecutiveSquarePacking-sp-15-036.xml |
MD5SUM | 5e5c63d89f6605b36f0577fcc9be8ecb |
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 | 1.60869 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 30 |
Number of constraints | 105 |
Number of domains | 15 |
Minimum domain size | 22 |
Maximum domain size | 36 |
Distribution of domain sizes | [{"size":22,"count":2},{"size":23,"count":2},{"size":24,"count":2},{"size":25,"count":2},{"size":26,"count":2},{"size":27,"count":2},{"size":28,"count":2},{"size":29,"count":2},{"size":30,"count":2},{"size":31,"count":2},{"size":32,"count":2},{"size":33,"count":2},{"size":34,"count":2},{"size":35,"count":2},{"size":36,"count":2}] |
Minimum variable degree | 14 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":14,"count":30}] |
Minimum constraint arity | 4 |
Maximum constraint arity | 4 |
Distribution of constraint arities | [{"arity":4,"count":105}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 105 |
Distribution of constraint types | [{"type":"intension","count":105}] |
Optimization problem | NO |
Type of objective |
0.10/0.20 c root propagations : 0 0.10/0.20 c restarts enabled, print stats at every restarts 0.10/0.20 c 0.10/0.20 c 0.10/0.20 c root propagations : 0 0.10/0.20 c 0.10/0.20 c This is cosoco 2.00 -- 0.10/0.20 c 0.10/0.20 c command line: cosoco -model -nbcores=8 HOME/instance-4397923-1568616816.xml 0.10/0.20 c ========================================[ Problem Statistics ]=========================================== 0.10/0.20 c | 0.10/0.20 c | Parse time : 0.19 s 0.10/0.20 c | 0.10/0.20 c | Variables: 30 0.10/0.20 c | Domain Sizes: 22..36 0.10/0.20 c | 0.10/0.20 c | Constraints: 105 0.10/0.20 c | Arity: 4..4 0.10/0.20 c | 0.10/0.20 c | Types: 0.10/0.20 c | Intension: 105 0.10/0.20 c | 0.10/0.20 c ========================================================================================================= 0.10/0.20 c Parallel mode: Portfolio 0.10/0.20 c [pFactory][Group N°0] created (threads:8). 0.10/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.10/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.10/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.10/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.10/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.10/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.10/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.10/0.20 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.10/0.20 c [pFactory][Group N°0] concurrent mode: enabled. 0.10/0.20 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.10/0.20 c [pFactory][Group N°0] task 7 launched on thread 1. 0.10/0.20 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.20 c [pFactory][Group N°0] task 6 launched on thread 0. 0.10/0.20 c [pFactory][Group N°0] task 1 launched on thread 5. 0.10/0.20 c restarts enabled, print stats at every restarts 0.10/0.20 c 0.10/0.20 c 0.10/0.20 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.20 c root propagations : 0 0.10/0.20 c restarts enabled, print stats at every restarts 0.10/0.20 c 0.10/0.20 c 0.10/0.20 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.20 c root propagations : 0 0.10/0.20 c restarts enabled, print stats at every restarts 0.10/0.20 c 0.10/0.20 c 0.10/0.20 c [pFactory][Group N°0] task 5 launched on thread 2. 0.10/0.20 c [pFactory][Group N°0] task 0 launched on thread 3. 0.10/0.20 c [pFactory][Group N°0] task 4 launched on thread 6. 0.10/0.20 c [pFactory][Group N°0] task 3 launched on thread 4. 0.10/0.20 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.20 c root propagations : 0 0.10/0.20 c restarts enabled, print stats at every restarts 0.10/0.20 c 0.10/0.20 c 0.10/0.20 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.20 c root propagations : 0 0.10/0.20 c restarts enabled, print stats at every restarts 0.10/0.20 c 0.10/0.20 c 0.10/0.20 c [pFactory][Group N°0] task 2 launched on thread 7. 0.10/0.20 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.20 c root propagations : 0 0.10/0.20 c restarts enabled, print stats at every restarts 0.10/0.20 c 0.10/0.20 c 0.10/0.20 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.20 c root propagations : 0 0.10/0.20 c restarts enabled, print stats at every restarts 0.10/0.20 c 0.10/0.20 c 0.10/0.20 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.34/0.30 c 32 43 1269 974 0 0 5 9 6 0.34/0.30 c 32 48 1389 922 0 0 9 17 12 0.34/0.31 c 101 116 3234 2632 0 0 2 13 11 0.34/0.31 c 33 47 1365 1006 0 0 4 4 2 1.08/0.32 c 33 54 1552 1005 0 0 6 6 3 1.08/0.33 c 32 46 1349 1042 0 0 7 11 8 1.08/0.35 c 33 50 1432 1074 0 0 4 4 2 1.08/0.38 c 101 123 3540 2503 0 0 9 17 15 1.08/0.38 c 101 115 3169 2440 0 0 7 9 8 1.08/0.39 c 32 53 1567 1209 0 0 7 15 10 1.08/0.41 c 33 60 1731 1285 0 0 7 7 3 1.08/0.41 c 64 90 2524 1815 0 0 4 13 6 1.92/0.43 c 65 96 2687 1892 0 0 6 6 3 1.92/0.44 c 66 100 2770 1925 0 0 4 4 2 1.92/0.44 c 67 104 2866 1957 0 0 4 4 2 1.92/0.45 c 211 241 6556 5231 0 0 11 11 10 1.92/0.48 c 64 100 2827 2067 0 0 4 10 6 1.92/0.49 c 65 104 2910 2101 0 0 4 4 2 1.92/0.50 c 64 93 2616 1887 0 0 4 13 6 1.92/0.52 c 66 111 3087 2181 0 0 7 7 3 1.92/0.52 c 67 115 3170 2215 0 0 4 4 2 1.92/0.52 c 101 139 4100 3380 0 0 7 11 10 2.70/0.53 c 65 99 2766 1964 0 0 6 6 3 2.70/0.54 c 66 103 2874 2002 0 0 4 4 2 2.70/0.54 c 64 98 3138 1782 0 0 5 11 7 2.70/0.54 c 67 107 2957 2034 0 0 4 4 2 2.70/0.56 c 65 109 3358 1895 0 0 11 11 5 2.70/0.58 c 128 181 4940 3299 0 0 4 17 9 2.70/0.59 c 211 237 6408 5717 0 0 7 9 8 2.70/0.59 c 66 117 3549 1992 0 0 8 8 4 2.70/0.59 c 129 187 5090 3372 0 0 6 6 3 2.70/0.60 c 130 191 5173 3406 0 0 4 4 2 2.70/0.60 c 67 125 3727 2079 0 0 8 8 4 2.70/0.60 c 131 195 5269 3438 0 0 4 4 2 3.39/0.61 c 132 199 5352 3472 0 0 4 4 2 3.39/0.61 c 332 378 10257 8067 0 0 6 11 10 3.39/0.61 c 133 203 5448 3504 0 0 4 4 2 3.39/0.62 c 134 207 5531 3538 0 0 4 4 2 3.39/0.62 c 135 211 5627 3570 0 0 4 4 2 3.39/0.64 c 128 192 5282 3863 0 0 7 17 11 3.39/0.65 c 129 197 5405 3921 0 0 5 5 2 3.39/0.65 c 130 201 5512 3956 0 0 4 4 2 3.39/0.66 c 131 205 5595 3988 0 0 4 4 2 3.39/0.66 c 132 209 5702 4023 0 0 4 4 2 3.39/0.66 c 133 213 5785 4055 0 0 4 4 2 3.39/0.67 c 134 217 5892 4090 0 0 4 4 2 3.39/0.67 c 135 221 5975 4122 0 0 4 4 2 3.39/0.67 c 128 186 5128 3447 0 0 4 19 8 3.39/0.68 c 129 191 5251 3502 0 0 5 5 2 3.39/0.69 c 130 195 5358 3537 0 0 4 4 2 3.39/0.69 c 131 199 5441 3569 0 0 4 4 2 4.12/0.70 c 132 203 5548 3604 0 0 4 4 2 4.12/0.70 c 133 207 5631 3636 0 0 4 4 2 4.12/0.70 c 134 211 5738 3671 0 0 4 4 2 4.12/0.71 c 135 215 5821 3703 0 0 4 4 2 4.12/0.75 c 465 530 14313 11343 0 0 11 13 11 4.91/0.82 c 256 359 9726 6754 0 0 4 23 15 4.91/0.83 c 257 365 9876 6825 0 0 6 6 3 4.91/0.84 c 258 372 10040 6903 0 0 7 7 3 4.91/0.85 c 259 376 10148 6941 0 0 4 4 2 4.91/0.85 c 260 383 10286 7012 0 0 7 7 3 4.91/0.87 c 261 387 10394 7050 0 0 4 4 2 4.91/0.87 c 262 394 10532 7121 0 0 7 7 3 4.91/0.88 c 263 398 10640 7159 0 0 4 4 2 4.91/0.88 c 264 405 10778 7230 0 0 7 7 3 4.91/0.89 c 265 409 10886 7268 0 0 4 4 2 4.91/0.89 c 256 363 9824 6838 0 0 4 17 13 4.91/0.89 c 266 416 11024 7339 0 0 7 7 3 4.91/0.90 c 267 420 11132 7377 0 0 4 4 2 4.91/0.90 c 256 359 9762 6689 0 0 4 23 17 4.91/0.90 c 257 370 9988 6916 0 0 7 7 3 4.91/0.90 c 211 273 7938 6164 0 0 9 15 11 4.91/0.90 c 268 427 11270 7448 0 0 7 7 3 4.91/0.90 c 258 374 10095 6951 0 0 4 4 2 4.91/0.90 c 257 366 9926 6758 0 0 7 7 3 5.75/0.91 c 269 431 11378 7486 0 0 4 4 2 5.75/0.91 c 258 370 10033 6793 0 0 4 4 2 5.75/0.91 c 259 381 10233 7022 0 0 7 7 3 5.75/0.91 c 270 436 11475 7529 0 0 5 5 2 5.75/0.91 c 259 374 10116 6825 0 0 4 4 2 5.75/0.91 c 260 385 10340 7057 0 0 4 4 2 5.75/0.92 c 271 440 11583 7567 0 0 4 4 2 5.75/0.92 c 261 392 10478 7128 0 0 7 7 3 5.75/0.92 c 262 396 10585 7163 0 0 4 4 2 5.75/0.93 c 263 403 10723 7234 0 0 7 7 3 5.75/0.93 c 260 379 10239 6874 0 0 5 5 2 5.75/0.93 c 264 407 10830 7269 0 0 4 4 2 5.75/0.93 c 261 383 10322 6906 0 0 4 4 2 5.75/0.94 c 265 414 10968 7340 0 0 7 7 3 5.75/0.94 c 266 418 11075 7375 0 0 4 4 2 5.75/0.94 c 262 388 10445 6955 0 0 5 5 2 5.75/0.94 c 263 392 10528 6987 0 0 4 4 2 5.75/0.95 c 267 425 11213 7446 0 0 7 7 3 5.75/0.95 c 268 429 11320 7481 0 0 4 4 2 5.75/0.95 c 264 397 10651 7036 0 0 5 5 2 5.75/0.95 c 265 401 10734 7068 0 0 4 4 2 5.75/0.95 c 269 436 11458 7552 0 0 7 7 3 5.75/0.96 c 270 440 11565 7587 0 0 4 4 2 5.75/0.96 c 266 406 10857 7117 0 0 5 5 2 5.75/0.96 c 271 447 11703 7658 0 0 7 7 3 5.75/0.96 c 267 410 10940 7149 0 0 4 4 2 5.75/0.97 c 268 415 11063 7198 0 0 5 5 2 5.75/0.98 c 269 419 11146 7230 0 0 4 4 2 5.75/0.98 c 611 688 18475 13890 0 0 6 8 7 5.75/0.98 c 270 424 11269 7279 0 0 5 5 2 5.75/0.99 c 271 428 11352 7311 0 0 4 4 2 5.75/0.99 c 128 209 6032 4220 0 0 8 12 10 6.56/1.01 c 129 216 6170 4284 0 0 7 7 3 6.56/1.02 c 211 300 9082 7575 0 0 6 9 7 6.56/1.02 c 130 221 6290 4340 0 0 5 5 2 6.56/1.03 c 131 227 6413 4403 0 0 6 6 3 6.56/1.04 c 132 232 6533 4459 0 0 5 5 2 6.56/1.05 c 133 238 6656 4522 0 0 6 6 3 6.56/1.05 c 134 242 6752 4566 0 0 4 4 2 6.56/1.07 c 135 248 6875 4629 0 0 6 6 3 7.37/1.18 c 332 427 12450 9873 0 0 4 11 10 7.37/1.18 c 332 447 13004 10730 0 0 8 27 20 8.21/1.22 c 332 371 12739 13112 0 0 6 7 6 8.21/1.22 c 771 871 23446 17533 0 0 3 11 9 8.21/1.24 c 512 711 19066 13798 0 0 5 23 18 8.21/1.25 c 513 718 19230 13867 0 0 7 7 3 8.21/1.27 c 514 722 19313 13901 0 0 4 4 2 8.21/1.28 c 515 727 19436 13950 0 0 5 5 2 8.21/1.29 c 516 731 19519 13982 0 0 4 4 2 8.21/1.29 c 517 736 19642 14031 0 0 5 5 2 8.90/1.30 c 518 740 19725 14063 0 0 4 4 2 8.90/1.30 c 519 745 19848 14112 0 0 5 5 2 8.90/1.31 c 520 749 19931 14144 0 0 4 4 2 8.90/1.31 c 521 754 20054 14193 0 0 5 5 2 8.90/1.32 c 522 758 20137 14225 0 0 4 4 2 8.90/1.33 c 523 763 20260 14274 0 0 5 5 2 8.90/1.33 c 524 767 20343 14306 0 0 4 4 2 8.90/1.34 c 525 772 20466 14355 0 0 5 5 2 8.90/1.34 c 526 776 20549 14387 0 0 4 4 2 8.90/1.35 c 527 781 20672 14436 0 0 5 5 2 8.90/1.35 c 528 785 20755 14468 0 0 4 4 2 8.90/1.36 c First solution is found 8.90/1.37 c [pFactory][Group N°0] concurent mode: thread 5 has won with the task 1. 8.90/1.37 c [pFactory][Group N°0] Thread N°0 is joined. 8.90/1.37 c [pFactory][Group N°0] Thread N°1 is joined. 8.90/1.37 c [pFactory][Group N°0] Thread N°2 is joined. 8.90/1.37 c [pFactory][Group N°0] Thread N°3 is joined. 8.90/1.37 c [pFactory][Group N°0] Thread N°4 is joined. 8.90/1.37 c [pFactory][Group N°0] Thread N°5 is joined. 8.90/1.37 c [pFactory][Group N°0] Thread N°6 is joined. 8.90/1.37 c [pFactory][Group N°0] Thread N°7 is joined. 8.90/1.37 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°5) 8.90/1.37 s SATISFIABLE 8.90/1.37 c restarts : 47 8.90/1.37 c conflicts : 528 (56 /sec) 8.90/1.37 c decisions : 790 (84 /sec) 8.90/1.37 c propagations : 14494 (1550 /sec) 8.90/1.37 c root propagations : 0 8.90/1.37 c filter calls : 20850 (2229 /sec) 8.90/1.37 c useless filter calls : 19117 (91 %) 8.90/1.37 c Memory used : 578.39 MB 8.90/1.37 c CPU time : 9.35291 s 8.90/1.37 c real time : 1.36788 s 8.90/1.37 8.90/1.37 c solution 1 8.90/1.37 8.90/1.37 v <instantiation type='solution'> 8.90/1.37 v <list>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] 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] </list> 8.90/1.37 v <values>26 25 24 2 1 1 0 6 27 14 13 24 0 7 21 3 4 6 0 4 23 29 1 0 0 10 9 9 22 21 </values> 8.90/1.37 v </instantiation> 8.90/1.37
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 (14647 MiB free) memory of node 1: 16384 MiB (15705 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397923-1568616816/watcher-4397923-1568616816 -o /tmp/evaluation-result-4397923-1568616816/solver-4397923-1568616816 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568609536-722 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4397923-1568616816.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=1704, runsolver pid=1701 Current StackSize limit: 8192 KiB [startup+0.100157 s]* /proc/loadavg: 1.40 1.10 1.38 2/193 1705 /proc/meminfo: memFree=31079400/32770624 swapFree=67015332/67108860 [pid=1704] ppid=1701 vsize=31412 memory=7768 CPUtime=0.1 cores=0-7 /proc/1704/stat : 1704 (cosoco) R 1701 1704 695 0 -1 4202496 2128 0 0 0 10 0 0 0 20 0 1 0 437619678 32165888 1942 33554432000 4194304 6211092 140726742298272 140726742294808 140536187120613 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 /proc/1704/statm: 7853 1942 822 493 0 1158 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 31412 KiB Current children cumulated memory: 7768 KiB [startup+0.217226 s]* /proc/loadavg: 1.40 1.10 1.38 9/201 1713 /proc/meminfo: memFree=31068444/32770624 swapFree=67015332/67108860 [pid=1704] ppid=1701 vsize=625056 memory=11816 CPUtime=0.34 cores=0-7 /proc/1704/stat : 1704 (cosoco) S 1701 1704 695 0 -1 1077944320 3301 0 0 0 34 0 0 0 20 0 9 0 437619678 640057344 2954 33554432000 4194304 6211092 140726742298272 140726742296528 140536203161335 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 /proc/1704/statm: 156264 2954 858 493 0 149569 0 [pid=1704/tid=1706] ppid=1701 vsize=625056 memory=-2177352373413752899 CPUtime=0.02 cores=0-7 /proc/1704/task/1706/stat : 1706 (cosoco) R 1701 1704 695 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 9 0 437619699 640057344 2954 33554432000 4194304 6211092 140726742298272 140536180018552 140536188046751 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1707] ppid=1701 vsize=625056 memory=281184797982960 CPUtime=0.02 cores=0-7 /proc/1704/task/1707/stat : 1707 (cosoco) R 1701 1704 695 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 9 0 437619699 640057344 2954 33554432000 4194304 6211092 140726742298272 140536171625848 5476863 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1708] ppid=1701 vsize=625056 memory=140592516302464 CPUtime=0.01 cores=0-7 /proc/1704/task/1708/stat : 1708 (cosoco) R 1701 1704 695 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 9 0 437619699 640057344 2954 33554432000 4194304 6211092 140726742298272 140536163233144 5452153 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1709] ppid=1701 vsize=625056 memory=0 CPUtime=0.02 cores=0-7 /proc/1704/task/1709/stat : 1709 (cosoco) R 1701 1704 695 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 9 0 437619699 640057344 2954 33554432000 4194304 6211092 140726742298272 140536154840440 5452223 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1710] ppid=1701 vsize=625056 memory=0 CPUtime=0.02 cores=0-7 /proc/1704/task/1710/stat : 1710 (cosoco) R 1701 1704 695 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 9 0 437619699 640057344 2954 33554432000 4194304 6211092 140726742298272 140536146447736 140536188046795 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1711] ppid=1701 vsize=625056 memory=0 CPUtime=0.02 cores=0-7 /proc/1704/task/1711/stat : 1711 (cosoco) R 1701 1704 695 0 -1 4202560 27 0 0 0 2 0 0 0 20 0 9 0 437619699 640057344 2954 33554432000 4194304 6211092 140726742298272 140536138055032 5456306 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1712] ppid=1701 vsize=625056 memory=-1 CPUtime=0.02 cores=0-7 /proc/1704/task/1712/stat : 1712 (cosoco) R 1701 1704 695 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 9 0 437619699 640057344 2954 33554432000 4194304 6211092 140726742298272 140536129662328 140536187120613 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1713] ppid=1701 vsize=625056 memory=0 CPUtime=0.02 cores=0-7 /proc/1704/task/1713/stat : 1713 (cosoco) R 1701 1704 695 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 9 0 437619699 640057344 2954 33554432000 4194304 6211092 140726742298272 140536121269624 5451442 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 625056 KiB Current children cumulated memory: 11816 KiB [startup+0.310225 s]* /proc/loadavg: 1.40 1.10 1.38 9/201 1713 /proc/meminfo: memFree=31067900/32770624 swapFree=67015332/67108860 [pid=1704] ppid=1701 vsize=625056 memory=11816 CPUtime=1.08 cores=0-7 /proc/1704/stat : 1704 (cosoco) S 1701 1704 695 0 -1 1077944320 3487 0 0 0 107 1 0 0 20 0 9 0 437619678 640057344 2954 33554432000 4194304 6211092 140726742298272 140726742296528 140536203161335 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 /proc/1704/statm: 156264 2954 858 493 0 149569 0 [pid=1704/tid=1706] ppid=1701 vsize=625056 memory=4026531863 CPUtime=0.11 cores=0-7 /proc/1704/task/1706/stat : 1706 (cosoco) R 1701 1704 695 0 -1 4202560 42 0 0 0 11 0 0 0 20 0 9 0 437619699 640057344 2954 33554432000 4194304 6211092 140726742298272 140536180018024 5478378 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1707] ppid=1701 vsize=625056 memory=10577 CPUtime=0.11 cores=0-7 /proc/1704/task/1707/stat : 1707 (cosoco) R 1701 1704 695 0 -1 4202560 60 0 0 0 11 0 0 0 20 0 9 0 437619699 640057344 2954 33554432000 4194304 6211092 140726742298272 140536171625848 5446099 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1708] ppid=1701 vsize=625056 memory=140592516316391 CPUtime=0.09 cores=0-7 /proc/1704/task/1708/stat : 1708 (cosoco) R 1701 1704 695 0 -1 4202560 34 0 0 0 9 0 0 0 20 0 9 0 437619699 640057344 2954 33554432000 4194304 6211092 140726742298272 140536163233144 5451610 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1709] ppid=1701 vsize=625056 memory=-1 CPUtime=0.11 cores=0-7 /proc/1704/task/1709/stat : 1709 (cosoco) R 1701 1704 695 0 -1 4202560 37 0 0 0 11 0 0 0 20 0 9 0 437619699 640057344 2954 33554432000 4194304 6211092 140726742298272 140536154840160 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1710] ppid=1701 vsize=625056 memory=0 CPUtime=0.11 cores=0-7 /proc/1704/task/1710/stat : 1710 (cosoco) R 1701 1704 695 0 -1 4202560 39 0 0 0 11 0 0 0 20 0 9 0 437619699 640057344 2954 33554432000 4194304 6211092 140726742298272 140536146447208 5443111 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1711] ppid=1701 vsize=625056 memory=0 CPUtime=0.11 cores=0-7 /proc/1704/task/1711/stat : 1711 (cosoco) R 1701 1704 695 0 -1 4202560 41 0 0 0 11 0 0 0 20 0 9 0 437619699 640057344 2954 33554432000 4194304 6211092 140726742298272 140536138055032 140536197065616 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1712] ppid=1701 vsize=625056 memory=-1 CPUtime=0.11 cores=0-7 /proc/1704/task/1712/stat : 1712 (cosoco) R 1701 1704 695 0 -1 4202560 47 0 0 0 11 0 0 0 20 0 9 0 437619699 640057344 2954 33554432000 4194304 6211092 140726742298272 140536129662048 5451536 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1713] ppid=1701 vsize=625056 memory=0 CPUtime=0.11 cores=0-7 /proc/1704/task/1713/stat : 1713 (cosoco) R 1701 1704 695 0 -1 4202560 60 0 0 0 11 0 0 0 20 0 9 0 437619699 640057344 2954 33554432000 4194304 6211092 140726742298272 140536121269344 5455658 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 Current children cumulated CPU time: 1.08 s Current children cumulated vsize: 625056 KiB Current children cumulated memory: 11816 KiB [startup+0.701228 s] /proc/loadavg: 1.40 1.10 1.38 11/201 1713 /proc/meminfo: memFree=31065584/32770624 swapFree=67015332/67108860 [pid=1704] ppid=1701 vsize=625056 memory=13116 CPUtime=4.12 cores=0-7 /proc/1704/stat : 1704 (cosoco) S 1701 1704 695 0 -1 1077944320 3644 0 0 0 411 1 0 0 20 0 9 0 437619678 640057344 3279 33554432000 4194304 6211092 140726742298272 140726742296528 140536203161335 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 /proc/1704/statm: 156264 3279 865 493 0 149569 0 [pid=1704/tid=1706] ppid=1701 vsize=625056 memory=0 CPUtime=0.49 cores=0-7 /proc/1704/task/1706/stat : 1706 (cosoco) R 1701 1704 695 0 -1 4202560 53 0 0 0 49 0 0 0 20 0 9 0 437619699 640057344 3279 33554432000 4194304 6211092 140726742298272 140536180018024 140536188044175 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1707] ppid=1701 vsize=625056 memory=0 CPUtime=0.49 cores=0-7 /proc/1704/task/1707/stat : 1707 (cosoco) R 1701 1704 695 0 -1 4202560 73 0 0 0 49 0 0 0 20 0 9 0 437619699 640057344 3279 33554432000 4194304 6211092 140726742298272 140536171625320 140536188041123 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1708] ppid=1701 vsize=625056 memory=0 CPUtime=0.45 cores=0-7 /proc/1704/task/1708/stat : 1708 (cosoco) R 1701 1704 695 0 -1 4202560 52 0 0 0 45 0 0 0 20 0 9 0 437619699 640057344 3279 33554432000 4194304 6211092 140726742298272 140536163232616 5451482 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1709] ppid=1701 vsize=625056 memory=0 CPUtime=0.49 cores=0-7 /proc/1704/task/1709/stat : 1709 (cosoco) R 1701 1704 695 0 -1 4202560 68 0 0 0 49 0 0 0 20 0 9 0 437619699 640057344 3279 33554432000 4194304 6211092 140726742298272 140536154840160 5442934 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1710] ppid=1701 vsize=625056 memory=1988 CPUtime=0.49 cores=0-7 /proc/1704/task/1710/stat : 1710 (cosoco) R 1701 1704 695 0 -1 4202560 73 0 0 0 49 0 0 0 20 0 9 0 437619699 640057344 3279 33554432000 4194304 6211092 140726742298272 140536146447456 5446924 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1711] ppid=1701 vsize=625056 memory=1340 CPUtime=0.49 cores=0-7 /proc/1704/task/1711/stat : 1711 (cosoco) R 1701 1704 695 0 -1 4202560 71 0 0 0 49 0 0 0 20 0 9 0 437619699 640057344 3279 33554432000 4194304 6211092 140726742298272 140536138054752 5451591 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1712] ppid=1701 vsize=625056 memory=7420 CPUtime=0.49 cores=0-7 /proc/1704/task/1712/stat : 1712 (cosoco) R 1701 1704 695 0 -1 4202560 58 0 0 0 49 0 0 0 20 0 9 0 437619699 640057344 3279 33554432000 4194304 6211092 140726742298272 140536129661800 5446226 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1713] ppid=1701 vsize=625056 memory=1056 CPUtime=0.48 cores=0-7 /proc/1704/task/1713/stat : 1713 (cosoco) R 1701 1704 695 0 -1 4202560 69 0 0 0 48 0 0 0 20 0 9 0 437619699 640057344 3279 33554432000 4194304 6211092 140726742298272 140536121269344 5439825 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 Current children cumulated CPU time: 4.12 s Current children cumulated vsize: 625056 KiB Current children cumulated memory: 13116 KiB [startup+1.37521 s] # the end of solver process 1704 was just reported to runsolver # cumulated CPU time of all completed processes: user=9.35332 s, system=0.04197 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.800593 s] /proc/loadavg: 1.40 1.10 1.38 11/201 1713 /proc/meminfo: memFree=31065584/32770624 swapFree=67015332/67108860 [pid=1704] ppid=1701 vsize=625056 memory=13116 CPUtime=4.91 cores=0-7 /proc/1704/stat : 1704 (cosoco) S 1701 1704 695 0 -1 1077944320 3650 0 0 0 490 1 0 0 20 0 9 0 437619678 640057344 3279 33554432000 4194304 6211092 140726742298272 140726742296528 140536203161335 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 /proc/1704/statm: 156264 3279 865 493 0 149569 0 [pid=1704/tid=1706] ppid=1701 vsize=625056 memory=281184798263840 CPUtime=0.59 cores=0-7 /proc/1704/task/1706/stat : 1706 (cosoco) R 1701 1704 695 0 -1 4202560 54 0 0 0 59 0 0 0 20 0 9 0 437619699 640057344 3279 33554432000 4194304 6211092 140726742298272 140536180018024 5446087 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1707] ppid=1701 vsize=625056 memory=140592399123840 CPUtime=0.59 cores=0-7 /proc/1704/task/1707/stat : 1707 (cosoco) R 1701 1704 695 0 -1 4202560 73 0 0 0 59 0 0 0 20 0 9 0 437619699 640057344 3279 33554432000 4194304 6211092 140726742298272 140536171625320 140536197065553 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1708] ppid=1701 vsize=625056 memory=140592399135328 CPUtime=0.55 cores=0-7 /proc/1704/task/1708/stat : 1708 (cosoco) R 1701 1704 695 0 -1 4202560 53 0 0 0 55 0 0 0 20 0 9 0 437619699 640057344 3279 33554432000 4194304 6211092 140726742298272 140536163232616 5446270 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1709] ppid=1701 vsize=625056 memory=7379819148455928685 CPUtime=0.59 cores=0-7 /proc/1704/task/1709/stat : 1709 (cosoco) R 1701 1704 695 0 -1 4202560 69 0 0 0 59 0 0 0 20 0 9 0 437619699 640057344 3279 33554432000 4194304 6211092 140726742298272 140536154840160 5009644 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1710] ppid=1701 vsize=625056 memory=5803258971512088228 CPUtime=0.59 cores=0-7 /proc/1704/task/1710/stat : 1710 (cosoco) R 1701 1704 695 0 -1 4202560 73 0 0 0 59 0 0 0 20 0 9 0 437619699 640057344 3279 33554432000 4194304 6211092 140726742298272 140536146447456 5451442 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1711] ppid=1701 vsize=625056 memory=1077677043 CPUtime=0.59 cores=0-7 /proc/1704/task/1711/stat : 1711 (cosoco) R 1701 1704 695 0 -1 4202560 72 0 0 0 59 0 0 0 20 0 9 0 437619699 640057344 3279 33554432000 4194304 6211092 140726742298272 140536138054752 140536188044175 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1712] ppid=1701 vsize=625056 memory=140592399088253 CPUtime=0.59 cores=0-7 /proc/1704/task/1712/stat : 1712 (cosoco) R 1701 1704 695 0 -1 4202560 60 0 0 0 59 0 0 0 20 0 9 0 437619699 640057344 3279 33554432000 4194304 6211092 140726742298272 140536129662048 5440580 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1713] ppid=1701 vsize=625056 memory=281184798182144 CPUtime=0.58 cores=0-7 /proc/1704/task/1713/stat : 1713 (cosoco) R 1701 1704 695 0 -1 4202560 69 0 0 0 58 0 0 0 20 0 9 0 437619699 640057344 3279 33554432000 4194304 6211092 140726742298272 140536121269344 140536197065576 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 Current children cumulated CPU time: 4.91 s Current children cumulated vsize: 625056 KiB Current children cumulated memory: 13116 KiB [startup+1.21523 s] /proc/loadavg: 1.40 1.10 1.38 9/201 1713 /proc/meminfo: memFree=31057972/32770624 swapFree=67015332/67108860 [pid=1704] ppid=1701 vsize=625056 memory=14160 CPUtime=8.21 cores=0-7 /proc/1704/stat : 1704 (cosoco) S 1701 1704 695 0 -1 1077944320 5037 0 0 0 818 3 0 0 20 0 9 0 437619678 640057344 3540 33554432000 4194304 6211092 140726742298272 140726742296528 140536203161335 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 /proc/1704/statm: 156264 3540 866 493 0 149569 0 [pid=1704/tid=1706] ppid=1701 vsize=625056 memory=140592399266944 CPUtime=1 cores=0-7 /proc/1704/task/1706/stat : 1706 (cosoco) R 1701 1704 695 0 -1 4202560 279 0 0 0 100 0 0 0 20 0 9 0 437619699 640057344 3540 33554432000 4194304 6211092 140726742298272 140536180018024 5441093 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1707] ppid=1701 vsize=625056 memory=0 CPUtime=1.01 cores=0-7 /proc/1704/task/1707/stat : 1707 (cosoco) R 1701 1704 695 0 -1 4202560 137 0 0 0 101 0 0 0 20 0 9 0 437619699 640057344 3540 33554432000 4194304 6211092 140726742298272 140536171625320 140536188041123 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1708] ppid=1701 vsize=625056 memory=0 CPUtime=0.95 cores=0-7 /proc/1704/task/1708/stat : 1708 (cosoco) R 1701 1704 695 0 -1 4202560 215 0 0 0 95 0 0 0 20 0 9 0 437619699 640057344 3540 33554432000 4194304 6211092 140726742298272 140536163232616 140536197065615 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1709] ppid=1701 vsize=625056 memory=0 CPUtime=1.01 cores=0-7 /proc/1704/task/1709/stat : 1709 (cosoco) R 1701 1704 695 0 -1 4202560 446 0 0 0 101 0 0 0 20 0 9 0 437619699 640057344 3540 33554432000 4194304 6211092 140726742298272 140536154840160 5446226 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1710] ppid=1701 vsize=625056 memory=0 CPUtime=1 cores=0-7 /proc/1704/task/1710/stat : 1710 (cosoco) R 1701 1704 695 0 -1 4202560 202 0 0 0 100 0 0 0 20 0 9 0 437619699 640057344 3540 33554432000 4194304 6211092 140726742298272 140536146447208 5446904 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1711] ppid=1701 vsize=625056 memory=140592399128128 CPUtime=1.01 cores=0-7 /proc/1704/task/1711/stat : 1711 (cosoco) R 1701 1704 695 0 -1 4202560 309 0 0 0 101 0 0 0 20 0 9 0 437619699 640057344 3540 33554432000 4194304 6211092 140726742298272 140536138054752 5480247 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1712] ppid=1701 vsize=625056 memory=147897198841173 CPUtime=1.01 cores=0-7 /proc/1704/task/1712/stat : 1712 (cosoco) R 1701 1704 695 0 -1 4202560 204 0 0 0 101 0 0 0 20 0 9 0 437619699 640057344 3540 33554432000 4194304 6211092 140726742298272 140536129661800 5478428 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1713] ppid=1701 vsize=625056 memory=0 CPUtime=0.99 cores=0-7 /proc/1704/task/1713/stat : 1713 (cosoco) R 1701 1704 695 0 -1 4202560 118 0 0 0 97 2 0 0 20 0 9 0 437619699 640057344 3540 33554432000 4194304 6211092 140726742298272 140536121269344 5443000 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 Current children cumulated CPU time: 8.21 s Current children cumulated vsize: 625056 KiB Current children cumulated memory: 14160 KiB [startup+1.30123 s] /proc/loadavg: 1.40 1.10 1.38 9/201 1713 /proc/meminfo: memFree=31057972/32770624 swapFree=67015332/67108860 [pid=1704] ppid=1701 vsize=625056 memory=14208 CPUtime=8.9 cores=0-7 /proc/1704/stat : 1704 (cosoco) S 1701 1704 695 0 -1 1077944320 5846 0 0 0 886 4 0 0 20 0 9 0 437619678 640057344 3552 33554432000 4194304 6211092 140726742298272 140726742296528 140536203161335 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 /proc/1704/statm: 156264 3552 866 493 0 149569 0 [pid=1704/tid=1706] ppid=1701 vsize=625056 memory=1340 CPUtime=1.08 cores=0-7 /proc/1704/task/1706/stat : 1706 (cosoco) R 1701 1704 695 0 -1 4202560 317 0 0 0 108 0 0 0 20 0 9 0 437619699 640057344 3552 33554432000 4194304 6211092 140726742298272 140536180018024 5453904 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1707] ppid=1701 vsize=625056 memory=7420 CPUtime=1.09 cores=0-7 /proc/1704/task/1707/stat : 1707 (cosoco) R 1701 1704 695 0 -1 4202560 312 0 0 0 109 0 0 0 20 0 9 0 437619699 640057344 3552 33554432000 4194304 6211092 140726742298272 140536171625320 5164759 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1708] ppid=1701 vsize=625056 memory=1056 CPUtime=1.04 cores=0-7 /proc/1704/task/1708/stat : 1708 (cosoco) R 1701 1704 695 0 -1 4202560 243 0 0 0 104 0 0 0 20 0 9 0 437619699 640057344 3552 33554432000 4194304 6211092 140726742298272 140536163232616 5443103 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1709] ppid=1701 vsize=625056 memory=12596 CPUtime=1.09 cores=0-7 /proc/1704/task/1709/stat : 1709 (cosoco) R 1701 1704 695 0 -1 4202560 691 0 0 0 109 0 0 0 20 0 9 0 437619699 640057344 3552 33554432000 4194304 6211092 140726742298272 140536154840160 5164656 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1710] ppid=1701 vsize=625056 memory=0 CPUtime=1.09 cores=0-7 /proc/1704/task/1710/stat : 1710 (cosoco) R 1701 1704 695 0 -1 4202560 223 0 0 0 109 0 0 0 20 0 9 0 437619699 640057344 3552 33554432000 4194304 6211092 140726742298272 140536146447208 5441082 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1711] ppid=1701 vsize=625056 memory=15537431565912862 CPUtime=1.09 cores=0-7 /proc/1704/task/1711/stat : 1711 (cosoco) R 1701 1704 695 0 -1 4202560 400 0 0 0 109 0 0 0 20 0 9 0 437619699 640057344 3552 33554432000 4194304 6211092 140726742298272 140536138054752 5443025 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1712] ppid=1701 vsize=625056 memory=0 CPUtime=1.09 cores=0-7 /proc/1704/task/1712/stat : 1712 (cosoco) R 1701 1704 695 0 -1 4202560 242 0 0 0 109 0 0 0 20 0 9 0 437619699 640057344 3552 33554432000 4194304 6211092 140726742298272 140536129662048 5476860 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 [pid=1704/tid=1713] ppid=1701 vsize=625056 memory=0 CPUtime=1.07 cores=0-7 /proc/1704/task/1713/stat : 1713 (cosoco) R 1701 1704 695 0 -1 4202560 291 0 0 0 105 2 0 0 20 0 9 0 437619699 640057344 3552 33554432000 4194304 6211092 140726742298272 140536121269344 5443100 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23007232 140726742303761 140726742303853 140726742303853 140726742306766 0 Current children cumulated CPU time: 8.9 s Current children cumulated vsize: 625056 KiB Current children cumulated memory: 14208 KiB Child status: 0 Real time (s): 1.37528 CPU time (s): 9.39529 CPU user time (s): 9.35332 CPU system time (s): 0.04197 CPU usage (%): 683.152 Max. virtual memory (cumulated for all children) (KiB): 625056 Max. memory (cumulated for all children) (KiB): 14208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9.35332 system time used= 0.04197 maximum resident set size= 14292 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6035 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= 76 involuntary context switches= 249 # summary of solver processes directly reported to runsolver: # pid: 1704 # total CPU time (s): 9.39529 # total CPU user time (s): 9.35332 # total CPU system time (s): 0.04197 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.036409 second user time and 0.048556 second system time The end
Begin job on node143 at 2019-09-16 08:53:02 IDJOB=4397923 IDBENCH=141717 IDSOLVER=2851 FILE ID=node143/4397923-1568616816 RUNJOBID= node143-1568609536-722 PBS_JOBID= 21703438 Free space on /tmp= 58836 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-15-036.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397923-1568616816/watcher-4397923-1568616816 -o /tmp/evaluation-result-4397923-1568616816/solver-4397923-1568616816 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568609536-722 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4397923-1568616816.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5e5c63d89f6605b36f0577fcc9be8ecb RANDOM SEED=624917578 node143.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.73 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.73 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.73 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.73 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: 31082528 kB MemAvailable: 31851200 kB Buffers: 35644 kB Cached: 1040824 kB SwapCached: 39612 kB Active: 86612 kB Inactive: 1044816 kB Active(anon): 3288 kB Inactive(anon): 101360 kB Active(file): 83324 kB Inactive(file): 943456 kB Unevictable: 109576 kB Mlocked: 109576 kB SwapTotal: 67108860 kB SwapFree: 67015332 kB Dirty: 132348 kB Writeback: 156516 kB AnonPages: 124860 kB Mapped: 40620 kB Shmem: 40944 kB Slab: 148516 kB SReclaimable: 115452 kB SUnreclaim: 33064 kB KernelStack: 3376 kB PageTables: 5424 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 511348 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 58832 MiB End job on node143 at 2019-09-16 08:53:04