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 (8223 MiB free)
memory of node 1: 16384 MiB (13289 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294431-1532449351/watcher-4294431-1532449351 -o /tmp/evaluation-result-4294431-1532449351/solver-4294431-1532449351 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532432947-16184 --watchdog 2580 xcsp_picat HOME/instance-4294431-1532449351.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=18416, runsolver pid=18413
Current StackSize limit: 8192 KiB
[startup+0.100162 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18417
/proc/meminfo: memFree=22007484/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=111688 memory=28488 CPUtime=0.1 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 1648 0 0 0 10 0 0 0 20 0 1 0 62498314 114368512 7122 33554432000 4194304 5849740 140720458206496 140720458206496 4505503 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 27922 7122 607 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 28488 KiB
[startup+0.209739 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18417
/proc/meminfo: memFree=21991100/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=111688 memory=40776 CPUtime=0.21 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 1654 0 0 0 21 0 0 0 20 0 1 0 62498314 114368512 10194 33554432000 4194304 5849740 140720458206496 140720458206496 4488823 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 27922 10194 607 405 0 24866 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 40776 KiB
[startup+0.309617 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 18417
/proc/meminfo: memFree=21974592/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=119504 memory=59404 CPUtime=0.31 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 1714 0 0 0 31 0 0 0 20 0 1 0 62498314 122372096 14851 33554432000 4194304 5849740 140720458206496 140720458206496 4548525 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 29876 14851 619 405 0 26820 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 119504 KiB
Current children cumulated memory: 59404 KiB
[startup+0.700375 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18417
/proc/meminfo: memFree=21969044/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=144880 memory=66484 CPUtime=0.69 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 4166 0 0 0 67 2 0 0 20 0 1 0 62498314 148357120 16621 33554432000 4194304 5849740 140720458206496 140720458205464 139650696089479 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 36220 16621 692 405 0 33164 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 144880 KiB
Current children cumulated memory: 66484 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18417
/proc/meminfo: memFree=21961196/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=151536 memory=72028 CPUtime=1.49 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 5591 0 0 0 142 7 0 0 20 0 1 0 62498314 155172864 18007 33554432000 4194304 5849740 140720458206496 140720458205576 5365344 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 37884 18007 692 405 0 34828 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 151536 KiB
Current children cumulated memory: 72028 KiB
[startup+3.10921 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18417
/proc/meminfo: memFree=21957108/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=153660 memory=75400 CPUtime=3.1 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 7790 0 0 0 302 8 0 0 20 0 1 0 62498314 157347840 18850 33554432000 4194304 5849740 140720458206496 140720458205576 139650696089479 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 38415 18850 720 405 0 35359 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 153660 KiB
Current children cumulated memory: 75400 KiB
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18417
/proc/meminfo: memFree=21956976/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=153660 memory=75416 CPUtime=6.29 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 9932 0 0 0 615 14 0 0 20 0 1 0 62498314 157347840 18854 33554432000 4194304 5849740 140720458206496 140720458205496 5312778 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 38415 18854 724 405 0 35359 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 153660 KiB
Current children cumulated memory: 75416 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18417
/proc/meminfo: memFree=21956240/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=154532 memory=76216 CPUtime=12.69 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 12221 0 0 0 1247 22 0 0 20 0 1 0 62498314 158240768 19054 33554432000 4194304 5849740 140720458206496 140720458205496 139650696089479 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 38633 19054 724 405 0 35577 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 154532 KiB
Current children cumulated memory: 76216 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18417
/proc/meminfo: memFree=21947688/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=161280 memory=83036 CPUtime=25.49 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 18550 0 0 0 2513 36 0 0 20 0 1 0 62498314 165150720 20759 33554432000 4194304 5849740 140720458206496 140720458205496 139650696089479 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 40320 20759 724 405 0 37264 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 161280 KiB
Current children cumulated memory: 83036 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18417
/proc/meminfo: memFree=21943240/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=166640 memory=88168 CPUtime=51.1 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 27049 0 0 0 5050 60 0 0 20 0 1 0 62498314 170639360 22042 33554432000 4194304 5849740 140720458206496 140720458205496 139650696089479 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 41660 22042 724 405 0 38604 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 166640 KiB
Current children cumulated memory: 88168 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18418
/proc/meminfo: memFree=21937948/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=172104 memory=93660 CPUtime=102.29 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 34262 0 0 0 10131 98 0 0 20 0 1 0 62498314 176234496 23415 33554432000 4194304 5849740 140720458206496 140720458205496 139650696089479 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 43026 23415 724 405 0 39970 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 172104 KiB
Current children cumulated memory: 93660 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18420
/proc/meminfo: memFree=21950484/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=177820 memory=97312 CPUtime=162.29 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 43841 0 0 0 16094 135 0 0 20 0 1 0 62498314 182087680 24328 33554432000 4194304 5849740 140720458206496 140720458205496 139650696089479 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 44455 24328 724 405 0 41399 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 177820 KiB
Current children cumulated memory: 97312 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18421
/proc/meminfo: memFree=22063672/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=192324 memory=113892 CPUtime=222.3 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 55818 0 0 0 22063 167 0 0 20 0 1 0 62498314 196939776 28473 33554432000 4194304 5849740 140720458206496 140720458205496 139650696089479 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 48081 28473 724 405 0 45025 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 192324 KiB
Current children cumulated memory: 113892 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18422
/proc/meminfo: memFree=22030108/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=194872 memory=116572 CPUtime=282.29 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 69308 0 0 0 28034 195 0 0 20 0 1 0 62498314 199548928 29143 33554432000 4194304 5849740 140720458206496 140720458205496 139650696089479 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 48718 29143 724 405 0 45662 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 194872 KiB
Current children cumulated memory: 116572 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18424
/proc/meminfo: memFree=22016196/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=196236 memory=121704 CPUtime=342.29 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 79798 0 0 0 34003 226 0 0 20 0 1 0 62498314 200945664 30426 33554432000 4194304 5849740 140720458206496 140720458205496 139650696089479 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 49059 30426 724 405 0 46003 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 196236 KiB
Current children cumulated memory: 121704 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18425
/proc/meminfo: memFree=22004892/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=198612 memory=129444 CPUtime=402.29 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 93834 0 0 0 39974 255 0 0 20 0 1 0 62498314 203378688 32361 33554432000 4194304 5849740 140720458206496 140720458205496 139650696089479 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 49653 32361 724 405 0 46597 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 198612 KiB
Current children cumulated memory: 129444 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 18435
/proc/meminfo: memFree=21969244/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=212124 memory=143080 CPUtime=462.28 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 102281 0 0 0 45948 280 0 0 20 0 1 0 62498314 217214976 35770 33554432000 4194304 5849740 140720458206496 140720458205496 139650696089479 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 53031 35770 725 405 0 49975 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 212124 KiB
Current children cumulated memory: 143080 KiB
################
# More data... #
################
/proc/18416/statm: 75861 58607 725 405 0 72805 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 303444 KiB
Current children cumulated memory: 234428 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18964
/proc/meminfo: memFree=22163988/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=270676 memory=201688 CPUtime=1782.24 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 444282 0 0 0 177709 515 0 0 20 0 1 0 62498314 277172224 50422 33554432000 4194304 5849740 140720458206496 140720458205496 139650696089479 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 67669 50422 725 405 0 64613 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 270676 KiB
Current children cumulated memory: 201688 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18965
/proc/meminfo: memFree=22125720/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=303444 memory=234456 CPUtime=1842.24 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 447837 0 0 0 183701 523 0 0 20 0 1 0 62498314 310726656 58614 33554432000 4194304 5849740 140720458206496 140720458205496 139650696089479 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 75861 58614 725 405 0 72805 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 303444 KiB
Current children cumulated memory: 234456 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 18966
/proc/meminfo: memFree=22097752/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=320684 memory=251696 CPUtime=1902.23 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 453767 0 0 0 189690 533 0 0 20 0 1 0 62498314 328380416 62924 33554432000 4194304 5849740 140720458206496 140720458205496 5437616 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 80171 62924 725 405 0 77115 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 320684 KiB
Current children cumulated memory: 251696 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18968
/proc/meminfo: memFree=22093736/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=320684 memory=251696 CPUtime=1962.24 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 457253 0 0 0 195682 542 0 0 20 0 1 0 62498314 328380416 62924 33554432000 4194304 5849740 140720458206496 140720458205496 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 80171 62924 725 405 0 77115 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 320684 KiB
Current children cumulated memory: 251696 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18969
/proc/meminfo: memFree=22097024/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=331084 memory=262096 CPUtime=2022.24 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 461772 0 0 0 201673 551 0 0 20 0 1 0 62498314 339030016 65524 33554432000 4194304 5849740 140720458206496 140720458205496 139650696089479 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 82771 65524 725 405 0 79715 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 331084 KiB
Current children cumulated memory: 262096 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18970
/proc/meminfo: memFree=22033764/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=393936 memory=324948 CPUtime=2082.24 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 473291 0 0 0 207663 561 0 0 20 0 1 0 62498314 403390464 81237 33554432000 4194304 5849740 140720458206496 140720458205496 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 98484 81237 725 405 0 95428 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 393936 KiB
Current children cumulated memory: 324948 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18972
/proc/meminfo: memFree=22024888/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=393936 memory=324948 CPUtime=2142.23 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 477160 0 0 0 213655 568 0 0 20 0 1 0 62498314 403390464 81237 33554432000 4194304 5849740 140720458206496 140720458205496 5335529 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 98484 81237 725 405 0 95428 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 393936 KiB
Current children cumulated memory: 324948 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18973
/proc/meminfo: memFree=21953768/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=459472 memory=390484 CPUtime=2202.23 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 483093 0 0 0 219647 576 0 0 20 0 1 0 62498314 470499328 97621 33554432000 4194304 5849740 140720458206496 140720458205496 139650696089479 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 114868 97621 725 405 0 111812 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 459472 KiB
Current children cumulated memory: 390484 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18981
/proc/meminfo: memFree=21953204/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=459472 memory=390484 CPUtime=2262.23 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 485413 0 0 0 225641 582 0 0 20 0 1 0 62498314 470499328 97621 33554432000 4194304 5849740 140720458206496 140720458205496 139650696089479 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 114868 97621 725 405 0 111812 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 459472 KiB
Current children cumulated memory: 390484 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19005
/proc/meminfo: memFree=22022416/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=393936 memory=324948 CPUtime=2322.23 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 488015 0 0 0 231633 590 0 0 20 0 1 0 62498314 403390464 81237 33554432000 4194304 5849740 140720458206496 140720458205496 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 98484 81237 725 405 0 95428 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 393936 KiB
Current children cumulated memory: 324948 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19006
/proc/meminfo: memFree=21957036/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=459472 memory=390484 CPUtime=2382.23 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 492365 0 0 0 237627 596 0 0 20 0 1 0 62498314 470499328 97621 33554432000 4194304 5849740 140720458206496 140720458205496 5438248 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 114868 97621 725 405 0 111812 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 459472 KiB
Current children cumulated memory: 390484 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19007
/proc/meminfo: memFree=21956948/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=459472 memory=390484 CPUtime=2442.23 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 494675 0 0 0 243621 602 0 0 20 0 1 0 62498314 470499328 97621 33554432000 4194304 5849740 140720458206496 140720458205496 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 114868 97621 725 405 0 111812 0
Current children cumulated CPU time: 2442.23 s
Current children cumulated vsize: 459472 KiB
Current children cumulated memory: 390484 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19008
/proc/meminfo: memFree=21893244/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=519140 memory=450148 CPUtime=2502.23 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 509183 0 0 0 249613 610 0 0 20 0 1 0 62498314 531599360 112537 33554432000 4194304 5849740 140720458206496 140720458205496 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 129785 112537 725 405 0 126729 0
Current children cumulated CPU time: 2502.23 s
Current children cumulated vsize: 519140 KiB
Current children cumulated memory: 450148 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 4/188 19008
/proc/meminfo: memFree=21883936/32770624 swapFree=67108860/67108860
[pid=18416] ppid=18413 vsize=519140 memory=450148 CPUtime=2519.94 cores=1,3,5,7
/proc/18416/stat : 18416 (xcsp_picat) R 18413 18416 16152 0 -1 4202496 510162 0 0 0 251382 612 0 0 20 0 1 0 62498314 531599360 112537 33554432000 4194304 5849740 140720458206496 140720458205496 5438192 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 17915904 140720458208438 140720458208516 140720458208516 140720458211274 0
/proc/18416/statm: 129785 112537 725 405 0 126729 0
Current children cumulated CPU time: 2519.94 s
Current children cumulated vsize: 519140 KiB
Current children cumulated memory: 450148 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 18416 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.83 s, system=6.12506 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.95
CPU user time (s): 2513.83
CPU system time (s): 6.12506
CPU usage (%): 99.9976
Max. virtual memory (cumulated for all children) (KiB): 519140
Max. memory (cumulated for all children) (KiB): 450148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.83
system time used= 6.12507
maximum resident set size= 450148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510163
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= 116
involuntary context switches= 886
# summary of solver processes directly reported to runsolver:
# pid: 18416
# total CPU time (s): 2519.95
# total CPU user time (s): 2513.83
# total CPU system time (s): 6.12506
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.94823 second user time and 18.5112 second system time
The end