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 (15036 MiB free)
memory of node 1: 16384 MiB (11856 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293312-1532313106/watcher-4293312-1532313106 -o /tmp/evaluation-result-4293312-1532313106/solver-4293312-1532313106 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532294350-7318 --watchdog 2580 xcsp_picat HOME/instance-4293312-1532313106.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=9768, runsolver pid=9765
[startup+0.100471 s]*
/proc/loadavg: 2.26 2.06 2.06 3/188 9769
/proc/meminfo: memFree=27511188/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=111688 memory=31516 CPUtime=0.09 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 1410 0 0 0 9 0 0 0 20 0 1 0 48873806 114368512 7879 33554432000 4194304 5849740 140732119474768 140732119474072 4572141 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 27922 7879 623 405 0 24866 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 31516 KiB
[startup+0.209566 s]*
/proc/loadavg: 2.26 2.06 2.06 3/188 9769
/proc/meminfo: memFree=27476700/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=143416 memory=66820 CPUtime=0.2 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 2355 0 0 0 19 1 0 0 20 0 1 0 48873806 146857984 16705 33554432000 4194304 5849740 140732119474768 140732119474072 5262149 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 35854 16705 656 405 0 32798 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 143416 KiB
Current children cumulated memory: 66820 KiB
[startup+0.309655 s]*
/proc/loadavg: 2.26 2.06 2.06 3/188 9769
/proc/meminfo: memFree=27474652/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=143548 memory=67216 CPUtime=0.3 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 2433 0 0 0 29 1 0 0 20 0 1 0 48873806 146993152 16804 33554432000 4194304 5849740 140732119474768 140732119474072 5606222 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 35887 16804 718 405 0 32831 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 143548 KiB
Current children cumulated memory: 67216 KiB
[startup+0.700243 s]
/proc/loadavg: 2.26 2.06 2.06 3/188 9769
/proc/meminfo: memFree=27474652/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=143548 memory=67216 CPUtime=0.68 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 2455 0 0 0 67 1 0 0 20 0 1 0 48873806 146993152 16804 33554432000 4194304 5849740 140732119474768 140732119474008 5611448 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 35887 16804 718 405 0 32831 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 143548 KiB
Current children cumulated memory: 67216 KiB
[startup+1.50024 s]
/proc/loadavg: 2.26 2.06 2.06 3/188 9769
/proc/meminfo: memFree=27474528/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=143548 memory=67216 CPUtime=1.48 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 2455 0 0 0 147 1 0 0 20 0 1 0 48873806 146993152 16804 33554432000 4194304 5849740 140732119474768 140732119474008 5606222 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 35887 16804 718 405 0 32831 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 143548 KiB
Current children cumulated memory: 67216 KiB
[startup+3.10899 s]
/proc/loadavg: 2.26 2.06 2.06 3/188 9769
/proc/meminfo: memFree=27474140/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=143820 memory=67556 CPUtime=3.09 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 2614 0 0 0 308 1 0 0 20 0 1 0 48873806 147271680 16889 33554432000 4194304 5849740 140732119474768 140732119473864 5606197 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 35955 16889 718 405 0 32899 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 143820 KiB
Current children cumulated memory: 67556 KiB
[startup+6.30027 s]
/proc/loadavg: 2.32 2.08 2.07 3/188 9769
/proc/meminfo: memFree=27466352/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=143820 memory=67556 CPUtime=6.28 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 2755 0 0 0 627 1 0 0 20 0 1 0 48873806 147271680 16889 33554432000 4194304 5849740 140732119474768 140732119473864 5521452 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 35955 16889 718 405 0 32899 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 143820 KiB
Current children cumulated memory: 67556 KiB
[startup+12.7004 s]
/proc/loadavg: 2.29 2.08 2.07 3/188 9769
/proc/meminfo: memFree=27442728/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=183992 memory=107712 CPUtime=12.68 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 8262 0 0 0 1266 2 0 0 20 0 1 0 48873806 188407808 26928 33554432000 4194304 5849740 140732119474768 140732119473640 5359569 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 45998 26928 722 405 0 42942 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 183992 KiB
Current children cumulated memory: 107712 KiB
[startup+25.5003 s]
/proc/loadavg: 2.23 2.07 2.06 3/188 9769
/proc/meminfo: memFree=27436940/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=184944 memory=108788 CPUtime=25.48 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 17709 0 0 0 2542 6 0 0 20 0 1 0 48873806 189382656 27197 33554432000 4194304 5849740 140732119474768 140732119473416 5308816 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 46236 27197 753 405 0 43180 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 184944 KiB
Current children cumulated memory: 108788 KiB
[startup+51.1095 s]
/proc/loadavg: 2.15 2.07 2.06 3/188 9769
/proc/meminfo: memFree=27411864/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=185140 memory=108984 CPUtime=51.09 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 24367 0 0 0 5095 14 0 0 20 0 1 0 48873806 189583360 27246 33554432000 4194304 5849740 140732119474768 140732119473768 5438444 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 46285 27246 753 405 0 43229 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 185140 KiB
Current children cumulated memory: 108984 KiB
[startup+102.3 s]
/proc/loadavg: 2.06 2.06 2.06 3/188 9770
/proc/meminfo: memFree=27376120/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=217744 memory=134292 CPUtime=102.27 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 35932 0 0 0 10199 28 0 0 20 0 1 0 48873806 222969856 33573 33554432000 4194304 5849740 140732119474768 140732119473768 5438245 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 54436 33573 753 405 0 51380 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 217744 KiB
Current children cumulated memory: 134292 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/188 9771
/proc/meminfo: memFree=27301896/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=259388 memory=182848 CPUtime=162.26 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 41370 0 0 0 16181 45 0 0 20 0 1 0 48873806 265613312 45712 33554432000 4194304 5849740 140732119474768 140732119473768 5335602 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 64847 45712 753 405 0 61791 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 259388 KiB
Current children cumulated memory: 182848 KiB
[startup+222.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/187 9772
/proc/meminfo: memFree=27282116/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=259388 memory=191232 CPUtime=222.26 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 48119 0 0 0 22164 62 0 0 20 0 1 0 48873806 265613312 47808 33554432000 4194304 5849740 140732119474768 140732119473768 5339328 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 64847 47808 753 405 0 61791 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 259388 KiB
Current children cumulated memory: 191232 KiB
[startup+282.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 9773
/proc/meminfo: memFree=27279808/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=261552 memory=193412 CPUtime=282.25 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 59431 0 0 0 28149 76 0 0 20 0 1 0 48873806 267829248 48353 33554432000 4194304 5849740 140732119474768 140732119473768 140075021967239 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 65388 48353 753 405 0 62332 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 261552 KiB
Current children cumulated memory: 193412 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 9774
/proc/meminfo: memFree=27261864/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=275424 memory=199560 CPUtime=342.24 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 66587 0 0 0 34133 91 0 0 20 0 1 0 48873806 282034176 49890 33554432000 4194304 5849740 140732119474768 140732119473768 5437644 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 68856 49890 753 405 0 65800 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 275424 KiB
Current children cumulated memory: 199560 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 9775
/proc/meminfo: memFree=27264036/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=273088 memory=197224 CPUtime=402.23 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 78214 0 0 0 40119 104 0 0 20 0 1 0 48873806 279642112 49306 33554432000 4194304 5849740 140732119474768 140732119473768 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 68272 49306 753 405 0 65216 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 273088 KiB
Current children cumulated memory: 197224 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 9776
/proc/meminfo: memFree=27256928/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=273088 memory=203368 CPUtime=462.22 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 85156 0 0 0 46105 117 0 0 20 0 1 0 48873806 279642112 50842 33554432000 4194304 5849740 140732119474768 140732119473768 5437611 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 68272 50842 753 405 0 65216 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 273088 KiB
Current children cumulated memory: 203368 KiB
################
# More data... #
################
/proc/9768/statm: 69988 51309 755 405 0 66932 0
Current children cumulated CPU time: 1722.09 s
Current children cumulated vsize: 279952 KiB
Current children cumulated memory: 205236 KiB
[startup+1782.3 s]
/proc/loadavg: 2.37 2.15 2.09 3/189 9847
/proc/meminfo: memFree=27144332/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=310488 memory=242212 CPUtime=1782.09 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 155053 0 0 0 177757 452 0 0 20 0 1 0 48873806 317939712 60553 33554432000 4194304 5849740 140732119474768 140732119473768 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 77622 60553 755 405 0 74566 0
Current children cumulated CPU time: 1782.09 s
Current children cumulated vsize: 310488 KiB
Current children cumulated memory: 242212 KiB
[startup+1842.3 s]
/proc/loadavg: 2.14 2.13 2.09 3/189 9848
/proc/meminfo: memFree=27120604/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=262184 memory=194152 CPUtime=1842.09 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 159125 0 0 0 183740 469 0 0 20 0 1 0 48873806 268476416 48538 33554432000 4194304 5849740 140732119474768 140732119473928 140075021967239 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 65546 48538 755 405 0 62490 0
Current children cumulated CPU time: 1842.09 s
Current children cumulated vsize: 262184 KiB
Current children cumulated memory: 194152 KiB
[startup+1902.3 s]
/proc/loadavg: 2.10 2.12 2.09 3/189 9849
/proc/meminfo: memFree=27143896/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=273720 memory=205560 CPUtime=1902.08 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 161298 0 0 0 189728 480 0 0 20 0 1 0 48873806 280289280 51390 33554432000 4194304 5849740 140732119474768 140732119473768 5335568 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 68430 51390 755 405 0 65374 0
Current children cumulated CPU time: 1902.08 s
Current children cumulated vsize: 273720 KiB
Current children cumulated memory: 205560 KiB
[startup+1962.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/189 9850
/proc/meminfo: memFree=27073964/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=322552 memory=254392 CPUtime=1962.07 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 167321 0 0 0 195710 497 0 0 20 0 1 0 48873806 330293248 63598 33554432000 4194304 5849740 140732119474768 140732119473768 140075021967239 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 80638 63598 755 405 0 77582 0
Current children cumulated CPU time: 1962.07 s
Current children cumulated vsize: 322552 KiB
Current children cumulated memory: 254392 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/188 9851
/proc/meminfo: memFree=27123300/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=322552 memory=254392 CPUtime=2022.07 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 169113 0 0 0 201694 513 0 0 20 0 1 0 48873806 330293248 63598 33554432000 4194304 5849740 140732119474768 140732119473768 5437662 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 80638 63598 755 405 0 77582 0
Current children cumulated CPU time: 2022.07 s
Current children cumulated vsize: 322552 KiB
Current children cumulated memory: 254392 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/187 9852
/proc/meminfo: memFree=27130740/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=322552 memory=254392 CPUtime=2082.06 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 172945 0 0 0 207677 529 0 0 20 0 1 0 48873806 330293248 63598 33554432000 4194304 5849740 140732119474768 140732119473768 5437467 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 80638 63598 755 405 0 77582 0
Current children cumulated CPU time: 2082.06 s
Current children cumulated vsize: 322552 KiB
Current children cumulated memory: 254392 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 9853
/proc/meminfo: memFree=27198372/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=327388 memory=259152 CPUtime=2142.06 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 183667 0 0 0 213661 545 0 0 20 0 1 0 48873806 335245312 64788 33554432000 4194304 5849740 140732119474768 140732119473768 5438251 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 81847 64788 755 405 0 78791 0
Current children cumulated CPU time: 2142.06 s
Current children cumulated vsize: 327388 KiB
Current children cumulated memory: 259152 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 9854
/proc/meminfo: memFree=27154544/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=326720 memory=258628 CPUtime=2202.05 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 188268 0 0 0 219644 561 0 0 20 0 1 0 48873806 334561280 64657 33554432000 4194304 5849740 140732119474768 140732119473768 140075021967239 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 81680 64657 755 405 0 78624 0
Current children cumulated CPU time: 2202.05 s
Current children cumulated vsize: 326720 KiB
Current children cumulated memory: 258628 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 9855
/proc/meminfo: memFree=27120088/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=328668 memory=260480 CPUtime=2262.04 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 192081 0 0 0 225629 575 0 0 20 0 1 0 48873806 336556032 65120 33554432000 4194304 5849740 140732119474768 140732119473768 5438245 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 82167 65120 755 405 0 79111 0
Current children cumulated CPU time: 2262.04 s
Current children cumulated vsize: 328668 KiB
Current children cumulated memory: 260480 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 9865
/proc/meminfo: memFree=27047388/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=334048 memory=265876 CPUtime=2322.04 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 199729 0 0 0 231611 593 0 0 20 0 1 0 48873806 342065152 66469 33554432000 4194304 5849740 140732119474768 140732119473768 5312778 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 83512 66469 755 405 0 80456 0
Current children cumulated CPU time: 2322.04 s
Current children cumulated vsize: 334048 KiB
Current children cumulated memory: 265876 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/189 9866
/proc/meminfo: memFree=27011664/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=411684 memory=343496 CPUtime=2382.03 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 211784 0 0 0 237592 611 0 0 20 0 1 0 48873806 421564416 85874 33554432000 4194304 5849740 140732119474768 140732119473640 5340238 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 102921 85874 755 405 0 99865 0
Current children cumulated CPU time: 2382.03 s
Current children cumulated vsize: 411684 KiB
Current children cumulated memory: 343496 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 9928
/proc/meminfo: memFree=27245760/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=376160 memory=307856 CPUtime=2442.03 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 216803 0 0 0 243578 625 0 0 20 0 1 0 48873806 385187840 76964 33554432000 4194304 5849740 140732119474768 140732119473768 140075021967239 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 94040 76964 755 405 0 90984 0
Current children cumulated CPU time: 2442.03 s
Current children cumulated vsize: 376160 KiB
Current children cumulated memory: 307856 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 9929
/proc/meminfo: memFree=27246052/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=379940 memory=311780 CPUtime=2502.02 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 225508 0 0 0 249565 637 0 0 20 0 1 0 48873806 389058560 77945 33554432000 4194304 5849740 140732119474768 140732119473640 5317083 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 94985 77945 755 405 0 91929 0
Current children cumulated CPU time: 2502.02 s
Current children cumulated vsize: 379940 KiB
Current children cumulated memory: 311780 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 9929
/proc/meminfo: memFree=27310016/32770624 swapFree=67108860/67108860
[pid=9768] ppid=9765 vsize=316152 memory=248120 CPUtime=2519.73 cores=0,2,4,6
/proc/9768/stat : 9768 (xcsp_picat) R 9765 9768 7287 0 -1 4202496 228094 0 0 0 251330 643 0 0 20 0 1 0 48873806 323739648 62030 33554432000 4194304 5849740 140732119474768 140732119473928 140075021967239 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 26132480 140732119479478 140732119479556 140732119479556 140732119482314 0
/proc/9768/statm: 79038 62030 755 405 0 75982 0
Current children cumulated CPU time: 2519.73 s
Current children cumulated vsize: 316152 KiB
Current children cumulated memory: 248120 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 9768 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.3 s, system=6.43942 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): 2519.74
CPU user time (s): 2513.3
CPU system time (s): 6.43942
CPU usage (%): 99.9893
Max. virtual memory (cumulated for all children) (KiB): 412680
Max. memory (cumulated for all children) (KiB): 344328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.3
system time used= 6.43942
maximum resident set size= 344328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228095
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= 54
involuntary context switches= 3155
# summary of solver processes directly reported to runsolver:
# pid: 9768
# total CPU time (s): 2519.74
# total CPU user time (s): 2513.3
# total CPU system time (s): 6.43942
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.17754 second user time and 20.9764 second system time
The end