0.00/0.00 c Create Cardinality(vars,values,occurs) constraint using 18 Exactly/AtMost.. constraint
0.00/0.00 c
0.00/0.00 c Create Cardinality(vars,values,occurs) constraint using 18 Exactly/AtMost.. constraint
0.00/0.00 c
0.00/0.00 c Create Cardinality(vars,values,occurs) constraint using 18 Exactly/AtMost.. constraint
0.00/0.00 c
0.00/0.00 c Create Cardinality(vars,values,occurs) constraint using 18 Exactly/AtMost.. constraint
0.00/0.00 c
0.00/0.00 c Create Cardinality(vars,values,occurs) constraint using 18 Exactly/AtMost.. constraint
0.00/0.00 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 20 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 20 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 20 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 20 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 20 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c root propagations : 418
0.00/0.01 c restarts enabled, print stats at every restarts
0.00/0.01 c
0.00/0.01 c
0.00/0.01 c
0.00/0.01 c This is cosoco 1.12 --
0.00/0.01 c
0.00/0.01 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295756-1532567868.xml
0.00/0.01 c ========================================[ Problem Statistics ]===========================================
0.00/0.01 c |
0.00/0.01 c | Parse time : 0.00 s
0.00/0.01 c |
0.00/0.01 c | Variables: 145
0.00/0.01 c | Domain Sizes: 10..45
0.00/0.01 c |
0.00/0.01 c | Constraints: 225
0.00/0.01 c | Arity: 1..45 -- Unary: 5 -- Binary: 5 -- Ternary: 45
0.00/0.01 c |
0.00/0.01 c | Types:
0.00/0.01 c | (X - Y < k): 5
0.00/0.01 c | All Different: 11
0.00/0.01 c | At least: 50
0.00/0.01 c | At most: 50
0.00/0.01 c | Exactly K: 59
0.00/0.01 c | Extension: 45 (nb tuples: 45..45) -- (shared: 44)
0.00/0.01 c | Unary: 5
0.00/0.01 c |
0.00/0.01 c =========================================================================================================
0.00/0.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.01 c 101 226 21507 8190 145 0 36 49 45
0.00/0.01 c 211 421 38575 15465 145 0 7 15 12
0.00/0.02 c 332 667 56500 22237 145 0 2 55 23
0.00/0.02 c 465 886 76848 31287 145 0 1 18 15
0.00/0.03 c 611 1130 90410 36555 145 0 2 48 29
0.00/0.04 c 771 1490 122187 49064 145 0 1 45 33
0.00/0.04 c 947 1792 150198 60903 145 0 10 18 15
0.00/0.05 c 1140 2175 183771 74980 145 0 7 59 14
0.00/0.06 c 1352 2518 215773 88891 145 0 1 16 13
0.00/0.07 c 1585 3051 262467 107957 145 0 2 45 35
0.00/0.08 c 1841 3527 304702 126552 145 0 8 45 15
0.00/0.09 c 2122 4051 349445 146583 145 0 8 33 18
0.00/0.10 c 2431 4691 401914 169200 145 0 10 60 18
0.10/0.11 c 2770 5218 457131 191775 145 0 1 31 25
0.10/0.12 c 3142 5938 513147 212096 145 0 8 97 41
0.10/0.14 c 3551 6683 579573 241404 145 0 1 26 14
0.10/0.16 c 4000 7659 657395 270050 145 0 7 106 51
0.10/0.18 c 4493 8675 751241 303398 145 0 7 92 38
0.10/0.20 c 5035 9660 836823 339389 145 0 8 48 27
0.21/0.23 c 5631 10944 950078 380723 145 0 7 81 49
0.21/0.27 c 6286 12629 1094752 431873 145 0 8 95 46
0.21/0.31 c 7006 14666 1260827 480866 145 0 9 108 66
0.31/0.34 c 7798 16390 1396551 544126 145 0 1 27 19
0.31/0.38 c 8669 18053 1547186 607302 145 0 1 48 25
0.41/0.42 c 9627 20094 1682894 676646 145 0 1 30 24
0.41/0.49 c 10680 22869 1941762 752626 145 0 7 101 70
0.51/0.53 c 11838 25410 2132691 819615 145 0 10 50 33
0.51/0.59 c 13111 27940 2359532 906377 145 0 9 40 35
0.60/0.65 c 14511 30511 2608799 1002483 145 0 7 52 47
0.69/0.74 c 16051 34094 2991416 1118775 145 0 12 91 59
0.79/0.81 c 17745 36960 3288407 1247710 145 0 1 46 24
0.89/0.91 c 19608 41014 3670705 1375056 145 0 11 91 46
0.89/0.99 c 21657 45016 3942999 1503013 145 0 9 30 24
1.10/1.11 c 23910 50319 4448979 1688905 145 0 7 83 56
1.19/1.25 c 26388 56711 5013413 1872603 145 0 12 88 51
1.39/1.43 c 29113 65565 5760873 2092265 145 0 7 94 67
1.49/1.55 c 32110 71464 6167122 2295411 145 0 12 32 24
1.79/1.81 c 35406 84669 7269406 2590914 145 0 1 116 86
2.00/2.01 c 39031 93277 8045407 2853301 145 0 9 78 50
2.29/2.33 c 43018 107852 9448127 3211313 145 0 14 116 81
2.49/2.53 c 47403 116897 10237954 3529294 145 0 1 104 28
2.69/2.75 c 52226 125944 11071099 3877500 145 0 7 61 43
3.10/3.18 c 57531 146749 12878935 4376895 145 0 14 118 73
3.49/3.55 c 63366 163073 14396072 4852210 145 0 7 105 55
3.89/3.91 c 69784 185145 15906321 5297050 145 0 12 101 55
4.19/4.25 c 76843 199958 17377467 5822081 145 0 1 60 38
4.79/4.82 c 84607 225658 19649349 6509698 145 0 24 120 70
5.29/5.39 c 93147 251491 22097085 7260004 145 0 1 113 57
5.79/5.87 c 102541 273155 24098616 8001777 145 0 9 76 40
6.69/6.74 c 112874 312445 27641711 8993499 145 0 12 105 78
7.59/7.68 c 124240 351343 31672003 10138629 145 0 12 118 72
8.19/8.27 c 136742 378017 34007156 11115129 145 0 1 54 26
9.39/9.41 c 150494 426276 38769402 12407656 145 0 7 112 69
10.49/10.54 c 165621 480786 43490970 13801729 145 0 7 104 72
11.29/11.37 c 182260 532741 46833869 14850573 145 0 16 91 56
12.89/12.90 c 200562 596031 52955207 16649426 145 0 7 106 79
13.89/13.97 c 220694 641452 57508705 18161519 145 0 15 76 39
15.59/15.62 c 242839 714074 64179920 20121013 145 0 24 115 66
17.39/17.42 c 267198 788595 71333295 22345484 145 0 24 100 62
19.29/19.39 c 293992 872047 79385108 24890249 145 0 24 114 57
21.79/21.84 c 323465 982395 89318573 27887156 145 0 27 118 69
24.00/24.01 c 355885 1082257 98329508 30729957 145 0 11 103 54
26.89/26.95 c 391547 1213905 110623962 34286503 145 0 24 118 78
27.49/27.50 c solution 1
27.49/27.50
27.49/27.50 v <instantiation type='solution'>
27.49/27.50 v <list>h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] m[0][0] m[0][1] m[0][2] m[0][3] m[0][4] m[0][5] m[0][6] m[0][7] m[0][8] m[1][0] m[1][1] m[1][2] m[1][3] m[1][4] m[1][5] m[1][6] m[1][7] m[1][8] m[2][0] m[2][1] m[2][2] m[2][3] m[2][4] m[2][5] m[2][6] m[2][7] m[2][8] m[3][0] m[3][1] m[3][2] m[3][3] m[3][4] m[3][5] m[3][6] m[3][7] m[3][8] m[4][0] m[4][1] m[4][2] m[4][3] m[4][4] m[4][5] m[4][6] m[4][7] m[4][8] hd[0] hd[1] hd[2] hd[3] hd[4] ad[0] ad[1] ad[2] ad[3] ad[4] </list>
27.49/27.50 v <values>0 3 5 2 0 2 3 4 1 2 0 4 1 6 0 4 1 3 4 1 1 3 7 5 0 2 2 6 5 2 5 3 1 1 0 0 8 6 0 0 1 7 2 3 4 1 8 6 7 5 4 9 9 7 3 2 7 9 8 6 8 5 5 5 4 8 6 9 9 7 6 8 7 7 9 8 4 3 6 8 9 9 9 3 4 2 8 5 7 6 0 28 35 21 4 18 29 34 14 17 1 32 16 40 5 33 12 25 30 11 15 26 43 38 6 20 22 39 36 23 37 24 10 13 7 8 44 41 2 3 9 42 19 27 31 6 7 0 2 1 8 9 3 4 5 </values>
27.49/27.50 v </instantiation>
27.49/27.50
27.49/27.50 c restarts : 63
27.49/27.50 c conflicts : 401651 (14609 /sec)
27.49/27.50 c decisions : 1240636 (45125 /sec)
27.49/27.50 c propagations : 35012420 (1273496 /sec)
27.49/27.50 c root propagations : 418
27.49/27.50 c filter calls : 112931736 (4107631 /sec)
27.49/27.50 c useless filter calls : 107621762 (95 %)
27.49/27.50 c Memory used : 27.17 MB
27.49/27.50 c CPU time : 27.4932 s
27.49/27.50
27.49/27.50 s SATISFIABLE
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 (2248 MiB free)
memory of node 1: 16384 MiB (6357 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295756-1532567868/watcher-4295756-1532567868 -o /tmp/evaluation-result-4295756-1532567868/solver-4295756-1532567868 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532535025-27479 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295756-1532567868.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31695, runsolver pid=31692
[startup+0.100156 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 31696
/proc/meminfo: memFree=8811884/32770624 swapFree=67108860/67108860
[pid=31695] ppid=31692 vsize=27684 memory=4196 CPUtime=0.1 cores=1,3,5,7
/proc/31695/stat : 31695 (cosoco) R 31692 31695 27447 0 -1 4202496 1264 0 0 0 10 0 0 0 20 0 1 0 74349640 28348416 1049 33554432000 4194304 6142532 140721924667200 140721924663832 5328016 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 40398848 140721924674694 140721924674824 140721924674824 140721924677582 0
/proc/31695/statm: 6921 1049 844 476 0 243 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27684 KiB
Current children cumulated memory: 4196 KiB
[startup+0.209408 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 31696
/proc/meminfo: memFree=8811884/32770624 swapFree=67108860/67108860
[pid=31695] ppid=31692 vsize=27684 memory=4460 CPUtime=0.21 cores=1,3,5,7
/proc/31695/stat : 31695 (cosoco) R 31692 31695 27447 0 -1 4202496 1272 0 0 0 21 0 0 0 20 0 1 0 74349640 28348416 1115 33554432000 4194304 6142532 140721924667200 140721924663832 5017803 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 40398848 140721924674694 140721924674824 140721924674824 140721924677582 0
/proc/31695/statm: 6921 1115 886 476 0 243 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27684 KiB
Current children cumulated memory: 4460 KiB
[startup+0.30886 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 31696
/proc/meminfo: memFree=8811596/32770624 swapFree=67108860/67108860
[pid=31695] ppid=31692 vsize=27684 memory=4460 CPUtime=0.31 cores=1,3,5,7
/proc/31695/stat : 31695 (cosoco) R 31692 31695 27447 0 -1 4202496 1273 0 0 0 31 0 0 0 20 0 1 0 74349640 28348416 1115 33554432000 4194304 6142532 140721924667200 140721924663832 5175056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 40398848 140721924674694 140721924674824 140721924674824 140721924677582 0
/proc/31695/statm: 6921 1115 886 476 0 243 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27684 KiB
Current children cumulated memory: 4460 KiB
[startup+0.700277 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31696
/proc/meminfo: memFree=8811596/32770624 swapFree=67108860/67108860
[pid=31695] ppid=31692 vsize=27684 memory=4460 CPUtime=0.69 cores=1,3,5,7
/proc/31695/stat : 31695 (cosoco) R 31692 31695 27447 0 -1 4202496 1273 0 0 0 69 0 0 0 20 0 1 0 74349640 28348416 1115 33554432000 4194304 6142532 140721924667200 140721924663832 5058948 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 40398848 140721924674694 140721924674824 140721924674824 140721924677582 0
/proc/31695/statm: 6921 1115 886 476 0 243 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27684 KiB
Current children cumulated memory: 4460 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31696
/proc/meminfo: memFree=8811596/32770624 swapFree=67108860/67108860
[pid=31695] ppid=31692 vsize=27684 memory=4460 CPUtime=1.49 cores=1,3,5,7
/proc/31695/stat : 31695 (cosoco) R 31692 31695 27447 0 -1 4202496 1273 0 0 0 149 0 0 0 20 0 1 0 74349640 28348416 1115 33554432000 4194304 6142532 140721924667200 140721924664600 5175056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 40398848 140721924674694 140721924674824 140721924674824 140721924677582 0
/proc/31695/statm: 6921 1115 886 476 0 243 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27684 KiB
Current children cumulated memory: 4460 KiB
[startup+3.10895 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31696
/proc/meminfo: memFree=8811396/32770624 swapFree=67108860/67108860
[pid=31695] ppid=31692 vsize=27684 memory=4476 CPUtime=3.1 cores=1,3,5,7
/proc/31695/stat : 31695 (cosoco) R 31692 31695 27447 0 -1 4202496 1450 0 0 0 310 0 0 0 20 0 1 0 74349640 28348416 1119 33554432000 4194304 6142532 140721924667200 140721924664600 5062250 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 40398848 140721924674694 140721924674824 140721924674824 140721924677582 0
/proc/31695/statm: 6921 1119 886 476 0 243 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27684 KiB
Current children cumulated memory: 4476 KiB
[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31696
/proc/meminfo: memFree=8811256/32770624 swapFree=67108860/67108860
[pid=31695] ppid=31692 vsize=27684 memory=4488 CPUtime=6.29 cores=1,3,5,7
/proc/31695/stat : 31695 (cosoco) R 31692 31695 27447 0 -1 4202496 1625 0 0 0 629 0 0 0 20 0 1 0 74349640 28348416 1122 33554432000 4194304 6142532 140721924667200 140721924664600 5058160 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 40398848 140721924674694 140721924674824 140721924674824 140721924677582 0
/proc/31695/statm: 6921 1122 886 476 0 243 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27684 KiB
Current children cumulated memory: 4488 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31696
/proc/meminfo: memFree=8811128/32770624 swapFree=67108860/67108860
[pid=31695] ppid=31692 vsize=27684 memory=4488 CPUtime=12.69 cores=1,3,5,7
/proc/31695/stat : 31695 (cosoco) R 31692 31695 27447 0 -1 4202496 1800 0 0 0 1269 0 0 0 20 0 1 0 74349640 28348416 1122 33554432000 4194304 6142532 140721924667200 140721924664600 5175056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 40398848 140721924674694 140721924674824 140721924674824 140721924677582 0
/proc/31695/statm: 6921 1122 886 476 0 243 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27684 KiB
Current children cumulated memory: 4488 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31734
/proc/meminfo: memFree=8808168/32770624 swapFree=67108860/67108860
[pid=31695] ppid=31692 vsize=27684 memory=4488 CPUtime=25.49 cores=1,3,5,7
/proc/31695/stat : 31695 (cosoco) R 31692 31695 27447 0 -1 4202496 2149 0 0 0 2549 0 0 0 20 0 1 0 74349640 28348416 1122 33554432000 4194304 6142532 140721924667200 140721924664600 5120836 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 40398848 140721924674694 140721924674824 140721924674824 140721924677582 0
/proc/31695/statm: 6921 1122 886 476 0 243 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27684 KiB
Current children cumulated memory: 4488 KiB
[startup+27.5019 s]
# the end of solver process 31695 was just reported to runsolver
# cumulated CPU time of all completed processes: user=27.4932 s, system=0.004665 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31734
/proc/meminfo: memFree=8808168/32770624 swapFree=67108860/67108860
[pid=31695] ppid=31692 vsize=27684 memory=4488 CPUtime=25.59 cores=1,3,5,7
/proc/31695/stat : 31695 (cosoco) R 31692 31695 27447 0 -1 4202496 2149 0 0 0 2559 0 0 0 20 0 1 0 74349640 28348416 1122 33554432000 4194304 6142532 140721924667200 140721924664600 5120796 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 40398848 140721924674694 140721924674824 140721924674824 140721924677582 0
/proc/31695/statm: 6921 1122 886 476 0 243 0
Current children cumulated CPU time: 25.59 s
Current children cumulated vsize: 27684 KiB
Current children cumulated memory: 4488 KiB
[startup+26.4002 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31734
/proc/meminfo: memFree=8808168/32770624 swapFree=67108860/67108860
[pid=31695] ppid=31692 vsize=27684 memory=4488 CPUtime=26.39 cores=1,3,5,7
/proc/31695/stat : 31695 (cosoco) R 31692 31695 27447 0 -1 4202496 2149 0 0 0 2639 0 0 0 20 0 1 0 74349640 28348416 1122 33554432000 4194304 6142532 140721924667200 140721924664600 5175056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 40398848 140721924674694 140721924674824 140721924674824 140721924677582 0
/proc/31695/statm: 6921 1122 886 476 0 243 0
Current children cumulated CPU time: 26.39 s
Current children cumulated vsize: 27684 KiB
Current children cumulated memory: 4488 KiB
[startup+27.2002 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31734
/proc/meminfo: memFree=8808168/32770624 swapFree=67108860/67108860
[pid=31695] ppid=31692 vsize=27684 memory=4488 CPUtime=27.19 cores=1,3,5,7
/proc/31695/stat : 31695 (cosoco) R 31692 31695 27447 0 -1 4202496 2149 0 0 0 2719 0 0 0 20 0 1 0 74349640 28348416 1122 33554432000 4194304 6142532 140721924667200 140721924664600 5017759 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 40398848 140721924674694 140721924674824 140721924674824 140721924677582 0
/proc/31695/statm: 6921 1122 886 476 0 243 0
Current children cumulated CPU time: 27.19 s
Current children cumulated vsize: 27684 KiB
Current children cumulated memory: 4488 KiB
[startup+27.4002 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31734
/proc/meminfo: memFree=8808168/32770624 swapFree=67108860/67108860
[pid=31695] ppid=31692 vsize=27684 memory=4488 CPUtime=27.39 cores=1,3,5,7
/proc/31695/stat : 31695 (cosoco) R 31692 31695 27447 0 -1 4202496 2150 0 0 0 2739 0 0 0 20 0 1 0 74349640 28348416 1122 33554432000 4194304 6142532 140721924667200 140721924664600 5058576 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 40398848 140721924674694 140721924674824 140721924674824 140721924677582 0
/proc/31695/statm: 6921 1122 886 476 0 243 0
Current children cumulated CPU time: 27.39 s
Current children cumulated vsize: 27684 KiB
Current children cumulated memory: 4488 KiB
[startup+27.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31734
/proc/meminfo: memFree=8808168/32770624 swapFree=67108860/67108860
[pid=31695] ppid=31692 vsize=27684 memory=4488 CPUtime=27.49 cores=1,3,5,7
/proc/31695/stat : 31695 (cosoco) R 31692 31695 27447 0 -1 4202496 2150 0 0 0 2749 0 0 0 20 0 1 0 74349640 28348416 1122 33554432000 4194304 6142532 140721924667200 140721924664600 5054733 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 40398848 140721924674694 140721924674824 140721924674824 140721924677582 0
/proc/31695/statm: 6921 1122 886 476 0 243 0
Current children cumulated CPU time: 27.49 s
Current children cumulated vsize: 27684 KiB
Current children cumulated memory: 4488 KiB
Child status: 0
Real time (s): 27.5019
CPU time (s): 27.4978
CPU user time (s): 27.4932
CPU system time (s): 0.004665
CPU usage (%): 99.9851
Max. virtual memory (cumulated for all children) (KiB): 27684
Max. memory (cumulated for all children) (KiB): 4488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.4932
system time used= 0.004665
maximum resident set size= 4568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2191
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= 15
involuntary context switches= 9
# summary of solver processes directly reported to runsolver:
# pid: 31695
# total CPU time (s): 27.4978
# total CPU user time (s): 27.4932
# total CPU system time (s): 0.004665
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.139276 second user time and 0.195455 second system time
The end
Begin job on node106 at 2018-07-26 03:17:48
IDJOB=4295756
IDBENCH=141598
IDSOLVER=2752
FILE ID=node106/4295756-1532567868
RUNJOBID= node106-1532535025-27479
PBS_JOBID= 21021947
Free space on /tmp= 46236 MiB
SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/SportsScheduling/SportsScheduling-10_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295756-1532567868/watcher-4295756-1532567868 -o /tmp/evaluation-result-4295756-1532567868/solver-4295756-1532567868 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532535025-27479 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295756-1532567868.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 90120b7f275ce51772dc9fcf00f05be5
RANDOM SEED=957865773
node106.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 : 5334.11
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 : 5334.11
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 : 5334.11
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 : 5334.11
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: 8812716 kB
MemAvailable: 31918808 kB
Buffers: 286756 kB
Cached: 22714560 kB
SwapCached: 0 kB
Active: 2827224 kB
Inactive: 20242444 kB
Active(anon): 71036 kB
Inactive(anon): 25264 kB
Active(file): 2756188 kB
Inactive(file): 20217180 kB
Unevictable: 6944 kB
Mlocked: 6944 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 2800 kB
Writeback: 0 kB
AnonPages: 83136 kB
Mapped: 42188 kB
Shmem: 25260 kB
Slab: 588364 kB
SReclaimable: 561184 kB
SUnreclaim: 27180 kB
KernelStack: 3584 kB
PageTables: 5664 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 363252 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 109952 kB
DirectMap2M: 33435648 kB
Free space on /tmp at the end= 46232 MiB
End job on node106 at 2018-07-26 03:18:15