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 (10687 MiB free)
memory of node 1: 16384 MiB (12909 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309352-1534309824/watcher-4309352-1534309824 -o /tmp/evaluation-result-4309352-1534309824/solver-4309352-1534309824 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534293202-13750 --watchdog 2580 xcsp_picat HOME/instance-4309352-1534309824.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=15843, runsolver pid=15840
[startup+0.100241 s]*
/proc/loadavg: 1.99 2.00 2.04 3/188 15844
/proc/meminfo: memFree=24143720/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2025744 memory=21568 CPUtime=0.1 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 1465 0 0 0 10 0 0 0 20 0 1 0 248545562 2074361856 5392 33554432000 4194304 5849940 140724971164592 140724971163896 4475203 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 506436 5392 602 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 21568 KiB
[startup+0.209593 s]*
/proc/loadavg: 1.99 2.00 2.04 3/188 15844
/proc/meminfo: memFree=24135596/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2025744 memory=29760 CPUtime=0.2 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 1469 0 0 0 20 0 0 0 20 0 1 0 248545562 2074361856 7440 33554432000 4194304 5849940 140724971164592 140724971163896 139827459869696 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 506436 7440 602 405 0 503380 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 29760 KiB
[startup+0.309468 s]*
/proc/loadavg: 1.99 2.00 2.04 3/188 15844
/proc/meminfo: memFree=24127404/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2025744 memory=37952 CPUtime=0.3 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 1495 0 0 0 30 0 0 0 20 0 1 0 248545562 2074361856 9488 33554432000 4194304 5849940 140724971164592 140724971163896 4476741 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 506436 9488 602 405 0 503380 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 37952 KiB
[startup+0.700243 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 15844
/proc/meminfo: memFree=24122564/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2027172 memory=43780 CPUtime=0.68 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 1957 0 0 0 55 13 0 0 20 0 1 0 248545562 2075824128 10945 33554432000 4194304 5849940 140724971164592 140724971163512 139827459891079 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 506793 10945 684 405 0 503737 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027172 KiB
Current children cumulated memory: 43780 KiB
[startup+1.50023 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 15844
/proc/meminfo: memFree=24119340/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2033612 memory=49888 CPUtime=1.48 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 4265 0 0 0 129 19 0 0 20 0 1 0 248545562 2082418688 12472 33554432000 4194304 5849940 140724971164592 140724971163464 5307318 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 508403 12472 709 405 0 505347 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2033612 KiB
Current children cumulated memory: 49888 KiB
[startup+3.10953 s]
/proc/loadavg: 1.91 1.98 2.03 3/188 15844
/proc/meminfo: memFree=24112720/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2034192 memory=51184 CPUtime=3.09 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 5974 0 0 0 287 22 0 0 20 0 1 0 248545562 2083012608 12796 33554432000 4194304 5849940 140724971164592 140724971163592 139827459891079 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 508548 12796 717 405 0 505492 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2034192 KiB
Current children cumulated memory: 51184 KiB
[startup+6.30034 s]
/proc/loadavg: 1.91 1.98 2.03 3/188 15844
/proc/meminfo: memFree=24105668/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2034716 memory=51580 CPUtime=6.29 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 7768 0 0 0 603 26 0 0 20 0 1 0 248545562 2083549184 12895 33554432000 4194304 5849940 140724971164592 140724971163592 139827459891079 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 508679 12895 717 405 0 505623 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2034716 KiB
Current children cumulated memory: 51580 KiB
[startup+12.7003 s]
/proc/loadavg: 1.92 1.98 2.03 3/188 15844
/proc/meminfo: memFree=24114636/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2038376 memory=55044 CPUtime=12.68 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 10836 0 0 0 1236 32 0 0 20 0 1 0 248545562 2087297024 13761 33554432000 4194304 5849940 140724971164592 140724971163592 139827459891079 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 509594 13761 717 405 0 506538 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2038376 KiB
Current children cumulated memory: 55044 KiB
[startup+25.5004 s]
/proc/loadavg: 1.93 1.98 2.03 3/188 15844
/proc/meminfo: memFree=24108436/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2043964 memory=60828 CPUtime=25.49 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 17644 0 0 0 2504 45 0 0 20 0 1 0 248545562 2093019136 15207 33554432000 4194304 5849940 140724971164592 140724971163464 139827459891079 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 510991 15207 717 405 0 507935 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2043964 KiB
Current children cumulated memory: 60828 KiB
[startup+51.1096 s]
/proc/loadavg: 1.96 1.99 2.03 3/188 15844
/proc/meminfo: memFree=24101924/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2047772 memory=64504 CPUtime=51.09 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 25406 0 0 0 5046 63 0 0 20 0 1 0 248545562 2096918528 16126 33554432000 4194304 5849940 140724971164592 140724971163464 5395857 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 511943 16126 717 405 0 508887 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2047772 KiB
Current children cumulated memory: 64504 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/188 15845
/proc/meminfo: memFree=24127096/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2033452 memory=50320 CPUtime=102.28 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 42264 0 0 0 10114 114 0 0 20 0 1 0 248545562 2082254848 12580 33554432000 4194304 5849940 140724971164592 140724971163592 139827459891079 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 508363 12580 718 405 0 505307 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2033452 KiB
Current children cumulated memory: 50320 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/188 15846
/proc/meminfo: memFree=24087392/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2064812 memory=81648 CPUtime=162.28 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 46539 0 0 0 16065 163 0 0 20 0 1 0 248545562 2114367488 20412 33554432000 4194304 5849940 140724971164592 140724971163592 5438404 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 516203 20412 718 405 0 513147 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2064812 KiB
Current children cumulated memory: 81648 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 15847
/proc/meminfo: memFree=24069776/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2074560 memory=91428 CPUtime=222.28 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 54318 0 0 0 22025 203 0 0 20 0 1 0 248545562 2124349440 22857 33554432000 4194304 5849940 140724971164592 140724971163592 139827459891079 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 518640 22857 718 405 0 515584 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2074560 KiB
Current children cumulated memory: 91428 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 15969
/proc/meminfo: memFree=24024664/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2083992 memory=104120 CPUtime=282.26 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 55826 0 0 0 27987 239 0 0 20 0 1 0 248545562 2134007808 26030 33554432000 4194304 5849940 140724971164592 140724971163592 139827459891079 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 520998 26030 718 405 0 517942 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2083992 KiB
Current children cumulated memory: 104120 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 15970
/proc/meminfo: memFree=23986592/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2092188 memory=113308 CPUtime=342.27 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 56381 0 0 0 33954 273 0 0 20 0 1 0 248545562 2142400512 28327 33554432000 4194304 5849940 140724971164592 140724971163592 5438368 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 523047 28327 718 405 0 519991 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2092188 KiB
Current children cumulated memory: 113308 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 15971
/proc/meminfo: memFree=23975304/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2100744 memory=121852 CPUtime=402.26 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 60814 0 0 0 39922 304 0 0 20 0 1 0 248545562 2151161856 30463 33554432000 4194304 5849940 140724971164592 140724971163592 139827459891079 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 525186 30463 718 405 0 522130 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2100744 KiB
Current children cumulated memory: 121852 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 15972
/proc/meminfo: memFree=23977980/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2080380 memory=101296 CPUtime=462.27 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 65063 0 0 0 45888 339 0 0 20 0 1 0 248545562 2130309120 25324 33554432000 4194304 5849940 140724971164592 140724971163592 5313367 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 520095 25324 718 405 0 517039 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2080380 KiB
Current children cumulated memory: 101296 KiB
################
# More data... #
################
/proc/15843/statm: 546346 51602 718 405 0 543290 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 2185384 KiB
Current children cumulated memory: 206408 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 16021
/proc/meminfo: memFree=23794208/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2203184 memory=224208 CPUtime=1782.22 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 388206 0 0 0 177483 739 0 0 20 0 1 0 248545562 2256060416 56052 33554432000 4194304 5849940 140724971164592 140724971163592 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 550796 56052 718 405 0 547740 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 2203184 KiB
Current children cumulated memory: 224208 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 16022
/proc/meminfo: memFree=23767372/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2238124 memory=259148 CPUtime=1842.22 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 410717 0 0 0 183468 754 0 0 20 0 1 0 248545562 2291838976 64787 33554432000 4194304 5849940 140724971164592 140724971163592 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 559531 64787 718 405 0 556475 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 2238124 KiB
Current children cumulated memory: 259148 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 16023
/proc/meminfo: memFree=23698120/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2289740 memory=310764 CPUtime=1902.22 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 432871 0 0 0 189455 767 0 0 20 0 1 0 248545562 2344693760 77691 33554432000 4194304 5849940 140724971164592 140724971163592 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 572435 77691 718 405 0 569379 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 2289740 KiB
Current children cumulated memory: 310764 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 16024
/proc/meminfo: memFree=23696984/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2307856 memory=328880 CPUtime=1962.22 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 435092 0 0 0 195443 779 0 0 20 0 1 0 248545562 2363244544 82220 33554432000 4194304 5849940 140724971164592 140724971163592 139827459479376 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 576964 82220 718 405 0 573908 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 2307856 KiB
Current children cumulated memory: 328880 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 16025
/proc/meminfo: memFree=23590364/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2406672 memory=427696 CPUtime=2022.21 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 462323 0 0 0 201427 794 0 0 20 0 1 0 248545562 2464432128 106924 33554432000 4194304 5849940 140724971164592 140724971163592 139827459891079 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 601668 106924 718 405 0 598612 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 2406672 KiB
Current children cumulated memory: 427696 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 16026
/proc/meminfo: memFree=23603388/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2413536 memory=434560 CPUtime=2082.21 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 476180 0 0 0 207411 810 0 0 20 0 1 0 248545562 2471460864 108640 33554432000 4194304 5849940 140724971164592 140724971163592 5437815 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 603384 108640 718 405 0 600328 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 2413536 KiB
Current children cumulated memory: 434560 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 16027
/proc/meminfo: memFree=23556612/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2456172 memory=477196 CPUtime=2142.21 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 511541 0 0 0 213396 825 0 0 20 0 1 0 248545562 2515120128 119299 33554432000 4194304 5849940 140724971164592 140724971163592 5438404 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 614043 119299 718 405 0 610987 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 2456172 KiB
Current children cumulated memory: 477196 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 16028
/proc/meminfo: memFree=23514664/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2488208 memory=509232 CPUtime=2202.2 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 534434 0 0 0 219383 837 0 0 20 0 1 0 248545562 2547924992 127308 33554432000 4194304 5849940 140724971164592 140724971163592 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 622052 127308 718 405 0 618996 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 2488208 KiB
Current children cumulated memory: 509232 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 16029
/proc/meminfo: memFree=23504676/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2488208 memory=509232 CPUtime=2262.21 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 548580 0 0 0 225376 845 0 0 20 0 1 0 248545562 2547924992 127308 33554432000 4194304 5849940 140724971164592 140724971163592 139827459891079 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 622052 127308 718 405 0 618996 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 2488208 KiB
Current children cumulated memory: 509232 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 16030
/proc/meminfo: memFree=23546540/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2488208 memory=509232 CPUtime=2322.2 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 588269 0 0 0 231367 853 0 0 20 0 1 0 248545562 2547924992 127308 33554432000 4194304 5849940 140724971164592 140724971163752 5438498 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 622052 127308 718 405 0 618996 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 2488208 KiB
Current children cumulated memory: 509232 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 16038
/proc/meminfo: memFree=23540440/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2488208 memory=509232 CPUtime=2382.2 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 614506 0 0 0 237359 861 0 0 20 0 1 0 248545562 2547924992 127308 33554432000 4194304 5849940 140724971164592 140724971163592 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 622052 127308 718 405 0 618996 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 2488208 KiB
Current children cumulated memory: 509232 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 16039
/proc/meminfo: memFree=23777312/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2241616 memory=262524 CPUtime=2442.2 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 632752 0 0 0 243348 872 0 0 20 0 1 0 248545562 2295414784 65631 33554432000 4194304 5849940 140724971164592 140724971163752 5437837 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 560404 65631 718 405 0 557348 0
Current children cumulated CPU time: 2442.2 s
Current children cumulated vsize: 2241616 KiB
Current children cumulated memory: 262524 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 16040
/proc/meminfo: memFree=23762168/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2241616 memory=262640 CPUtime=2502.2 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 652815 0 0 0 249337 883 0 0 20 0 1 0 248545562 2295414784 65660 33554432000 4194304 5849940 140724971164592 140724971163592 139827459891079 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 560404 65660 718 405 0 557348 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 2241616 KiB
Current children cumulated memory: 262640 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.00 2.04 3/187 16041
/proc/meminfo: memFree=23778036/32770624 swapFree=67059128/67108860
[pid=15843] ppid=15840 vsize=2241616 memory=262640 CPUtime=2519.9 cores=0,2,4,6
/proc/15843/stat : 15843 (xcsp_picat) R 15840 15843 13719 0 -1 4202496 652897 0 0 0 251104 886 0 0 20 0 1 0 248545562 2295414784 65660 33554432000 4194304 5849940 140724971164592 140724971163592 5392624 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 30273536 140724971168950 140724971169028 140724971169028 140724971171786 0
/proc/15843/statm: 560404 65660 718 405 0 557348 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 2241616 KiB
Current children cumulated memory: 262640 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 15843 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.05 s, system=8.87672 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.92
CPU user time (s): 2511.05
CPU system time (s): 8.87672
CPU usage (%): 99.9963
Max. virtual memory (cumulated for all children) (KiB): 2488208
Max. memory (cumulated for all children) (KiB): 509232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.05
system time used= 8.87672
maximum resident set size= 509232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 652897
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= 12
involuntary context switches= 3174
# summary of solver processes directly reported to runsolver:
# pid: 15843
# total CPU time (s): 2519.92
# total CPU user time (s): 2511.05
# total CPU system time (s): 8.87672
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.46734 second user time and 18.4827 second system time
The end