19.61/11.71 c root propagations : 550
19.61/11.71 c restarts enabled, print stats at every restarts
19.61/11.71 c
19.61/11.71 c
19.61/11.71 c
19.61/11.71 c This is cosoco 2.00 --
19.61/11.71 c
19.61/11.71 c command line: cosoco -model -nbcores=8 HOME/instance-4397997-1568598039.xml
19.61/11.71 c ========================================[ Problem Statistics ]===========================================
19.61/11.71 c |
19.61/11.71 c | Parse time : 10.19 s
19.61/11.71 c |
19.61/11.71 c | Variables: 81
19.61/11.71 c | Domain Sizes: 9..9
19.61/11.71 c |
19.61/11.71 c | Constraints: 59
19.61/11.71 c | Arity: 1..9 -- Unary: 32
19.61/11.71 c |
19.61/11.71 c | Types:
19.61/11.71 c | Extension: 27 (nb tuples: 362880..362880) -- (shared: 192)
19.61/11.71 c | Unary: 32
19.61/11.71 c |
19.61/11.71 c =========================================================================================================
19.61/11.71 c Parallel mode: Portfolio
19.61/11.71 c [pFactory][Group N°0] created (threads:8).
19.61/11.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
19.61/11.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
19.61/11.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
19.61/11.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
19.61/11.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
19.61/11.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
19.61/11.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
19.61/11.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
19.61/11.71 c [pFactory][Group N°0] concurrent mode: enabled.
19.61/11.71 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
19.61/11.71 c [pFactory][Group N°0] task 7 launched on thread 0.
19.61/11.71 c [pFactory][Group N°0] task 6 launched on thread 2.
19.61/11.71 c [pFactory][Group N°0] task 5 launched on thread 1.
19.61/11.71 c [pFactory][Group N°0] task 4 launched on thread 5.
19.61/11.71 c [pFactory][Group N°0] task 3 launched on thread 6.
19.61/11.71 c [pFactory][Group N°0] task 2 launched on thread 7.
19.61/11.71 c [pFactory][Group N°0] task 1 launched on thread 4.
19.61/11.71 c [pFactory][Group N°0] task 0 launched on thread 3.
19.61/11.71 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
19.61/11.72 c 0 5 416 555 81 0 0 0 0
19.61/11.72 c 0 6 416 556 81 0 0 0 0
19.61/11.72 c First solution is found
19.61/11.72 c root propagations : 550
19.61/11.72 c restarts enabled, print stats at every restarts
19.61/11.72 c
19.61/11.72 c
19.61/11.72 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
19.61/11.72 c 0 1 404 551 81 0 0 0 0
19.61/11.72 c 0 2 404 552 81 0 0 0 0
19.61/11.72 c 0 3 404 553 81 0 0 0 0
19.61/11.72 c 0 4 404 554 81 0 0 0 0
19.61/11.72 c 0 5 404 555 81 0 0 0 0
19.61/11.72 c 0 6 404 556 81 0 0 0 0
19.61/11.72 c 0 11 416 561 81 0 0 0 0
19.61/11.72 c 0 12 416 562 81 0 0 0 0
19.61/11.72 c 0 15 422 565 81 0 0 0 0
19.61/11.72 c 0 16 422 566 81 0 0 0 0
19.61/11.72 c 0 17 422 567 81 0 0 0 0
19.61/11.72 c 0 22 434 572 81 0 0 0 0
19.61/11.72 c 0 23 434 573 81 0 0 0 0
19.61/11.72 c 0 24 434 574 81 0 0 0 0
19.61/11.72 c 0 25 434 575 81 0 0 0 0
19.61/11.72 c 0 26 434 576 81 0 0 0 0
19.61/11.72 c 0 27 434 577 81 0 0 0 0
19.61/11.72 c 0 28 434 578 81 0 0 0 0
19.61/11.72 c root propagations : 550
19.61/11.72 c restarts enabled, print stats at every restarts
19.61/11.72 c
19.61/11.72 c
19.61/11.72 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
19.61/11.72 c First solution is found
19.61/11.72 c First solution is found
19.61/11.73 c root propagations : 550
19.61/11.73 c restarts enabled, print stats at every restarts
19.61/11.73 c
19.61/11.73 c
19.61/11.73 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
19.61/11.75 c First solution is found
20.92/11.95 c root propagations : 550
20.92/11.95 c restarts enabled, print stats at every restarts
20.92/11.95 c
20.92/11.95 c
20.92/11.95 c [pFactory][Group N°0] concurent mode: thread 1 has won with the task 5.
20.92/11.95 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
20.92/11.96 c root propagations : 550
20.92/11.96 c restarts enabled, print stats at every restarts
20.92/11.96 c
20.92/11.96 c
20.92/11.96 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
20.92/11.96 c root propagations : 550
20.92/11.96 c restarts enabled, print stats at every restarts
20.92/11.96 c
20.92/11.96 c
20.92/11.96 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
20.92/11.96 c root propagations : 550
20.92/11.96 c restarts enabled, print stats at every restarts
20.92/11.96 c
20.92/11.96 c
20.92/11.96 c [pFactory][Group N°0] Thread N°0 is joined.
20.92/11.96 c [pFactory][Group N°0] Thread N°1 is joined.
20.92/11.96 c [pFactory][Group N°0] Thread N°2 is joined.
20.92/11.96 c [pFactory][Group N°0] Thread N°3 is joined.
20.92/11.96 c [pFactory][Group N°0] Thread N°4 is joined.
20.92/11.96 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
20.92/11.96 c [pFactory][Group N°0] Thread N°5 is joined.
20.92/11.96 c [pFactory][Group N°0] Thread N°6 is joined.
20.92/11.96 c [pFactory][Group N°0] Thread N°7 is joined.
20.92/11.96 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°1)
20.92/11.96 s SATISFIABLE
20.92/11.96 c restarts : 0
20.92/11.96 c conflicts : 0 (0 /sec)
20.92/11.96 c decisions : 81 (4 /sec)
20.92/11.96 c propagations : 631 (31 /sec)
20.92/11.96 c root propagations : 550
20.92/11.96 c filter calls : 679 (34 /sec)
20.92/11.96 c useless filter calls : 514 (75 %)
20.92/11.96 c Memory used : 1727.85 MB
20.92/11.96 c CPU time : 20.2428 s
20.92/11.96 c real time : 11.9614 s
20.92/11.96
20.92/11.96 c solution 1
20.92/11.96
20.92/11.96 v <instantiation type='solution'>
20.92/11.96 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>
20.92/11.96 v <values>1 9 3 6 7 2 4 8 5 4 6 2 3 5 8 9 7 1 7 8 5 9 1 4 6 2 3 5 3 8 2 9 6 7 1 4 6 7 4 1 3 5 2 9 8 2 1 9 4 8 7 3 5 6 8 2 6 7 4 1 5 3 9 9 4 1 5 2 3 8 6 7 3 5 7 8 6 9 1 4 2 </values>
20.92/11.96 v </instantiation>
20.92/11.96
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 (13661 MiB free)
memory of node 1: 16384 MiB (13676 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397997-1568598039/watcher-4397997-1568598039 -o /tmp/evaluation-result-4397997-1568598039/solver-4397997-1568598039 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568597993-15576 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4397997-1568598039.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=15743, runsolver pid=15740
Current StackSize limit: 8192 KiB
[startup+0.10015 s]*
/proc/loadavg: 1.73 1.20 1.19 2/192 15744
/proc/meminfo: memFree=27992432/32770624 swapFree=66939884/67108860
[pid=15743] ppid=15740 vsize=28592 memory=4684 CPUtime=0.1 cores=0-7
/proc/15743/stat : 15743 (cosoco) R 15740 15743 15549 0 -1 4202496 1410 0 0 0 10 0 0 0 20 0 1 0 435718761 29278208 1171 33554432000 4194304 6211092 140732597860448 140732597857720 140150924330112 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
/proc/15743/statm: 7148 1171 805 493 0 453 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28592 KiB
Current children cumulated memory: 4684 KiB
[startup+0.209109 s]*
/proc/loadavg: 1.73 1.20 1.19 2/192 15744
/proc/meminfo: memFree=27991760/32770624 swapFree=66939884/67108860
[pid=15743] ppid=15740 vsize=29636 memory=5788 CPUtime=0.21 cores=0-7
/proc/15743/stat : 15743 (cosoco) R 15740 15743 15549 0 -1 4202496 1759 0 0 0 21 0 0 0 20 0 1 0 435718761 30347264 1447 33554432000 4194304 6211092 140732597860448 140732597857720 140150908267493 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
/proc/15743/statm: 7409 1447 805 493 0 714 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29636 KiB
Current children cumulated memory: 5788 KiB
[startup+0.308712 s]*
/proc/loadavg: 1.73 1.20 1.19 2/192 15744
/proc/meminfo: memFree=27990644/32770624 swapFree=66939884/67108860
[pid=15743] ppid=15740 vsize=30932 memory=6676 CPUtime=0.31 cores=0-7
/proc/15743/stat : 15743 (cosoco) R 15740 15743 15549 0 -1 4202496 2182 0 0 0 31 0 0 0 20 0 1 0 435718761 31674368 1669 33554432000 4194304 6211092 140732597860448 140732597857720 5817749 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
/proc/15743/statm: 7733 1669 805 493 0 1038 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30932 KiB
Current children cumulated memory: 6676 KiB
[startup+0.700271 s]
/proc/loadavg: 1.73 1.20 1.19 2/192 15744
/proc/meminfo: memFree=27988448/32770624 swapFree=66939884/67108860
[pid=15743] ppid=15740 vsize=34844 memory=10036 CPUtime=0.69 cores=0-7
/proc/15743/stat : 15743 (cosoco) R 15740 15743 15549 0 -1 4202496 3454 0 0 0 69 0 0 0 20 0 1 0 435718761 35680256 2509 33554432000 4194304 6211092 140732597860448 140732597857720 140150908267493 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
/proc/15743/statm: 8711 2509 805 493 0 2016 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34844 KiB
Current children cumulated memory: 10036 KiB
[startup+1.5003 s]
/proc/loadavg: 1.73 1.20 1.19 2/192 15744
/proc/meminfo: memFree=27984444/32770624 swapFree=66939884/67108860
[pid=15743] ppid=15740 vsize=42932 memory=18664 CPUtime=1.49 cores=0-7
/proc/15743/stat : 15743 (cosoco) R 15740 15743 15549 0 -1 4202496 5344 0 0 0 149 0 0 0 20 0 1 0 435718761 43962368 4666 33554432000 4194304 6211092 140732597860448 140732597857720 140150908267493 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
/proc/15743/statm: 10733 4666 805 493 0 4038 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42932 KiB
Current children cumulated memory: 18664 KiB
[startup+3.10954 s]
/proc/loadavg: 1.73 1.20 1.19 2/193 15752
/proc/meminfo: memFree=27873384/32770624 swapFree=66939884/67108860
[pid=15743] ppid=15740 vsize=178228 memory=149760 CPUtime=3.1 cores=0-7
/proc/15743/stat : 15743 (cosoco) R 15740 15743 15549 0 -1 4202496 32470 0 0 0 306 4 0 0 20 0 1 0 435718761 182505472 37440 33554432000 4194304 6211092 140732597860448 140732597857720 5240329 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
/proc/15743/statm: 44557 37440 812 493 0 37862 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 178228 KiB
Current children cumulated memory: 149760 KiB
[startup+6.3004 s]
/proc/loadavg: 1.67 1.20 1.19 2/193 15752
/proc/meminfo: memFree=27768352/32770624 swapFree=66939884/67108860
[pid=15743] ppid=15740 vsize=314848 memory=284676 CPUtime=6.29 cores=0-7
/proc/15743/stat : 15743 (cosoco) R 15740 15743 15549 0 -1 4202496 65561 0 0 0 621 8 0 0 20 0 1 0 435718761 322404352 71169 33554432000 4194304 6211092 140732597860448 140732597857720 140150908265495 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
/proc/15743/statm: 78712 71169 814 493 0 72017 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 314848 KiB
Current children cumulated memory: 284676 KiB
[startup+12.047 s]
# the end of solver process 15743 was just reported to runsolver
# cumulated CPU time of all completed processes: user=20.243 s, system=1.0048 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40042 s]
/proc/loadavg: 1.67 1.20 1.19 2/193 15752
/proc/meminfo: memFree=27768352/32770624 swapFree=66939884/67108860
[pid=15743] ppid=15740 vsize=338340 memory=307548 CPUtime=6.39 cores=0-7
/proc/15743/stat : 15743 (cosoco) R 15740 15743 15549 0 -1 4202496 68679 0 0 0 630 9 0 0 20 0 1 0 435718761 346460160 76887 33554432000 4194304 6211092 140732597860448 140732597857720 140150908265279 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
/proc/15743/statm: 84585 76887 814 493 0 77890 0
Current children cumulated CPU time: 6.39 s
Current children cumulated vsize: 338340 KiB
Current children cumulated memory: 307548 KiB
[startup+9.60028 s]
/proc/loadavg: 1.62 1.19 1.19 2/192 15752
/proc/meminfo: memFree=27574856/32770624 swapFree=66939884/67108860
[pid=15743] ppid=15740 vsize=479372 memory=444684 CPUtime=9.59 cores=0-7
/proc/15743/stat : 15743 (cosoco) R 15740 15743 15549 0 -1 4202496 102924 0 0 0 946 13 0 0 20 0 1 0 435718761 490876928 111171 33554432000 4194304 6211092 140732597860448 140732597857720 5286977 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
/proc/15743/statm: 119843 111171 814 493 0 113148 0
Current children cumulated CPU time: 9.59 s
Current children cumulated vsize: 479372 KiB
Current children cumulated memory: 444684 KiB
[startup+11.2014 s]
/proc/loadavg: 1.62 1.19 1.19 9/200 15760
/proc/meminfo: memFree=26823276/32770624 swapFree=66939884/67108860
[pid=15743] ppid=15740 vsize=1802100 memory=1174660 CPUtime=15.62 cores=0-7
/proc/15743/stat : 15743 (cosoco) S 15740 15743 15549 0 -1 1077944320 315646 0 0 0 1506 56 0 0 20 0 9 0 435718761 1845350400 293665 33554432000 4194304 6211092 140732597860448 140732597858704 140150924308215 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
/proc/15743/statm: 450525 293665 859 493 0 443830 0
[pid=15743/tid=15753] ppid=15740 vsize=1802100 memory=6935054825532540783 CPUtime=0.63 cores=0-7
/proc/15743/task/15753/stat : 15753 (cosoco) R 15740 15743 15549 0 -1 4202560 3283 0 0 0 60 3 0 0 20 0 9 0 435719818 1845350400 293665 33554432000 4194304 6211092 140732597860448 140150894525656 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
[pid=15743/tid=15754] ppid=15740 vsize=1802100 memory=920 CPUtime=0.62 cores=0-7
/proc/15743/task/15754/stat : 15754 (cosoco) R 15740 15743 15549 0 -1 4202560 3320 0 0 0 62 0 0 0 20 0 9 0 435719818 1845350400 293665 33554432000 4194304 6211092 140732597860448 140150886132952 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
[pid=15743/tid=15755] ppid=15740 vsize=1802100 memory=4036 CPUtime=0.63 cores=0-7
/proc/15743/task/15755/stat : 15755 (cosoco) R 15740 15743 15549 0 -1 4202560 3793 0 0 0 59 4 0 0 20 0 9 0 435719818 1845350400 293665 33554432000 4194304 6211092 140732597860448 140150831078616 5039132 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
[pid=15743/tid=15756] ppid=15740 vsize=1802100 memory=1408 CPUtime=0.62 cores=0-7
/proc/15743/task/15756/stat : 15756 (cosoco) R 15740 15743 15549 0 -1 4202560 6495 0 0 0 62 0 0 0 20 0 9 0 435719818 1845350400 293665 33554432000 4194304 6211092 140732597860448 140150822685912 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
[pid=15743/tid=15757] ppid=15740 vsize=1802100 memory=2304 CPUtime=0.62 cores=0-7
/proc/15743/task/15757/stat : 15757 (cosoco) R 15740 15743 15549 0 -1 4202560 6950 0 0 0 62 0 0 0 20 0 9 0 435719818 1845350400 293665 33554432000 4194304 6211092 140732597860448 140150814293208 5039038 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
[pid=15743/tid=15758] ppid=15740 vsize=1802100 memory=566144 CPUtime=0.63 cores=0-7
/proc/15743/task/15758/stat : 15758 (cosoco) R 15740 15743 15549 0 -1 4202560 3283 0 0 0 60 3 0 0 20 0 9 0 435719818 1845350400 293665 33554432000 4194304 6211092 140732597860448 140150805900504 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
[pid=15743/tid=15759] ppid=15740 vsize=1802100 memory=279337291390272 CPUtime=0.61 cores=0-7
/proc/15743/task/15759/stat : 15759 (cosoco) R 15740 15743 15549 0 -1 4202560 4901 0 0 0 61 0 0 0 20 0 9 0 435719818 1845350400 293665 33554432000 4194304 6211092 140732597860448 140150797507800 5039007 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
[pid=15743/tid=15760] ppid=15740 vsize=1802100 memory=56 CPUtime=0.63 cores=0-7
/proc/15743/task/15760/stat : 15760 (cosoco) R 15740 15743 15549 0 -1 4202560 6508 0 0 0 57 6 0 0 20 0 9 0 435719818 1845350400 293665 33554432000 4194304 6211092 140732597860448 140150789115096 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
Current children cumulated CPU time: 15.62 s
Current children cumulated vsize: 1802100 KiB
Current children cumulated memory: 1174660 KiB
[startup+11.6014 s]
/proc/loadavg: 1.62 1.19 1.19 9/200 15760
/proc/meminfo: memFree=26823276/32770624 swapFree=66939884/67108860
[pid=15743] ppid=15740 vsize=1802100 memory=1174784 CPUtime=18.82 cores=0-7
/proc/15743/stat : 15743 (cosoco) S 15740 15743 15549 0 -1 1077944320 339093 0 0 0 1815 67 0 0 20 0 9 0 435718761 1845350400 293696 33554432000 4194304 6211092 140732597860448 140732597858704 140150924308215 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
/proc/15743/statm: 450525 293696 862 493 0 443830 0
[pid=15743/tid=15753] ppid=15740 vsize=1802100 memory=0 CPUtime=1.02 cores=0-7
/proc/15743/task/15753/stat : 15753 (cosoco) R 15740 15743 15549 0 -1 4202560 5454 0 0 0 97 5 0 0 20 0 9 0 435719818 1845350400 293696 33554432000 4194304 6211092 140732597860448 140150894525656 5038995 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
[pid=15743/tid=15754] ppid=15740 vsize=1802100 memory=279337291456816 CPUtime=1.02 cores=0-7
/proc/15743/task/15754/stat : 15754 (cosoco) R 15740 15743 15549 0 -1 4202560 7223 0 0 0 102 0 0 0 20 0 9 0 435719818 1845350400 293696 33554432000 4194304 6211092 140732597860448 140150886132952 5038995 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
[pid=15743/tid=15755] ppid=15740 vsize=1802100 memory=0 CPUtime=1.02 cores=0-7
/proc/15743/task/15755/stat : 15755 (cosoco) R 15740 15743 15549 0 -1 12591168 5861 0 0 0 96 6 0 0 20 0 9 0 435719818 1845350400 293696 33554432000 4194304 6211092 140732597860448 140150831078616 5038995 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
[pid=15743/tid=15756] ppid=15740 vsize=1802100 memory=0 CPUtime=1.02 cores=0-7
/proc/15743/task/15756/stat : 15756 (cosoco) R 15740 15743 15549 0 -1 4202560 10037 0 0 0 102 0 0 0 20 0 9 0 435719818 1845350400 293696 33554432000 4194304 6211092 140732597860448 140150822685912 5039029 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
[pid=15743/tid=15757] ppid=15740 vsize=1802100 memory=0 CPUtime=1.02 cores=0-7
/proc/15743/task/15757/stat : 15757 (cosoco) R 15740 15743 15549 0 -1 4202560 11082 0 0 0 102 0 0 0 20 0 9 0 435719818 1845350400 293696 33554432000 4194304 6211092 140732597860448 140150814293208 5038995 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
[pid=15743/tid=15758] ppid=15740 vsize=1802100 memory=0 CPUtime=1.02 cores=0-7
/proc/15743/task/15758/stat : 15758 (cosoco) R 15740 15743 15549 0 -1 12591168 5173 0 0 0 97 5 0 0 20 0 9 0 435719818 1845350400 293696 33554432000 4194304 6211092 140732597860448 140150805900504 5038995 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
[pid=15743/tid=15759] ppid=15740 vsize=1802100 memory=0 CPUtime=1.01 cores=0-7
/proc/15743/task/15759/stat : 15759 (cosoco) R 15740 15743 15549 0 -1 4202560 9141 0 0 0 101 0 0 0 20 0 9 0 435719818 1845350400 293696 33554432000 4194304 6211092 140732597860448 140150797507800 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
[pid=15743/tid=15760] ppid=15740 vsize=1802100 memory=56 CPUtime=1.03 cores=0-7
/proc/15743/task/15760/stat : 15760 (cosoco) R 15740 15743 15549 0 -1 4202560 8105 0 0 0 95 8 0 0 20 0 9 0 435719818 1845350400 293696 33554432000 4194304 6211092 140732597860448 140150789115096 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21430272 140732597867537 140732597867629 140732597867629 140732597870542 0
Current children cumulated CPU time: 18.82 s
Current children cumulated vsize: 1802100 KiB
Current children cumulated memory: 1174784 KiB
[startup+12.0006 s]*
/proc/loadavg: 1.62 1.19 1.19 2/192 15760
/proc/meminfo: memFree=27343140/32770624 swapFree=66939884/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): 12.0471
CPU time (s): 21.2478
CPU user time (s): 20.243
CPU system time (s): 1.0048
CPU usage (%): 176.373
Max. virtual memory (cumulated for all children) (KiB): 1802100
Max. memory (cumulated for all children) (KiB): 1177088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.243
system time used= 1.0048
maximum resident set size= 1177296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 369843
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= 18
involuntary context switches= 97
# summary of solver processes directly reported to runsolver:
# pid: 15743
# total CPU time (s): 21.2478
# total CPU user time (s): 20.243
# total CPU system time (s): 1.0048
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.083206 second user time and 0.103794 second system time
The end
Begin job on node119 at 2019-09-16 03:39:59
IDJOB=4397997
IDBENCH=120392
IDSOLVER=2851
FILE ID=node119/4397997-1568598039
RUNJOBID= node119-1568597993-15576
PBS_JOBID= 21703416
Free space on /tmp= 61352 MiB
SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/Sudoku/Sudoku-table-s1/Sudoku-s10c-table.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397997-1568598039/watcher-4397997-1568598039 -o /tmp/evaluation-result-4397997-1568598039/solver-4397997-1568598039 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568597993-15576 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4397997-1568598039.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 8248e4e11a775a898590caffd4c1e549
RANDOM SEED=67132583
node119.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.47
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.47
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.47
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.47
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: 27993588 kB
MemAvailable: 31817196 kB
Buffers: 144688 kB
Cached: 3960344 kB
SwapCached: 61096 kB
Active: 2513612 kB
Inactive: 1657132 kB
Active(anon): 4688 kB
Inactive(anon): 110816 kB
Active(file): 2508924 kB
Inactive(file): 1546316 kB
Unevictable: 107752 kB
Mlocked: 107752 kB
SwapTotal: 67108860 kB
SwapFree: 66939884 kB
Dirty: 22996 kB
Writeback: 0 kB
AnonPages: 113184 kB
Mapped: 47332 kB
Shmem: 41008 kB
Slab: 197716 kB
SReclaimable: 168404 kB
SUnreclaim: 29312 kB
KernelStack: 3728 kB
PageTables: 5640 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 505920 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: 126336 kB
DirectMap2M: 33419264 kB
Free space on /tmp at the end= 61348 MiB
End job on node119 at 2019-09-16 03:40:11