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 (6280 MiB free)
memory of node 1: 16384 MiB (9389 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303375-1534020261/watcher-4303375-1534020261 -o /tmp/evaluation-result-4303375-1534020261/solver-4303375-1534020261 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1533991815-32498 --watchdog 2580 xcsp_picat HOME/instance-4303375-1534020261.xml
running on 4 cores: 1,3,5,7
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=4279, runsolver pid=4276
[startup+0.100201 s]*
/proc/loadavg: 2.00 1.99 2.03 3/188 4280
/proc/meminfo: memFree=16018132/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2025744 memory=30536 CPUtime=0.1 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 1699 0 0 0 10 0 0 0 20 0 1 0 219589306 2074361856 7634 33554432000 4194304 5849708 140725302620464 140725302619832 4539603 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 506436 7634 619 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 30536 KiB
[startup+0.209712 s]*
/proc/loadavg: 2.00 1.99 2.03 3/188 4280
/proc/meminfo: memFree=16003736/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2025744 memory=45624 CPUtime=0.2 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 1867 0 0 0 20 0 0 0 20 0 1 0 219589306 2074361856 11406 33554432000 4194304 5849708 140725302620464 140725302619832 140244643987335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 506436 11406 657 405 0 503381 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 45624 KiB
[startup+0.309507 s]*
/proc/loadavg: 2.00 1.99 2.03 3/188 4280
/proc/meminfo: memFree=16002992/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2026476 memory=46380 CPUtime=0.31 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 2084 0 0 0 30 1 0 0 20 0 1 0 219589306 2075111424 11595 33554432000 4194304 5849708 140725302620464 140725302619832 140244643987335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 506619 11595 666 405 0 503564 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2026476 KiB
Current children cumulated memory: 46380 KiB
[startup+0.700272 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 4280
/proc/meminfo: memFree=16001504/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2027500 memory=47280 CPUtime=0.69 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 2340 0 0 0 67 2 0 0 20 0 1 0 219589306 2076160000 11820 33554432000 4194304 5849708 140725302620464 140725302619704 140244643987335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 506875 11820 666 405 0 503820 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027500 KiB
Current children cumulated memory: 47280 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 4280
/proc/meminfo: memFree=16000024/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2032108 memory=51936 CPUtime=1.49 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 3492 0 0 0 143 6 0 0 20 0 1 0 219589306 2080878592 12984 33554432000 4194304 5849708 140725302620464 140725302619704 140244643987335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 508027 12984 666 405 0 504972 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2032108 KiB
Current children cumulated memory: 51936 KiB
[startup+3.10941 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 4280
/proc/meminfo: memFree=15990984/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2038252 memory=58284 CPUtime=3.1 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 5078 0 0 0 297 13 0 0 20 0 1 0 219589306 2087170048 14571 33554432000 4194304 5849708 140725302620464 140725302619576 140244643987335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 509563 14571 666 405 0 506508 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2038252 KiB
Current children cumulated memory: 58284 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 4280
/proc/meminfo: memFree=15984384/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2044348 memory=64256 CPUtime=6.29 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 9841 0 0 0 607 22 0 0 20 0 1 0 219589306 2093412352 16064 33554432000 4194304 5849708 140725302620464 140725302619576 5394825 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 511087 16064 677 405 0 508032 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2044348 KiB
Current children cumulated memory: 64256 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 4280
/proc/meminfo: memFree=15969040/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2056924 memory=76868 CPUtime=12.69 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 21519 0 0 0 1240 29 0 0 20 0 1 0 219589306 2106290176 19217 33554432000 4194304 5849708 140725302620464 140725302619336 5413085 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 514231 19217 699 405 0 511176 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2056924 KiB
Current children cumulated memory: 76868 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 4280
/proc/meminfo: memFree=15973060/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2058480 memory=77504 CPUtime=25.49 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 30567 0 0 0 2505 44 0 0 20 0 1 0 219589306 2107883520 19376 33554432000 4194304 5849708 140725302620464 140725302619464 140244643987335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 514620 19376 699 405 0 511565 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2058480 KiB
Current children cumulated memory: 77504 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 4280
/proc/meminfo: memFree=15971888/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2060700 memory=80744 CPUtime=51.11 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 49068 0 0 0 5035 76 0 0 20 0 1 0 219589306 2110156800 20186 33554432000 4194304 5849708 140725302620464 140725302619464 140244643987335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 515175 20186 699 405 0 512120 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 2060700 KiB
Current children cumulated memory: 80744 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 4281
/proc/meminfo: memFree=15964708/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2064320 memory=83660 CPUtime=102.3 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 69182 0 0 0 10109 121 0 0 20 0 1 0 219589306 2113863680 20915 33554432000 4194304 5849708 140725302620464 140725302619464 140244643987335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 516080 20915 699 405 0 513025 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2064320 KiB
Current children cumulated memory: 83660 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 4282
/proc/meminfo: memFree=15940996/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2063648 memory=83572 CPUtime=162.31 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 99599 0 0 0 16056 175 0 0 20 0 1 0 219589306 2113175552 20893 33554432000 4194304 5849708 140725302620464 140725302619464 5397395 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 515912 20893 699 405 0 512857 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 2063648 KiB
Current children cumulated memory: 83572 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 4283
/proc/meminfo: memFree=15552092/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2083056 memory=102948 CPUtime=222.32 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 126012 0 0 0 22000 232 0 0 20 0 1 0 219589306 2133049344 25737 33554432000 4194304 5849708 140725302620464 140725302619192 140244643987335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 520764 25737 699 405 0 517709 0
Current children cumulated CPU time: 222.32 s
Current children cumulated vsize: 2083056 KiB
Current children cumulated memory: 102948 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 4284
/proc/meminfo: memFree=15920120/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2084092 memory=104192 CPUtime=282.32 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 138858 0 0 0 27943 289 0 0 20 0 1 0 219589306 2134110208 26048 33554432000 4194304 5849708 140725302620464 140725302619464 5438085 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 521023 26048 699 405 0 517968 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 2084092 KiB
Current children cumulated memory: 104192 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 4293
/proc/meminfo: memFree=15928776/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2085800 memory=105700 CPUtime=342.33 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 163433 0 0 0 33892 341 0 0 20 0 1 0 219589306 2135859200 26425 33554432000 4194304 5849708 140725302620464 140725302619624 140244643987335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 521450 26425 699 405 0 518395 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 2085800 KiB
Current children cumulated memory: 105700 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 4294
/proc/meminfo: memFree=15930608/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2084468 memory=104392 CPUtime=402.34 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 178949 0 0 0 39838 396 0 0 20 0 1 0 219589306 2134495232 26098 33554432000 4194304 5849708 140725302620464 140725302618952 140244643987335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 521117 26098 699 405 0 518062 0
Current children cumulated CPU time: 402.34 s
Current children cumulated vsize: 2084468 KiB
Current children cumulated memory: 104392 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/189 4296
/proc/meminfo: memFree=15929172/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2085872 memory=105748 CPUtime=462.35 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 205181 0 0 0 45784 451 0 0 20 0 1 0 219589306 2135932928 26437 33554432000 4194304 5849708 140725302620464 140725302619464 140244643987335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 521468 26437 699 405 0 518413 0
Current children cumulated CPU time: 462.35 s
Current children cumulated vsize: 2085872 KiB
Current children cumulated memory: 105748 KiB
################
# More data... #
################
/proc/4279/statm: 523267 28993 699 405 0 520212 0
Current children cumulated CPU time: 1722.49 s
Current children cumulated vsize: 2093068 KiB
Current children cumulated memory: 115972 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 4419
/proc/meminfo: memFree=16178824/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2098512 memory=121656 CPUtime=1782.49 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 544957 0 0 0 176883 1366 0 0 20 0 1 0 219589306 2148876288 30414 33554432000 4194304 5849708 140725302620464 140725302619464 140244643987335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 524628 30414 699 405 0 521573 0
Current children cumulated CPU time: 1782.49 s
Current children cumulated vsize: 2098512 KiB
Current children cumulated memory: 121656 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 4420
/proc/meminfo: memFree=16151768/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2094368 memory=117504 CPUtime=1842.49 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 553289 0 0 0 182854 1395 0 0 20 0 1 0 219589306 2144632832 29376 33554432000 4194304 5849708 140725302620464 140725302619624 140244643987335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 523592 29376 699 405 0 520537 0
Current children cumulated CPU time: 1842.49 s
Current children cumulated vsize: 2094368 KiB
Current children cumulated memory: 117504 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 4421
/proc/meminfo: memFree=16152388/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2094600 memory=117572 CPUtime=1902.5 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 572201 0 0 0 188822 1428 0 0 20 0 1 0 219589306 2144870400 29393 33554432000 4194304 5849708 140725302620464 140725302619464 140244643987335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 523650 29393 699 405 0 520595 0
Current children cumulated CPU time: 1902.5 s
Current children cumulated vsize: 2094600 KiB
Current children cumulated memory: 117572 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 4423
/proc/meminfo: memFree=16069364/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2104484 memory=127564 CPUtime=1962.51 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 577170 0 0 0 194795 1456 0 0 20 0 1 0 219589306 2154991616 31891 33554432000 4194304 5849708 140725302620464 140725302619464 140244643987335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 526121 31891 699 405 0 523066 0
Current children cumulated CPU time: 1962.51 s
Current children cumulated vsize: 2104484 KiB
Current children cumulated memory: 127564 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 4424
/proc/meminfo: memFree=16060520/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2097008 memory=119928 CPUtime=2022.51 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 596542 0 0 0 200762 1489 0 0 20 0 1 0 219589306 2147336192 29982 33554432000 4194304 5849708 140725302620464 140725302619464 5437835 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 524252 29982 699 405 0 521197 0
Current children cumulated CPU time: 2022.51 s
Current children cumulated vsize: 2097008 KiB
Current children cumulated memory: 119928 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 4425
/proc/meminfo: memFree=16122280/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2107604 memory=130672 CPUtime=2082.53 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 602449 0 0 0 206733 1520 0 0 20 0 1 0 219589306 2158186496 32668 33554432000 4194304 5849708 140725302620464 140725302619464 140244643987335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 526901 32668 699 405 0 523846 0
Current children cumulated CPU time: 2082.53 s
Current children cumulated vsize: 2107604 KiB
Current children cumulated memory: 130672 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 4433
/proc/meminfo: memFree=16123268/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2097448 memory=120464 CPUtime=2142.53 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 621836 0 0 0 212699 1554 0 0 20 0 1 0 219589306 2147786752 30116 33554432000 4194304 5849708 140725302620464 140725302619464 140244643987335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 524362 30116 699 405 0 521307 0
Current children cumulated CPU time: 2142.53 s
Current children cumulated vsize: 2097448 KiB
Current children cumulated memory: 120464 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 4434
/proc/meminfo: memFree=16116736/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2100992 memory=123968 CPUtime=2202.54 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 631817 0 0 0 218661 1593 0 0 20 0 1 0 219589306 2151415808 30992 33554432000 4194304 5849708 140725302620464 140725302619464 140244643987335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 525248 30992 699 405 0 522193 0
Current children cumulated CPU time: 2202.54 s
Current children cumulated vsize: 2100992 KiB
Current children cumulated memory: 123968 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 4435
/proc/meminfo: memFree=16073224/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2111980 memory=135008 CPUtime=2262.54 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 649619 0 0 0 224632 1622 0 0 20 0 1 0 219589306 2162667520 33752 33554432000 4194304 5849708 140725302620464 140725302619624 5437824 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 527995 33752 699 405 0 524940 0
Current children cumulated CPU time: 2262.54 s
Current children cumulated vsize: 2111980 KiB
Current children cumulated memory: 135008 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 4436
/proc/meminfo: memFree=16085684/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2099812 memory=122820 CPUtime=2322.55 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 656582 0 0 0 230600 1655 0 0 20 0 1 0 219589306 2150207488 30705 33554432000 4194304 5849708 140725302620464 140725302619464 140244643987335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 524953 30705 699 405 0 521898 0
Current children cumulated CPU time: 2322.55 s
Current children cumulated vsize: 2099812 KiB
Current children cumulated memory: 122820 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 4437
/proc/meminfo: memFree=16085052/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2099972 memory=123004 CPUtime=2382.56 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 672770 0 0 0 236573 1683 0 0 20 0 1 0 219589306 2150371328 30751 33554432000 4194304 5849708 140725302620464 140725302619464 140244643987335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 524993 30751 699 405 0 521938 0
Current children cumulated CPU time: 2382.56 s
Current children cumulated vsize: 2099972 KiB
Current children cumulated memory: 123004 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 4439
/proc/meminfo: memFree=16081724/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2102888 memory=125852 CPUtime=2442.57 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 679994 0 0 0 242546 1711 0 0 20 0 1 0 219589306 2153357312 31463 33554432000 4194304 5849708 140725302620464 140725302619624 5437576 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 525722 31463 699 405 0 522667 0
Current children cumulated CPU time: 2442.57 s
Current children cumulated vsize: 2102888 KiB
Current children cumulated memory: 125852 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 4440
/proc/meminfo: memFree=16007704/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2098348 memory=121380 CPUtime=2502.57 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 701569 0 0 0 248514 1743 0 0 20 0 1 0 219589306 2148708352 30345 33554432000 4194304 5849708 140725302620464 140725302619464 140244643987335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 524587 30345 699 405 0 521532 0
Current children cumulated CPU time: 2502.57 s
Current children cumulated vsize: 2098348 KiB
Current children cumulated memory: 121380 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.8 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 4440
/proc/meminfo: memFree=15997592/32770624 swapFree=67108504/67108860
[pid=4279] ppid=4276 vsize=2109372 memory=132260 CPUtime=2520.08 cores=1,3,5,7
/proc/4279/stat : 4279 (xcsp_picat) R 4276 4279 32466 0 -1 4202496 702792 0 0 0 250256 1752 0 0 20 0 1 0 219589306 2159996928 33065 33554432000 4194304 5849708 140725302620464 140725302619336 140244643987335 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 46993408 140725302629558 140725302629636 140725302629636 140725302632394 0
/proc/4279/statm: 527343 33065 699 405 0 524288 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 2109372 KiB
Current children cumulated memory: 132260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.81 s]
# the end of solver process 4279 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2502.56 s, system=17.5271 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): 2519.81
CPU time (s): 2520.09
CPU user time (s): 2502.56
CPU system time (s): 17.5271
CPU usage (%): 100.011
Max. virtual memory (cumulated for all children) (KiB): 2141392
Max. memory (cumulated for all children) (KiB): 164424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2502.56
system time used= 17.5271
maximum resident set size= 164424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 702792
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= 20
involuntary context switches= 1127
# summary of solver processes directly reported to runsolver:
# pid: 4279
# total CPU time (s): 2520.09
# total CPU user time (s): 2502.56
# total CPU system time (s): 17.5271
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.36732 second user time and 19.1559 second system time
The end