3.39/3.44 c root propagations : 0
3.39/3.44 c restarts enabled, print stats at every restarts
3.39/3.44 c
3.39/3.44 c
3.39/3.44 c
3.39/3.44 c This is cosoco 2.00 --
3.39/3.44 c
3.39/3.44 c command line: cosoco -model -nbcores=8 HOME/instance-4409320-1569827812.xml
3.39/3.44 c ========================================[ Problem Statistics ]===========================================
3.39/3.44 c |
3.39/3.44 c | Parse time : 3.39 s
3.39/3.44 c |
3.39/3.44 c | Variables: 81
3.39/3.44 c | Domain Sizes: 81..81
3.39/3.44 c |
3.39/3.44 c | Constraints: 21
3.39/3.44 c | Arity: 9..81
3.39/3.44 c |
3.39/3.44 c | Types:
3.39/3.44 c | All Different: 1
3.39/3.44 c | MDD: 20
3.39/3.44 c |
3.39/3.44 c =========================================================================================================
3.39/3.44 c Parallel mode: Portfolio
3.39/3.44 c [pFactory][Group N°0] created (threads:8).
3.39/3.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
3.39/3.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
3.39/3.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
3.39/3.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
3.39/3.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
3.39/3.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
3.39/3.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
3.39/3.44 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
3.39/3.44 c [pFactory][Group N°0] concurrent mode: enabled.
3.39/3.44 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
3.39/3.44 c [pFactory][Group N°0] task 7 launched on thread 6.
3.39/3.44 c [pFactory][Group N°0] task 6 launched on thread 2.
3.39/3.44 c [pFactory][Group N°0] task 5 launched on thread 0.
3.39/3.44 c [pFactory][Group N°0] task 4 launched on thread 1.
3.39/3.44 c [pFactory][Group N°0] task 3 launched on thread 7.
3.39/3.44 c [pFactory][Group N°0] task 2 launched on thread 5.
3.39/3.44 c [pFactory][Group N°0] task 1 launched on thread 3.
3.39/3.44 c [pFactory][Group N°0] task 0 launched on thread 4.
3.39/3.44 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
3.39/3.44 c root propagations : 0
3.39/3.44 c restarts enabled, print stats at every restarts
3.39/3.44 c
3.39/3.44 c
3.39/3.44 c root propagations : 0
3.39/3.44 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
3.39/3.44 c restarts enabled, print stats at every restarts
3.39/3.44 c
3.39/3.44 c
3.39/3.44 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
3.39/3.44 c root propagations : 0
3.39/3.44 c restarts enabled, print stats at every restarts
3.39/3.44 c
3.39/3.44 c
3.39/3.44 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
3.39/3.44 c root propagations : 0
3.39/3.44 c restarts enabled, print stats at every restarts
3.39/3.44 c
3.39/3.44 c
3.39/3.44 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
3.39/3.46 c root propagations : 0
3.39/3.46 c restarts enabled, print stats at every restarts
3.39/3.46 c
3.39/3.46 c
3.39/3.46 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
3.39/3.46 c root propagations : 0
3.39/3.46 c restarts enabled, print stats at every restarts
3.39/3.46 c
3.39/3.46 c
3.39/3.46 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
3.39/3.46 c root propagations : 0
3.39/3.46 c restarts enabled, print stats at every restarts
3.39/3.46 c
3.39/3.46 c
3.39/3.46 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
4.80/3.67 c 101 124 593 966 0 0 2 24 16
5.60/3.70 c 32 49 620 5363 0 0 7 9 7
5.60/3.70 c 32 48 577 5167 0 0 6 8 6
6.40/3.81 c 32 49 620 5376 0 0 7 9 7
6.40/3.81 c 32 57 737 5804 0 0 7 17 10
6.40/3.81 c 33 54 712 6018 0 0 5 5 2
6.40/3.81 c 33 53 669 5822 0 0 5 5 2
6.40/3.81 c 33 54 712 6031 0 0 5 5 2
6.40/3.82 c 33 64 854 6450 0 0 7 7 3
6.40/3.83 c 101 155 1227 8385 0 0 2 44 22
7.19/3.94 c 211 284 1581 3860 0 0 2 51 36
7.19/4.00 c 64 99 1235 10687 0 0 5 7 5
8.06/4.01 c 64 98 1174 10491 0 0 5 7 5
8.06/4.03 c 64 99 1235 10713 0 0 5 7 5
8.06/4.07 c 65 104 1329 11342 0 0 5 5 2
8.06/4.08 c 65 103 1268 11146 0 0 5 5 2
8.06/4.10 c 101 172 2213 15066 0 0 7 41 20
8.06/4.10 c 65 104 1329 11368 0 0 5 5 2
8.86/4.14 c 211 299 2165 17402 0 0 4 27 23
8.86/4.14 c 66 109 1421 11997 0 0 5 5 2
8.86/4.14 c 64 129 1694 12410 0 0 7 26 17
8.86/4.16 c 66 108 1360 11801 0 0 5 5 2
8.86/4.18 c 66 109 1421 12023 0 0 5 5 2
9.58/4.21 c 67 114 1513 12652 0 0 5 5 2
9.58/4.22 c 101 151 1789 15294 0 0 7 17 9
9.58/4.22 c 332 477 2976 10381 0 0 2 70 46
9.58/4.23 c 67 113 1452 12456 0 0 5 5 2
9.58/4.25 c 67 114 1513 12678 0 0 5 5 2
9.58/4.26 c 65 137 1849 13135 0 0 8 8 4
10.38/4.36 c 66 144 1983 13792 0 0 7 7 3
11.18/4.43 c 465 689 4649 20412 0 0 3 72 51
11.18/4.46 c 67 151 2119 14512 0 0 7 7 3
11.98/4.53 c 332 493 3692 30364 0 0 2 63 31
11.98/4.58 c 128 201 2479 21445 0 0 5 7 6
12.78/4.63 c 611 913 6136 28629 0 0 5 69 53
12.78/4.64 c 128 200 2426 21252 0 0 5 7 6
12.78/4.65 c 129 206 2573 22100 0 0 5 5 2
12.78/4.65 c 128 201 2479 21500 0 0 5 7 6
13.59/4.71 c 129 205 2518 21907 0 0 5 5 2
13.59/4.71 c 211 369 4740 31304 0 0 7 58 27
13.59/4.72 c 130 211 2665 22755 0 0 5 5 2
13.59/4.73 c 129 206 2573 22155 0 0 5 5 2
13.59/4.78 c 130 210 2610 22562 0 0 5 5 2
13.59/4.78 c 131 216 2759 23410 0 0 5 5 2
13.59/4.79 c 465 707 5358 40948 0 0 6 60 48
13.59/4.79 c 130 211 2665 22810 0 0 5 5 2
14.39/4.81 c 771 1156 7869 38770 0 0 16 70 59
14.39/4.85 c 132 221 2851 24065 0 0 5 5 2
14.39/4.86 c 131 215 2704 23217 0 0 5 5 2
14.39/4.87 c 131 216 2759 23465 0 0 5 5 2
15.19/4.90 c 128 258 3418 24763 0 0 5 27 18
15.19/4.92 c 133 226 2943 24720 0 0 5 5 2
15.19/4.93 c 132 220 2796 23872 0 0 5 5 2
15.19/4.94 c 132 221 2851 24120 0 0 5 5 2
15.19/4.97 c 129 263 3510 25418 0 0 5 5 2
15.19/4.97 c 211 315 3630 31026 0 0 6 17 8
15.19/4.99 c 134 231 3035 25375 0 0 5 5 2
16.05/5.01 c 133 225 2888 24527 0 0 5 5 2
16.05/5.02 c 133 226 2943 24775 0 0 5 5 2
16.05/5.04 c 130 268 3602 26073 0 0 5 5 2
16.05/5.04 c 947 1410 9574 50441 0 0 9 68 59
16.05/5.06 c 135 236 3129 26030 0 0 5 5 2
16.05/5.08 c 134 230 2980 25182 0 0 5 5 2
16.05/5.08 c 134 231 3035 25430 0 0 5 5 2
16.05/5.11 c 131 273 3694 26728 0 0 5 5 2
16.86/5.11 c 611 888 6488 55306 0 0 12 23 21
16.86/5.15 c 135 235 3072 25837 0 0 5 5 2
16.86/5.16 c 135 236 3129 26085 0 0 5 5 2
16.86/5.18 c 132 278 3786 27383 0 0 5 5 2
17.57/5.23 c 332 568 8308 52135 0 0 17 50 39
17.57/5.24 c 133 283 3878 28038 0 0 5 5 2
17.57/5.28 c 1140 1682 11704 66249 0 0 15 65 56
18.37/5.31 c 771 1118 7831 63041 0 0 8 64 57
18.37/5.31 c 134 288 3970 28693 0 0 5 5 2
18.37/5.38 c 135 293 4062 29348 0 0 5 5 2
19.97/5.51 c 1352 1982 13952 79480 0 0 7 72 62
19.97/5.57 c 947 1338 9204 77368 0 0 5 30 28
20.77/5.61 c 465 853 11567 68464 0 0 7 50 46
21.57/5.71 c 1585 2299 16063 88878 0 0 23 74 65
21.57/5.72 c 332 492 5590 48278 0 0 6 16 9
21.57/5.75 c 256 414 5104 43294 0 0 5 17 8
22.37/5.83 c 257 420 5217 44017 0 0 6 6 3
22.37/5.87 c 256 414 5104 43405 0 0 5 17 8
22.37/5.89 c 256 413 5063 43105 0 0 5 17 8
22.37/5.89 c 258 425 5309 44672 0 0 5 5 2
23.17/5.90 c 256 557 9217 56074 0 0 5 60 38
23.17/5.93 c 1140 1657 12823 116499 0 0 4 57 49
23.17/5.94 c 1841 2646 18388 100397 0 0 6 73 64
23.17/5.96 c 257 420 5217 44128 0 0 6 6 3
23.17/5.96 c 259 430 5401 45327 0 0 5 5 2
23.17/5.98 c 257 419 5176 43828 0 0 6 6 3
24.03/6.03 c 258 425 5309 44783 0 0 5 5 2
24.03/6.03 c 260 435 5495 45982 0 0 5 5 2
24.03/6.04 c 257 571 9428 56929 0 0 14 14 7
24.03/6.05 c 258 424 5268 44483 0 0 5 5 2
24.03/6.10 c 259 430 5401 45438 0 0 5 5 2
24.03/6.10 c 261 440 5587 46637 0 0 5 5 2
24.84/6.12 c 611 1088 14980 96387 0 0 7 42 34
24.84/6.12 c 259 429 5360 45138 0 0 5 5 2
24.84/6.14 c 2122 3041 21300 116596 0 0 11 73 65
24.84/6.17 c 258 582 9610 57725 0 0 11 11 5
24.84/6.17 c 260 435 5495 46093 0 0 5 5 2
24.84/6.18 c 1352 1960 15121 130752 0 0 4 69 55
24.84/6.18 c 262 445 5681 47292 0 0 5 5 2
25.56/6.20 c 260 434 5452 45793 0 0 5 5 2
25.56/6.25 c 261 440 5587 46748 0 0 5 5 2
25.56/6.25 c 263 450 5773 47947 0 0 5 5 2
25.56/6.27 c 261 439 5544 46448 0 0 5 5 2
26.36/6.30 c 259 594 9796 58520 0 0 12 12 6
26.36/6.32 c 264 455 5865 48602 0 0 5 5 2
26.36/6.33 c 262 445 5681 47403 0 0 5 5 2
26.36/6.35 c 262 444 5638 47103 0 0 5 5 2
26.36/6.37 c 2431 3448 24769 138340 0 0 11 73 65
26.36/6.39 c 265 460 5957 49257 0 0 5 5 2
26.36/6.39 c 263 450 5773 48058 0 0 5 5 2
27.16/6.43 c 263 449 5730 47758 0 0 5 5 2
27.16/6.45 c 260 607 10003 59381 0 0 13 13 6
27.16/6.46 c 266 465 6051 49912 0 0 5 5 2
27.16/6.46 c 264 455 5865 48713 0 0 5 5 2
27.95/6.50 c 264 454 5822 48413 0 0 5 5 2
27.95/6.52 c 465 686 7740 66653 0 0 6 16 9
27.95/6.53 c 265 460 5957 49368 0 0 5 5 2
27.95/6.54 c 267 470 6143 50567 0 0 5 5 2
27.95/6.57 c 265 459 5914 49068 0 0 5 5 2
27.95/6.58 c 1585 2313 18255 151439 0 0 6 68 55
27.95/6.59 c 261 621 10214 60243 0 0 14 14 7
27.95/6.59 c 2770 3895 28688 159972 0 0 21 71 65
27.95/6.60 c 266 465 6051 50023 0 0 5 5 2
28.82/6.62 c 268 475 6237 51222 0 0 5 5 2
28.82/6.65 c 266 464 6006 49723 0 0 5 5 2
28.82/6.68 c 267 470 6143 50678 0 0 5 5 2
28.82/6.68 c 269 480 6329 51877 0 0 5 5 2
29.55/6.72 c 267 469 6098 50378 0 0 5 5 2
29.55/6.73 c 262 632 10396 61038 0 0 11 11 5
29.55/6.75 c 268 475 6237 51333 0 0 5 5 2
29.55/6.75 c 270 485 6421 52532 0 0 5 5 2
29.55/6.79 c 268 474 6192 51033 0 0 5 5 2
30.35/6.82 c 269 480 6329 51988 0 0 5 5 2
30.35/6.83 c 271 490 6513 53187 0 0 5 5 2
30.35/6.86 c 3142 4365 32238 180985 0 0 9 74 65
30.35/6.86 c 269 479 6284 51688 0 0 5 5 2
30.35/6.87 c 263 644 10599 61899 0 0 12 12 6
30.35/6.87 c 771 1350 20386 130676 0 0 9 38 35
30.35/6.89 c 270 485 6421 52643 0 0 5 5 2
31.15/6.91 c First solution is found
31.15/6.92 c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 5.
31.15/6.92 c [pFactory][Group N°0] Thread N°0 is joined.
31.15/6.92 c [pFactory][Group N°0] Thread N°1 is joined.
31.15/6.92 c [pFactory][Group N°0] Thread N°2 is joined.
31.15/6.92 c [pFactory][Group N°0] Thread N°3 is joined.
31.15/6.92 c [pFactory][Group N°0] Thread N°4 is joined.
31.15/6.92 c [pFactory][Group N°0] Thread N°5 is joined.
31.15/6.92 c [pFactory][Group N°0] Thread N°6 is joined.
31.15/6.92 c [pFactory][Group N°0] Thread N°7 is joined.
31.15/6.92 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°0)
31.15/6.92 s SATISFIABLE
31.15/6.92 c restarts : 28
31.15/6.92 c conflicts : 269 (9 /sec)
31.15/6.92 c decisions : 483 (15 /sec)
31.15/6.92 c propagations : 51929 (1663 /sec)
31.15/6.92 c root propagations : 0
31.15/6.92 c filter calls : 6347 (203 /sec)
31.15/6.92 c useless filter calls : 5163 (81 %)
31.15/6.92 c Memory used : 625.25 MB
31.15/6.92 c CPU time : 31.2292 s
31.15/6.92 c real time : 6.92362 s
31.15/6.92
31.15/6.92 c solution 1
31.15/6.92
31.15/6.92 v <instantiation type='solution'>
31.15/6.92 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.15/6.92 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.15/6.92 v </instantiation>
31.15/6.92
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 (15439 MiB free)
memory of node 1: 16384 MiB (15672 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409320-1569827812/watcher-4409320-1569827812 -o /tmp/evaluation-result-4409320-1569827812/solver-4409320-1569827812 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569817401-14086 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409320-1569827812.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=16514, runsolver pid=16511
Current StackSize limit: 8192 KiB
[startup+0.100151 s]*
/proc/loadavg: 2.08 3.18 5.52 2/189 16515
/proc/meminfo: memFree=31856636/32770624 swapFree=66904512/67108860
[pid=16514] ppid=16511 vsize=30336 memory=6156 CPUtime=0.1 cores=0-7
/proc/16514/stat : 16514 (cosoco) R 16511 16514 14059 0 -1 4202496 2305 0 0 0 10 0 0 0 20 0 1 0 559053484 31064064 1539 33554432000 4194304 6211132 140732038521232 140732038518504 5874208 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
/proc/16514/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.209232 s]*
/proc/loadavg: 2.08 3.18 5.52 2/189 16515
/proc/meminfo: memFree=31854660/32770624 swapFree=66904512/67108860
[pid=16514] ppid=16511 vsize=32640 memory=8320 CPUtime=0.2 cores=0-7
/proc/16514/stat : 16514 (cosoco) R 16511 16514 14059 0 -1 4202496 2882 0 0 0 20 0 0 0 20 0 1 0 559053484 33423360 2080 33554432000 4194304 6211132 140732038521232 140732038518504 140596988493317 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
/proc/16514/statm: 8160 2080 816 493 0 1465 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32640 KiB
Current children cumulated memory: 8320 KiB
[startup+0.309091 s]*
/proc/loadavg: 2.08 3.18 5.52 2/189 16515
/proc/meminfo: memFree=31851100/32770624 swapFree=66904512/67108860
[pid=16514] ppid=16511 vsize=37248 memory=10872 CPUtime=0.3 cores=0-7
/proc/16514/stat : 16514 (cosoco) R 16511 16514 14059 0 -1 4202496 3109 0 0 0 30 0 0 0 20 0 1 0 559053484 38141952 2718 33554432000 4194304 6211132 140732038521232 140732038518504 5451266 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
/proc/16514/statm: 9312 2718 816 493 0 2617 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37248 KiB
Current children cumulated memory: 10872 KiB
[startup+0.700369 s]
/proc/loadavg: 2.08 3.18 5.52 2/189 16515
/proc/meminfo: memFree=31840752/32770624 swapFree=66904512/67108860
[pid=16514] ppid=16511 vsize=52816 memory=26408 CPUtime=0.69 cores=0-7
/proc/16514/stat : 16514 (cosoco) R 16511 16514 14059 0 -1 4202496 6212 0 0 0 68 1 0 0 20 0 1 0 559053484 54083584 6602 33554432000 4194304 6211132 140732038521232 140732038518504 140596978555877 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
/proc/16514/statm: 13204 6602 824 493 0 6509 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52816 KiB
Current children cumulated memory: 26408 KiB
[startup+1.50028 s]
/proc/loadavg: 2.08 3.18 5.52 2/189 16515
/proc/meminfo: memFree=31830540/32770624 swapFree=66904512/67108860
[pid=16514] ppid=16511 vsize=61792 memory=35384 CPUtime=1.49 cores=0-7
/proc/16514/stat : 16514 (cosoco) R 16511 16514 14059 0 -1 4202496 8507 0 0 0 147 2 0 0 20 0 1 0 559053484 63275008 8846 33554432000 4194304 6211132 140732038521232 140732038518504 5818617 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
/proc/16514/statm: 15448 8846 824 493 0 8753 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 61792 KiB
Current children cumulated memory: 35384 KiB
[startup+3.10927 s]
/proc/loadavg: 2.08 3.18 5.52 2/189 16515
/proc/meminfo: memFree=31805020/32770624 swapFree=66904512/67108860
[pid=16514] ppid=16511 vsize=85400 memory=59044 CPUtime=3.1 cores=0-7
/proc/16514/stat : 16514 (cosoco) R 16511 16514 14059 0 -1 4202496 15971 0 0 0 307 3 0 0 20 0 1 0 559053484 87449600 14761 33554432000 4194304 6211132 140732038521232 140732038518504 140596979482015 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
/proc/16514/statm: 21350 14761 824 493 0 14655 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 85400 KiB
Current children cumulated memory: 59044 KiB
[startup+6.30074 s]
/proc/loadavg: 2.00 3.14 5.49 9/197 16523
/proc/meminfo: memFree=31806440/32770624 swapFree=66904512/67108860
[pid=16514] ppid=16511 vsize=673032 memory=58068 CPUtime=26.36 cores=0-7
/proc/16514/stat : 16514 (cosoco) S 16511 16514 14059 0 -1 1077944320 28486 0 0 0 2628 8 0 0 20 0 9 0 559053484 689184768 14517 33554432000 4194304 6211132 140732038521232 140732038519488 140596994596599 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
/proc/16514/statm: 168258 14517 843 493 0 161563 0
[pid=16514/tid=16516] ppid=16511 vsize=673032 memory=0 CPUtime=2.86 cores=0-7
/proc/16514/task/16516/stat : 16516 (cosoco) R 16511 16514 14059 0 -1 4202560 898 0 0 0 286 0 0 0 20 0 9 0 559053827 689184768 14517 33554432000 4194304 6211132 140732038521232 140596971453536 5022976 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16517] ppid=16511 vsize=673032 memory=0 CPUtime=2.83 cores=0-7
/proc/16514/task/16517/stat : 16517 (cosoco) R 16511 16514 14059 0 -1 4202560 1578 0 0 0 283 0 0 0 20 0 9 0 559053827 689184768 14517 33554432000 4194304 6211132 140732038521232 140596963060832 5075208 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16518] ppid=16511 vsize=673032 memory=58068 CPUtime=2.86 cores=0-7
/proc/16514/task/16518/stat : 16518 (cosoco) R 16511 16514 14059 0 -1 4202560 1173 0 0 0 286 0 0 0 20 0 9 0 559053827 689184768 14517 33554432000 4194304 6211132 140732038521232 140596944301152 5023163 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16519] ppid=16511 vsize=673032 memory=0 CPUtime=2.87 cores=0-7
/proc/16514/task/16519/stat : 16519 (cosoco) R 16511 16514 14059 0 -1 4202560 1272 0 0 0 287 0 0 0 20 0 9 0 559053827 689184768 14517 33554432000 4194304 6211132 140732038521232 140596935908448 5022805 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16520] ppid=16511 vsize=673032 memory=280371573185520 CPUtime=2.85 cores=0-7
/proc/16514/task/16520/stat : 16520 (cosoco) R 16511 16514 14059 0 -1 4202560 1308 0 0 0 285 0 0 0 20 0 9 0 559053827 689184768 14517 33554432000 4194304 6211132 140732038521232 140596927515744 5023163 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16521] ppid=16511 vsize=673032 memory=0 CPUtime=2.86 cores=0-7
/proc/16514/task/16521/stat : 16521 (cosoco) R 16511 16514 14059 0 -1 4202560 1527 0 0 0 286 0 0 0 20 0 9 0 559053827 689184768 14517 33554432000 4194304 6211132 140732038521232 140596919123040 5022979 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16522] ppid=16511 vsize=673032 memory=3592 CPUtime=2.86 cores=0-7
/proc/16514/task/16522/stat : 16522 (cosoco) R 16511 16514 14059 0 -1 4202560 1215 0 0 0 285 1 0 0 20 0 9 0 559053827 689184768 14517 33554432000 4194304 6211132 140732038521232 140596910730336 5022805 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16523] ppid=16511 vsize=673032 memory=10540 CPUtime=2.87 cores=0-7
/proc/16514/task/16523/stat : 16523 (cosoco) R 16511 16514 14059 0 -1 4202560 1625 0 0 0 287 0 0 0 20 0 9 0 559053827 689184768 14517 33554432000 4194304 6211132 140732038521232 140596902337632 5023001 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
Current children cumulated CPU time: 26.36 s
Current children cumulated vsize: 673032 KiB
Current children cumulated memory: 58068 KiB
[startup+6.93417 s]
# the end of solver process 16514 was just reported to runsolver
# cumulated CPU time of all completed processes: user=31.2299 s, system=0.097908 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40074 s]
/proc/loadavg: 2.00 3.14 5.49 9/197 16523
/proc/meminfo: memFree=31806440/32770624 swapFree=66904512/67108860
[pid=16514] ppid=16511 vsize=673032 memory=58068 CPUtime=27.16 cores=0-7
/proc/16514/stat : 16514 (cosoco) S 16511 16514 14059 0 -1 1077944320 28486 0 0 0 2708 8 0 0 20 0 9 0 559053484 689184768 14517 33554432000 4194304 6211132 140732038521232 140732038519488 140596994596599 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
/proc/16514/statm: 168258 14517 843 493 0 161563 0
[pid=16514/tid=16516] ppid=16511 vsize=673032 memory=6935054825532540783 CPUtime=2.96 cores=0-7
/proc/16514/task/16516/stat : 16516 (cosoco) R 16511 16514 14059 0 -1 4202560 898 0 0 0 296 0 0 0 20 0 9 0 559053827 689184768 14517 33554432000 4194304 6211132 140732038521232 140596971453536 5023246 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16517] ppid=16511 vsize=673032 memory=-3123010188551861097 CPUtime=2.93 cores=0-7
/proc/16514/task/16517/stat : 16517 (cosoco) R 16511 16514 14059 0 -1 4202560 1578 0 0 0 293 0 0 0 20 0 9 0 559053827 689184768 14517 33554432000 4194304 6211132 140732038521232 140596963060832 5022805 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16518] ppid=16511 vsize=673032 memory=8329294824090543255 CPUtime=2.96 cores=0-7
/proc/16514/task/16518/stat : 16518 (cosoco) R 16511 16514 14059 0 -1 4202560 1173 0 0 0 296 0 0 0 20 0 9 0 559053827 689184768 14517 33554432000 4194304 6211132 140732038521232 140596944301152 5022805 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16519] ppid=16511 vsize=673032 memory=-7737605721172012177 CPUtime=2.97 cores=0-7
/proc/16514/task/16519/stat : 16519 (cosoco) R 16511 16514 14059 0 -1 4202560 1272 0 0 0 297 0 0 0 20 0 9 0 559053827 689184768 14517 33554432000 4194304 6211132 140732038521232 140596935908448 5023027 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16520] ppid=16511 vsize=673032 memory=58068 CPUtime=2.95 cores=0-7
/proc/16514/task/16520/stat : 16520 (cosoco) R 16511 16514 14059 0 -1 4202560 1308 0 0 0 295 0 0 0 20 0 9 0 559053827 689184768 14517 33554432000 4194304 6211132 140732038521232 140596927515744 5022979 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16521] ppid=16511 vsize=673032 memory=7593720369778937939 CPUtime=2.96 cores=0-7
/proc/16514/task/16521/stat : 16521 (cosoco) R 16511 16514 14059 0 -1 4202560 1527 0 0 0 296 0 0 0 20 0 9 0 559053827 689184768 14517 33554432000 4194304 6211132 140732038521232 140596919123040 5022805 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16522] ppid=16511 vsize=673032 memory=3470698889691488832 CPUtime=2.96 cores=0-7
/proc/16514/task/16522/stat : 16522 (cosoco) R 16511 16514 14059 0 -1 4202560 1215 0 0 0 295 1 0 0 20 0 9 0 559053827 689184768 14517 33554432000 4194304 6211132 140732038521232 140596910730336 5023001 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16523] ppid=16511 vsize=673032 memory=7300704880217444433 CPUtime=2.97 cores=0-7
/proc/16514/task/16523/stat : 16523 (cosoco) R 16511 16514 14059 0 -1 4202560 1625 0 0 0 297 0 0 0 20 0 9 0 559053827 689184768 14517 33554432000 4194304 6211132 140732038521232 140596902337632 5023129 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
Current children cumulated CPU time: 27.16 s
Current children cumulated vsize: 673032 KiB
Current children cumulated memory: 58068 KiB
[startup+6.80074 s]
/proc/loadavg: 2.00 3.14 5.49 9/197 16523
/proc/meminfo: memFree=31806440/32770624 swapFree=66904512/67108860
[pid=16514] ppid=16511 vsize=673032 memory=58140 CPUtime=30.35 cores=0-7
/proc/16514/stat : 16514 (cosoco) S 16511 16514 14059 0 -1 1077944320 36912 0 0 0 3026 9 0 0 20 0 9 0 559053484 689184768 14535 33554432000 4194304 6211132 140732038521232 140732038519488 140596994596599 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
/proc/16514/statm: 168258 14535 843 493 0 161563 0
[pid=16514/tid=16516] ppid=16511 vsize=673032 memory=6371563644451508304 CPUtime=3.36 cores=0-7
/proc/16514/task/16516/stat : 16516 (cosoco) R 16511 16514 14059 0 -1 4202560 1657 0 0 0 336 0 0 0 20 0 9 0 559053827 689184768 14535 33554432000 4194304 6211132 140732038521232 140596971453536 5022979 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16517] ppid=16511 vsize=673032 memory=6443614658163467617 CPUtime=3.32 cores=0-7
/proc/16514/task/16517/stat : 16517 (cosoco) R 16511 16514 14059 0 -1 4202560 2728 0 0 0 332 0 0 0 20 0 9 0 559053827 689184768 14535 33554432000 4194304 6211132 140732038521232 140596963060832 5023070 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16518] ppid=16511 vsize=673032 memory=6441371654561087590 CPUtime=3.36 cores=0-7
/proc/16514/task/16518/stat : 16518 (cosoco) R 16511 16514 14059 0 -1 4202560 2208 0 0 0 336 0 0 0 20 0 9 0 559053827 689184768 14535 33554432000 4194304 6211132 140732038521232 140596944301152 5022793 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16519] ppid=16511 vsize=673032 memory=7519150348687141201 CPUtime=3.36 cores=0-7
/proc/16514/task/16519/stat : 16519 (cosoco) R 16511 16514 14059 0 -1 4202560 2191 0 0 0 336 0 0 0 20 0 9 0 559053827 689184768 14535 33554432000 4194304 6211132 140732038521232 140596935908448 5023074 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16520] ppid=16511 vsize=673032 memory=6935054825532540783 CPUtime=3.35 cores=0-7
/proc/16514/task/16520/stat : 16520 (cosoco) R 16511 16514 14059 0 -1 4202560 2567 0 0 0 335 0 0 0 20 0 9 0 559053827 689184768 14535 33554432000 4194304 6211132 140732038521232 140596927515744 5048291 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16521] ppid=16511 vsize=673032 memory=-6232573826948901783 CPUtime=3.36 cores=0-7
/proc/16514/task/16521/stat : 16521 (cosoco) R 16511 16514 14059 0 -1 4202560 2657 0 0 0 336 0 0 0 20 0 9 0 559053827 689184768 14535 33554432000 4194304 6211132 140732038521232 140596919123040 5022805 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16522] ppid=16511 vsize=673032 memory=58068 CPUtime=3.36 cores=0-7
/proc/16514/task/16522/stat : 16522 (cosoco) R 16511 16514 14059 0 -1 4202560 2611 0 0 0 335 1 0 0 20 0 9 0 559053827 689184768 14535 33554432000 4194304 6211132 140732038521232 140596910730336 5023163 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16523] ppid=16511 vsize=673032 memory=58068 CPUtime=3.36 cores=0-7
/proc/16514/task/16523/stat : 16523 (cosoco) R 16511 16514 14059 0 -1 4202560 2403 0 0 0 336 0 0 0 20 0 9 0 559053827 689184768 14535 33554432000 4194304 6211132 140732038521232 140596902337632 5023163 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
Current children cumulated CPU time: 30.35 s
Current children cumulated vsize: 673032 KiB
Current children cumulated memory: 58140 KiB
[startup+6.90074 s]
/proc/loadavg: 2.00 3.14 5.49 9/197 16523
/proc/meminfo: memFree=31806440/32770624 swapFree=66904512/67108860
[pid=16514] ppid=16511 vsize=673032 memory=58140 CPUtime=31.15 cores=0-7
/proc/16514/stat : 16514 (cosoco) S 16511 16514 14059 0 -1 1077944320 37011 0 0 0 3106 9 0 0 20 0 9 0 559053484 689184768 14535 33554432000 4194304 6211132 140732038521232 140732038519488 140596994596599 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
/proc/16514/statm: 168258 14535 843 493 0 161563 0
[pid=16514/tid=16516] ppid=16511 vsize=673032 memory=280371573185520 CPUtime=3.46 cores=0-7
/proc/16514/task/16516/stat : 16516 (cosoco) R 16511 16514 14059 0 -1 4202560 1657 0 0 0 346 0 0 0 20 0 9 0 559053827 689184768 14535 33554432000 4194304 6211132 140732038521232 140596971453536 5022979 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16517] ppid=16511 vsize=673032 memory=0 CPUtime=3.42 cores=0-7
/proc/16514/task/16517/stat : 16517 (cosoco) R 16511 16514 14059 0 -1 4202560 2728 0 0 0 342 0 0 0 20 0 9 0 559053827 689184768 14535 33554432000 4194304 6211132 140732038521232 140596963060832 5023120 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16518] ppid=16511 vsize=673032 memory=3592 CPUtime=3.46 cores=0-7
/proc/16514/task/16518/stat : 16518 (cosoco) R 16511 16514 14059 0 -1 4202560 2307 0 0 0 346 0 0 0 20 0 9 0 559053827 689184768 14535 33554432000 4194304 6211132 140732038521232 140596944301152 5022979 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16519] ppid=16511 vsize=673032 memory=10540 CPUtime=3.46 cores=0-7
/proc/16514/task/16519/stat : 16519 (cosoco) R 16511 16514 14059 0 -1 4202560 2191 0 0 0 346 0 0 0 20 0 9 0 559053827 689184768 14535 33554432000 4194304 6211132 140732038521232 140596935908448 5022979 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16520] ppid=16511 vsize=673032 memory=0 CPUtime=3.45 cores=0-7
/proc/16514/task/16520/stat : 16520 (cosoco) R 16511 16514 14059 0 -1 4202560 2567 0 0 0 345 0 0 0 20 0 9 0 559053827 689184768 14535 33554432000 4194304 6211132 140732038521232 140596927515744 5023074 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16521] ppid=16511 vsize=673032 memory=0 CPUtime=3.46 cores=0-7
/proc/16514/task/16521/stat : 16521 (cosoco) R 16511 16514 14059 0 -1 4202560 2657 0 0 0 346 0 0 0 20 0 9 0 559053827 689184768 14535 33554432000 4194304 6211132 140732038521232 140596919123040 5022805 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16522] ppid=16511 vsize=673032 memory=0 CPUtime=3.46 cores=0-7
/proc/16514/task/16522/stat : 16522 (cosoco) R 16511 16514 14059 0 -1 4202560 2611 0 0 0 345 1 0 0 20 0 9 0 559053827 689184768 14535 33554432000 4194304 6211132 140732038521232 140596910730336 5023070 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
[pid=16514/tid=16523] ppid=16511 vsize=673032 memory=0 CPUtime=3.46 cores=0-7
/proc/16514/task/16523/stat : 16523 (cosoco) R 16511 16514 14059 0 -1 4202560 2403 0 0 0 346 0 0 0 20 0 9 0 559053827 689184768 14535 33554432000 4194304 6211132 140732038521232 140596902337632 5048291 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23543808 140732038525969 140732038526061 140732038526061 140732038528974 0
Current children cumulated CPU time: 31.15 s
Current children cumulated vsize: 673032 KiB
Current children cumulated memory: 58140 KiB
Child status: 0
Real time (s): 6.93424
CPU time (s): 31.3278
CPU user time (s): 31.2299
CPU system time (s): 0.097908
CPU usage (%): 451.785
Max. virtual memory (cumulated for all children) (KiB): 673032
Max. memory (cumulated for all children) (KiB): 64852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.2299
system time used= 0.097908
maximum resident set size= 66124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37378
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= 44
involuntary context switches= 369
# summary of solver processes directly reported to runsolver:
# pid: 16514
# total CPU time (s): 31.3278
# total CPU user time (s): 31.2299
# total CPU system time (s): 0.097908
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048904 second user time and 0.100496 second system time
The end
Begin job on node139 at 2019-09-30 09:19:20
IDJOB=4409320
IDBENCH=133266
IDSOLVER=2877
FILE ID=node139/4409320-1569827812
RUNJOBID= node139-1569817401-14086
PBS_JOBID= 21705915
Free space on /tmp= 62028 MiB
SOLVER NAME= cosoco 2.0 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-4409320-1569827812/watcher-4409320-1569827812 -o /tmp/evaluation-result-4409320-1569827812/solver-4409320-1569827812 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569817401-14086 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409320-1569827812.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= fb3d9364636893e4a3b852a85a1b811d
RANDOM SEED=13859160
node139.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.57
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.57
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.57
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.57
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: 31859316 kB
MemAvailable: 31842952 kB
Buffers: 62764 kB
Cached: 227332 kB
SwapCached: 75780 kB
Active: 99780 kB
Inactive: 267312 kB
Active(anon): 11096 kB
Inactive(anon): 108208 kB
Active(file): 88684 kB
Inactive(file): 159104 kB
Unevictable: 109076 kB
Mlocked: 109076 kB
SwapTotal: 67108860 kB
SwapFree: 66904512 kB
Dirty: 7708 kB
Writeback: 4 kB
AnonPages: 112512 kB
Mapped: 23124 kB
Shmem: 33856 kB
Slab: 133036 kB
SReclaimable: 103364 kB
SUnreclaim: 29672 kB
KernelStack: 3376 kB
PageTables: 5212 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 530228 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 107904 kB
DirectMap2M: 33437696 kB
Free space on /tmp at the end= 62024 MiB
End job on node139 at 2019-09-30 09:19:27