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 (6693 MiB free)
memory of node 1: 16384 MiB (9193 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303400-1534016505/watcher-4303400-1534016505 -o /tmp/evaluation-result-4303400-1534016505/solver-4303400-1534016505 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1533991815-32497 --watchdog 2580 xcsp_picat HOME/instance-4303400-1534016505.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=3902, runsolver pid=3899
[startup+0.101094 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 3903
/proc/meminfo: memFree=16253492/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2025744 memory=17676 CPUtime=0.1 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 1032 0 0 0 10 0 0 0 20 0 1 0 219213701 2074361856 4419 33554432000 4194304 5849708 140735569699792 140735569699096 140286049139712 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 506436 4419 591 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 17676 KiB
[startup+0.209598 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 3903
/proc/meminfo: memFree=16247348/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2025744 memory=23820 CPUtime=0.21 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 1040 0 0 0 21 0 0 0 20 0 1 0 219213701 2074361856 5955 33554432000 4194304 5849708 140735569699792 140735569699096 4548541 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 506436 5955 591 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 23820 KiB
[startup+0.309697 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 3903
/proc/meminfo: memFree=16241204/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2025744 memory=29964 CPUtime=0.31 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 1043 0 0 0 31 0 0 0 20 0 1 0 219213701 2074361856 7491 33554432000 4194304 5849708 140735569699792 140735569699096 4485463 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 506436 7491 591 405 0 503381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 29964 KiB
[startup+0.70031 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 3903
/proc/meminfo: memFree=16208624/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2025744 memory=102372 CPUtime=0.68 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 1762 0 0 0 67 1 0 0 20 0 1 0 219213701 2074361856 25593 33554432000 4194304 5849708 140735569699792 140735569699160 5270264 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 506436 25593 618 405 0 503381 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 102372 KiB
[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 3903
/proc/meminfo: memFree=16098656/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2097476 memory=174772 CPUtime=1.49 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 4018 0 0 0 144 5 0 0 20 0 1 0 219213701 2147815424 43693 33554432000 4194304 5849708 140735569699792 140735569699160 5406139 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 524369 43693 669 405 0 521314 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2097476 KiB
Current children cumulated memory: 174772 KiB
[startup+3.10939 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 3903
/proc/meminfo: memFree=16041016/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2153228 memory=230632 CPUtime=3.1 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 9254 0 0 0 299 11 0 0 20 0 1 0 219213701 2204905472 57658 33554432000 4194304 5849708 140735569699792 140735569698888 140286049161095 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 538307 57658 669 405 0 535252 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2153228 KiB
Current children cumulated memory: 230632 KiB
[startup+6.3003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 3903
/proc/meminfo: memFree=15892964/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2300684 memory=378096 CPUtime=6.29 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 11428 0 0 0 607 22 0 0 20 0 1 0 219213701 2355900416 94524 33554432000 4194304 5849708 140735569699792 140735569698824 140286049161095 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 575171 94524 669 405 0 572116 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2300684 KiB
Current children cumulated memory: 378096 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 3903
/proc/meminfo: memFree=15736908/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2455528 memory=533304 CPUtime=12.68 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 55607 0 0 0 1237 31 0 0 20 0 1 0 219213701 2514460672 133326 33554432000 4194304 5849708 140735569699792 140735569698664 4217944 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 613882 133326 694 405 0 610827 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2455528 KiB
Current children cumulated memory: 533304 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 3903
/proc/meminfo: memFree=15736920/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2455528 memory=533336 CPUtime=25.48 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 149504 0 0 0 2506 42 0 0 20 0 1 0 219213701 2514460672 133334 33554432000 4194304 5849708 140735569699792 140735569698792 5312673 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 613882 133334 702 405 0 610827 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2455528 KiB
Current children cumulated memory: 533336 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 3903
/proc/meminfo: memFree=15606532/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2586600 memory=664408 CPUtime=51.09 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 217673 0 0 0 5057 52 0 0 20 0 1 0 219213701 2648678400 166102 33554432000 4194304 5849708 140735569699792 140735569698792 5335614 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 646650 166102 702 405 0 643595 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2586600 KiB
Current children cumulated memory: 664408 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 3904
/proc/meminfo: memFree=15572344/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2592960 memory=670536 CPUtime=102.27 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 302109 0 0 0 10159 68 0 0 20 0 1 0 219213701 2655191040 167634 33554432000 4194304 5849708 140735569699792 140735569698792 5437632 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 648240 167634 702 405 0 645185 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2592960 KiB
Current children cumulated memory: 670536 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 3905
/proc/meminfo: memFree=15551740/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2592960 memory=670344 CPUtime=162.25 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 370727 0 0 0 16145 80 0 0 20 0 1 0 219213701 2655191040 167586 33554432000 4194304 5849708 140735569699792 140735569698792 5437607 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 648240 167586 702 405 0 645185 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 2592960 KiB
Current children cumulated memory: 670344 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 3906
/proc/meminfo: memFree=15550832/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2592960 memory=670536 CPUtime=222.24 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 438270 0 0 0 22132 92 0 0 20 0 1 0 219213701 2655191040 167634 33554432000 4194304 5849708 140735569699792 140735569698792 5335528 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 648240 167634 702 405 0 645185 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 2592960 KiB
Current children cumulated memory: 670536 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 3907
/proc/meminfo: memFree=15549964/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2594248 memory=671824 CPUtime=282.23 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 506809 0 0 0 28123 100 0 0 20 0 1 0 219213701 2656509952 167956 33554432000 4194304 5849708 140735569699792 140735569698792 5335549 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 648562 167956 702 405 0 645507 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 2594248 KiB
Current children cumulated memory: 671824 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3908
/proc/meminfo: memFree=15620240/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2594248 memory=671824 CPUtime=342.21 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 574769 0 0 0 34109 112 0 0 20 0 1 0 219213701 2656509952 167956 33554432000 4194304 5849708 140735569699792 140735569698792 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 648562 167956 702 405 0 645507 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 2594248 KiB
Current children cumulated memory: 671824 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3909
/proc/meminfo: memFree=15619680/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2594248 memory=671824 CPUtime=402.21 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 635744 0 0 0 40097 124 0 0 20 0 1 0 219213701 2656509952 167956 33554432000 4194304 5849708 140735569699792 140735569698792 5335618 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 648562 167956 702 405 0 645507 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 2594248 KiB
Current children cumulated memory: 671824 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3910
/proc/meminfo: memFree=15554848/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2593684 memory=671260 CPUtime=462.19 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 692816 0 0 0 46084 135 0 0 20 0 1 0 219213701 2655932416 167815 33554432000 4194304 5849708 140735569699792 140735569698792 140286049161095 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 648421 167815 702 405 0 645366 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 2593684 KiB
Current children cumulated memory: 671260 KiB
################
# More data... #
################
/proc/3902/statm: 650855 171168 702 405 0 647800 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 2603420 KiB
Current children cumulated memory: 684672 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/187 4040
/proc/meminfo: memFree=8939252/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2865564 memory=734048 CPUtime=1782.24 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 963950 0 0 0 177839 385 0 0 20 0 1 0 219213701 2934337536 183512 33554432000 4194304 5849708 140735569699792 140735569698664 140286048749472 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 716391 183512 702 405 0 713336 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 2865564 KiB
Current children cumulated memory: 734048 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/187 4041
/proc/meminfo: memFree=8939872/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2603420 memory=684672 CPUtime=1842.25 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 965700 0 0 0 183826 399 0 0 20 0 1 0 219213701 2665902080 171168 33554432000 4194304 5849708 140735569699792 140735569698952 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 650855 171168 702 405 0 647800 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 2603420 KiB
Current children cumulated memory: 684672 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 4042
/proc/meminfo: memFree=8938320/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2602548 memory=685848 CPUtime=1902.25 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 968380 0 0 0 189816 409 0 0 20 0 1 0 219213701 2665009152 171462 33554432000 4194304 5849708 140735569699792 140735569698952 140286049161095 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 650637 171462 702 405 0 647582 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 2602548 KiB
Current children cumulated memory: 685848 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 4043
/proc/meminfo: memFree=8938500/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2602548 memory=685848 CPUtime=1962.27 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 971320 0 0 0 195802 425 0 0 20 0 1 0 219213701 2665009152 171462 33554432000 4194304 5849708 140735569699792 140735569698792 4217930 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 650637 171462 702 405 0 647582 0
Current children cumulated CPU time: 1962.27 s
Current children cumulated vsize: 2602548 KiB
Current children cumulated memory: 685848 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 4044
/proc/meminfo: memFree=8938748/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2602548 memory=685848 CPUtime=2022.27 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 972097 0 0 0 201795 432 0 0 20 0 1 0 219213701 2665009152 171462 33554432000 4194304 5849708 140735569699792 140735569698792 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 650637 171462 702 405 0 647582 0
Current children cumulated CPU time: 2022.27 s
Current children cumulated vsize: 2602548 KiB
Current children cumulated memory: 685848 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 4045
/proc/meminfo: memFree=8939120/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2602548 memory=685848 CPUtime=2082.28 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 973068 0 0 0 207789 439 0 0 20 0 1 0 219213701 2665009152 171462 33554432000 4194304 5849708 140735569699792 140735569698792 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 650637 171462 702 405 0 647582 0
Current children cumulated CPU time: 2082.28 s
Current children cumulated vsize: 2602548 KiB
Current children cumulated memory: 685848 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4046
/proc/meminfo: memFree=8939092/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2602548 memory=685848 CPUtime=2142.29 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 976051 0 0 0 213780 449 0 0 20 0 1 0 219213701 2665009152 171462 33554432000 4194304 5849708 140735569699792 140735569698952 5437625 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 650637 171462 702 405 0 647582 0
Current children cumulated CPU time: 2142.29 s
Current children cumulated vsize: 2602548 KiB
Current children cumulated memory: 685848 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4047
/proc/meminfo: memFree=8938876/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2602548 memory=685848 CPUtime=2202.3 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 977165 0 0 0 219773 457 0 0 20 0 1 0 219213701 2665009152 171462 33554432000 4194304 5849708 140735569699792 140735569698792 5438346 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 650637 171462 702 405 0 647582 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 2602548 KiB
Current children cumulated memory: 685848 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4048
/proc/meminfo: memFree=8677040/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2864692 memory=947992 CPUtime=2262.3 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 979674 0 0 0 225762 468 0 0 20 0 1 0 219213701 2933444608 236998 33554432000 4194304 5849708 140735569699792 140735569698792 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 716173 236998 702 405 0 713118 0
Current children cumulated CPU time: 2262.3 s
Current children cumulated vsize: 2864692 KiB
Current children cumulated memory: 947992 KiB
[startup+2322.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 4056
/proc/meminfo: memFree=8931928/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2607652 memory=691516 CPUtime=2322.31 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 982349 0 0 0 231755 476 0 0 20 0 1 0 219213701 2670235648 172879 33554432000 4194304 5849708 140735569699792 140735569698792 140286049161095 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 651913 172879 702 405 0 648858 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 2607652 KiB
Current children cumulated memory: 691516 KiB
[startup+2382.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 4057
/proc/meminfo: memFree=8932396/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2607652 memory=691516 CPUtime=2382.31 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 982621 0 0 0 237748 483 0 0 20 0 1 0 219213701 2670235648 172879 33554432000 4194304 5849708 140735569699792 140735569698792 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 651913 172879 702 405 0 648858 0
Current children cumulated CPU time: 2382.31 s
Current children cumulated vsize: 2607652 KiB
Current children cumulated memory: 691516 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 4058
/proc/meminfo: memFree=8932772/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2607652 memory=691516 CPUtime=2442.32 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 983637 0 0 0 243737 495 0 0 20 0 1 0 219213701 2670235648 172879 33554432000 4194304 5849708 140735569699792 140735569698792 140286049161095 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 651913 172879 702 405 0 648858 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 2607652 KiB
Current children cumulated memory: 691516 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4059
/proc/meminfo: memFree=8932948/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2607652 memory=691516 CPUtime=2502.33 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 984598 0 0 0 249728 505 0 0 20 0 1 0 219213701 2670235648 172879 33554432000 4194304 5849708 140735569699792 140735569698792 140286049161095 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 651913 172879 702 405 0 648858 0
Current children cumulated CPU time: 2502.33 s
Current children cumulated vsize: 2607652 KiB
Current children cumulated memory: 691516 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 4059
/proc/meminfo: memFree=8932916/32770624 swapFree=67108504/67108860
[pid=3902] ppid=3899 vsize=2607652 memory=691516 CPUtime=2520.04 cores=0,2,4,6
/proc/3902/stat : 3902 (xcsp_picat) R 3899 3902 32466 0 -1 4202496 985441 0 0 0 251495 509 0 0 20 0 1 0 219213701 2670235648 172879 33554432000 4194304 5849708 140735569699792 140735569698792 140286049161095 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 40124416 140735569704118 140735569704196 140735569704196 140735569706954 0
/proc/3902/statm: 651913 172879 702 405 0 648858 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 2607652 KiB
Current children cumulated memory: 691516 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 3902 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.96 s, system=5.09714 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.01
CPU time (s): 2520.06
CPU user time (s): 2514.96
CPU system time (s): 5.09714
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2870628
Max. memory (cumulated for all children) (KiB): 954352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.96
system time used= 5.09714
maximum resident set size= 954352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 985441
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= 44
involuntary context switches= 1305
# summary of solver processes directly reported to runsolver:
# pid: 3902
# total CPU time (s): 2520.06
# total CPU user time (s): 2514.96
# total CPU system time (s): 5.09714
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.64173 second user time and 18.6118 second system time
The end