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 (6249 MiB free)
memory of node 1: 16384 MiB (8226 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303489-1534003857/watcher-4303489-1534003857 -o /tmp/evaluation-result-4303489-1534003857/solver-4303489-1534003857 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1533989978-12841 --watchdog 2580 xcsp_picat HOME/instance-4303489-1534003857.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=14810, runsolver pid=14807
[startup+0.100164 s]*
/proc/loadavg: 2.13 2.12 2.09 3/188 14811
/proc/meminfo: memFree=14794596/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2025744 memory=35644 CPUtime=0.1 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 1413 0 0 0 10 0 0 0 20 0 1 0 217948545 2074361856 8911 33554432000 4194304 5849708 140730242786624 140730242786624 4454714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 506436 8911 611 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 35644 KiB
[startup+0.209741 s]*
/proc/loadavg: 2.13 2.12 2.09 3/188 14811
/proc/meminfo: memFree=14747492/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2025744 memory=80700 CPUtime=0.21 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 1435 0 0 0 20 1 0 0 20 0 1 0 217948545 2074361856 20175 33554432000 4194304 5849708 140730242786624 140730242786624 4539901 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 506436 20175 611 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 80700 KiB
[startup+0.309584 s]*
/proc/loadavg: 2.13 2.12 2.09 3/188 14811
/proc/meminfo: memFree=14708612/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2025744 memory=121744 CPUtime=0.31 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 1455 0 0 0 29 2 0 0 20 0 1 0 217948545 2074361856 30436 33554432000 4194304 5849708 140730242786624 140730242786624 4490893 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 506436 30436 616 405 0 503381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 121744 KiB
[startup+0.700379 s]
/proc/loadavg: 2.12 2.12 2.09 3/188 14811
/proc/meminfo: memFree=14628156/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2025744 memory=260276 CPUtime=0.69 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 1899 0 0 0 66 3 0 0 20 0 1 0 217948545 2074361856 65069 33554432000 4194304 5849708 140730242786624 140730242786624 4474866 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 506436 65069 637 405 0 503381 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 260276 KiB
[startup+1.50028 s]
/proc/loadavg: 2.12 2.12 2.09 3/188 14811
/proc/meminfo: memFree=14561636/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2025888 memory=265064 CPUtime=1.49 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 2038 0 0 0 145 4 0 0 20 0 1 0 217948545 2074509312 66266 33554432000 4194304 5849708 140730242786624 140730242785720 140055330275207 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 506472 66266 718 405 0 503417 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025888 KiB
Current children cumulated memory: 265064 KiB
[startup+3.10901 s]
/proc/loadavg: 2.12 2.12 2.09 3/188 14811
/proc/meminfo: memFree=14561016/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2026388 memory=265608 CPUtime=3.1 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 2255 0 0 0 306 4 0 0 20 0 1 0 217948545 2075021312 66402 33554432000 4194304 5849708 140730242786624 140730242785720 5473087 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 506597 66402 718 405 0 503542 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2026388 KiB
Current children cumulated memory: 265608 KiB
[startup+6.30027 s]
/proc/loadavg: 2.19 2.14 2.09 3/188 14811
/proc/meminfo: memFree=14559748/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2027320 memory=266540 CPUtime=6.28 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 2739 0 0 0 624 4 0 0 20 0 1 0 217948545 2075975680 66635 33554432000 4194304 5849708 140730242786624 140730242785720 5472792 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 506830 66635 718 405 0 503775 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2027320 KiB
Current children cumulated memory: 266540 KiB
[startup+12.7003 s]
/proc/loadavg: 2.17 2.13 2.09 3/188 14811
/proc/meminfo: memFree=14558048/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2028992 memory=268208 CPUtime=12.69 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 3526 0 0 0 1263 6 0 0 20 0 1 0 217948545 2077687808 67052 33554432000 4194304 5849708 140730242786624 140730242785720 140055330275207 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 507248 67052 718 405 0 504193 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2028992 KiB
Current children cumulated memory: 268208 KiB
[startup+25.5003 s]
/proc/loadavg: 2.14 2.13 2.09 3/188 14811
/proc/meminfo: memFree=14555072/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2032252 memory=271472 CPUtime=25.49 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 5190 0 0 0 2541 8 0 0 20 0 1 0 217948545 2081026048 67868 33554432000 4194304 5849708 140730242786624 140730242785736 5606238 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 508063 67868 718 405 0 505008 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2032252 KiB
Current children cumulated memory: 271472 KiB
[startup+51.1094 s]
/proc/loadavg: 2.09 2.12 2.09 3/188 14811
/proc/meminfo: memFree=14395792/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2165248 memory=396648 CPUtime=51.1 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 35993 0 0 0 5095 15 0 0 20 0 1 0 217948545 2217213952 99162 33554432000 4194304 5849708 140730242786624 140730242784168 4212035 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 541312 99162 746 405 0 538257 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2165248 KiB
Current children cumulated memory: 396648 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/188 14812
/proc/meminfo: memFree=14408824/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2144224 memory=381880 CPUtime=102.28 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 68515 0 0 0 10206 22 0 0 20 0 1 0 217948545 2195685376 95470 33554432000 4194304 5849708 140730242786624 140730242785624 140055330275207 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 536056 95470 750 405 0 533001 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2144224 KiB
Current children cumulated memory: 381880 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/188 14813
/proc/meminfo: memFree=14396416/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2153180 memory=385928 CPUtime=162.28 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 86827 0 0 0 16197 31 0 0 20 0 1 0 217948545 2204856320 96482 33554432000 4194304 5849708 140730242786624 140730242785784 5307480 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 538295 96482 750 405 0 535240 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2153180 KiB
Current children cumulated memory: 385928 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 14814
/proc/meminfo: memFree=14404916/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2153056 memory=385804 CPUtime=222.27 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 102601 0 0 0 22181 46 0 0 20 0 1 0 217948545 2204729344 96451 33554432000 4194304 5849708 140730242786624 140730242785624 140055330275207 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 538264 96451 750 405 0 535209 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2153056 KiB
Current children cumulated memory: 385804 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/186 14815
/proc/meminfo: memFree=14394156/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2153056 memory=385804 CPUtime=282.27 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 118476 0 0 0 28167 60 0 0 20 0 1 0 217948545 2204729344 96451 33554432000 4194304 5849708 140730242786624 140730242785624 5312821 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 538264 96451 750 405 0 535209 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2153056 KiB
Current children cumulated memory: 385804 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 14817
/proc/meminfo: memFree=14384776/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2152868 memory=385616 CPUtime=342.26 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 133793 0 0 0 34152 74 0 0 20 0 1 0 217948545 2204536832 96404 33554432000 4194304 5849708 140730242786624 140730242785624 140055330275207 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 538217 96404 750 405 0 535162 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2152868 KiB
Current children cumulated memory: 385616 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 14818
/proc/meminfo: memFree=14385036/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2152620 memory=385368 CPUtime=402.26 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 151363 0 0 0 40138 88 0 0 20 0 1 0 217948545 2204282880 96342 33554432000 4194304 5849708 140730242786624 140730242785624 4234716 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 538155 96342 750 405 0 535100 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2152620 KiB
Current children cumulated memory: 385368 KiB
[startup+462.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 14819
/proc/meminfo: memFree=14417120/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2152620 memory=385368 CPUtime=462.26 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 168650 0 0 0 46123 103 0 0 20 0 1 0 217948545 2204282880 96342 33554432000 4194304 5849708 140730242786624 140730242785624 5339459 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 538155 96342 750 405 0 535100 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2152620 KiB
Current children cumulated memory: 385368 KiB
################
# More data... #
################
/proc/14810/statm: 542300 102180 750 405 0 539245 0
Current children cumulated CPU time: 1722.12 s
Current children cumulated vsize: 2169200 KiB
Current children cumulated memory: 408720 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14949
/proc/meminfo: memFree=14436844/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2168860 memory=408468 CPUtime=1782.11 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 346845 0 0 0 177813 398 0 0 20 0 1 0 217948545 2220912640 102117 33554432000 4194304 5849708 140730242786624 140730242785496 5360896 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 542215 102117 750 405 0 539160 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 2168860 KiB
Current children cumulated memory: 408468 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14950
/proc/meminfo: memFree=14395320/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2172348 memory=414940 CPUtime=1842.11 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 350218 0 0 0 183803 408 0 0 20 0 1 0 217948545 2224484352 103735 33554432000 4194304 5849708 140730242786624 140730242785624 140055330275207 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 543087 103735 750 405 0 540032 0
Current children cumulated CPU time: 1842.11 s
Current children cumulated vsize: 2172348 KiB
Current children cumulated memory: 414940 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14951
/proc/meminfo: memFree=14353084/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2172348 memory=414940 CPUtime=1902.1 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 352453 0 0 0 189787 423 0 0 20 0 1 0 217948545 2224484352 103735 33554432000 4194304 5849708 140730242786624 140730242785624 140055330275207 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 543087 103735 750 405 0 540032 0
Current children cumulated CPU time: 1902.1 s
Current children cumulated vsize: 2172348 KiB
Current children cumulated memory: 414940 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14952
/proc/meminfo: memFree=14066280/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2172696 memory=415288 CPUtime=1962.1 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 354548 0 0 0 195774 436 0 0 20 0 1 0 217948545 2224840704 103822 33554432000 4194304 5849708 140730242786624 140730242785624 5339459 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 543174 103822 750 405 0 540119 0
Current children cumulated CPU time: 1962.1 s
Current children cumulated vsize: 2172696 KiB
Current children cumulated memory: 415288 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14953
/proc/meminfo: memFree=14205680/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2172348 memory=414940 CPUtime=2022.1 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 357752 0 0 0 201761 449 0 0 20 0 1 0 217948545 2224484352 103735 33554432000 4194304 5849708 140730242786624 140730242785624 5437824 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 543087 103735 750 405 0 540032 0
Current children cumulated CPU time: 2022.1 s
Current children cumulated vsize: 2172348 KiB
Current children cumulated memory: 414940 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14954
/proc/meminfo: memFree=14101984/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2172348 memory=414940 CPUtime=2082.09 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 359690 0 0 0 207751 458 0 0 20 0 1 0 217948545 2224484352 103735 33554432000 4194304 5849708 140730242786624 140730242785624 5359301 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 543087 103735 750 405 0 540032 0
Current children cumulated CPU time: 2082.09 s
Current children cumulated vsize: 2172348 KiB
Current children cumulated memory: 414940 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14955
/proc/meminfo: memFree=14183452/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2172308 memory=414900 CPUtime=2142.08 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 361391 0 0 0 213739 469 0 0 20 0 1 0 217948545 2224443392 103725 33554432000 4194304 5849708 140730242786624 140730242785624 5437837 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 543077 103725 750 405 0 540022 0
Current children cumulated CPU time: 2142.08 s
Current children cumulated vsize: 2172308 KiB
Current children cumulated memory: 414900 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14956
/proc/meminfo: memFree=14018304/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2172600 memory=415192 CPUtime=2202.08 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 363925 0 0 0 219728 480 0 0 20 0 1 0 217948545 2224742400 103798 33554432000 4194304 5849708 140730242786624 140730242785624 5339871 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 543150 103798 750 405 0 540095 0
Current children cumulated CPU time: 2202.08 s
Current children cumulated vsize: 2172600 KiB
Current children cumulated memory: 415192 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14957
/proc/meminfo: memFree=14168388/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2172308 memory=414900 CPUtime=2262.07 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 366734 0 0 0 225716 491 0 0 20 0 1 0 217948545 2224443392 103725 33554432000 4194304 5849708 140730242786624 140730242785784 140055330275207 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 543077 103725 750 405 0 540022 0
Current children cumulated CPU time: 2262.07 s
Current children cumulated vsize: 2172308 KiB
Current children cumulated memory: 414900 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 14958
/proc/meminfo: memFree=14292552/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2172308 memory=414900 CPUtime=2322.06 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 368557 0 0 0 231704 502 0 0 20 0 1 0 217948545 2224443392 103725 33554432000 4194304 5849708 140730242786624 140730242785624 5307613 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 543077 103725 750 405 0 540022 0
Current children cumulated CPU time: 2322.06 s
Current children cumulated vsize: 2172308 KiB
Current children cumulated memory: 414900 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14967
/proc/meminfo: memFree=14176776/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2172308 memory=414900 CPUtime=2382.07 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 370964 0 0 0 237695 512 0 0 20 0 1 0 217948545 2224443392 103725 33554432000 4194304 5849708 140730242786624 140730242785624 140055330275207 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 543077 103725 750 405 0 540022 0
Current children cumulated CPU time: 2382.07 s
Current children cumulated vsize: 2172308 KiB
Current children cumulated memory: 414900 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14968
/proc/meminfo: memFree=13888376/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2172612 memory=415204 CPUtime=2442.06 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 373287 0 0 0 243682 524 0 0 20 0 1 0 217948545 2224754688 103801 33554432000 4194304 5849708 140730242786624 140730242785784 5339459 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 543153 103801 750 405 0 540098 0
Current children cumulated CPU time: 2442.06 s
Current children cumulated vsize: 2172612 KiB
Current children cumulated memory: 415204 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 14969
/proc/meminfo: memFree=13822952/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2172272 memory=414864 CPUtime=2502.06 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 375573 0 0 0 249670 536 0 0 20 0 1 0 217948545 2224406528 103716 33554432000 4194304 5849708 140730242786624 140730242785624 5307391 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 543068 103716 750 405 0 540013 0
Current children cumulated CPU time: 2502.06 s
Current children cumulated vsize: 2172272 KiB
Current children cumulated memory: 414864 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.08 2.03 2.05 3/188 14970
/proc/meminfo: memFree=13822360/32770624 swapFree=67108688/67108860
[pid=14810] ppid=14807 vsize=2172272 memory=414864 CPUtime=2519.77 cores=0,2,4,6
/proc/14810/stat : 14810 (xcsp_picat) R 14807 14810 12810 0 -1 4202496 375675 0 0 0 251436 541 0 0 20 0 1 0 217948545 2224406528 103716 33554432000 4194304 5849708 140730242786624 140730242785624 5307573 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 39002112 140730242794678 140730242794756 140730242794756 140730242797514 0
/proc/14810/statm: 543068 103716 750 405 0 540013 0
Current children cumulated CPU time: 2519.77 s
Current children cumulated vsize: 2172272 KiB
Current children cumulated memory: 414864 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 14810 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.36 s, system=5.41454 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.78
CPU user time (s): 2514.36
CPU system time (s): 5.41454
CPU usage (%): 99.9906
Max. virtual memory (cumulated for all children) (KiB): 2172696
Max. memory (cumulated for all children) (KiB): 415288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.36
system time used= 5.41454
maximum resident set size= 415288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 375676
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= 30
involuntary context switches= 796
# summary of solver processes directly reported to runsolver:
# pid: 14810
# total CPU time (s): 2519.78
# total CPU user time (s): 2514.36
# total CPU system time (s): 5.41454
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.35196 second user time and 18.4846 second system time
The end