Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2 | ? (TO) | 2520.02 | 2519.8 |
Name | NumberPartitioning/NumberPartitioning-m1-s1/ NumberPartitioning-184.xml |
MD5SUM | 50aaeae16ffb672916f4ac64373270f5 |
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 | 114.434 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 368 |
Number of constraints | 192 |
Number of domains | 2 |
Minimum domain size | 184 |
Maximum domain size | 33856 |
Distribution of domain sizes | [{"size":184,"count":184},{"size":33856,"count":184}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":184},{"degree":4,"count":183},{"degree":5,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 184 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":184},{"arity":92,"count":6},{"arity":184,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 185 |
Distribution of constraint types | [{"type":"intension","count":185},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}] |
Optimization problem | NO |
Type of objective |
0.10/0.15 c 0.10/0.15 c This is cosoco 2.00 -- 0.10/0.15 c 0.10/0.15 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389541-1568319993.xml 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.15 0 0.10/0.20 c root propagations : 16746 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 ========================================[ Problem Statistics ]=========================================== 0.10/0.20 c | 0.10/0.20 c | Parse time : 0.09 s 0.10/0.20 c | 0.10/0.20 c | Variables: 368 0.10/0.20 c | Domain Sizes: 184..33856 0.10/0.20 c | 0.10/0.20 c | Constraints: 372 0.10/0.20 c | Arity: 1..184 -- Unary: 1 -- Binary: 366 0.10/0.20 c | 0.10/0.20 c | Types: 0.10/0.20 c | (X - Y < k): 182 0.10/0.20 c | All Different: 1 0.10/0.20 c | Intension: 184 0.10/0.20 c | Sum: 4 0.10/0.20 c | Unary: 1 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 1.59/1.67 c 101 285 35675 25807 184 0 185 185 183 2.79/2.90 c 211 395 36005 36257 185 0 1 1 0 4.19/4.25 c 332 516 36368 47752 185 0 1 1 0 5.69/5.73 c 465 649 36767 60387 185 0 1 1 0 7.29/7.36 c 611 795 37205 74257 185 0 1 1 0 9.10/9.15 c 771 955 37685 89457 185 0 1 1 0 11.10/11.11 c 947 1131 38213 106177 185 0 1 1 0 13.19/13.26 c 1140 1324 38792 124512 185 0 1 1 0 15.59/15.62 c 1352 1536 39428 144652 185 0 1 1 0 18.19/18.22 c 1585 1769 40127 166787 185 0 1 1 0 21.00/21.07 c 1841 2025 40895 191107 185 0 1 1 0 24.19/24.20 c 2122 2306 41738 217802 185 0 1 1 0 27.59/27.64 c 2431 2615 42665 247157 185 0 1 1 0 31.39/31.41 c 2770 2954 43682 279362 185 0 1 1 0 35.49/35.54 c 3142 3326 44798 314702 185 0 1 1 0 40.00/40.09 c 3551 3735 46025 353557 185 0 1 1 0 45.00/45.08 c 4000 4184 47372 396212 185 0 1 1 0 50.49/50.56 c 4493 4677 48851 443047 185 0 1 1 0 56.49/56.57 c 5035 5219 50477 494537 185 0 1 1 0 63.10/63.19 c 5631 5815 52265 551157 185 0 1 1 0 70.39/70.45 c 6286 6470 54230 613382 185 0 1 1 0 78.39/78.43 c 7006 7190 56390 681782 185 0 1 1 0 87.19/87.20 c 7798 7982 58766 757022 185 0 1 1 0 96.79/96.83 c 8669 8853 61379 839767 185 0 1 1 0 107.49/107.50 c 9627 9811 66088 993545 185 0 1 1 0 119.20/119.22 c 10680 10864 71087 1156261 185 0 1 1 0 132.01/132.09 c 11838 12022 76769 1341132 185 0 1 1 0 146.21/146.21 c 13111 13295 82796 1536399 185 0 1 1 0 161.71/161.72 c 14511 14695 89204 1742905 185 0 1 1 0 178.70/178.75 c 16051 16235 96032 1961674 185 0 1 1 0 197.41/197.43 c 17745 17929 103322 2193861 185 0 1 1 0 217.71/217.71 c 19608 19986 112713 2403838 185 0 1 195 48 238.71/238.73 c 21657 22232 121158 2462022 186 0 1 198 161 262.81/262.86 c 23910 24682 130199 2545316 187 0 1 198 138 289.12/289.17 c 26388 27359 139918 2639082 188 0 1 200 136 318.03/318.07 c 29113 30283 150380 2744142 189 0 1 200 133 349.52/349.53 c 32110 33481 161661 2861334 190 0 1 202 132 383.92/383.90 c 35406 36978 173841 2991500 191 0 1 202 130 421.23/421.23 c 39031 40806 186995 3135498 192 0 1 204 130 462.04/462.06 c 43018 44996 201234 3294194 193 0 1 204 130 506.33/506.37 c 47403 49586 216673 3468470 194 0 1 206 130 554.84/554.81 c 52226 54616 233421 3659222 195 0 1 208 130 610.74/610.78 c 57531 60128 251612 3883554 196 0 1 208 120 674.45/674.40 c 63366 66152 271351 4160154 197 0 1 190 111 742.35/742.30 c 69784 72763 294053 4203056 197 0 139 194 189 817.76/817.70 c 76843 80010 325489 4349790 197 0 47 189 187 893.86/893.87 c 84607 87983 350693 4397799 197 0 186 210 196 986.67/986.64 c 93147 96713 383689 4792951 198 0 1 191 120 1086.58/1086.59 c 102541 106297 417428 4869632 198 0 23 191 188 1193.39/1193.31 c 112874 116833 454636 4942425 198 0 5 204 191 1314.00/1313.90 c 124240 128388 498975 5071208 198 0 30 190 188 1438.91/1438.85 c 136742 141099 542020 5143828 198 0 17 210 194 1586.62/1586.56 c 150494 155045 592919 5671396 199 0 1 195 138 1748.54/1748.43 c 165621 170363 648508 5802116 199 0 23 192 187 1917.17/1917.09 c 182260 187213 705441 5904000 199 0 7 212 193 2112.58/2112.41 c 200562 205710 770916 6533771 200 0 1 196 144 2324.09/2323.94 c 220694 226036 838554 6662951 200 0 23 195 189 2520.01/2519.80 2520.01/2519.80 c *** INTERRUPTED *** 2520.01/2519.80 c restarts : 57 2520.01/2519.80 c conflicts : 239842 (95 /sec) 2520.01/2519.80 c decisions : 245379 (97 /sec) 2520.01/2519.80 c propagations : 6800037 (2699 /sec) 2520.01/2519.80 c root propagations : 16746 2520.01/2519.80 c filter calls : 903756 (359 /sec) 2520.01/2519.80 c useless filter calls : 623374 (68 %) 2520.01/2519.80 c Memory used : 174.88 MB 2520.01/2519.80 c CPU time : 2519.91 s 2520.01/2519.80 c real time : 2519.8 s 2520.01/2519.80 2520.01/2519.80 s UNKNOWN
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 (13203 MiB free) memory of node 1: 16384 MiB (15066 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389541-1568319993/watcher-4389541-1568319993 -o /tmp/evaluation-result-4389541-1568319993/solver-4389541-1568319993 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6438 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389541-1568319993.xml running on 4 cores: 0-3 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 solver pid=8409, runsolver pid=8406 Current StackSize limit: 8192 KiB [startup+0.100178 s]* /proc/loadavg: 2.05 2.04 2.05 3/199 8410 /proc/meminfo: memFree=28844952/32770688 swapFree=66960936/67108860 [pid=8409] ppid=8406 vsize=140036 memory=116420 CPUtime=0.1 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 29302 0 0 0 6 4 0 0 20 0 1 0 407941032 143396864 29105 33554432000 4194304 6210612 140729241533536 140729241530072 5070781 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 35009 29105 847 493 0 28314 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 140036 KiB Current children cumulated memory: 116420 KiB [startup+0.210913 s]* /proc/loadavg: 2.05 2.04 2.05 3/199 8410 /proc/meminfo: memFree=28796840/32770688 swapFree=66960936/67108860 [pid=8409] ppid=8406 vsize=178712 memory=155280 CPUtime=0.21 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 39000 0 0 0 16 5 0 0 20 0 1 0 407941032 183001088 38820 33554432000 4194304 6210612 140729241533536 140729241530072 5080952 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44678 38820 876 493 0 37983 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 178712 KiB Current children cumulated memory: 155280 KiB [startup+0.310748 s]* /proc/loadavg: 2.05 2.04 2.05 3/199 8410 /proc/meminfo: memFree=28796840/32770688 swapFree=66960936/67108860 [pid=8409] ppid=8406 vsize=178712 memory=155280 CPUtime=0.31 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 39007 0 0 0 26 5 0 0 20 0 1 0 407941032 183001088 38820 33554432000 4194304 6210612 140729241533536 140729241530072 5149280 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44678 38820 876 493 0 37983 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 178712 KiB Current children cumulated memory: 155280 KiB [startup+0.700398 s] /proc/loadavg: 2.04 2.04 2.05 3/199 8410 /proc/meminfo: memFree=28796924/32770688 swapFree=66960936/67108860 [pid=8409] ppid=8406 vsize=178872 memory=155280 CPUtime=0.69 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 39036 0 0 0 64 5 0 0 20 0 1 0 407941032 183164928 38820 33554432000 4194304 6210612 140729241533536 140729241531800 5149306 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44718 38820 876 493 0 38023 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 178872 KiB Current children cumulated memory: 155280 KiB [startup+1.50041 s] /proc/loadavg: 2.04 2.04 2.05 3/199 8410 /proc/meminfo: memFree=28796924/32770688 swapFree=66960936/67108860 [pid=8409] ppid=8406 vsize=178872 memory=155280 CPUtime=1.49 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 39036 0 0 0 144 5 0 0 20 0 1 0 407941032 183164928 38820 33554432000 4194304 6210612 140729241533536 140729241531800 5149321 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44718 38820 876 493 0 38023 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 178872 KiB Current children cumulated memory: 155280 KiB [startup+3.11069 s] /proc/loadavg: 2.04 2.04 2.05 3/199 8410 /proc/meminfo: memFree=28796924/32770688 swapFree=66960936/67108860 [pid=8409] ppid=8406 vsize=178872 memory=155500 CPUtime=3.1 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 42386 0 0 0 305 5 0 0 20 0 1 0 407941032 183164928 38875 33554432000 4194304 6210612 140729241533536 140729241531496 5149314 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44718 38875 895 493 0 38023 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 178872 KiB Current children cumulated memory: 155500 KiB [startup+6.30039 s] /proc/loadavg: 2.04 2.04 2.05 3/199 8410 /proc/meminfo: memFree=28796892/32770688 swapFree=66960936/67108860 [pid=8409] ppid=8406 vsize=178872 memory=155500 CPUtime=6.29 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 45758 0 0 0 623 6 0 0 20 0 1 0 407941032 183164928 38875 33554432000 4194304 6210612 140729241533536 140729241531496 5149332 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44718 38875 895 493 0 38023 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 178872 KiB Current children cumulated memory: 155500 KiB [startup+12.7004 s] /proc/loadavg: 2.04 2.04 2.05 3/199 8411 /proc/meminfo: memFree=28797276/32770688 swapFree=66960936/67108860 [pid=8409] ppid=8406 vsize=178872 memory=155500 CPUtime=12.69 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 49119 0 0 0 1263 6 0 0 20 0 1 0 407941032 183164928 38875 33554432000 4194304 6210612 140729241533536 140729241531496 5192915 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44718 38875 895 493 0 38023 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 178872 KiB Current children cumulated memory: 155500 KiB [startup+25.5004 s] /proc/loadavg: 2.03 2.04 2.05 3/200 8413 /proc/meminfo: memFree=28796764/32770688 swapFree=66960936/67108860 [pid=8409] ppid=8406 vsize=178872 memory=155500 CPUtime=25.49 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 55843 0 0 0 2543 6 0 0 20 0 1 0 407941032 183164928 38875 33554432000 4194304 6210612 140729241533536 140729241531496 5149332 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44718 38875 895 493 0 38023 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 178872 KiB Current children cumulated memory: 155500 KiB [startup+51.1108 s] /proc/loadavg: 2.15 2.07 2.05 3/199 8413 /proc/meminfo: memFree=28796628/32770688 swapFree=66960936/67108860 [pid=8409] ppid=8406 vsize=178872 memory=155500 CPUtime=51.1 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 59207 0 0 0 5104 6 0 0 20 0 1 0 407941032 183164928 38875 33554432000 4194304 6210612 140729241533536 140729241531496 5192912 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44718 38875 895 493 0 38023 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 178872 KiB Current children cumulated memory: 155500 KiB [startup+102.3 s] /proc/loadavg: 2.06 2.06 2.05 3/199 8417 /proc/meminfo: memFree=28795548/32770688 swapFree=66960936/67108860 [pid=8409] ppid=8406 vsize=178872 memory=155500 CPUtime=102.29 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 62959 0 0 0 10223 6 0 0 20 0 1 0 407941032 183164928 38875 33554432000 4194304 6210612 140729241533536 140729241531496 5149314 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44718 38875 895 493 0 38023 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 178872 KiB Current children cumulated memory: 155500 KiB [startup+162.3 s] /proc/loadavg: 2.10 2.06 2.05 3/200 8424 /proc/meminfo: memFree=28794960/32770688 swapFree=66960936/67108860 [pid=8409] ppid=8406 vsize=178872 memory=155500 CPUtime=162.31 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 66730 0 0 0 16224 7 0 0 20 0 1 0 407941032 183164928 38875 33554432000 4194304 6210612 140729241533536 140729241531496 5149290 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44718 38875 895 493 0 38023 0 Current children cumulated CPU time: 162.31 s Current children cumulated vsize: 178872 KiB Current children cumulated memory: 155500 KiB [startup+222.3 s] /proc/loadavg: 2.04 2.05 2.05 3/199 8428 /proc/meminfo: memFree=28795588/32770688 swapFree=66960936/67108860 [pid=8409] ppid=8406 vsize=178872 memory=155500 CPUtime=222.31 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 74193 0 0 0 22224 7 0 0 20 0 1 0 407941032 183164928 38875 33554432000 4194304 6210612 140729241533536 140729241531496 5149306 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44718 38875 895 493 0 38023 0 Current children cumulated CPU time: 222.31 s Current children cumulated vsize: 178872 KiB Current children cumulated memory: 155500 KiB [startup+282.3 s] /proc/loadavg: 2.01 2.04 2.05 3/200 8440 /proc/meminfo: memFree=28794584/32770688 swapFree=66960944/67108860 [pid=8409] ppid=8406 vsize=178872 memory=155532 CPUtime=282.31 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 81649 0 0 0 28224 7 0 0 20 0 1 0 407941032 183164928 38883 33554432000 4194304 6210612 140729241533536 140729241531496 5149299 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44718 38883 895 493 0 38023 0 Current children cumulated CPU time: 282.31 s Current children cumulated vsize: 178872 KiB Current children cumulated memory: 155532 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.04 2.05 3/201 8446 /proc/meminfo: memFree=28794668/32770688 swapFree=66960944/67108860 [pid=8409] ppid=8406 vsize=178872 memory=155536 CPUtime=342.32 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 88671 0 0 0 34224 8 0 0 20 0 1 0 407941032 183164928 38884 33554432000 4194304 6210612 140729241533536 140729241531496 5149280 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44718 38884 895 493 0 38023 0 Current children cumulated CPU time: 342.32 s Current children cumulated vsize: 178872 KiB Current children cumulated memory: 155536 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.03 2.05 3/200 8450 /proc/meminfo: memFree=28794304/32770688 swapFree=66960944/67108860 [pid=8409] ppid=8406 vsize=178872 memory=155568 CPUtime=402.32 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 88682 0 0 0 40224 8 0 0 20 0 1 0 407941032 183164928 38892 33554432000 4194304 6210612 140729241533536 140729241531496 5149318 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44718 38892 895 493 0 38023 0 Current children cumulated CPU time: 402.32 s Current children cumulated vsize: 178872 KiB Current children cumulated memory: 155568 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.05 3/200 8454 /proc/meminfo: memFree=28795292/32770688 swapFree=66960944/67108860 [pid=8409] ppid=8406 vsize=178872 memory=155572 CPUtime=462.33 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 89482 0 0 0 46225 8 0 0 20 0 1 0 407941032 183164928 38893 33554432000 4194304 6210612 140729241533536 140729241531496 5192912 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44718 38893 895 493 0 38023 0 Current children cumulated CPU time: 462.33 s Current children cumulated vsize: 178872 KiB Current children cumulated memory: 155572 KiB ################ # More data... # ################ /proc/8409/statm: 44769 38933 895 493 0 38074 0 Current children cumulated CPU time: 1722.43 s Current children cumulated vsize: 179076 KiB Current children cumulated memory: 155732 KiB [startup+1782.3 s] /proc/loadavg: 2.01 2.02 2.05 3/200 8574 /proc/meminfo: memFree=28793884/32770688 swapFree=66960952/67108860 [pid=8409] ppid=8406 vsize=179076 memory=155744 CPUtime=1782.44 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 98148 0 0 0 178236 8 0 0 20 0 1 0 407941032 183373824 38936 33554432000 4194304 6210612 140729241533536 140729241531496 5149321 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44769 38936 895 493 0 38074 0 Current children cumulated CPU time: 1782.44 s Current children cumulated vsize: 179076 KiB Current children cumulated memory: 155744 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.02 2.05 3/199 8578 /proc/meminfo: memFree=28793948/32770688 swapFree=66960952/67108860 [pid=8409] ppid=8406 vsize=179076 memory=155744 CPUtime=1842.45 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 98151 0 0 0 184236 9 0 0 20 0 1 0 407941032 183373824 38936 33554432000 4194304 6210612 140729241533536 140729241531496 5149306 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44769 38936 895 493 0 38074 0 Current children cumulated CPU time: 1842.45 s Current children cumulated vsize: 179076 KiB Current children cumulated memory: 155744 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 8582 /proc/meminfo: memFree=28793828/32770688 swapFree=66960952/67108860 [pid=8409] ppid=8406 vsize=179076 memory=155744 CPUtime=1902.45 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 98641 0 0 0 190236 9 0 0 20 0 1 0 407941032 183373824 38936 33554432000 4194304 6210612 140729241533536 140729241531496 5149318 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44769 38936 895 493 0 38074 0 Current children cumulated CPU time: 1902.45 s Current children cumulated vsize: 179076 KiB Current children cumulated memory: 155744 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 8651 /proc/meminfo: memFree=29261068/32770688 swapFree=66960952/67108860 [pid=8409] ppid=8406 vsize=179076 memory=155756 CPUtime=1962.45 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 98983 0 0 0 196236 9 0 0 20 0 1 0 407941032 183373824 38939 33554432000 4194304 6210612 140729241533536 140729241531496 5192912 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44769 38939 895 493 0 38074 0 Current children cumulated CPU time: 1962.45 s Current children cumulated vsize: 179076 KiB Current children cumulated memory: 155756 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 8655 /proc/meminfo: memFree=28856340/32770688 swapFree=66960952/67108860 [pid=8409] ppid=8406 vsize=179076 memory=155756 CPUtime=2022.46 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 99463 0 0 0 202237 9 0 0 20 0 1 0 407941032 183373824 38939 33554432000 4194304 6210612 140729241533536 140729241531496 5149306 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44769 38939 895 493 0 38074 0 Current children cumulated CPU time: 2022.46 s Current children cumulated vsize: 179076 KiB Current children cumulated memory: 155756 KiB [startup+2082.3 s] /proc/loadavg: 2.03 2.03 2.05 3/201 8667 /proc/meminfo: memFree=28450180/32770688 swapFree=66960952/67108860 [pid=8409] ppid=8406 vsize=179076 memory=155756 CPUtime=2082.46 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 99501 0 0 0 208237 9 0 0 20 0 1 0 407941032 183373824 38939 33554432000 4194304 6210612 140729241533536 140729241531496 5192912 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44769 38939 895 493 0 38074 0 Current children cumulated CPU time: 2082.46 s Current children cumulated vsize: 179076 KiB Current children cumulated memory: 155756 KiB [startup+2142.3 s] /proc/loadavg: 2.01 2.02 2.05 3/203 8696 /proc/meminfo: memFree=28044212/32770688 swapFree=66960952/67108860 [pid=8409] ppid=8406 vsize=179076 memory=155768 CPUtime=2142.48 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 100338 0 0 0 214238 10 0 0 20 0 1 0 407941032 183373824 38942 33554432000 4194304 6210612 140729241533536 140729241531496 5149321 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44769 38942 895 493 0 38074 0 Current children cumulated CPU time: 2142.48 s Current children cumulated vsize: 179076 KiB Current children cumulated memory: 155768 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.05 3/202 8700 /proc/meminfo: memFree=27637348/32770688 swapFree=66960952/67108860 [pid=8409] ppid=8406 vsize=179076 memory=155768 CPUtime=2202.48 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 100341 0 0 0 220238 10 0 0 20 0 1 0 407941032 183373824 38942 33554432000 4194304 6210612 140729241533536 140729241531496 5149314 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44769 38942 895 493 0 38074 0 Current children cumulated CPU time: 2202.48 s Current children cumulated vsize: 179076 KiB Current children cumulated memory: 155768 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 8704 /proc/meminfo: memFree=27233468/32770688 swapFree=66960952/67108860 [pid=8409] ppid=8406 vsize=179076 memory=155768 CPUtime=2262.49 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 100817 0 0 0 226239 10 0 0 20 0 1 0 407941032 183373824 38942 33554432000 4194304 6210612 140729241533536 140729241531496 5149290 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44769 38942 895 493 0 38074 0 Current children cumulated CPU time: 2262.49 s Current children cumulated vsize: 179076 KiB Current children cumulated memory: 155768 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/202 8710 /proc/meminfo: memFree=26828440/32770688 swapFree=66960952/67108860 [pid=8409] ppid=8406 vsize=179076 memory=155768 CPUtime=2322.49 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 100838 0 0 0 232239 10 0 0 20 0 1 0 407941032 183373824 38942 33554432000 4194304 6210612 140729241533536 140729241531496 5149332 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44769 38942 895 493 0 38074 0 Current children cumulated CPU time: 2322.49 s Current children cumulated vsize: 179076 KiB Current children cumulated memory: 155768 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 8714 /proc/meminfo: memFree=26421656/32770688 swapFree=66960952/67108860 [pid=8409] ppid=8406 vsize=179076 memory=155780 CPUtime=2382.5 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 101633 0 0 0 238240 10 0 0 20 0 1 0 407941032 183373824 38945 33554432000 4194304 6210612 140729241533536 140729241531496 5149318 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44769 38945 895 493 0 38074 0 Current children cumulated CPU time: 2382.5 s Current children cumulated vsize: 179076 KiB Current children cumulated memory: 155780 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 8718 /proc/meminfo: memFree=26016432/32770688 swapFree=66960952/67108860 [pid=8409] ppid=8406 vsize=179076 memory=155780 CPUtime=2442.5 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 101680 0 0 0 244240 10 0 0 20 0 1 0 407941032 183373824 38945 33554432000 4194304 6210612 140729241533536 140729241531496 5149280 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44769 38945 895 493 0 38074 0 Current children cumulated CPU time: 2442.5 s Current children cumulated vsize: 179076 KiB Current children cumulated memory: 155780 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 8724 /proc/meminfo: memFree=25611076/32770688 swapFree=66960952/67108860 [pid=8409] ppid=8406 vsize=179076 memory=155780 CPUtime=2502.51 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 102123 0 0 0 250241 10 0 0 20 0 1 0 407941032 183373824 38945 33554432000 4194304 6210612 140729241533536 140729241531496 5380107 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44769 38945 895 493 0 38074 0 Current children cumulated CPU time: 2502.51 s Current children cumulated vsize: 179076 KiB Current children cumulated memory: 155780 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2519.8 s] /proc/loadavg: 2.00 2.01 2.05 3/199 8724 /proc/meminfo: memFree=25496948/32770688 swapFree=66960952/67108860 [pid=8409] ppid=8406 vsize=179076 memory=155780 CPUtime=2520.01 cores=0-3 /proc/8409/stat : 8409 (cosoco) R 8406 8409 6407 0 -1 4202496 102126 0 0 0 251991 10 0 0 20 0 1 0 407941032 183373824 38945 33554432000 4194304 6210612 140729241533536 140729241531496 5149332 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 22089728 140729241539595 140729241539697 140729241539697 140729241542606 0 /proc/8409/statm: 44769 38945 895 493 0 38074 0 Current children cumulated CPU time: 2520.01 s Current children cumulated vsize: 179076 KiB Current children cumulated memory: 155780 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2519.8 s] # the end of solver process 8409 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.91 s, system=0.104009 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2519.8 CPU time (s): 2520.02 CPU user time (s): 2519.91 CPU system time (s): 0.104009 CPU usage (%): 100.009 Max. virtual memory (cumulated for all children) (KiB): 179076 Max. memory (cumulated for all children) (KiB): 155780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.91 system time used= 0.104009 maximum resident set size= 155848 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 102181 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= 17 involuntary context switches= 724 # summary of solver processes directly reported to runsolver: # pid: 8409 # total CPU time (s): 2520.02 # total CPU user time (s): 2519.91 # total CPU system time (s): 0.104009 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 16.3753 second user time and 15.0881 second system time The end
Begin job on node116 at 2019-09-12 22:25:53 IDJOB=4389541 IDBENCH=122916 IDSOLVER=2829 FILE ID=node116/4389541-1568319993 RUNJOBID= node116-1568311136-6438 PBS_JOBID= 21701125 Free space on /tmp= 56780 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-184.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389541-1568319993/watcher-4389541-1568319993 -o /tmp/evaluation-result-4389541-1568319993/solver-4389541-1568319993 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6438 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389541-1568319993.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 50aaeae16ffb672916f4ac64373270f5 RANDOM SEED=142399260 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: 28949268 kB MemAvailable: 31287360 kB Buffers: 75312 kB Cached: 2537512 kB SwapCached: 46480 kB Active: 1477720 kB Inactive: 1744996 kB Active(anon): 562128 kB Inactive(anon): 88236 kB Active(file): 915592 kB Inactive(file): 1656760 kB Unevictable: 110244 kB Mlocked: 110244 kB SwapTotal: 67108860 kB SwapFree: 66960936 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 674176 kB Mapped: 43816 kB Shmem: 31852 kB Slab: 191824 kB SReclaimable: 163152 kB SUnreclaim: 28672 kB KernelStack: 3520 kB PageTables: 7136 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 1086824 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 624640 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 23:07:53