3.39/3.48 c root propagations : 0
3.39/3.48 c restarts enabled, print stats at every restarts
3.39/3.48 c
3.39/3.48 c
3.39/3.48 c
3.39/3.48 c This is cosoco 2.00 --
3.39/3.48 c
3.39/3.48 c command line: cosoco -model -nbcores=8 HOME/instance-4398060-1568605565.xml
3.39/3.48 c ========================================[ Problem Statistics ]===========================================
3.39/3.48 c |
3.39/3.48 c | Parse time : 3.43 s
3.39/3.48 c |
3.39/3.48 c | Variables: 81
3.39/3.48 c | Domain Sizes: 81..81
3.39/3.48 c |
3.39/3.48 c | Constraints: 21
3.39/3.48 c | Arity: 9..81
3.39/3.48 c |
3.39/3.48 c | Types:
3.39/3.48 c | All Different: 1
3.39/3.48 c | MDD: 20
3.39/3.48 c |
3.39/3.48 c =========================================================================================================
3.39/3.48 c Parallel mode: Portfolio
3.39/3.48 c [pFactory][Group N°0] created (threads:8).
3.39/3.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
3.39/3.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
3.39/3.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
3.39/3.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
3.39/3.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
3.39/3.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
3.39/3.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
3.39/3.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
3.39/3.48 c [pFactory][Group N°0] concurrent mode: enabled.
3.39/3.48 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
3.39/3.48 c [pFactory][Group N°0] task 7 launched on thread 0.
3.39/3.48 c [pFactory][Group N°0] task 6 launched on thread 1.
3.39/3.48 c [pFactory][Group N°0] task 5 launched on thread 2.
3.39/3.48 c [pFactory][Group N°0] task 4 launched on thread 6.
3.39/3.48 c [pFactory][Group N°0] task 3 launched on thread 7.
3.39/3.48 c [pFactory][Group N°0] task 2 launched on thread 5.
3.39/3.48 c [pFactory][Group N°0] task 1 launched on thread 3.
3.39/3.48 c [pFactory][Group N°0] task 0 launched on thread 4.
3.39/3.48 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
3.39/3.48 c root propagations : 0
3.39/3.48 c restarts enabled, print stats at every restarts
3.39/3.48 c
3.39/3.48 c
3.39/3.48 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
3.39/3.48 c root propagations : 0
3.39/3.48 c restarts enabled, print stats at every restarts
3.39/3.48 c
3.39/3.48 c
3.39/3.48 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
3.39/3.49 c root propagations : 0
3.39/3.49 c restarts enabled, print stats at every restarts
3.39/3.49 c
3.39/3.49 c
3.39/3.49 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
3.39/3.49 c root propagations : 0
3.39/3.49 c restarts enabled, print stats at every restarts
3.39/3.49 c
3.39/3.49 c
3.39/3.49 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
3.39/3.49 c root propagations : 0
3.39/3.49 c restarts enabled, print stats at every restarts
3.39/3.49 c
3.39/3.49 c
3.39/3.49 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
3.70/3.51 c root propagations : 0
3.70/3.51 c restarts enabled, print stats at every restarts
3.70/3.51 c
3.70/3.51 c
3.70/3.51 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
3.70/3.51 c root propagations : 0
3.70/3.51 c restarts enabled, print stats at every restarts
3.70/3.51 c
3.70/3.51 c
3.70/3.51 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
5.26/3.74 c 32 49 620 5363 0 0 7 9 7
5.26/3.77 c 32 49 620 5376 0 0 7 9 7
5.26/3.78 c 32 48 577 5167 0 0 6 8 6
5.26/3.78 c 32 57 737 5804 0 0 7 17 10
5.26/3.79 c 101 124 593 966 0 0 2 24 16
6.06/3.81 c 33 54 712 6018 0 0 5 5 2
6.06/3.85 c 33 54 712 6031 0 0 5 5 2
6.06/3.86 c 33 53 669 5822 0 0 5 5 2
6.06/3.87 c 33 64 854 6450 0 0 7 7 3
6.06/3.88 c 101 155 1227 8385 0 0 2 44 22
7.73/4.05 c 64 99 1235 10687 0 0 5 7 5
7.73/4.07 c 101 172 2213 15066 0 0 7 41 20
7.73/4.09 c 64 98 1174 10491 0 0 5 7 5
7.73/4.09 c 211 284 1581 3860 0 0 2 51 36
7.73/4.10 c 64 99 1235 10713 0 0 5 7 5
8.52/4.12 c 65 104 1329 11342 0 0 5 5 2
8.52/4.17 c 65 103 1268 11146 0 0 5 5 2
8.52/4.18 c 101 151 1789 15294 0 0 7 17 9
8.52/4.18 c 65 104 1329 11368 0 0 5 5 2
8.52/4.19 c 211 299 2165 17402 0 0 4 27 23
8.52/4.19 c 66 109 1421 11997 0 0 5 5 2
8.52/4.20 c 64 129 1694 12410 0 0 7 26 17
9.32/4.25 c 66 108 1360 11801 0 0 5 5 2
9.32/4.26 c 66 109 1421 12023 0 0 5 5 2
9.32/4.27 c 67 114 1513 12652 0 0 5 5 2
10.04/4.32 c 65 137 1849 13135 0 0 8 8 4
10.04/4.33 c 67 113 1452 12456 0 0 5 5 2
10.04/4.34 c 67 114 1513 12678 0 0 5 5 2
10.84/4.42 c 332 477 2976 10381 0 0 2 70 46
10.84/4.42 c 66 144 1983 13792 0 0 7 7 3
11.65/4.52 c 67 151 2119 14512 0 0 7 7 3
11.65/4.58 c 332 493 3692 30364 0 0 2 63 31
12.45/4.64 c 211 369 4740 31304 0 0 7 58 27
12.45/4.64 c 465 689 4649 20412 0 0 3 72 51
12.45/4.65 c 128 201 2479 21445 0 0 5 7 6
13.24/4.73 c 129 206 2573 22100 0 0 5 5 2
13.24/4.74 c 128 200 2426 21252 0 0 5 7 6
13.24/4.76 c 128 201 2479 21500 0 0 5 7 6
13.24/4.79 c 130 211 2665 22755 0 0 5 5 2
14.12/4.81 c 129 205 2518 21907 0 0 5 5 2
14.12/4.83 c 129 206 2573 22155 0 0 5 5 2
14.12/4.84 c 465 707 5358 40948 0 0 6 60 48
14.12/4.84 c 611 913 6136 28629 0 0 5 69 53
14.12/4.87 c 131 216 2759 23410 0 0 5 5 2
14.12/4.89 c 130 210 2610 22562 0 0 5 5 2
14.84/4.90 c 130 211 2665 22810 0 0 5 5 2
14.84/4.91 c 211 315 3630 31026 0 0 6 17 8
14.84/4.94 c 132 221 2851 24065 0 0 5 5 2
14.84/4.96 c 131 215 2704 23217 0 0 5 5 2
14.84/4.98 c 131 216 2759 23465 0 0 5 5 2
14.84/4.98 c 128 258 3418 24763 0 0 5 27 18
15.70/5.01 c 133 226 2943 24720 0 0 5 5 2
15.70/5.03 c 771 1156 7869 38770 0 0 16 70 59
15.70/5.04 c 132 220 2796 23872 0 0 5 5 2
15.70/5.05 c 129 263 3510 25418 0 0 5 5 2
15.70/5.06 c 132 221 2851 24120 0 0 5 5 2
15.70/5.08 c 134 231 3035 25375 0 0 5 5 2
16.50/5.11 c 133 225 2888 24527 0 0 5 5 2
16.50/5.12 c 130 268 3602 26073 0 0 5 5 2
16.50/5.13 c 133 226 2943 24775 0 0 5 5 2
16.50/5.15 c 332 568 8308 52135 0 0 17 50 39
16.50/5.15 c 135 236 3129 26030 0 0 5 5 2
16.50/5.17 c 611 888 6488 55306 0 0 12 23 21
16.50/5.19 c 134 230 2980 25182 0 0 5 5 2
16.50/5.19 c 131 273 3694 26728 0 0 5 5 2
17.23/5.21 c 134 231 3035 25430 0 0 5 5 2
17.23/5.26 c 135 235 3072 25837 0 0 5 5 2
17.23/5.27 c 132 278 3786 27383 0 0 5 5 2
17.23/5.27 c 947 1410 9574 50441 0 0 9 68 59
17.23/5.29 c 135 236 3129 26085 0 0 5 5 2
18.03/5.34 c 133 283 3878 28038 0 0 5 5 2
18.03/5.38 c 771 1118 7831 63041 0 0 8 64 57
18.83/5.41 c 134 288 3970 28693 0 0 5 5 2
18.83/5.47 c 135 293 4062 29348 0 0 5 5 2
19.63/5.51 c 1140 1682 11704 66249 0 0 15 65 56
19.63/5.54 c 465 853 11567 68464 0 0 7 50 46
20.43/5.66 c 947 1338 9204 77368 0 0 5 30 28
20.43/5.67 c 332 492 5590 48278 0 0 6 16 9
21.23/5.75 c 1352 1982 13952 79480 0 0 7 72 62
22.03/5.86 c 256 414 5104 43294 0 0 5 17 8
22.89/5.95 c 257 420 5217 44017 0 0 6 6 3
22.89/5.96 c 1585 2299 16063 88878 0 0 23 74 65
22.89/6.01 c 256 413 5063 43105 0 0 5 17 8
23.69/6.01 c 1140 1657 12823 116499 0 0 4 57 49
23.69/6.02 c 258 425 5309 44672 0 0 5 5 2
23.69/6.02 c 256 557 9217 56074 0 0 5 60 38
23.69/6.03 c 256 414 5104 43405 0 0 5 17 8
23.69/6.04 c 611 1088 14980 96387 0 0 7 42 34
23.69/6.09 c 259 430 5401 45327 0 0 5 5 2
23.69/6.10 c 257 419 5176 43828 0 0 6 6 3
24.49/6.12 c 257 420 5217 44128 0 0 6 6 3
24.49/6.17 c 260 435 5495 45982 0 0 5 5 2
24.49/6.17 c 257 571 9428 56929 0 0 14 14 7
24.49/6.18 c 258 424 5268 44483 0 0 5 5 2
25.21/6.20 c 258 425 5309 44783 0 0 5 5 2
25.21/6.22 c 1841 2646 18388 100397 0 0 6 73 64
25.21/6.24 c 261 440 5587 46637 0 0 5 5 2
25.21/6.25 c 259 429 5360 45138 0 0 5 5 2
25.21/6.26 c 1352 1960 15121 130752 0 0 4 69 55
25.21/6.26 c 259 430 5401 45438 0 0 5 5 2
26.01/6.31 c 258 582 9610 57725 0 0 11 11 5
26.01/6.32 c 262 445 5681 47292 0 0 5 5 2
26.01/6.33 c 260 434 5452 45793 0 0 5 5 2
26.01/6.34 c 260 435 5495 46093 0 0 5 5 2
26.01/6.38 c 263 450 5773 47947 0 0 5 5 2
26.81/6.40 c 261 439 5544 46448 0 0 5 5 2
26.81/6.42 c 261 440 5587 46748 0 0 5 5 2
26.81/6.42 c 2122 3041 21300 116596 0 0 11 73 65
26.81/6.44 c 259 594 9796 58520 0 0 12 12 6
26.81/6.46 c 264 455 5865 48602 0 0 5 5 2
26.81/6.49 c 262 444 5638 47103 0 0 5 5 2
26.81/6.49 c 465 686 7740 66653 0 0 6 16 9
27.61/6.50 c 262 445 5681 47403 0 0 5 5 2
27.61/6.53 c 265 460 5957 49257 0 0 5 5 2
27.61/6.56 c 263 449 5730 47758 0 0 5 5 2
27.61/6.57 c 263 450 5773 48058 0 0 5 5 2
27.61/6.59 c 260 607 10003 59381 0 0 13 13 6
28.41/6.61 c 266 465 6051 49912 0 0 5 5 2
28.41/6.63 c 264 454 5822 48413 0 0 5 5 2
28.41/6.64 c 264 455 5865 48713 0 0 5 5 2
28.41/6.65 c 2431 3448 24769 138340 0 0 11 73 65
28.41/6.67 c 267 470 6143 50567 0 0 5 5 2
28.41/6.68 c 1585 2313 18255 151439 0 0 6 68 55
29.21/6.71 c 265 459 5914 49068 0 0 5 5 2
29.21/6.71 c 265 460 5957 49368 0 0 5 5 2
29.21/6.74 c 261 621 10214 60243 0 0 14 14 7
29.21/6.75 c 268 475 6237 51222 0 0 5 5 2
29.21/6.79 c 266 464 6006 49723 0 0 5 5 2
29.21/6.79 c 266 465 6051 50023 0 0 5 5 2
30.01/6.81 c 771 1350 20386 130676 0 0 9 38 35
30.01/6.82 c 269 480 6329 51877 0 0 5 5 2
30.01/6.85 c 267 469 6098 50378 0 0 5 5 2
30.01/6.85 c 267 470 6143 50678 0 0 5 5 2
30.01/6.88 c 262 632 10396 61038 0 0 11 11 5
30.01/6.88 c 2770 3895 28688 159972 0 0 21 71 65
30.01/6.89 c 270 485 6421 52532 0 0 5 5 2
30.86/6.93 c 268 475 6237 51333 0 0 5 5 2
30.86/6.93 c 268 474 6192 51033 0 0 5 5 2
30.86/6.96 c 271 490 6513 53187 0 0 5 5 2
30.86/7.00 c 269 480 6329 51988 0 0 5 5 2
30.86/7.00 c 269 479 6284 51688 0 0 5 5 2
31.67/7.03 c 263 644 10599 61899 0 0 12 12 6
31.67/7.03 c First solution is found
31.67/7.04 c [pFactory][Group N°0] concurent mode: thread 2 has won with the task 5.
31.67/7.04 c [pFactory][Group N°0] Thread N°0 is joined.
31.67/7.04 c [pFactory][Group N°0] Thread N°1 is joined.
31.67/7.04 c [pFactory][Group N°0] Thread N°2 is joined.
31.67/7.04 c [pFactory][Group N°0] Thread N°3 is joined.
31.67/7.04 c [pFactory][Group N°0] Thread N°4 is joined.
31.67/7.04 c [pFactory][Group N°0] Thread N°5 is joined.
31.67/7.04 c [pFactory][Group N°0] Thread N°6 is joined.
31.67/7.04 c [pFactory][Group N°0] Thread N°7 is joined.
31.67/7.04 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°2)
31.67/7.04 s SATISFIABLE
31.67/7.04 c restarts : 28
31.67/7.04 c conflicts : 269 (8 /sec)
31.67/7.04 c decisions : 482 (15 /sec)
31.67/7.04 c propagations : 51850 (1630 /sec)
31.67/7.04 c root propagations : 0
31.67/7.04 c filter calls : 6326 (199 /sec)
31.67/7.04 c useless filter calls : 5143 (81 %)
31.67/7.04 c Memory used : 625.25 MB
31.67/7.04 c CPU time : 31.8036 s
31.67/7.04 c real time : 7.03979 s
31.67/7.04
31.67/7.04 c solution 1
31.67/7.04
31.67/7.04 v <instantiation type='solution'>
31.67/7.04 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] </list>
31.67/7.04 v <values>17 11 78 61 62 57 6 40 37 56 75 15 5 53 36 76 7 46 38 8 68 39 42 18 74 52 30 73 25 3 19 21 81 71 22 54 59 4 66 63 24 58 2 33 60 23 79 70 29 47 14 12 51 44 48 77 9 45 13 20 72 50 35 27 80 26 41 43 16 55 49 32 28 10 34 67 64 69 1 65 31 </values>
31.67/7.04 v </instantiation>
31.67/7.04
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 (14673 MiB free)
memory of node 1: 16384 MiB (15694 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398060-1568605565/watcher-4398060-1568605565 -o /tmp/evaluation-result-4398060-1568605565/solver-4398060-1568605565 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568598290-13264 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398060-1568605565.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=15740, runsolver pid=15737
Current StackSize limit: 8192 KiB
[startup+0.10015 s]*
/proc/loadavg: 3.46 2.15 4.19 2/191 15741
/proc/meminfo: memFree=31093576/32770624 swapFree=66952652/67108860
[pid=15740] ppid=15737 vsize=30336 memory=6156 CPUtime=0.1 cores=0-7
/proc/15740/stat : 15740 (cosoco) R 15737 15740 13237 0 -1 4202496 2295 0 0 0 10 0 0 0 20 0 1 0 436825390 31064064 1539 33554432000 4194304 6211092 140723058562560 140723058559096 140472478639232 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
/proc/15740/statm: 7584 1539 816 493 0 889 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30336 KiB
Current children cumulated memory: 6156 KiB
[startup+0.209086 s]*
/proc/loadavg: 3.46 2.15 4.19 2/191 15741
/proc/meminfo: memFree=31091848/32770624 swapFree=66952652/67108860
[pid=15740] ppid=15737 vsize=32640 memory=8268 CPUtime=0.2 cores=0-7
/proc/15740/stat : 15740 (cosoco) R 15737 15740 13237 0 -1 4202496 2864 0 0 0 20 0 0 0 20 0 1 0 436825390 33423360 2067 33554432000 4194304 6211092 140723058562560 140723058559096 140472472514053 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
/proc/15740/statm: 8160 2067 816 493 0 1465 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32640 KiB
Current children cumulated memory: 8268 KiB
[startup+0.309074 s]*
/proc/loadavg: 3.46 2.15 4.19 2/191 15741
/proc/meminfo: memFree=31088796/32770624 swapFree=66952652/67108860
[pid=15740] ppid=15737 vsize=37248 memory=10556 CPUtime=0.3 cores=0-7
/proc/15740/stat : 15740 (cosoco) R 15737 15740 13237 0 -1 4202496 3541 0 0 0 30 0 0 0 20 0 1 0 436825390 38141952 2639 33554432000 4194304 6211092 140723058562560 140723058559096 140472475292240 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
/proc/15740/statm: 9312 2639 816 493 0 2617 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37248 KiB
Current children cumulated memory: 10556 KiB
[startup+0.700373 s]
/proc/loadavg: 3.46 2.15 4.19 2/191 15741
/proc/meminfo: memFree=31076872/32770624 swapFree=66952652/67108860
[pid=15740] ppid=15737 vsize=52156 memory=27028 CPUtime=0.69 cores=0-7
/proc/15740/stat : 15740 (cosoco) R 15737 15740 13237 0 -1 4202496 6401 0 0 0 68 1 0 0 20 0 1 0 436825390 53407744 6757 33554432000 4194304 6211092 140723058562560 140723058559096 140472462576613 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
/proc/15740/statm: 13039 6757 824 493 0 6344 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52156 KiB
Current children cumulated memory: 27028 KiB
[startup+1.50028 s]
/proc/loadavg: 3.46 2.15 4.19 2/191 15741
/proc/meminfo: memFree=31066608/32770624 swapFree=66952652/67108860
[pid=15740] ppid=15737 vsize=61792 memory=36796 CPUtime=1.49 cores=0-7
/proc/15740/stat : 15740 (cosoco) R 15737 15740 13237 0 -1 4202496 8860 0 0 0 148 1 0 0 20 0 1 0 436825390 63275008 9199 33554432000 4194304 6211092 140723058562560 140723058559096 5818439 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
/proc/15740/statm: 15448 9199 824 493 0 8753 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 61792 KiB
Current children cumulated memory: 36796 KiB
[startup+3.10929 s]
/proc/loadavg: 3.46 2.15 4.19 2/191 15741
/proc/meminfo: memFree=31041460/32770624 swapFree=66952652/67108860
[pid=15740] ppid=15737 vsize=85268 memory=60356 CPUtime=3.1 cores=0-7
/proc/15740/stat : 15740 (cosoco) R 15737 15740 13237 0 -1 4202496 16782 0 0 0 308 2 0 0 20 0 1 0 436825390 87314432 15089 33554432000 4194304 6211092 140723058562560 140723058557288 4982624 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
/proc/15740/statm: 21317 15089 824 493 0 14622 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 85268 KiB
Current children cumulated memory: 60356 KiB
[startup+6.301 s]
/proc/loadavg: 3.74 2.23 4.20 10/199 15751
/proc/meminfo: memFree=31040676/32770624 swapFree=66952652/67108860
[pid=15740] ppid=15737 vsize=673032 memory=59800 CPUtime=26.01 cores=0-7
/proc/15740/stat : 15740 (cosoco) S 15737 15740 13237 0 -1 1077944320 35089 0 0 0 2594 7 0 0 20 0 9 0 436825390 689184768 14950 33554432000 4194304 6211092 140723058562560 140723058560816 140472478617335 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
/proc/15740/statm: 168258 14950 843 493 0 161563 0
[pid=15740/tid=15744] ppid=15737 vsize=673032 memory=59800 CPUtime=2.83 cores=0-7
/proc/15740/task/15744/stat : 15744 (cosoco) R 15737 15740 13237 0 -1 4202560 2077 0 0 0 283 0 0 0 20 0 9 0 436825737 689184768 14950 33554432000 4194304 6211092 140723058562560 140472455474272 5023048 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15745] ppid=15737 vsize=673032 memory=0 CPUtime=2.83 cores=0-7
/proc/15740/task/15745/stat : 15745 (cosoco) R 15737 15740 13237 0 -1 4202560 2765 0 0 0 283 0 0 0 20 0 9 0 436825737 689184768 14950 33554432000 4194304 6211092 140723058562560 140472447081568 5048291 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15746] ppid=15737 vsize=673032 memory=2273 CPUtime=2.83 cores=0-7
/proc/15740/task/15746/stat : 15746 (cosoco) R 15737 15740 13237 0 -1 4202560 1653 0 0 0 282 1 0 0 20 0 9 0 436825737 689184768 14950 33554432000 4194304 6211092 140723058562560 140472428321888 5023141 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15747] ppid=15737 vsize=673032 memory=59800 CPUtime=2.78 cores=0-7
/proc/15740/task/15747/stat : 15747 (cosoco) R 15737 15740 13237 0 -1 4202560 2288 0 0 0 278 0 0 0 20 0 9 0 436825737 689184768 14950 33554432000 4194304 6211092 140723058562560 140472419929184 5022805 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15748] ppid=15737 vsize=673032 memory=0 CPUtime=2.79 cores=0-7
/proc/15740/task/15748/stat : 15748 (cosoco) R 15737 15740 13237 0 -1 4202560 1369 0 0 0 279 0 0 0 20 0 9 0 436825737 689184768 14950 33554432000 4194304 6211092 140723058562560 140472411536480 5023001 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15749] ppid=15737 vsize=673032 memory=0 CPUtime=2.83 cores=0-7
/proc/15740/task/15749/stat : 15749 (cosoco) R 15737 15740 13237 0 -1 4202560 2452 0 0 0 283 0 0 0 20 0 9 0 436825737 689184768 14950 33554432000 4194304 6211092 140723058562560 140472403143776 5023163 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15750] ppid=15737 vsize=673032 memory=1 CPUtime=2.79 cores=0-7
/proc/15740/task/15750/stat : 15750 (cosoco) R 15737 15740 13237 0 -1 4202560 1913 0 0 0 279 0 0 0 20 0 9 0 436825737 689184768 14950 33554432000 4194304 6211092 140723058562560 140472394751072 5022979 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15751] ppid=15737 vsize=673032 memory=0 CPUtime=2.82 cores=0-7
/proc/15740/task/15751/stat : 15751 (cosoco) R 15737 15740 13237 0 -1 4202560 1821 0 0 0 282 0 0 0 20 0 9 0 436825737 689184768 14950 33554432000 4194304 6211092 140723058562560 140472386358368 5023001 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
Current children cumulated CPU time: 26.01 s
Current children cumulated vsize: 673032 KiB
Current children cumulated memory: 59800 KiB
[startup+7.05103 s]
# the end of solver process 15740 was just reported to runsolver
# cumulated CPU time of all completed processes: user=31.8046 s, system=0.094933 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.401 s]
/proc/loadavg: 3.74 2.23 4.20 10/199 15751
/proc/meminfo: memFree=31040676/32770624 swapFree=66952652/67108860
[pid=15740] ppid=15737 vsize=673032 memory=59800 CPUtime=26.81 cores=0-7
/proc/15740/stat : 15740 (cosoco) S 15737 15740 13237 0 -1 1077944320 35089 0 0 0 2674 7 0 0 20 0 9 0 436825390 689184768 14950 33554432000 4194304 6211092 140723058562560 140723058560816 140472478617335 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
/proc/15740/statm: 168258 14950 843 493 0 161563 0
[pid=15740/tid=15744] ppid=15737 vsize=673032 memory=773 CPUtime=2.93 cores=0-7
/proc/15740/task/15744/stat : 15744 (cosoco) R 15737 15740 13237 0 -1 4202560 2077 0 0 0 293 0 0 0 20 0 9 0 436825737 689184768 14950 33554432000 4194304 6211092 140723058562560 140472455474272 5022793 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15745] ppid=15737 vsize=673032 memory=33433 CPUtime=2.93 cores=0-7
/proc/15740/task/15745/stat : 15745 (cosoco) R 15737 15740 13237 0 -1 4202560 2765 0 0 0 293 0 0 0 20 0 9 0 436825737 689184768 14950 33554432000 4194304 6211092 140723058562560 140472447081568 5022805 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15746] ppid=15737 vsize=673032 memory=6935054825532540783 CPUtime=2.93 cores=0-7
/proc/15740/task/15746/stat : 15746 (cosoco) R 15737 15740 13237 0 -1 4202560 1653 0 0 0 292 1 0 0 20 0 9 0 436825737 689184768 14950 33554432000 4194304 6211092 140723058562560 140472428321888 5023163 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15747] ppid=15737 vsize=673032 memory=0 CPUtime=2.88 cores=0-7
/proc/15740/task/15747/stat : 15747 (cosoco) R 15737 15740 13237 0 -1 4202560 2288 0 0 0 288 0 0 0 20 0 9 0 436825737 689184768 14950 33554432000 4194304 6211092 140723058562560 140472419929184 5022805 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15748] ppid=15737 vsize=673032 memory=0 CPUtime=2.89 cores=0-7
/proc/15740/task/15748/stat : 15748 (cosoco) R 15737 15740 13237 0 -1 4202560 1369 0 0 0 289 0 0 0 20 0 9 0 436825737 689184768 14950 33554432000 4194304 6211092 140723058562560 140472411536480 5023001 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15749] ppid=15737 vsize=673032 memory=0 CPUtime=2.93 cores=0-7
/proc/15740/task/15749/stat : 15749 (cosoco) R 15737 15740 13237 0 -1 4202560 2452 0 0 0 293 0 0 0 20 0 9 0 436825737 689184768 14950 33554432000 4194304 6211092 140723058562560 140472403143776 5024518 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15750] ppid=15737 vsize=673032 memory=139817761382678 CPUtime=2.89 cores=0-7
/proc/15740/task/15750/stat : 15750 (cosoco) R 15737 15740 13237 0 -1 4202560 1913 0 0 0 289 0 0 0 20 0 9 0 436825737 689184768 14950 33554432000 4194304 6211092 140723058562560 140472394751072 5076376 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15751] ppid=15737 vsize=673032 memory=0 CPUtime=2.92 cores=0-7
/proc/15740/task/15751/stat : 15751 (cosoco) R 15737 15740 13237 0 -1 4202560 1821 0 0 0 292 0 0 0 20 0 9 0 436825737 689184768 14950 33554432000 4194304 6211092 140723058562560 140472386358368 5023120 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
Current children cumulated CPU time: 26.81 s
Current children cumulated vsize: 673032 KiB
Current children cumulated memory: 59800 KiB
[startup+6.801 s]
/proc/loadavg: 3.74 2.23 4.20 10/199 15751
/proc/meminfo: memFree=31040676/32770624 swapFree=66952652/67108860
[pid=15740] ppid=15737 vsize=673032 memory=59868 CPUtime=30.01 cores=0-7
/proc/15740/stat : 15740 (cosoco) S 15737 15740 13237 0 -1 1077944320 46545 0 0 0 2993 8 0 0 20 0 9 0 436825390 689184768 14967 33554432000 4194304 6211092 140723058562560 140723058560816 140472478617335 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
/proc/15740/statm: 168258 14967 843 493 0 161563 0
[pid=15740/tid=15744] ppid=15737 vsize=673032 memory=6441083599643305313 CPUtime=3.32 cores=0-7
/proc/15740/task/15744/stat : 15744 (cosoco) R 15737 15740 13237 0 -1 4202560 3963 0 0 0 332 0 0 0 20 0 9 0 436825737 689184768 14967 33554432000 4194304 6211092 140723058562560 140472455474272 5022916 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15745] ppid=15737 vsize=673032 memory=-7449383003082255509 CPUtime=3.33 cores=0-7
/proc/15740/task/15745/stat : 15745 (cosoco) R 15737 15740 13237 0 -1 4202560 4086 0 0 0 333 0 0 0 20 0 9 0 436825737 689184768 14967 33554432000 4194304 6211092 140723058562560 140472447081568 5022793 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15746] ppid=15737 vsize=673032 memory=6944656592452807316 CPUtime=3.33 cores=0-7
/proc/15740/task/15746/stat : 15746 (cosoco) R 15737 15740 13237 0 -1 4202560 3088 0 0 0 332 1 0 0 20 0 9 0 436825737 689184768 14967 33554432000 4194304 6211092 140723058562560 140472428321888 5023048 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15747] ppid=15737 vsize=673032 memory=8390361644446492005 CPUtime=3.27 cores=0-7
/proc/15740/task/15747/stat : 15747 (cosoco) R 15737 15740 13237 0 -1 4202560 3863 0 0 0 327 0 0 0 20 0 9 0 436825737 689184768 14967 33554432000 4194304 6211092 140723058562560 140472419929184 5023067 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15748] ppid=15737 vsize=673032 memory=8622098092527037042 CPUtime=3.28 cores=0-7
/proc/15740/task/15748/stat : 15748 (cosoco) R 15737 15740 13237 0 -1 4202560 2506 0 0 0 328 0 0 0 20 0 9 0 436825737 689184768 14967 33554432000 4194304 6211092 140723058562560 140472411536480 5022979 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15749] ppid=15737 vsize=673032 memory=6935054825532540783 CPUtime=3.33 cores=0-7
/proc/15740/task/15749/stat : 15749 (cosoco) R 15737 15740 13237 0 -1 4202560 3886 0 0 0 333 0 0 0 20 0 9 0 436825737 689184768 14967 33554432000 4194304 6211092 140723058562560 140472403143776 5023129 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15750] ppid=15737 vsize=673032 memory=139817875188208 CPUtime=3.29 cores=0-7
/proc/15740/task/15750/stat : 15750 (cosoco) R 15737 15740 13237 0 -1 4202560 3499 0 0 0 328 1 0 0 20 0 9 0 436825737 689184768 14967 33554432000 4194304 6211092 140723058562560 140472394751072 5023053 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15751] ppid=15737 vsize=673032 memory=279635522920288 CPUtime=3.32 cores=0-7
/proc/15740/task/15751/stat : 15751 (cosoco) R 15737 15740 13237 0 -1 4202560 2903 0 0 0 332 0 0 0 20 0 9 0 436825737 689184768 14967 33554432000 4194304 6211092 140723058562560 140472386358368 5022805 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
Current children cumulated CPU time: 30.01 s
Current children cumulated vsize: 673032 KiB
Current children cumulated memory: 59868 KiB
[startup+7.001 s]*
/proc/loadavg: 3.74 2.23 4.20 10/199 15751
/proc/meminfo: memFree=31041352/32770624 swapFree=66952652/67108860
[pid=15740] ppid=15737 vsize=673032 memory=59868 CPUtime=31.67 cores=0-7
/proc/15740/stat : 15740 (cosoco) S 15737 15740 13237 0 -1 1077944320 46677 0 0 0 3159 8 0 0 20 0 9 0 436825390 689184768 14967 33554432000 4194304 6211092 140723058562560 140723058560816 140472478617335 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
/proc/15740/statm: 168258 14967 843 493 0 161563 0
[pid=15740/tid=15744] ppid=15737 vsize=673032 memory=8316850467074736180 CPUtime=3.53 cores=0-7
/proc/15740/task/15744/stat : 15744 (cosoco) R 15737 15740 13237 0 -1 4202560 3963 0 0 0 353 0 0 0 20 0 9 0 436825737 689184768 14967 33554432000 4194304 6211092 140723058562560 140472455474272 5022979 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15745] ppid=15737 vsize=673032 memory=1947269 CPUtime=3.53 cores=0-7
/proc/15740/task/15745/stat : 15745 (cosoco) R 15737 15740 13237 0 -1 4202560 4218 0 0 0 353 0 0 0 20 0 9 0 436825737 689184768 14967 33554432000 4194304 6211092 140723058562560 140472447081568 5022805 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15746] ppid=15737 vsize=673032 memory=288370194050678400 CPUtime=3.54 cores=0-7
/proc/15740/task/15746/stat : 15746 (cosoco) R 15737 15740 13237 0 -1 4202560 3088 0 0 0 353 1 0 0 20 0 9 0 436825737 689184768 14967 33554432000 4194304 6211092 140723058562560 140472428321888 5022805 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15747] ppid=15737 vsize=673032 memory=7378697629483820645 CPUtime=3.47 cores=0-7
/proc/15740/task/15747/stat : 15747 (cosoco) R 15737 15740 13237 0 -1 4202560 3863 0 0 0 347 0 0 0 20 0 9 0 436825737 689184768 14967 33554432000 4194304 6211092 140723058562560 140472419929184 5023141 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15748] ppid=15737 vsize=673032 memory=8836 CPUtime=3.49 cores=0-7
/proc/15740/task/15748/stat : 15748 (cosoco) R 15737 15740 13237 0 -1 4202560 2506 0 0 0 349 0 0 0 20 0 9 0 436825737 689184768 14967 33554432000 4194304 6211092 140723058562560 140472411536480 5022805 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15749] ppid=15737 vsize=673032 memory=780 CPUtime=3.54 cores=0-7
/proc/15740/task/15749/stat : 15749 (cosoco) R 15737 15740 13237 0 -1 4202560 3886 0 0 0 354 0 0 0 20 0 9 0 436825737 689184768 14967 33554432000 4194304 6211092 140723058562560 140472403143776 5022979 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15750] ppid=15737 vsize=673032 memory=3684004105932780600 CPUtime=3.5 cores=0-7
/proc/15740/task/15750/stat : 15750 (cosoco) R 15737 15740 13237 0 -1 4202560 3499 0 0 0 349 1 0 0 20 0 9 0 436825737 689184768 14967 33554432000 4194304 6211092 140723058562560 140472394751072 5022814 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
[pid=15740/tid=15751] ppid=15737 vsize=673032 memory=5859278125529317472 CPUtime=3.53 cores=0-7
/proc/15740/task/15751/stat : 15751 (cosoco) R 15737 15740 13237 0 -1 4202560 2903 0 0 0 353 0 0 0 20 0 9 0 436825737 689184768 14967 33554432000 4194304 6211092 140723058562560 140472386358368 5022909 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 40292352 140723058570257 140723058570349 140723058570349 140723058573262 0
Current children cumulated CPU time: 31.67 s
Current children cumulated vsize: 673032 KiB
Current children cumulated memory: 59868 KiB
Child status: 0
Real time (s): 7.05109
CPU time (s): 31.8995
CPU user time (s): 31.8046
CPU system time (s): 0.094933
CPU usage (%): 452.406
Max. virtual memory (cumulated for all children) (KiB): 673032
Max. memory (cumulated for all children) (KiB): 65636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.8046
system time used= 0.094933
maximum resident set size= 67552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46966
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= 29
involuntary context switches= 400
# summary of solver processes directly reported to runsolver:
# pid: 15740
# total CPU time (s): 31.8995
# total CPU user time (s): 31.8046
# total CPU system time (s): 0.094933
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.058133 second user time and 0.099799 second system time
The end
Begin job on node127 at 2019-09-16 05:45:25
IDJOB=4398060
IDBENCH=133266
IDSOLVER=2851
FILE ID=node127/4398060-1568605565
RUNJOBID= node127-1568598290-13264
PBS_JOBID= 21703425
Free space on /tmp= 61308 MiB
SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/MagicSquare/MagicSquare-mdd-s1/MagicSquare-9-mdd.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398060-1568605565/watcher-4398060-1568605565 -o /tmp/evaluation-result-4398060-1568605565/solver-4398060-1568605565 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568598290-13264 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398060-1568605565.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= fb3d9364636893e4a3b852a85a1b811d
RANDOM SEED=1605346673
node127.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.55
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.55
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.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 : 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.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 : 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: 31096380 kB
MemAvailable: 31831956 kB
Buffers: 45324 kB
Cached: 975912 kB
SwapCached: 51316 kB
Active: 396340 kB
Inactive: 678904 kB
Active(anon): 12256 kB
Inactive(anon): 90388 kB
Active(file): 384084 kB
Inactive(file): 588516 kB
Unevictable: 110920 kB
Mlocked: 110920 kB
SwapTotal: 67108860 kB
SwapFree: 66952652 kB
Dirty: 7016 kB
Writeback: 4 kB
AnonPages: 115004 kB
Mapped: 46016 kB
Shmem: 40556 kB
Slab: 187744 kB
SReclaimable: 157624 kB
SUnreclaim: 30120 kB
KernelStack: 3408 kB
PageTables: 5196 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 506288 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 69632 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 138624 kB
DirectMap2M: 33406976 kB
Free space on /tmp at the end= 61304 MiB
End job on node127 at 2019-09-16 05:45:32