50.00/23.89 c
50.00/23.89 c This is cosoco 2.00 --
50.00/23.89 c
50.00/23.89 c command line: cosoco -model -nbcores=8 HOME/instance-4398116-1568608070.xml
50.00/23.89 c ========================================[ Problem Statistics ]===========================================
50.00/23.89 c |
50.00/23.89 c | Parse time : 18.53 s
50.00/23.89 c |
50.00/23.89 c | Variables: 225
50.00/23.89 c | Domain Sizes: 225..225
50.00/23.89 c |
50.00/23.89 c | Constraints: 48
50.00/23.89 c | Arity: 1..225 -- Unary: 2
50.00/23.89 c |
50.00/23.89 c | Types:
50.00/23.89 c | All Different: 1
50.00/23.89 c | Extension: 45 (nb tuples: 1938800..1938800) -- (shared: 352)
50.00/23.89 c | Unary: 2
50.00/23.89 c |
50.00/23.89 c =========================================================================================================
50.00/23.89 c Parallel mode: Portfolio
50.00/23.89 c [pFactory][Group N°0] created (threads:8).
50.00/23.89 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
50.00/23.89 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
50.00/23.89 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
50.00/23.89 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
50.00/23.89 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
50.00/23.89 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
50.00/23.89 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
50.00/23.89 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
50.00/23.89 c [pFactory][Group N°0] concurrent mode: enabled.
50.00/23.89 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
50.00/23.89 c [pFactory][Group N°0] task 7 launched on thread 5.
50.00/23.89 c [pFactory][Group N°0] task 6 launched on thread 0.
50.00/23.89 c [pFactory][Group N°0] task 5 launched on thread 1.
50.00/23.89 c [pFactory][Group N°0] task 4 launched on thread 6.
50.00/23.89 c [pFactory][Group N°0] task 3 launched on thread 2.
50.00/23.89 c [pFactory][Group N°0] task 2 launched on thread 7.
50.00/23.89 c [pFactory][Group N°0] task 1 launched on thread 4.
50.00/23.89 c [pFactory][Group N°0] task 0 launched on thread 3.
50.00/23.89 c [pFactory][Group N°0] concurent mode: thread 5 has won with the task 7.
50.00/23.89 c [pFactory][Group N°0] Thread N°0 is joined.
50.00/23.89 c [pFactory][Group N°0] Thread N°1 is joined.
50.00/23.89 c [pFactory][Group N°0] Thread N°2 is joined.
50.00/23.89 c [pFactory][Group N°0] Thread N°3 is joined.
50.00/23.89 c [pFactory][Group N°0] Thread N°4 is joined.
50.00/23.89 c [pFactory][Group N°0] Thread N°5 is joined.
50.00/23.89 c [pFactory][Group N°0] Thread N°6 is joined.
50.00/23.89 c [pFactory][Group N°0] Thread N°7 is joined.
50.00/23.89 c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°5)
50.00/23.89 s UNSATISFIABLE
50.00/23.89 c restarts : 0
50.00/23.89 c conflicts : 0 (0 /sec)
50.00/23.89 c decisions : 0 (0 /sec)
50.00/23.89 c propagations : 25895 (542 /sec)
50.00/23.89 c root propagations : 25895
50.00/23.89 c filter calls : 97 (2 /sec)
50.00/23.89 c useless filter calls : 46 (47 %)
50.00/23.89 c Memory used : 6678.67 MB
50.00/23.89 c CPU time : 47.8016 s
50.00/23.89 c real time : 23.8902 s
50.00/23.89
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 (14318 MiB free)
memory of node 1: 16384 MiB (15037 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398116-1568608070/watcher-4398116-1568608070 -o /tmp/evaluation-result-4398116-1568608070/solver-4398116-1568608070 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568597901-19118 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398116-1568608070.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=21142, runsolver pid=21139
Starting watchdog thread
Current StackSize limit: 8192 KiB
[startup+0.100152 s]*
/proc/loadavg: 8.28 8.38 8.28 2/197 21143
/proc/meminfo: memFree=30055784/32770624 swapFree=66917044/67108860
[pid=21142] ppid=21139 vsize=32168 memory=8332 CPUtime=0.1 cores=0-7
/proc/21142/stat : 21142 (cosoco) R 21139 21142 19091 0 -1 4202496 2339 0 0 0 10 0 0 0 20 0 1 0 437057509 32940032 2083 33554432000 4194304 6211092 140721574844400 140721574840936 5743389 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
/proc/21142/statm: 8042 2083 814 493 0 1347 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32168 KiB
Current children cumulated memory: 8332 KiB
[startup+0.209563 s]*
/proc/loadavg: 8.28 8.38 8.28 2/197 21143
/proc/meminfo: memFree=30054668/32770624 swapFree=66917044/67108860
[pid=21142] ppid=21139 vsize=33848 memory=9416 CPUtime=0.2 cores=0-7
/proc/21142/stat : 21142 (cosoco) R 21139 21142 19091 0 -1 4202496 2869 0 0 0 20 0 0 0 20 0 1 0 437057509 34660352 2354 33554432000 4194304 6211092 140721574844400 140721574840936 5743377 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
/proc/21142/statm: 8462 2354 814 493 0 1767 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33848 KiB
Current children cumulated memory: 9416 KiB
[startup+0.308995 s]*
/proc/loadavg: 8.28 8.38 8.28 2/197 21143
/proc/meminfo: memFree=30053924/32770624 swapFree=66917044/67108860
[pid=21142] ppid=21139 vsize=34376 memory=10204 CPUtime=0.3 cores=0-7
/proc/21142/stat : 21142 (cosoco) R 21139 21142 19091 0 -1 4202496 3084 0 0 0 30 0 0 0 20 0 1 0 437057509 35201024 2551 33554432000 4194304 6211092 140721574844400 140721574840936 5688985 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
/proc/21142/statm: 8594 2551 814 493 0 1899 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 34376 KiB
Current children cumulated memory: 10204 KiB
[startup+0.700275 s]
/proc/loadavg: 8.28 8.38 8.28 2/197 21143
/proc/meminfo: memFree=30050364/32770624 swapFree=66917044/67108860
[pid=21142] ppid=21139 vsize=37760 memory=13960 CPUtime=0.69 cores=0-7
/proc/21142/stat : 21142 (cosoco) R 21139 21142 19091 0 -1 4202496 3882 0 0 0 69 0 0 0 20 0 1 0 437057509 38666240 3490 33554432000 4194304 6211092 140721574844400 140721574840936 140147431959525 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
/proc/21142/statm: 9440 3490 814 493 0 2745 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37760 KiB
Current children cumulated memory: 13960 KiB
[startup+1.50028 s]
/proc/loadavg: 8.28 8.38 8.28 2/197 21143
/proc/meminfo: memFree=30046432/32770624 swapFree=66917044/67108860
[pid=21142] ppid=21139 vsize=44660 memory=20436 CPUtime=1.49 cores=0-7
/proc/21142/stat : 21142 (cosoco) R 21139 21142 19091 0 -1 4202496 5235 0 0 0 148 1 0 0 20 0 1 0 437057509 45731840 5109 33554432000 4194304 6211092 140721574844400 140721574841672 140147431959525 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
/proc/21142/statm: 11165 5109 814 493 0 4470 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 44660 KiB
Current children cumulated memory: 20436 KiB
[startup+3.10949 s]
/proc/loadavg: 8.28 8.38 8.28 2/196 21143
/proc/meminfo: memFree=30030704/32770624 swapFree=66917044/67108860
[pid=21142] ppid=21139 vsize=58592 memory=33720 CPUtime=3.1 cores=0-7
/proc/21142/stat : 21142 (cosoco) R 21139 21142 19091 0 -1 4202496 7627 0 0 0 308 2 0 0 20 0 1 0 437057509 59998208 8430 33554432000 4194304 6211092 140721574844400 140721574841672 5743377 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
/proc/21142/statm: 14648 8430 814 493 0 7953 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 58592 KiB
Current children cumulated memory: 33720 KiB
[startup+6.30027 s]
/proc/loadavg: 7.62 8.24 8.24 2/196 21143
/proc/meminfo: memFree=30006208/32770624 swapFree=66917044/67108860
[pid=21142] ppid=21139 vsize=85664 memory=60792 CPUtime=6.29 cores=0-7
/proc/21142/stat : 21142 (cosoco) R 21139 21142 19091 0 -1 4202496 12075 0 0 0 626 3 0 0 20 0 1 0 437057509 87719936 15198 33554432000 4194304 6211092 140721574844400 140721574841672 140147431959525 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
/proc/21142/statm: 21416 15198 814 493 0 14721 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 85664 KiB
Current children cumulated memory: 60792 KiB
[startup+12.7003 s]
/proc/loadavg: 7.09 8.12 8.20 2/196 21143
/proc/meminfo: memFree=29959688/32770624 swapFree=66917044/67108860
[pid=21142] ppid=21139 vsize=138092 memory=108996 CPUtime=12.69 cores=0-7
/proc/21142/stat : 21142 (cosoco) R 21139 21142 19091 0 -1 4202496 19848 0 0 0 1264 5 0 0 20 0 1 0 437057509 141406208 27249 33554432000 4194304 6211092 140721574844400 140721574841672 5818409 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
/proc/21142/statm: 34523 27249 814 493 0 27828 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 138092 KiB
Current children cumulated memory: 108996 KiB
[startup+24.0049 s]
# the end of solver process 21142 was just reported to runsolver
# cumulated CPU time of all completed processes: user=47.8018 s, system=2.54618 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 7.09 8.12 8.20 2/196 21143
/proc/meminfo: memFree=29959688/32770624 swapFree=66917044/67108860
[pid=21142] ppid=21139 vsize=138488 memory=109524 CPUtime=12.79 cores=0-7
/proc/21142/stat : 21142 (cosoco) R 21139 21142 19091 0 -1 4202496 19955 0 0 0 1274 5 0 0 20 0 1 0 437057509 141811712 27381 33554432000 4194304 6211092 140721574844400 140721574841672 5484865 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
/proc/21142/statm: 34622 27381 814 493 0 27927 0
Current children cumulated CPU time: 12.79 s
Current children cumulated vsize: 138488 KiB
Current children cumulated memory: 109524 KiB
[startup+19.2004 s]
/proc/loadavg: 6.15 7.88 8.12 2/196 21143
/proc/meminfo: memFree=24826392/32770624 swapFree=66917044/67108860
[pid=21142] ppid=21139 vsize=5600272 memory=5568072 CPUtime=19.19 cores=0-7
/proc/21142/stat : 21142 (cosoco) R 21139 21142 19091 0 -1 4202496 386612 0 0 0 1812 107 0 0 20 0 1 0 437057509 5734678528 1392018 33554432000 4194304 6211092 140721574844400 140721574840648 5046089 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
/proc/21142/statm: 1400068 1392018 825 493 0 1393373 0
Current children cumulated CPU time: 19.19 s
Current children cumulated vsize: 5600272 KiB
Current children cumulated memory: 5568072 KiB
[startup+22.4011 s]
/proc/loadavg: 6.15 7.88 8.12 9/204 21152
/proc/meminfo: memFree=23801224/32770624 swapFree=66917044/67108860
[pid=21142] ppid=21139 vsize=6871736 memory=6255292 CPUtime=40.91 cores=0-7
/proc/21142/stat : 21142 (cosoco) S 21139 21142 19091 0 -1 1077944320 516232 0 0 0 3909 182 0 0 20 0 9 0 437057509 7036657664 1563823 33554432000 4194304 6211092 140721574844400 140721574842656 140147448000247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
/proc/21142/statm: 1717934 1563823 834 493 0 1711239 0
[pid=21142/tid=21144] ppid=21139 vsize=6871736 memory=6935054825532540783 CPUtime=2.65 cores=0-7
/proc/21142/task/21144/stat : 21144 (cosoco) R 21139 21142 19091 0 -1 4202560 5211 0 0 0 265 0 0 0 20 0 9 0 437059484 7036657664 1563823 33554432000 4194304 6211092 140721574844400 140147391257352 5039026 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
[pid=21142/tid=21145] ppid=21139 vsize=6871736 memory=0 CPUtime=2.64 cores=0-7
/proc/21142/task/21145/stat : 21145 (cosoco) R 21139 21142 19091 0 -1 4202560 6217 0 0 0 264 0 0 0 20 0 9 0 437059484 7036657664 1563823 33554432000 4194304 6211092 140721574844400 140147382864744 5038944 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
[pid=21142/tid=21146] ppid=21139 vsize=6871736 memory=0 CPUtime=2.65 cores=0-7
/proc/21142/task/21146/stat : 21146 (cosoco) R 21139 21142 19091 0 -1 4202560 10143 0 0 0 249 16 0 0 20 0 9 0 437059484 7036657664 1563823 33554432000 4194304 6211092 140721574844400 140147374472040 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
[pid=21142/tid=21147] ppid=21139 vsize=6871736 memory=0 CPUtime=2.63 cores=0-7
/proc/21142/task/21147/stat : 21147 (cosoco) R 21139 21142 19091 0 -1 4202560 21175 0 0 0 262 1 0 0 20 0 9 0 437059484 7036657664 1563823 33554432000 4194304 6211092 140721574844400 140147366079240 5039536 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
[pid=21142/tid=21148] ppid=21139 vsize=6871736 memory=45088 CPUtime=2.65 cores=0-7
/proc/21142/task/21148/stat : 21148 (cosoco) R 21139 21142 19091 0 -1 4202560 15686 0 0 0 242 23 0 0 20 0 9 0 437059484 7036657664 1563823 33554432000 4194304 6211092 140721574844400 140147357686536 5039029 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
[pid=21142/tid=21149] ppid=21139 vsize=6871736 memory=992 CPUtime=2.65 cores=0-7
/proc/21142/task/21149/stat : 21149 (cosoco) R 21139 21142 19091 0 -1 4202560 4102 0 0 0 265 0 0 0 20 0 9 0 437059484 7036657664 1563823 33554432000 4194304 6211092 140721574844400 140147349293928 5039121 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
[pid=21142/tid=21150] ppid=21139 vsize=6871736 memory=2044 CPUtime=2.6 cores=0-7
/proc/21142/task/21150/stat : 21150 (cosoco) R 21139 21142 19091 0 -1 4202560 9641 0 0 0 260 0 0 0 20 0 9 0 437059484 7036657664 1563823 33554432000 4194304 6211092 140721574844400 140147340901224 5039121 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
[pid=21142/tid=21151] ppid=21139 vsize=6871736 memory=6788 CPUtime=2.65 cores=0-7
/proc/21142/task/21151/stat : 21151 (cosoco) R 21139 21142 19091 0 -1 12591168 13209 0 0 0 246 19 0 0 20 0 9 0 437059484 7036657664 1563823 33554432000 4194304 6211092 140721574844400 140147090545512 5037821 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
Current children cumulated CPU time: 40.91 s
Current children cumulated vsize: 6871736 KiB
Current children cumulated memory: 6255292 KiB
[startup+23.2011 s]
/proc/loadavg: 6.15 7.88 8.12 9/204 21152
/proc/meminfo: memFree=23798684/32770624 swapFree=66917044/67108860
[pid=21142] ppid=21139 vsize=6871736 memory=6257312 CPUtime=47.27 cores=0-7
/proc/21142/stat : 21142 (cosoco) S 21139 21142 19091 0 -1 1077944320 591880 0 0 0 4502 225 0 0 20 0 9 0 437057509 7036657664 1564328 33554432000 4194304 6211092 140721574844400 140721574842656 140147448000247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
/proc/21142/statm: 1717934 1564328 834 493 0 1711239 0
[pid=21142/tid=21144] ppid=21139 vsize=6871736 memory=7163930010362340695 CPUtime=3.44 cores=0-7
/proc/21142/task/21144/stat : 21144 (cosoco) R 21139 21142 19091 0 -1 4202560 12995 0 0 0 343 1 0 0 20 0 9 0 437059484 7036657664 1564328 33554432000 4194304 6211092 140721574844400 140147391257448 5039104 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
[pid=21142/tid=21145] ppid=21139 vsize=6871736 memory=6226624952215757927 CPUtime=3.44 cores=0-7
/proc/21142/task/21145/stat : 21145 (cosoco) R 21139 21142 19091 0 -1 4202560 16535 0 0 0 343 1 0 0 20 0 9 0 437059484 7036657664 1564328 33554432000 4194304 6211092 140721574844400 140147382864744 5039132 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
[pid=21142/tid=21146] ppid=21139 vsize=6871736 memory=7307770337728030805 CPUtime=3.44 cores=0-7
/proc/21142/task/21146/stat : 21146 (cosoco) R 21139 21142 19091 0 -1 4202560 19072 0 0 0 315 29 0 0 20 0 9 0 437059484 7036657664 1564328 33554432000 4194304 6211092 140721574844400 140147374472040 5038964 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
[pid=21142/tid=21147] ppid=21139 vsize=6871736 memory=7950097342766803302 CPUtime=3.43 cores=0-7
/proc/21142/task/21147/stat : 21147 (cosoco) R 21139 21142 19091 0 -1 4202560 38098 0 0 0 340 3 0 0 20 0 9 0 437059484 7036657664 1564328 33554432000 4194304 6211092 140721574844400 140147366079336 5037821 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
[pid=21142/tid=21148] ppid=21139 vsize=6871736 memory=6081945710245211489 CPUtime=3.44 cores=0-7
/proc/21142/task/21148/stat : 21148 (cosoco) R 21139 21142 19091 0 -1 4202560 23848 0 0 0 310 34 0 0 20 0 9 0 437059484 7036657664 1564328 33554432000 4194304 6211092 140721574844400 140147357686632 5039132 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
[pid=21142/tid=21149] ppid=21139 vsize=6871736 memory=288230574492221466 CPUtime=3.44 cores=0-7
/proc/21142/task/21149/stat : 21149 (cosoco) R 21139 21142 19091 0 -1 4202560 10258 0 0 0 344 0 0 0 20 0 9 0 437059484 7036657664 1564328 33554432000 4194304 6211092 140721574844400 140147349293928 5039104 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
[pid=21142/tid=21150] ppid=21139 vsize=6871736 memory=288230596050944315 CPUtime=3.37 cores=0-7
/proc/21142/task/21150/stat : 21150 (cosoco) R 21139 21142 19091 0 -1 4202560 19030 0 0 0 336 1 0 0 20 0 9 0 437059484 7036657664 1564328 33554432000 4194304 6211092 140721574844400 140147340901224 5038944 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
[pid=21142/tid=21151] ppid=21139 vsize=6871736 memory=15815590841420219 CPUtime=3.44 cores=0-7
/proc/21142/task/21151/stat : 21151 (cosoco) R 21139 21142 19091 0 -1 4202560 21206 0 0 0 313 31 0 0 20 0 9 0 437059484 7036657664 1564328 33554432000 4194304 6211092 140721574844400 140147090545512 5038944 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
Current children cumulated CPU time: 47.27 s
Current children cumulated vsize: 6871736 KiB
Current children cumulated memory: 6257312 KiB
[startup+23.6004 s]
/proc/loadavg: 6.15 7.88 8.12 9/204 21152
/proc/meminfo: memFree=23798684/32770624 swapFree=66917044/67108860
[pid=21142] ppid=21139 vsize=6871736 memory=6257908 CPUtime=49.37 cores=0-7
/proc/21142/stat : 21142 (cosoco) S 21139 21142 19091 0 -1 1077944320 652323 0 0 0 4697 240 0 0 20 0 5 0 437057509 7036657664 1564477 33554432000 4194304 6211092 140721574844400 140721574842656 140147448000247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
/proc/21142/statm: 1717934 1564477 836 493 0 1711239 0
[pid=21142/tid=21144] ppid=21139 vsize=6871736 memory=6252932 CPUtime=3.84 cores=0-7
/proc/21142/task/21144/stat : 21144 (cosoco) R 21139 21142 19091 0 -1 4202560 22389 0 0 0 378 6 0 0 20 0 5 0 437059484 7036657664 1564477 33554432000 4194304 6211092 140721574844400 140147391257352 5038944 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
[pid=21142/tid=21146] ppid=21139 vsize=6871736 memory=6250032 CPUtime=3.84 cores=0-7
/proc/21142/task/21146/stat : 21146 (cosoco) R 21139 21142 19091 0 -1 4202560 28069 0 0 0 351 33 0 0 20 0 5 0 437059484 7036657664 1564477 33554432000 4194304 6211092 140721574844400 140147374472040 5037821 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
[pid=21142/tid=21148] ppid=21139 vsize=6871736 memory=6935054825532540783 CPUtime=3.84 cores=0-7
/proc/21142/task/21148/stat : 21148 (cosoco) R 21139 21142 19091 0 -1 4202560 33016 0 0 0 348 36 0 0 20 0 5 0 437059484 7036657664 1564477 33554432000 4194304 6211092 140721574844400 140147357686632 5038961 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
[pid=21142/tid=21151] ppid=21139 vsize=6871736 memory=45088 CPUtime=3.84 cores=0-7
/proc/21142/task/21151/stat : 21151 (cosoco) R 21139 21142 19091 0 -1 4202560 30970 0 0 0 351 33 0 0 20 0 5 0 437059484 7036657664 1564477 33554432000 4194304 6211092 140721574844400 140147090545512 5038944 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
Current children cumulated CPU time: 49.37 s
Current children cumulated vsize: 6871736 KiB
Current children cumulated memory: 6257908 KiB
[startup+23.8005 s]
/proc/loadavg: 6.15 7.88 8.12 9/204 21152
/proc/meminfo: memFree=23798684/32770624 swapFree=66917044/67108860
[pid=21142] ppid=21139 vsize=6871736 memory=6258064 CPUtime=50 cores=0-7
/proc/21142/stat : 21142 (cosoco) S 21139 21142 19091 0 -1 1077944320 660199 0 0 0 4759 241 0 0 20 0 4 0 437057509 7036657664 1564516 33554432000 4194304 6211092 140721574844400 140721574842656 140147448000247 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
/proc/21142/statm: 1717934 1564516 836 493 0 1711239 0
[pid=21142/tid=21146] ppid=21139 vsize=6871736 memory=2044 CPUtime=4.04 cores=0-7
/proc/21142/task/21146/stat : 21146 (cosoco) R 21139 21142 19091 0 -1 4202560 29773 0 0 0 369 35 0 0 20 0 4 0 437059484 7036657664 1564516 33554432000 4194304 6211092 140721574844400 140147374472040 5038944 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
[pid=21142/tid=21148] ppid=21139 vsize=6871736 memory=1296 CPUtime=4.04 cores=0-7
/proc/21142/task/21148/stat : 21148 (cosoco) R 21139 21142 19091 0 -1 4202560 36193 0 0 0 368 36 0 0 20 0 4 0 437059484 7036657664 1564516 33554432000 4194304 6211092 140721574844400 140147357686632 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
[pid=21142/tid=21151] ppid=21139 vsize=6871736 memory=620 CPUtime=4.04 cores=0-7
/proc/21142/task/21151/stat : 21151 (cosoco) R 21139 21142 19091 0 -1 4202560 32952 0 0 0 371 33 0 0 20 0 4 0 437059484 7036657664 1564516 33554432000 4194304 6211092 140721574844400 140147090545416 5038982 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15458304 140721574851601 140721574851693 140721574851693 140721574854606 0
Current children cumulated CPU time: 50 s
Current children cumulated vsize: 6871736 KiB
Current children cumulated memory: 6258064 KiB
[startup+23.9005 s]*
/proc/loadavg: 5.82 7.79 8.09 2/196 21152
/proc/meminfo: memFree=23907332/32770624 swapFree=66917044/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 24.005
CPU time (s): 50.348
CPU user time (s): 47.8018
CPU system time (s): 2.54618
CPU usage (%): 209.74
Max. virtual memory (cumulated for all children) (KiB): 6871736
Max. memory (cumulated for all children) (KiB): 6258064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.8018
system time used= 2.54618
maximum resident set size= 6258376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 664949
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= 784
involuntary context switches= 267
# summary of solver processes directly reported to runsolver:
# pid: 21142
# total CPU time (s): 50.348
# total CPU user time (s): 47.8018
# total CPU system time (s): 2.54618
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.129205 second user time and 0.212712 second system time
The end
Begin job on node134 at 2019-09-16 06:27:08
IDJOB=4398116
IDBENCH=134616
IDSOLVER=2851
FILE ID=node134/4398116-1568608070
RUNJOBID= node134-1568597901-19118
PBS_JOBID= 21703415
Free space on /tmp= 59560 MiB
SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/KnightTour/KnightTour-ext-s1/KnightTour-15-ext06.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398116-1568608070/watcher-4398116-1568608070 -o /tmp/evaluation-result-4398116-1568608070/solver-4398116-1568608070 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568597901-19118 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398116-1568608070.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= af3f6bb9b1ca00becd13f0e7ebc5af3a
RANDOM SEED=1697788532
node134.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.76
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.76
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.76
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.76
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: 30060488 kB
MemAvailable: 31784968 kB
Buffers: 206648 kB
Cached: 1792404 kB
SwapCached: 90384 kB
Active: 644204 kB
Inactive: 1447284 kB
Active(anon): 2756 kB
Inactive(anon): 138064 kB
Active(file): 641448 kB
Inactive(file): 1309220 kB
Unevictable: 108520 kB
Mlocked: 108520 kB
SwapTotal: 67108860 kB
SwapFree: 66917044 kB
Dirty: 45136 kB
Writeback: 0 kB
AnonPages: 112128 kB
Mapped: 46756 kB
Shmem: 39652 kB
Slab: 209540 kB
SReclaimable: 179296 kB
SUnreclaim: 30244 kB
KernelStack: 3440 kB
PageTables: 5136 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 505948 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: 118144 kB
DirectMap2M: 33427456 kB
Free space on /tmp at the end= 59556 MiB
End job on node134 at 2019-09-16 06:27:32