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 (12395 MiB free)
memory of node 1: 16384 MiB (13672 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283757-1503216210/watcher-4283757-1503216210 -o /tmp/evaluation-result-4283757-1503216210/solver-4283757-1503216210 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node115-1503215350-27174 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 506761576 HOME/instance-4283757-1503216210.xml
running on 4 cores: 0,2,4,6
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=27206, runsolver pid=27198
[startup+0.100174 s]*
/proc/loadavg: 1.23 1.72 1.87 4/218 27236
/proc/meminfo: memFree=26657332/32770624 swapFree=67108860/67108860
[pid=27206] ppid=27198 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/27206/stat : 27206 (xcsp3-exec) S 27198 27206 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154708586 9740288 346 33554432000 4194304 5098028 140732522008784 140732522006888 139970379428476 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19288064 140732522017903 140732522018107 140732522018107 140732522020843 0
/proc/27206/statm: 2378 346 289 221 0 87 0
[pid=27208] ppid=27206 vsize=13978596 memory=28352 CPUtime=0.12 cores=0,2,4,6
/proc/27208/stat : 27208 (java) S 27206 27206 21109 0 -1 1077944320 5452 0 0 0 11 1 0 0 20 0 15 0 154708586 14314082304 7088 33554432000 4194304 4196468 140727113829568 140727113812112 139922597875447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
/proc/27208/statm: 3494649 7088 2872 1 0 3482966 0
[pid=27208/tid=27210] ppid=27206 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/27208/task/27210/stat : 27210 (java) R 27206 27206 21109 0 -1 4202560 3465 0 0 0 9 0 0 0 20 0 15 0 154708587 14314082304 7088 33554432000 4194304 4196468 140727113829568 139922602106752 139922597887382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27215] ppid=27206 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27215/stat : 27215 (java) S 27206 27206 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154708587 14314082304 7088 33554432000 4194304 4196468 140727113829568 139922527964304 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27216] ppid=27206 vsize=13978596 memory=140697484207744 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27216/stat : 27216 (java) S 27206 27206 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154708587 14314082304 7088 33554432000 4194304 4196468 140727113829568 139922526911504 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27217] ppid=27206 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27217/stat : 27217 (java) S 27206 27206 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154708587 14314082304 7088 33554432000 4194304 4196468 140727113829568 139922525858704 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27218] ppid=27206 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27218/stat : 27218 (java) S 27206 27206 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154708587 14314082304 7088 33554432000 4194304 4196468 140727113829568 139922524805904 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27220] ppid=27206 vsize=13978596 memory=140697484207744 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27220/stat : 27220 (java) S 27206 27206 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154708589 14314082304 7088 33554432000 4194304 4196468 140727113829568 139921710893424 139922597886594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27223] ppid=27206 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27223/stat : 27223 (java) S 27206 27206 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154708589 14314082304 7088 33554432000 4194304 4196468 140727113829568 139921709839392 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27224] ppid=27206 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27224/stat : 27224 (java) S 27206 27206 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154708589 14314082304 7088 33554432000 4194304 4196468 140727113829568 139921708786544 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27230] ppid=27206 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27230/stat : 27230 (java) S 27206 27206 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154708592 14314082304 7088 33554432000 4194304 4196468 140727113829568 139921707734864 139922597894043 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27231] ppid=27206 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27231/stat : 27231 (java) R 27206 27206 21109 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 154708592 14314082304 7088 33554432000 4194304 4196468 140727113829568 139921706683248 139922597886594 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27232] ppid=27206 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27232/stat : 27232 (java) R 27206 27206 21109 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 154708592 14314082304 7088 33554432000 4194304 4196468 140727113829568 139921705630448 139922597886594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27233] ppid=27206 vsize=13978596 memory=140697484207744 CPUtime=0.01 cores=0,2,4,6
/proc/27208/task/27233/stat : 27233 (java) R 27206 27206 21109 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 15 0 154708592 14314082304 7088 33554432000 4194304 4196468 140727113829568 139921704577648 139922597896794 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27235] ppid=27206 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27235/stat : 27235 (java) S 27206 27206 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154708592 14314082304 7088 33554432000 4194304 4196468 140727113829568 139921703525088 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27236] ppid=27206 vsize=13978596 memory=140697484207744 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27236/stat : 27236 (java) S 27206 27206 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154708592 14314082304 7088 33554432000 4194304 4196468 140727113829568 139921702472368 139922597886594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29736 KiB
[startup+0.210516 s]*
/proc/loadavg: 1.23 1.72 1.87 5/218 27236
/proc/meminfo: memFree=26635360/32770624 swapFree=67108860/67108860
[pid=27206] ppid=27198 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/27206/stat : 27206 (xcsp3-exec) S 27198 27206 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154708586 9740288 346 33554432000 4194304 5098028 140732522008784 140732522006888 139970379428476 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19288064 140732522017903 140732522018107 140732522018107 140732522020843 0
/proc/27206/statm: 2378 346 289 221 0 87 0
[pid=27208] ppid=27206 vsize=13982852 memory=40184 CPUtime=0.34 cores=0,2,4,6
/proc/27208/stat : 27208 (java) S 27206 27206 21109 0 -1 1077944320 8182 0 0 0 32 2 0 0 20 0 15 0 154708586 14318440448 10046 33554432000 4194304 4196468 140727113829568 140727113812112 139922597875447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
/proc/27208/statm: 3495713 10046 3022 1 0 3482966 0
[pid=27208/tid=27210] ppid=27206 vsize=13982884 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/27208/task/27210/stat : 27210 (java) R 27206 27206 21109 0 -1 4202560 5328 0 0 0 19 1 0 0 20 0 15 0 154708587 14318473216 10046 33554432000 4194304 4196468 140727113829568 139922602086240 139922590555165 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27215] ppid=27206 vsize=13982852 memory=9005 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27215/stat : 27215 (java) S 27206 27206 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154708587 14318440448 10046 33554432000 4194304 4196468 140727113829568 139922527964304 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27216] ppid=27206 vsize=13982852 memory=140697484950860 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27216/stat : 27216 (java) S 27206 27206 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154708587 14318440448 10046 33554432000 4194304 4196468 140727113829568 139922526911504 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27217] ppid=27206 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27217/stat : 27217 (java) S 27206 27206 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154708587 14318440448 10046 33554432000 4194304 4196468 140727113829568 139922525858704 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27218] ppid=27206 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27218/stat : 27218 (java) S 27206 27206 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154708587 14318440448 10046 33554432000 4194304 4196468 140727113829568 139922524805904 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27220] ppid=27206 vsize=13982852 memory=140697484207744 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27220/stat : 27220 (java) S 27206 27206 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154708589 14318440448 10046 33554432000 4194304 4196468 140727113829568 139921710893424 139922597886594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27223] ppid=27206 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27223/stat : 27223 (java) S 27206 27206 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154708589 14318440448 10046 33554432000 4194304 4196468 140727113829568 139921709839392 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27224] ppid=27206 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27224/stat : 27224 (java) S 27206 27206 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154708589 14318473216 10046 33554432000 4194304 4196468 140727113829568 139921708786544 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27230] ppid=27206 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27230/stat : 27230 (java) S 27206 27206 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154708592 14318440448 10046 33554432000 4194304 4196468 140727113829568 139921707734864 139922597894043 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27231] ppid=27206 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27208/task/27231/stat : 27231 (java) S 27206 27206 21109 0 -1 1077944384 659 0 0 0 2 0 0 0 20 0 15 0 154708592 14318440448 10046 33554432000 4194304 4196468 140727113829568 139921706683248 139922597886594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27232] ppid=27206 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27208/task/27232/stat : 27232 (java) S 27206 27206 21109 0 -1 1077944384 187 0 0 0 2 0 0 0 20 0 15 0 154708592 14318440448 10046 33554432000 4194304 4196468 140727113829568 139921705630448 139922597886594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27233] ppid=27206 vsize=13982852 memory=140697484207744 CPUtime=0.07 cores=0,2,4,6
/proc/27208/task/27233/stat : 27233 (java) S 27206 27206 21109 0 -1 1077944384 710 0 0 0 7 0 0 0 20 0 15 0 154708592 14318440448 10046 33554432000 4194304 4196468 140727113829568 139921704577648 139922597886594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27235] ppid=27206 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27235/stat : 27235 (java) S 27206 27206 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154708592 14318440448 10046 33554432000 4194304 4196468 140727113829568 139921703525088 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27236] ppid=27206 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27236/stat : 27236 (java) S 27206 27206 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154708592 14318440448 10046 33554432000 4194304 4196468 140727113829568 139921702472368 139922597886594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41568 KiB
[startup+0.310585 s]*
/proc/loadavg: 1.23 1.72 1.87 8/218 27236
/proc/meminfo: memFree=26620844/32770624 swapFree=67108860/67108860
[pid=27206] ppid=27198 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/27206/stat : 27206 (xcsp3-exec) S 27198 27206 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154708586 9740288 346 33554432000 4194304 5098028 140732522008784 140732522006888 139970379428476 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19288064 140732522017903 140732522018107 140732522018107 140732522020843 0
/proc/27206/statm: 2378 346 289 221 0 87 0
[pid=27208] ppid=27206 vsize=13982928 memory=47140 CPUtime=0.5 cores=0,2,4,6
/proc/27208/stat : 27208 (java) S 27206 27206 21109 0 -1 1077944320 9065 0 0 0 47 3 0 0 20 0 15 0 154708586 14318518272 11785 33554432000 4194304 4196468 140727113829568 140727113812112 139922597875447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
/proc/27208/statm: 3495732 11785 3091 1 0 3482966 0
[pid=27208/tid=27210] ppid=27206 vsize=13982928 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/27208/task/27210/stat : 27210 (java) R 27206 27206 21109 0 -1 4202560 6078 0 0 0 28 1 0 0 20 0 15 0 154708587 14318518272 11785 33554432000 4194304 4196468 140727113829568 139922602107808 139922581955934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27215] ppid=27206 vsize=13982928 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27215/stat : 27215 (java) S 27206 27206 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154708587 14318518272 11785 33554432000 4194304 4196468 140727113829568 139922527964304 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27216] ppid=27206 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27216/stat : 27216 (java) S 27206 27206 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154708587 14318518272 11785 33554432000 4194304 4196468 140727113829568 139922526911504 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27217] ppid=27206 vsize=13982928 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27217/stat : 27217 (java) S 27206 27206 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154708587 14318518272 11785 33554432000 4194304 4196468 140727113829568 139922525858704 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27218] ppid=27206 vsize=13982928 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27218/stat : 27218 (java) S 27206 27206 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154708587 14318518272 11785 33554432000 4194304 4196468 140727113829568 139922524805904 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27220] ppid=27206 vsize=13982928 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27220/stat : 27220 (java) S 27206 27206 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154708589 14318518272 11785 33554432000 4194304 4196468 140727113829568 139921710893424 139922597886594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27223] ppid=27206 vsize=13982928 memory=-9001728533042062950 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27223/stat : 27223 (java) S 27206 27206 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154708589 14318518272 11785 33554432000 4194304 4196468 140727113829568 139921709839392 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27224] ppid=27206 vsize=13982928 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27224/stat : 27224 (java) S 27206 27206 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154708589 14318518272 11785 33554432000 4194304 4196468 140727113829568 139921708786544 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27230] ppid=27206 vsize=13982928 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27230/stat : 27230 (java) S 27206 27206 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154708592 14318518272 11785 33554432000 4194304 4196468 140727113829568 139921707734864 139922597894043 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27231] ppid=27206 vsize=13982928 memory=4713750055892520310 CPUtime=0.04 cores=0,2,4,6
/proc/27208/task/27231/stat : 27231 (java) S 27206 27206 21109 0 -1 1077944384 714 0 0 0 4 0 0 0 20 0 15 0 154708592 14318518272 11785 33554432000 4194304 4196468 140727113829568 139921706683248 139922597886594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27232] ppid=27206 vsize=13982928 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27208/task/27232/stat : 27232 (java) R 27206 27206 21109 0 -1 1077944384 188 0 0 0 3 0 0 0 20 0 15 0 154708592 14318518272 11785 33554432000 4194304 4196468 140727113829568 139921705630448 139922597886594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27233] ppid=27206 vsize=13982928 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/27208/task/27233/stat : 27233 (java) R 27206 27206 21109 0 -1 1077944384 779 0 0 0 11 0 0 0 20 0 15 0 154708592 14318518272 11785 33554432000 4194304 4196468 140727113829568 139921704577648 139922597886594 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27235] ppid=27206 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27235/stat : 27235 (java) S 27206 27206 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154708592 14318518272 11785 33554432000 4194304 4196468 140727113829568 139921703525088 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27236] ppid=27206 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27236/stat : 27236 (java) S 27206 27206 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154708592 14318518272 11785 33554432000 4194304 4196468 140727113829568 139921702472368 139922597886594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 48524 KiB
[startup+0.478654 s]
# the end of solver process 27206 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.80088 s, system=0.045725 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410206 s]*
/proc/loadavg: 1.23 1.72 1.87 6/218 27236
/proc/meminfo: memFree=26606824/32770624 swapFree=67108860/67108860
[pid=27206] ppid=27198 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/27206/stat : 27206 (xcsp3-exec) S 27198 27206 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154708586 9740288 346 33554432000 4194304 5098028 140732522008784 140732522006888 139970379428476 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19288064 140732522017903 140732522018107 140732522018107 140732522020843 0
/proc/27206/statm: 2378 346 289 221 0 87 0
[pid=27208] ppid=27206 vsize=13984976 memory=54360 CPUtime=0.71 cores=0,2,4,6
/proc/27208/stat : 27208 (java) S 27206 27206 21109 0 -1 1077944320 9805 0 0 0 68 3 0 0 20 0 15 0 154708586 14320615424 13590 33554432000 4194304 4196468 140727113829568 140727113812112 139922597875447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
/proc/27208/statm: 3496244 13590 3169 1 0 3483478 0
[pid=27208/tid=27210] ppid=27206 vsize=13984976 memory=7883960649037381690 CPUtime=0.39 cores=0,2,4,6
/proc/27208/task/27210/stat : 27210 (java) R 27206 27206 21109 0 -1 4202560 6539 0 0 0 38 1 0 0 20 0 15 0 154708587 14320615424 13590 33554432000 4194304 4196468 140727113829568 139922602103504 139922199621350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27215] ppid=27206 vsize=13984976 memory=9005 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27215/stat : 27215 (java) S 27206 27206 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154708587 14320615424 13590 33554432000 4194304 4196468 140727113829568 139922527964304 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27216] ppid=27206 vsize=13984976 memory=140697484950860 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27216/stat : 27216 (java) S 27206 27206 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154708587 14320615424 13590 33554432000 4194304 4196468 140727113829568 139922526911504 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27217] ppid=27206 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27217/stat : 27217 (java) S 27206 27206 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154708587 14320615424 13590 33554432000 4194304 4196468 140727113829568 139922525858704 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27218] ppid=27206 vsize=13984976 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27218/stat : 27218 (java) S 27206 27206 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154708587 14320615424 13590 33554432000 4194304 4196468 140727113829568 139922524805904 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27220] ppid=27206 vsize=13984976 memory=140697484207744 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27220/stat : 27220 (java) S 27206 27206 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154708589 14320615424 13590 33554432000 4194304 4196468 140727113829568 139921710893424 139922597886594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27223] ppid=27206 vsize=13984976 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27223/stat : 27223 (java) S 27206 27206 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154708589 14320615424 13590 33554432000 4194304 4196468 140727113829568 139921709839392 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27224] ppid=27206 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27224/stat : 27224 (java) S 27206 27206 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154708589 14320615424 13590 33554432000 4194304 4196468 140727113829568 139921708786544 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27230] ppid=27206 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27230/stat : 27230 (java) S 27206 27206 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154708592 14320615424 13590 33554432000 4194304 4196468 140727113829568 139921707734864 139922597894043 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27231] ppid=27206 vsize=13984976 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27208/task/27231/stat : 27231 (java) R 27206 27206 21109 0 -1 4202560 822 0 0 0 7 0 0 0 20 0 15 0 154708592 14320615424 13590 33554432000 4194304 4196468 140727113829568 139921706683248 139922583892000 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27232] ppid=27206 vsize=13984976 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/27208/task/27232/stat : 27232 (java) R 27206 27206 21109 0 -1 4202560 266 0 0 0 6 0 0 0 20 0 15 0 154708592 14320615424 13590 33554432000 4194304 4196468 140727113829568 139921705630448 139922575470336 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27233] ppid=27206 vsize=13984976 memory=140697484207744 CPUtime=0.15 cores=0,2,4,6
/proc/27208/task/27233/stat : 27233 (java) R 27206 27206 21109 0 -1 1077944384 872 0 0 0 15 0 0 0 20 0 15 0 154708592 14320615424 13590 33554432000 4194304 4196468 140727113829568 139921704577648 139922597886594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27235] ppid=27206 vsize=13984976 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27235/stat : 27235 (java) S 27206 27206 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154708592 14320615424 13590 33554432000 4194304 4196468 140727113829568 139921703525088 139922597885653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
[pid=27208/tid=27236] ppid=27206 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27208/task/27236/stat : 27236 (java) S 27206 27206 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154708592 14320615424 13590 33554432000 4194304 4196468 140727113829568 139921702472368 139922597886594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37658624 140727113831575 140727113831751 140727113831751 140727113834447 0
Current children cumulated CPU time: 0.71 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 55744 KiB
Child status: 0
Real time (s): 0.47869
CPU time (s): 0.846605
CPU user time (s): 0.80088
CPU system time (s): 0.045725
CPU usage (%): 176.859
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 55744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.80088
system time used= 0.045725
maximum resident set size= 58868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10834
page faults= 0
swaps= 0
block input operations= 168
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1235
involuntary context switches= 61
# summary of solver processes directly reported to runsolver:
# pid: 27206
# total CPU time (s): 0.846605
# total CPU user time (s): 0.80088
# total CPU system time (s): 0.045725
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.020935 second user time and 0.042582 second system time
The end