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 (15197 MiB free)
memory of node 1: 16384 MiB (15639 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395439-1568323682/watcher-4395439-1568323682 -o /tmp/evaluation-result-4395439-1568323682/solver-4395439-1568323682 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568323474-16008 --watchdog 2580 xcsp_picat HOME/instance-4395439-1568323682.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16538, runsolver pid=16535
Current StackSize limit: 8192 KiB
[startup+0.100119 s]*
/proc/loadavg: 1.98 1.95 2.01 3/199 16539
/proc/meminfo: memFree=31546588/32770624 swapFree=66993492/67108860
[pid=16538] ppid=16535 vsize=2050060 memory=35948 CPUtime=0.09 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 4806 0 0 0 9 0 0 0 20 0 1 0 408619687 2099261440 8987 33554432000 4194304 5870510 140737012236896 140737012234040 5317972 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 512515 8987 886 410 0 507988 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2050060 KiB
Current children cumulated memory: 35948 KiB
[startup+0.209734 s]*
/proc/loadavg: 1.98 1.95 2.01 3/199 16539
/proc/meminfo: memFree=31535800/32770624 swapFree=66993492/67108860
[pid=16538] ppid=16535 vsize=2060300 memory=45596 CPUtime=0.21 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 7450 0 0 0 20 1 0 0 20 0 1 0 408619687 2109747200 11399 33554432000 4194304 5870510 140737012236896 140737012234040 5287642 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 515075 11399 895 410 0 510548 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2060300 KiB
Current children cumulated memory: 45596 KiB
[startup+0.309468 s]*
/proc/loadavg: 1.98 1.95 2.01 3/199 16539
/proc/meminfo: memFree=31531708/32770624 swapFree=66993492/67108860
[pid=16538] ppid=16535 vsize=2067060 memory=48880 CPUtime=0.31 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 8315 0 0 0 30 1 0 0 20 0 1 0 408619687 2116669440 12220 33554432000 4194304 5870510 140737012236896 140737012234040 5352861 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 516765 12220 895 410 0 512238 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2067060 KiB
Current children cumulated memory: 48880 KiB
[startup+0.700356 s]
/proc/loadavg: 1.98 1.95 2.01 3/199 16539
/proc/meminfo: memFree=31528296/32770624 swapFree=66993492/67108860
[pid=16538] ppid=16535 vsize=2077776 memory=58688 CPUtime=0.7 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 10797 0 0 0 68 2 0 0 20 0 1 0 408619687 2127642624 14672 33554432000 4194304 5870510 140737012236896 140737012234040 5307152 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 519444 14672 896 410 0 514917 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 2077776 KiB
Current children cumulated memory: 58688 KiB
[startup+1.50035 s]
/proc/loadavg: 1.98 1.95 2.01 3/199 16539
/proc/meminfo: memFree=31500928/32770624 swapFree=66993492/67108860
[pid=16538] ppid=16535 vsize=2089740 memory=73408 CPUtime=1.48 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 12428 0 0 0 146 2 0 0 20 0 1 0 408619687 2139893760 18352 33554432000 4194304 5870510 140737012236896 140737012235064 5282274 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 522435 18352 896 410 0 517908 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2089740 KiB
Current children cumulated memory: 73408 KiB
[startup+3.10943 s]
/proc/loadavg: 1.98 1.95 2.01 3/199 16539
/proc/meminfo: memFree=31507560/32770624 swapFree=66993492/67108860
[pid=16538] ppid=16535 vsize=2089740 memory=73500 CPUtime=3.1 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 16624 0 0 0 307 3 0 0 20 0 1 0 408619687 2139893760 18375 33554432000 4194304 5870510 140737012236896 140737012235704 5258854 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 522435 18375 919 410 0 517908 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2089740 KiB
Current children cumulated memory: 73500 KiB
[startup+6.30034 s]
/proc/loadavg: 1.98 1.95 2.01 3/199 16539
/proc/meminfo: memFree=31507876/32770624 swapFree=66993492/67108860
[pid=16538] ppid=16535 vsize=2089740 memory=73556 CPUtime=6.29 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 21143 0 0 0 626 3 0 0 20 0 1 0 408619687 2139893760 18389 33554432000 4194304 5870510 140737012236896 140737012235704 5258656 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 522435 18389 919 410 0 517908 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2089740 KiB
Current children cumulated memory: 73556 KiB
[startup+12.7003 s]
/proc/loadavg: 1.98 1.95 2.01 3/199 16539
/proc/meminfo: memFree=31526364/32770624 swapFree=66993492/67108860
[pid=16538] ppid=16535 vsize=2071488 memory=54684 CPUtime=12.68 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 29611 0 0 0 1265 3 0 0 20 0 1 0 408619687 2121203712 13671 33554432000 4194304 5870510 140737012236896 140737012235608 5288882 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 517872 13671 928 410 0 513345 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2071488 KiB
Current children cumulated memory: 54684 KiB
[startup+25.5003 s]
/proc/loadavg: 1.99 1.95 2.01 3/200 16542
/proc/meminfo: memFree=31509980/32770624 swapFree=66993492/67108860
[pid=16538] ppid=16535 vsize=2084780 memory=69224 CPUtime=25.49 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 40751 0 0 0 2545 4 0 0 20 0 1 0 408619687 2134814720 17306 33554432000 4194304 5870510 140737012236896 140737012235336 5283024 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 521195 17306 928 410 0 516668 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2084780 KiB
Current children cumulated memory: 69224 KiB
[startup+51.1095 s]
/proc/loadavg: 1.99 1.96 2.01 3/199 16543
/proc/meminfo: memFree=31496620/32770624 swapFree=66993504/67108860
[pid=16538] ppid=16535 vsize=2099768 memory=83560 CPUtime=51.1 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 49304 0 0 0 5105 5 0 0 20 0 1 0 408619687 2150162432 20890 33554432000 4194304 5870510 140737012236896 140737012235336 5282464 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 524942 20890 928 410 0 520415 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2099768 KiB
Current children cumulated memory: 83560 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 1.96 2.01 3/199 16547
/proc/meminfo: memFree=31470940/32770624 swapFree=66993504/67108860
[pid=16538] ppid=16535 vsize=2110400 memory=95848 CPUtime=102.29 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 63809 0 0 0 10222 7 0 0 20 0 1 0 408619687 2161049600 23962 33554432000 4194304 5870510 140737012236896 140737012235336 5258758 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 527600 23962 928 410 0 523073 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2110400 KiB
Current children cumulated memory: 95848 KiB
[startup+162.3 s]
/proc/loadavg: 1.94 1.95 2.01 3/200 16553
/proc/meminfo: memFree=31451576/32770624 swapFree=66993504/67108860
[pid=16538] ppid=16535 vsize=2114832 memory=101992 CPUtime=162.28 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 71448 0 0 0 16221 7 0 0 20 0 1 0 408619687 2165587968 25498 33554432000 4194304 5870510 140737012236896 140737012235464 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 528708 25498 928 410 0 524181 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2114832 KiB
Current children cumulated memory: 101992 KiB
[startup+222.3 s]
/proc/loadavg: 2.26 2.03 2.03 3/199 16564
/proc/meminfo: memFree=31441348/32770624 swapFree=66993512/67108860
[pid=16538] ppid=16535 vsize=2126328 memory=111592 CPUtime=222.28 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 80550 0 0 0 22221 7 0 0 20 0 1 0 408619687 2177359872 27898 33554432000 4194304 5870510 140737012236896 140737012235464 5282251 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 531582 27898 928 410 0 527055 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2126328 KiB
Current children cumulated memory: 111592 KiB
[startup+282.3 s]
/proc/loadavg: 2.29 2.09 2.05 3/199 16568
/proc/meminfo: memFree=31417384/32770624 swapFree=66993512/67108860
[pid=16538] ppid=16535 vsize=2133508 memory=120424 CPUtime=282.3 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 81427 0 0 0 28222 8 0 0 20 0 1 0 408619687 2184712192 30106 33554432000 4194304 5870510 140737012236896 140737012235464 5282721 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 533377 30106 928 410 0 528850 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2133508 KiB
Current children cumulated memory: 120424 KiB
[startup+342.3 s]
/proc/loadavg: 2.10 2.08 2.05 3/200 16574
/proc/meminfo: memFree=31461728/32770624 swapFree=66993512/67108860
[pid=16538] ppid=16535 vsize=2133508 memory=120424 CPUtime=342.3 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 81579 0 0 0 34222 8 0 0 20 0 1 0 408619687 2184712192 30106 33554432000 4194304 5870510 140737012236896 140737012235464 5282606 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 533377 30106 928 410 0 528850 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2133508 KiB
Current children cumulated memory: 120424 KiB
[startup+402.3 s]
/proc/loadavg: 2.11 2.08 2.05 3/199 16700
/proc/meminfo: memFree=30800844/32770624 swapFree=66993512/67108860
[pid=16538] ppid=16535 vsize=2137044 memory=123584 CPUtime=402.3 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 82419 0 0 0 40222 8 0 0 20 0 1 0 408619687 2188333056 30896 33554432000 4194304 5870510 140737012236896 140737012235464 5282574 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 534261 30896 928 410 0 529734 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2137044 KiB
Current children cumulated memory: 123584 KiB
[startup+462.3 s]
/proc/loadavg: 2.04 2.07 2.05 3/199 16704
/proc/meminfo: memFree=30528316/32770624 swapFree=66993512/67108860
[pid=16538] ppid=16535 vsize=2152100 memory=138576 CPUtime=462.29 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 84327 0 0 0 46221 8 0 0 20 0 1 0 408619687 2203750400 34644 33554432000 4194304 5870510 140737012236896 140737012235336 5305424 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 538025 34644 928 410 0 533498 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2152100 KiB
Current children cumulated memory: 138576 KiB
################
# More data... #
################
/proc/16538/statm: 557861 53432 928 410 0 553334 0
Current children cumulated CPU time: 1782.43 s
Current children cumulated vsize: 2231444 KiB
Current children cumulated memory: 213728 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 16842
/proc/meminfo: memFree=30373700/32770624 swapFree=66993568/67108860
[pid=16538] ppid=16535 vsize=2231444 memory=213728 CPUtime=1842.43 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 105666 0 0 0 184230 13 0 0 20 0 1 0 408619687 2284998656 53432 33554432000 4194304 5870510 140737012236896 140737012235384 5282738 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 557861 53432 928 410 0 553334 0
Current children cumulated CPU time: 1842.43 s
Current children cumulated vsize: 2231444 KiB
Current children cumulated memory: 213728 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16847
/proc/meminfo: memFree=30359864/32770624 swapFree=66993568/67108860
[pid=16538] ppid=16535 vsize=2231444 memory=213728 CPUtime=1902.43 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 110783 0 0 0 190230 13 0 0 20 0 1 0 408619687 2284998656 53432 33554432000 4194304 5870510 140737012236896 140737012235384 5283083 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 557861 53432 928 410 0 553334 0
Current children cumulated CPU time: 1902.43 s
Current children cumulated vsize: 2231444 KiB
Current children cumulated memory: 213728 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 16853
/proc/meminfo: memFree=30286020/32770624 swapFree=66993568/67108860
[pid=16538] ppid=16535 vsize=2247772 memory=232248 CPUtime=1962.44 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 111910 0 0 0 196230 14 0 0 20 0 1 0 408619687 2301718528 58062 33554432000 4194304 5870510 140737012236896 140737012235384 5282621 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 561943 58062 928 410 0 557416 0
Current children cumulated CPU time: 1962.44 s
Current children cumulated vsize: 2247772 KiB
Current children cumulated memory: 232248 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 16865
/proc/meminfo: memFree=30380436/32770624 swapFree=66993572/67108860
[pid=16538] ppid=16535 vsize=2247772 memory=232248 CPUtime=2022.44 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 111919 0 0 0 202230 14 0 0 20 0 1 0 408619687 2301718528 58062 33554432000 4194304 5870510 140737012236896 140737012235384 5277231 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 561943 58062 928 410 0 557416 0
Current children cumulated CPU time: 2022.44 s
Current children cumulated vsize: 2247772 KiB
Current children cumulated memory: 232248 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 16895
/proc/meminfo: memFree=30413868/32770624 swapFree=66993588/67108860
[pid=16538] ppid=16535 vsize=2247772 memory=232248 CPUtime=2082.45 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 111931 0 0 0 208231 14 0 0 20 0 1 0 408619687 2301718528 58062 33554432000 4194304 5870510 140737012236896 140737012235384 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 561943 58062 928 410 0 557416 0
Current children cumulated CPU time: 2082.45 s
Current children cumulated vsize: 2247772 KiB
Current children cumulated memory: 232248 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 16901
/proc/meminfo: memFree=30357804/32770624 swapFree=66993588/67108860
[pid=16538] ppid=16535 vsize=2247772 memory=232248 CPUtime=2142.45 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 116873 0 0 0 214231 14 0 0 20 0 1 0 408619687 2301718528 58062 33554432000 4194304 5870510 140737012236896 140737012235384 5282464 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 561943 58062 928 410 0 557416 0
Current children cumulated CPU time: 2142.45 s
Current children cumulated vsize: 2247772 KiB
Current children cumulated memory: 232248 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 16905
/proc/meminfo: memFree=30358116/32770624 swapFree=66993588/67108860
[pid=16538] ppid=16535 vsize=2247772 memory=232248 CPUtime=2202.46 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 116983 0 0 0 220232 14 0 0 20 0 1 0 408619687 2301718528 58062 33554432000 4194304 5870510 140737012236896 140737012235384 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 561943 58062 928 410 0 557416 0
Current children cumulated CPU time: 2202.46 s
Current children cumulated vsize: 2247772 KiB
Current children cumulated memory: 232248 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 16909
/proc/meminfo: memFree=30385144/32770624 swapFree=66993588/67108860
[pid=16538] ppid=16535 vsize=2247772 memory=232248 CPUtime=2262.47 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 117367 0 0 0 226232 15 0 0 20 0 1 0 408619687 2301718528 58062 33554432000 4194304 5870510 140737012236896 140737012235384 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 561943 58062 928 410 0 557416 0
Current children cumulated CPU time: 2262.47 s
Current children cumulated vsize: 2247772 KiB
Current children cumulated memory: 232248 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 16915
/proc/meminfo: memFree=30377572/32770624 swapFree=66993588/67108860
[pid=16538] ppid=16535 vsize=2274168 memory=258832 CPUtime=2322.47 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 118605 0 0 0 232232 15 0 0 20 0 1 0 408619687 2328748032 64708 33554432000 4194304 5870510 140737012236896 140737012235384 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 568542 64708 928 410 0 564015 0
Current children cumulated CPU time: 2322.47 s
Current children cumulated vsize: 2274168 KiB
Current children cumulated memory: 258832 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16919
/proc/meminfo: memFree=30351320/32770624 swapFree=66993588/67108860
[pid=16538] ppid=16535 vsize=2274168 memory=258832 CPUtime=2382.48 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 121690 0 0 0 238233 15 0 0 20 0 1 0 408619687 2328748032 64708 33554432000 4194304 5870510 140737012236896 140737012235384 5283135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 568542 64708 928 410 0 564015 0
Current children cumulated CPU time: 2382.48 s
Current children cumulated vsize: 2274168 KiB
Current children cumulated memory: 258832 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 16923
/proc/meminfo: memFree=30273904/32770624 swapFree=66993588/67108860
[pid=16538] ppid=16535 vsize=2274168 memory=258832 CPUtime=2442.48 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 121754 0 0 0 244233 15 0 0 20 0 1 0 408619687 2328748032 64708 33554432000 4194304 5870510 140737012236896 140737012235384 5282574 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 568542 64708 928 410 0 564015 0
Current children cumulated CPU time: 2442.48 s
Current children cumulated vsize: 2274168 KiB
Current children cumulated memory: 258832 KiB
[startup+2502.3 s]
/proc/loadavg: 2.66 2.20 2.10 3/200 16930
/proc/meminfo: memFree=30336864/32770624 swapFree=66993592/67108860
[pid=16538] ppid=16535 vsize=2274168 memory=260300 CPUtime=2502.49 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 122269 0 0 0 250234 15 0 0 20 0 1 0 408619687 2328748032 65075 33554432000 4194304 5870510 140737012236896 140737012235384 5282717 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 568542 65075 928 410 0 564015 0
Current children cumulated CPU time: 2502.49 s
Current children cumulated vsize: 2274168 KiB
Current children cumulated memory: 260300 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.52 2.19 2.10 3/199 16930
/proc/meminfo: memFree=30318724/32770624 swapFree=66993592/67108860
[pid=16538] ppid=16535 vsize=2274168 memory=260300 CPUtime=2520.09 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 122297 0 0 0 251994 15 0 0 20 0 1 0 408619687 2328748032 65075 33554432000 4194304 5870510 140737012236896 140737012235384 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 568542 65075 928 410 0 564015 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 2274168 KiB
Current children cumulated memory: 260300 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 16538 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.94 s, system=0.160013 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.52 2.19 2.10 3/199 16930
/proc/meminfo: memFree=30318724/32770624 swapFree=66993592/67108860
[pid=16538] ppid=16535 vsize=2274168 memory=260300 CPUtime=2520.09 cores=1,3,5,7
/proc/16538/stat : 16538 (xcsp_picat) R 16535 16538 15976 0 -1 4202496 122297 0 0 0 251994 15 0 0 20 0 1 0 408619687 2328748032 65075 33554432000 4194304 5870510 140737012236896 140737012235384 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 32579584 140737012241439 140737012241517 140737012241517 140737012244426 0
/proc/16538/statm: 568542 65075 928 410 0 564015 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 2274168 KiB
Current children cumulated memory: 260300 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.9
CPU time (s): 2520.1
CPU user time (s): 2519.94
CPU system time (s): 0.160013
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 2274168
Max. memory (cumulated for all children) (KiB): 260300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.94
system time used= 0.160013
maximum resident set size= 260300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122297
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= 23
involuntary context switches= 865
# summary of solver processes directly reported to runsolver:
# pid: 16538
# total CPU time (s): 2520.1
# total CPU user time (s): 2519.94
# total CPU system time (s): 0.160013
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.43522 second user time and 18.5257 second system time
The end