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 (15226 MiB free)
memory of node 1: 16384 MiB (15039 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395623-1568340726/watcher-4395623-1568340726 -o /tmp/evaluation-result-4395623-1568340726/solver-4395623-1568340726 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568323825-31467 --watchdog 2560 xcsp_picat HOME/instance-4395623-1568340726.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=4340, runsolver pid=4337
Current StackSize limit: 8192 KiB
[startup+0.100111 s]*
/proc/loadavg: 2.00 2.03 2.05 3/205 4343
/proc/meminfo: memFree=30975820/32770624 swapFree=66966404/67108860
[pid=4340] ppid=4337 vsize=2037072 memory=20468 CPUtime=0.1 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 1706 0 0 0 10 0 0 0 20 0 1 0 410322136 2085961728 5117 33554432000 4194304 5870510 140731617902496 140731617899640 140363742121863 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 509268 5117 963 410 0 504741 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2037072 KiB
Current children cumulated memory: 20468 KiB
[startup+0.209852 s]*
/proc/loadavg: 2.00 2.03 2.05 3/205 4343
/proc/meminfo: memFree=30975448/32770624 swapFree=66966404/67108860
[pid=4340] ppid=4337 vsize=2037344 memory=20732 CPUtime=0.21 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 1798 0 0 0 21 0 0 0 20 0 1 0 410322136 2086240256 5183 33554432000 4194304 5870510 140731617902496 140731617899640 5562066 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 509336 5183 963 410 0 504809 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2037344 KiB
Current children cumulated memory: 20732 KiB
[startup+0.309219 s]*
/proc/loadavg: 2.00 2.03 2.05 3/205 4343
/proc/meminfo: memFree=30975076/32770624 swapFree=66966404/67108860
[pid=4340] ppid=4337 vsize=2037524 memory=20992 CPUtime=0.3 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 1840 0 0 0 30 0 0 0 20 0 1 0 410322136 2086424576 5248 33554432000 4194304 5870510 140731617902496 140731617899640 5575622 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 509381 5248 963 410 0 504854 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2037524 KiB
Current children cumulated memory: 20992 KiB
[startup+0.700226 s]
/proc/loadavg: 2.00 2.03 2.05 3/205 4343
/proc/meminfo: memFree=30974908/32770624 swapFree=66966404/67108860
[pid=4340] ppid=4337 vsize=2033908 memory=19572 CPUtime=0.69 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 2039 0 0 0 69 0 0 0 20 0 1 0 410322136 2082721792 4893 33554432000 4194304 5870510 140731617902496 140731617901608 5282738 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 508477 4893 994 410 0 503950 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2033908 KiB
Current children cumulated memory: 19572 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.03 2.05 3/205 4343
/proc/meminfo: memFree=30975468/32770624 swapFree=66966404/67108860
[pid=4340] ppid=4337 vsize=2036472 memory=21956 CPUtime=1.49 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 3190 0 0 0 149 0 0 0 20 0 1 0 410322136 2085347328 5489 33554432000 4194304 5870510 140731617902496 140731617901608 5282578 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 509118 5489 996 410 0 504591 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2036472 KiB
Current children cumulated memory: 21956 KiB
[startup+3.10974 s]
/proc/loadavg: 2.00 2.03 2.05 3/205 4343
/proc/meminfo: memFree=30967032/32770624 swapFree=66966404/67108860
[pid=4340] ppid=4337 vsize=2047924 memory=33224 CPUtime=3.1 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 6083 0 0 0 309 1 0 0 20 0 1 0 410322136 2097074176 8306 33554432000 4194304 5870510 140731617902496 140731617900936 140363747341232 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 511981 8306 996 410 0 507454 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2047924 KiB
Current children cumulated memory: 33224 KiB
[startup+6.30029 s]
/proc/loadavg: 2.00 2.03 2.05 3/205 4343
/proc/meminfo: memFree=30959852/32770624 swapFree=66966404/67108860
[pid=4340] ppid=4337 vsize=2042148 memory=27440 CPUtime=6.29 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 9095 0 0 0 628 1 0 0 20 0 1 0 410322136 2091159552 6860 33554432000 4194304 5870510 140731617902496 140731617901064 140363741671319 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 510537 6860 1003 410 0 506010 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2042148 KiB
Current children cumulated memory: 27440 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.05 3/204 4343
/proc/meminfo: memFree=30948372/32770624 swapFree=66966404/67108860
[pid=4340] ppid=4337 vsize=2060772 memory=39540 CPUtime=12.69 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 13869 0 0 0 1267 2 0 0 20 0 1 0 410322136 2110230528 9885 33554432000 4194304 5870510 140731617902496 140731617900936 5282712 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 515193 9885 1003 410 0 510666 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2060772 KiB
Current children cumulated memory: 39540 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 2.05 3/204 4344
/proc/meminfo: memFree=30946540/32770624 swapFree=66966404/67108860
[pid=4340] ppid=4337 vsize=2060772 memory=39540 CPUtime=25.49 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 17633 0 0 0 2546 3 0 0 20 0 1 0 410322136 2110230528 9885 33554432000 4194304 5870510 140731617902496 140731617901672 140363747358995 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 515193 9885 1003 410 0 510666 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2060772 KiB
Current children cumulated memory: 39540 KiB
[startup+51.1099 s]
/proc/loadavg: 2.00 2.02 2.05 3/204 4407
/proc/meminfo: memFree=30971160/32770624 swapFree=66966404/67108860
[pid=4340] ppid=4337 vsize=2061132 memory=46676 CPUtime=51.08 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 21327 0 0 0 5105 3 0 0 20 0 1 0 410322136 2110599168 11669 33554432000 4194304 5870510 140731617902496 140731617901064 140363750987936 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 515283 11669 1003 410 0 510756 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2061132 KiB
Current children cumulated memory: 46676 KiB
[startup+102.3 s]
/proc/loadavg: 1.94 2.00 2.04 3/203 4471
/proc/meminfo: memFree=30920468/32770624 swapFree=66966404/67108860
[pid=4340] ppid=4337 vsize=2069916 memory=60396 CPUtime=102.26 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 24487 0 0 0 10222 4 0 0 20 0 1 0 410322136 2119593984 15099 33554432000 4194304 5870510 140731617902496 140731617901064 5283116 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 517479 15099 1003 410 0 512952 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 2069916 KiB
Current children cumulated memory: 60396 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.02 2.05 3/204 4476
/proc/meminfo: memFree=30909588/32770624 swapFree=66966404/67108860
[pid=4340] ppid=4337 vsize=2089872 memory=75656 CPUtime=162.25 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 28053 0 0 0 16220 5 0 0 20 0 1 0 410322136 2140028928 18914 33554432000 4194304 5870510 140731617902496 140731617900936 5282533 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 522468 18914 1003 410 0 517941 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 2089872 KiB
Current children cumulated memory: 75656 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/203 4543
/proc/meminfo: memFree=30906736/32770624 swapFree=66966404/67108860
[pid=4340] ppid=4337 vsize=2091368 memory=82472 CPUtime=222.24 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 28877 0 0 0 22219 5 0 0 20 0 1 0 410322136 2141560832 20618 33554432000 4194304 5870510 140731617902496 140731617901064 5263018 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 522842 20618 1003 410 0 518315 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 2091368 KiB
Current children cumulated memory: 82472 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/203 4549
/proc/meminfo: memFree=30903664/32770624 swapFree=66966404/67108860
[pid=4340] ppid=4337 vsize=2091368 memory=82564 CPUtime=282.23 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 31359 0 0 0 28218 5 0 0 20 0 1 0 410322136 2141560832 20641 33554432000 4194304 5870510 140731617902496 140731617901064 5283116 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 522842 20641 1003 410 0 518315 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 2091368 KiB
Current children cumulated memory: 82564 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 4616
/proc/meminfo: memFree=30905564/32770624 swapFree=66966404/67108860
[pid=4340] ppid=4337 vsize=2091368 memory=82564 CPUtime=342.21 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 34096 0 0 0 34216 5 0 0 20 0 1 0 410322136 2141560832 20641 33554432000 4194304 5870510 140731617902496 140731617901064 5272722 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 522842 20641 1003 410 0 518315 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 2091368 KiB
Current children cumulated memory: 82564 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 4620
/proc/meminfo: memFree=30904964/32770624 swapFree=66966404/67108860
[pid=4340] ppid=4337 vsize=2091368 memory=82564 CPUtime=402.21 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 37753 0 0 0 40215 6 0 0 20 0 1 0 410322136 2141560832 20641 33554432000 4194304 5870510 140731617902496 140731617901064 5282609 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 522842 20641 1003 410 0 518315 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 2091368 KiB
Current children cumulated memory: 82564 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 4689
/proc/meminfo: memFree=30868352/32770624 swapFree=66966404/67108860
[pid=4340] ppid=4337 vsize=2091368 memory=82564 CPUtime=462.2 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 40435 0 0 0 46214 6 0 0 20 0 1 0 410322136 2141560832 20641 33554432000 4194304 5870510 140731617902496 140731617901064 5283106 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 522842 20641 1003 410 0 518315 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 2091368 KiB
Current children cumulated memory: 82564 KiB
################
# More data... #
################
Current children cumulated memory: 86608 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 4720
/proc/meminfo: memFree=30832608/32770624 swapFree=66966416/67108860
[pid=4340] ppid=4337 vsize=2096688 memory=87460 CPUtime=762.14 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 58899 0 0 0 76206 8 0 0 20 0 1 0 410322136 2147008512 21865 33554432000 4194304 5870510 140731617902496 140731617901064 5283116 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 524172 21865 1003 410 0 519645 0
Current children cumulated CPU time: 762.14 s
Current children cumulated vsize: 2096688 KiB
Current children cumulated memory: 87460 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 4727
/proc/meminfo: memFree=30827040/32770624 swapFree=66966416/67108860
[pid=4340] ppid=4337 vsize=2096896 memory=87468 CPUtime=822.13 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 62799 0 0 0 82204 9 0 0 20 0 1 0 410322136 2147221504 21867 33554432000 4194304 5870510 140731617902496 140731617901064 5282588 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 524224 21867 1003 410 0 519697 0
Current children cumulated CPU time: 822.13 s
Current children cumulated vsize: 2096896 KiB
Current children cumulated memory: 87468 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 4731
/proc/meminfo: memFree=30814992/32770624 swapFree=66966416/67108860
[pid=4340] ppid=4337 vsize=2109252 memory=100032 CPUtime=882.11 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 66126 0 0 0 88202 9 0 0 20 0 1 0 410322136 2159874048 25008 33554432000 4194304 5870510 140731617902496 140731617901064 5283116 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 527313 25008 1003 410 0 522786 0
Current children cumulated CPU time: 882.11 s
Current children cumulated vsize: 2109252 KiB
Current children cumulated memory: 100032 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 4735
/proc/meminfo: memFree=30800528/32770624 swapFree=66966416/67108860
[pid=4340] ppid=4337 vsize=2109252 memory=99220 CPUtime=942.1 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 70688 0 0 0 94200 10 0 0 20 0 1 0 410322136 2159874048 24805 33554432000 4194304 5870510 140731617902496 140731617901064 5272427 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 527313 24805 1003 410 0 522786 0
Current children cumulated CPU time: 942.1 s
Current children cumulated vsize: 2109252 KiB
Current children cumulated memory: 99220 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 4742
/proc/meminfo: memFree=30800616/32770624 swapFree=66966416/67108860
[pid=4340] ppid=4337 vsize=2109252 memory=99220 CPUtime=1002.09 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 72829 0 0 0 100199 10 0 0 20 0 1 0 410322136 2159874048 24805 33554432000 4194304 5870510 140731617902496 140731617901064 5282568 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 527313 24805 1003 410 0 522786 0
Current children cumulated CPU time: 1002.09 s
Current children cumulated vsize: 2109252 KiB
Current children cumulated memory: 99220 KiB
[startup+1062.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/203 4747
/proc/meminfo: memFree=30846704/32770624 swapFree=66966416/67108860
[pid=4340] ppid=4337 vsize=2062248 memory=53348 CPUtime=1062.08 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 79491 0 0 0 106196 12 0 0 20 0 1 0 410322136 2111741952 13337 33554432000 4194304 5870510 140731617902496 140731617901064 5283135 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 515562 13337 1003 410 0 511035 0
Current children cumulated CPU time: 1062.08 s
Current children cumulated vsize: 2062248 KiB
Current children cumulated memory: 53348 KiB
[startup+1122.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/204 4759
/proc/meminfo: memFree=30884748/32770624 swapFree=66966416/67108860
[pid=4340] ppid=4337 vsize=2079268 memory=69856 CPUtime=1122.07 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 84064 0 0 0 112195 12 0 0 20 0 1 0 410322136 2129170432 17464 33554432000 4194304 5870510 140731617902496 140731617901064 5282667 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 519817 17464 1003 410 0 515290 0
Current children cumulated CPU time: 1122.07 s
Current children cumulated vsize: 2079268 KiB
Current children cumulated memory: 69856 KiB
[startup+1182.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/204 4765
/proc/meminfo: memFree=30853336/32770624 swapFree=66966416/67108860
[pid=4340] ppid=4337 vsize=2096400 memory=78436 CPUtime=1182.06 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 85273 0 0 0 118193 13 0 0 20 0 1 0 410322136 2146713600 19609 33554432000 4194304 5870510 140731617902496 140731617900936 5282767 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 524100 19609 1003 410 0 519573 0
Current children cumulated CPU time: 1182.06 s
Current children cumulated vsize: 2096400 KiB
Current children cumulated memory: 78436 KiB
[startup+1220.69 s]
# the end of solver process 4340 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1220.31 s, system=0.136973 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1203.2 s]
/proc/loadavg: 2.05 2.04 2.05 3/204 4766
/proc/meminfo: memFree=30853052/32770624 swapFree=66966416/67108860
[pid=4340] ppid=4337 vsize=2096400 memory=79204 CPUtime=1202.96 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 85411 0 0 0 120283 13 0 0 20 0 1 0 410322136 2146713600 19801 33554432000 4194304 5870510 140731617902496 140731617900936 5283072 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 524100 19801 1003 410 0 519573 0
Current children cumulated CPU time: 1202.96 s
Current children cumulated vsize: 2096400 KiB
Current children cumulated memory: 79204 KiB
[startup+1209.6 s]
/proc/loadavg: 2.05 2.04 2.05 3/204 4766
/proc/meminfo: memFree=30853172/32770624 swapFree=66966416/67108860
[pid=4340] ppid=4337 vsize=2096400 memory=79220 CPUtime=1209.35 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 89372 0 0 0 120922 13 0 0 20 0 1 0 410322136 2146713600 19805 33554432000 4194304 5870510 140731617902496 140731617900936 5282736 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 524100 19805 1003 410 0 519573 0
Current children cumulated CPU time: 1209.35 s
Current children cumulated vsize: 2096400 KiB
Current children cumulated memory: 79220 KiB
[startup+1216 s]*
/proc/loadavg: 2.04 2.04 2.05 3/205 4768
/proc/meminfo: memFree=30853252/32770624 swapFree=66966416/67108860
[pid=4340] ppid=4337 vsize=2096400 memory=79220 CPUtime=1215.76 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 89545 0 0 0 121563 13 0 0 20 0 1 0 410322136 2146713600 19805 33554432000 4194304 5870510 140731617902496 140731617900936 5282505 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 524100 19805 1003 410 0 519573 0
Current children cumulated CPU time: 1215.76 s
Current children cumulated vsize: 2096400 KiB
Current children cumulated memory: 79220 KiB
[startup+1219.2 s]
/proc/loadavg: 2.04 2.04 2.05 3/205 4768
/proc/meminfo: memFree=30853464/32770624 swapFree=66966416/67108860
[pid=4340] ppid=4337 vsize=2096400 memory=79220 CPUtime=1218.95 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 89615 0 0 0 121882 13 0 0 20 0 1 0 410322136 2146713600 19805 33554432000 4194304 5870510 140731617902496 140731617900936 5283135 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 524100 19805 1003 410 0 519573 0
Current children cumulated CPU time: 1218.95 s
Current children cumulated vsize: 2096400 KiB
Current children cumulated memory: 79220 KiB
[startup+1220 s]*
/proc/loadavg: 2.04 2.04 2.05 3/204 4768
/proc/meminfo: memFree=30853452/32770624 swapFree=66966416/67108860
[pid=4340] ppid=4337 vsize=2096400 memory=79220 CPUtime=1219.76 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 89630 0 0 0 121963 13 0 0 20 0 1 0 410322136 2146713600 19805 33554432000 4194304 5870510 140731617902496 140731617900936 5282606 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 524100 19805 1003 410 0 519573 0
Current children cumulated CPU time: 1219.76 s
Current children cumulated vsize: 2096400 KiB
Current children cumulated memory: 79220 KiB
[startup+1220.4 s]
/proc/loadavg: 2.04 2.04 2.05 3/204 4768
/proc/meminfo: memFree=30853452/32770624 swapFree=66966416/67108860
[pid=4340] ppid=4337 vsize=2096400 memory=79220 CPUtime=1220.15 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 89666 0 0 0 122002 13 0 0 20 0 1 0 410322136 2146713600 19805 33554432000 4194304 5870510 140731617902496 140731617900936 5283064 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 524100 19805 1003 410 0 519573 0
Current children cumulated CPU time: 1220.15 s
Current children cumulated vsize: 2096400 KiB
Current children cumulated memory: 79220 KiB
[startup+1220.6 s]
/proc/loadavg: 2.04 2.04 2.05 3/204 4768
/proc/meminfo: memFree=30853452/32770624 swapFree=66966416/67108860
[pid=4340] ppid=4337 vsize=2096400 memory=79220 CPUtime=1220.35 cores=0,2,4,6
/proc/4340/stat : 4340 (xcsp_picat) R 4337 4340 31436 0 -1 4202496 89666 0 0 0 122022 13 0 0 20 0 1 0 410322136 2146713600 19805 33554432000 4194304 5870510 140731617902496 140731617900936 140363747361717 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 29659136 140731617903647 140731617903725 140731617903725 140731617906634 0
/proc/4340/statm: 524100 19805 1003 410 0 519573 0
Current children cumulated CPU time: 1220.35 s
Current children cumulated vsize: 2096400 KiB
Current children cumulated memory: 79220 KiB
Child status: 0
Real time (s): 1220.69
CPU time (s): 1220.45
CPU user time (s): 1220.31
CPU system time (s): 0.136973
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 2109252
Max. memory (cumulated for all children) (KiB): 100032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1220.31
system time used= 0.136973
maximum resident set size= 100040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89706
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= 10
involuntary context switches= 1178
# summary of solver processes directly reported to runsolver:
# pid: 4340
# total CPU time (s): 1220.45
# total CPU user time (s): 1220.31
# total CPU system time (s): 0.136973
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47037 second user time and 9.48276 second system time
The end