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 (13047 MiB free)
memory of node 1: 16384 MiB (13089 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309709-1534315647/watcher-4309709-1534315647 -o /tmp/evaluation-result-4309709-1534315647/solver-4309709-1534315647 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534293911-23504 --watchdog 2580 xcsp_picat HOME/instance-4309709-1534315647.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=26527, runsolver pid=26524
[startup+0.100577 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26528
/proc/meminfo: memFree=26729196/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=2033560 memory=37476 CPUtime=0.09 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 1892 0 0 0 9 0 0 0 20 0 1 0 249127898 2082365440 9369 33554432000 4194304 5849940 140729738771584 140729738770584 4507503 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 508390 9369 607 405 0 505334 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 37476 KiB
[startup+0.209577 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26528
/proc/meminfo: memFree=26710548/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=2033560 memory=56124 CPUtime=0.2 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 1924 0 0 0 20 0 0 0 20 0 1 0 249127898 2082365440 14031 33554432000 4194304 5849940 140729738771584 140729738770584 4560366 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 508390 14031 625 405 0 505334 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 56124 KiB
[startup+0.309536 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 26528
/proc/meminfo: memFree=26691992/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=2033560 memory=78892 CPUtime=0.31 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 2023 0 0 0 30 1 0 0 20 0 1 0 249127898 2082365440 19723 33554432000 4194304 5849940 140729738771584 140729738770584 4458050 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 508390 19723 635 405 0 505334 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 78892 KiB
[startup+0.700338 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26528
/proc/meminfo: memFree=26654572/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=2052496 memory=132968 CPUtime=0.69 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 4852 0 0 0 66 3 0 0 20 0 1 0 249127898 2101755904 33242 33554432000 4194304 5849940 140729738771584 140729738770584 5300624 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 513124 33242 713 405 0 510068 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2052496 KiB
Current children cumulated memory: 132968 KiB
[startup+1.50033 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26528
/proc/meminfo: memFree=26599960/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=2168592 memory=249028 CPUtime=1.48 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 6793 0 0 0 144 4 0 0 20 0 1 0 249127898 2220638208 62257 33554432000 4194304 5849940 140729738771584 140729738770680 4488952 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 542148 62257 713 405 0 539092 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2168592 KiB
Current children cumulated memory: 249028 KiB
[startup+3.10954 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26528
/proc/meminfo: memFree=26399116/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=2302468 memory=383156 CPUtime=3.1 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 8754 0 0 0 303 7 0 0 20 0 1 0 249127898 2357727232 95789 33554432000 4194304 5849940 140729738771584 140729738770792 4488955 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 575617 95789 713 405 0 572561 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2302468 KiB
Current children cumulated memory: 383156 KiB
[startup+6.30032 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26528
/proc/meminfo: memFree=26125600/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=2583556 memory=664256 CPUtime=6.28 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 16513 0 0 0 616 12 0 0 20 0 1 0 249127898 2645561344 166064 33554432000 4194304 5849940 140729738771584 140729738770792 5432672 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 645889 166064 716 405 0 642833 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2583556 KiB
Current children cumulated memory: 664256 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26528
/proc/meminfo: memFree=26015660/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=2876812 memory=957288 CPUtime=12.69 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 108434 0 0 0 1245 24 0 0 20 0 1 0 249127898 2945855488 239322 33554432000 4194304 5849940 140729738771584 140729738770312 4217956 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 719203 239322 740 405 0 716147 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2876812 KiB
Current children cumulated memory: 957288 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26528
/proc/meminfo: memFree=26065860/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=2621512 memory=702200 CPUtime=25.48 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 198390 0 0 0 2514 34 0 0 20 0 1 0 249127898 2684428288 175550 33554432000 4194304 5849940 140729738771584 140729738770072 4203940 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 655378 175550 744 405 0 652322 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2621512 KiB
Current children cumulated memory: 702200 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26528
/proc/meminfo: memFree=26069652/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=2623144 memory=703848 CPUtime=51.09 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 326624 0 0 0 5067 42 0 0 20 0 1 0 249127898 2686099456 175962 33554432000 4194304 5849940 140729738771584 140729738770232 5317773 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 655786 175962 748 405 0 652730 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2623144 KiB
Current children cumulated memory: 703848 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26529
/proc/meminfo: memFree=25547184/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=3125928 memory=1206588 CPUtime=102.28 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 497101 0 0 0 10143 85 0 0 20 0 1 0 249127898 3200950272 301647 33554432000 4194304 5849940 140729738771584 140729738770344 5317696 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 781482 301647 748 405 0 778426 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 3125928 KiB
Current children cumulated memory: 1206588 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26537
/proc/meminfo: memFree=25469932/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=3146796 memory=1227500 CPUtime=162.27 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 511150 0 0 0 16139 88 0 0 20 0 1 0 249127898 3222319104 306875 33554432000 4194304 5849940 140729738771584 140729738770072 4211703 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 786699 306875 748 405 0 783643 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 3146796 KiB
Current children cumulated memory: 1227500 KiB
[startup+222.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/187 26598
/proc/meminfo: memFree=24564140/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=3125552 memory=1206168 CPUtime=222.26 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 733439 0 0 0 22107 119 0 0 20 0 1 0 249127898 3200565248 301542 33554432000 4194304 5849940 140729738771584 140729738769832 5371960 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 781388 301542 748 405 0 778332 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 3125552 KiB
Current children cumulated memory: 1206168 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 26599
/proc/meminfo: memFree=24576720/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=3141452 memory=1222156 CPUtime=282.25 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 800765 0 0 0 28103 122 0 0 20 0 1 0 249127898 3216846848 305539 33554432000 4194304 5849940 140729738771584 140729738770072 5375589 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 785363 305539 748 405 0 782307 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 3141452 KiB
Current children cumulated memory: 1222156 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 26600
/proc/meminfo: memFree=24592940/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=3122728 memory=1203432 CPUtime=342.25 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 886913 0 0 0 34075 150 0 0 20 0 1 0 249127898 3197673472 300858 33554432000 4194304 5849940 140729738771584 140729738770232 5360731 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 780682 300858 748 405 0 777626 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 3122728 KiB
Current children cumulated memory: 1203432 KiB
[startup+402.3 s]
/proc/loadavg: 2.08 2.01 2.05 3/187 26601
/proc/meminfo: memFree=24574048/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=3140640 memory=1221344 CPUtime=402.24 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 957452 0 0 0 40055 169 0 0 20 0 1 0 249127898 3216015360 305336 33554432000 4194304 5849940 140729738771584 140729738770744 5339655 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 785160 305336 748 405 0 782104 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 3140640 KiB
Current children cumulated memory: 1221344 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/187 26603
/proc/meminfo: memFree=24585340/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=3129024 memory=1209728 CPUtime=462.23 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 996869 0 0 0 46029 194 0 0 20 0 1 0 249127898 3204120576 302432 33554432000 4194304 5849940 140729738771584 140729738769848 4226528 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 782256 302432 748 405 0 779200 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 3129024 KiB
Current children cumulated memory: 1209728 KiB
################
# More data... #
################
/proc/26527/statm: 792921 312550 748 405 0 789865 0
Current children cumulated CPU time: 1722.19 s
Current children cumulated vsize: 3171684 KiB
Current children cumulated memory: 1250200 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 26666
/proc/meminfo: memFree=24496072/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=3171684 memory=1250200 CPUtime=1782.19 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 1308999 0 0 0 177600 619 0 0 20 0 1 0 249127898 3247804416 312550 33554432000 4194304 5849940 140729738771584 140729738770584 140131521077127 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 792921 312550 748 405 0 789865 0
Current children cumulated CPU time: 1782.19 s
Current children cumulated vsize: 3171684 KiB
Current children cumulated memory: 1250200 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26667
/proc/meminfo: memFree=24443528/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=3172080 memory=1250596 CPUtime=1842.2 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 1313974 0 0 0 183587 633 0 0 20 0 1 0 249127898 3248209920 312649 33554432000 4194304 5849940 140729738771584 140729738770584 5311766 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 793020 312649 748 405 0 789964 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 3172080 KiB
Current children cumulated memory: 1250596 KiB
[startup+1902.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 26668
/proc/meminfo: memFree=24523480/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=3171620 memory=1254232 CPUtime=1902.2 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 1329787 0 0 0 189564 656 0 0 20 0 1 0 249127898 3247738880 313558 33554432000 4194304 5849940 140729738771584 140729738770456 5416650 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 792905 313558 748 405 0 789849 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 3171620 KiB
Current children cumulated memory: 1254232 KiB
[startup+1962.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 26676
/proc/meminfo: memFree=24505584/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=3171620 memory=1254232 CPUtime=1962.2 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 1340145 0 0 0 195549 671 0 0 20 0 1 0 249127898 3247738880 313558 33554432000 4194304 5849940 140729738771584 140729738770584 140131521077127 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 792905 313558 748 405 0 789849 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 3171620 KiB
Current children cumulated memory: 1254232 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 26677
/proc/meminfo: memFree=24505592/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=3171620 memory=1254232 CPUtime=2022.21 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 1346813 0 0 0 201536 685 0 0 20 0 1 0 249127898 3247738880 313558 33554432000 4194304 5849940 140729738771584 140729738770584 5340450 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 792905 313558 748 405 0 789849 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 3171620 KiB
Current children cumulated memory: 1254232 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26678
/proc/meminfo: memFree=24482940/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=3195140 memory=1276760 CPUtime=2082.21 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 1368432 0 0 0 207514 707 0 0 20 0 1 0 249127898 3271823360 319190 33554432000 4194304 5849940 140729738771584 140729738770584 5340091 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 798785 319190 748 405 0 795729 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 3195140 KiB
Current children cumulated memory: 1276760 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26679
/proc/meminfo: memFree=24520920/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=3153492 memory=1238932 CPUtime=2142.22 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 1374204 0 0 0 213504 718 0 0 20 0 1 0 249127898 3229175808 309733 33554432000 4194304 5849940 140729738771584 140729738770744 140131521077127 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 788373 309733 748 405 0 785317 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 3153492 KiB
Current children cumulated memory: 1238932 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26680
/proc/meminfo: memFree=24495800/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=3616436 memory=1343652 CPUtime=2202.22 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 1384981 0 0 0 219491 731 0 0 20 0 1 0 249127898 3703230464 335913 33554432000 4194304 5849940 140729738771584 140729738770584 5401593 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 904109 335913 748 405 0 901053 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 3616436 KiB
Current children cumulated memory: 1343652 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26682
/proc/meminfo: memFree=24241412/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=3435532 memory=1518180 CPUtime=2262.23 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 1405206 0 0 0 225460 763 0 0 20 0 1 0 249127898 3517984768 379545 33554432000 4194304 5849940 140729738771584 140729738770344 5335793 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 858883 379545 748 405 0 855827 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 3435532 KiB
Current children cumulated memory: 1518180 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26683
/proc/meminfo: memFree=24502812/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=3173384 memory=1256224 CPUtime=2322.23 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 1413674 0 0 0 231441 782 0 0 20 0 1 0 249127898 3249545216 314056 33554432000 4194304 5849940 140729738771584 140729738770584 5437768 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 793346 314056 748 405 0 790290 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 3173384 KiB
Current children cumulated memory: 1256224 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 26684
/proc/meminfo: memFree=24502816/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=3173384 memory=1256224 CPUtime=2382.24 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 1421545 0 0 0 237428 796 0 0 20 0 1 0 249127898 3249545216 314056 33554432000 4194304 5849940 140729738771584 140729738770232 5395652 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 793346 314056 748 405 0 790290 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 3173384 KiB
Current children cumulated memory: 1256224 KiB
[startup+2442.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 26686
/proc/meminfo: memFree=24467108/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=3173788 memory=1256628 CPUtime=2442.24 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 1434453 0 0 0 243415 809 0 0 20 0 1 0 249127898 3249958912 314157 33554432000 4194304 5849940 140729738771584 140729738770744 5437990 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 793447 314157 748 405 0 790391 0
Current children cumulated CPU time: 2442.24 s
Current children cumulated vsize: 3173788 KiB
Current children cumulated memory: 1256628 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 26687
/proc/meminfo: memFree=24480144/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=3173344 memory=1256184 CPUtime=2502.25 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 1448597 0 0 0 249389 836 0 0 20 0 1 0 249127898 3249504256 314046 33554432000 4194304 5849940 140729738771584 140729738770584 140131521077127 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 793336 314046 748 405 0 790280 0
Current children cumulated CPU time: 2502.25 s
Current children cumulated vsize: 3173344 KiB
Current children cumulated memory: 1256184 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.02 2.05 3/187 26688
/proc/meminfo: memFree=24480032/32770624 swapFree=67108804/67108860
[pid=26527] ppid=26524 vsize=3173344 memory=1256184 CPUtime=2519.96 cores=0,2,4,6
/proc/26527/stat : 26527 (xcsp_picat) R 26524 26527 23473 0 -1 4202496 1448843 0 0 0 251155 841 0 0 20 0 1 0 249127898 3249504256 314046 33554432000 4194304 5849940 140729738771584 140729738770744 140131521077127 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 16216064 140729738777782 140729738777860 140729738777860 140729738780618 0
/proc/26527/statm: 793336 314046 748 405 0 790280 0
Current children cumulated CPU time: 2519.96 s
Current children cumulated vsize: 3173344 KiB
Current children cumulated memory: 1256184 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 26527 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.55 s, system=8.42294 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.02
CPU time (s): 2519.98
CPU user time (s): 2511.55
CPU system time (s): 8.42294
CPU usage (%): 99.9984
Max. virtual memory (cumulated for all children) (KiB): 3755464
Max. memory (cumulated for all children) (KiB): 1542972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.55
system time used= 8.42294
maximum resident set size= 1543164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1448843
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= 32
involuntary context switches= 1852
# summary of solver processes directly reported to runsolver:
# pid: 26527
# total CPU time (s): 2519.98
# total CPU user time (s): 2511.55
# total CPU system time (s): 8.42294
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6195 second user time and 17.7454 second system time
The end