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 (12492 MiB free)
memory of node 1: 16384 MiB (12846 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407895-1569514347/watcher-4407895-1569514347 -o /tmp/evaluation-result-4407895-1569514347/solver-4407895-1569514347 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1569509598-26660 --watchdog 2560 xcsp_picat HOME/instance-4407895-1569514347.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
Current StackSize limit: 8192 KiB
solver pid=27732, runsolver pid=27729
[startup+0.100214 s]*
/proc/loadavg: 2.00 1.99 1.95 3/200 27733
/proc/meminfo: memFree=25915824/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2050792 memory=36616 CPUtime=0.1 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 5518 0 0 0 9 1 0 0 20 0 1 0 527701406 2100011008 9154 33554432000 4194304 5870510 140727621807712 140727621804856 5316963 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 512698 9154 889 410 0 508171 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2050792 KiB
Current children cumulated memory: 36616 KiB
[startup+0.210184 s]*
/proc/loadavg: 2.00 1.99 1.95 3/200 27733
/proc/meminfo: memFree=25907080/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2057520 memory=43460 CPUtime=0.21 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 6764 0 0 0 20 1 0 0 20 0 1 0 527701406 2106900480 10865 33554432000 4194304 5870510 140727621807712 140727621804856 5343792 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 514380 10865 898 410 0 509853 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2057520 KiB
Current children cumulated memory: 43460 KiB
[startup+0.310046 s]*
/proc/loadavg: 2.00 1.99 1.95 3/200 27733
/proc/meminfo: memFree=25906396/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2058180 memory=44108 CPUtime=0.31 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 7633 0 0 0 30 1 0 0 20 0 1 0 527701406 2107576320 11027 33554432000 4194304 5870510 140727621807712 140727621804856 140196791372773 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 514545 11027 899 410 0 510018 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2058180 KiB
Current children cumulated memory: 44108 KiB
[startup+0.700444 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 27733
/proc/meminfo: memFree=25903420/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2073524 memory=58428 CPUtime=0.69 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 10294 0 0 0 67 2 0 0 20 0 1 0 527701406 2123288576 14607 33554432000 4194304 5870510 140727621807712 140727621805880 5287642 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 518381 14607 899 410 0 513854 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2073524 KiB
Current children cumulated memory: 58428 KiB
[startup+1.50045 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 27733
/proc/meminfo: memFree=25874256/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2083900 memory=69520 CPUtime=1.49 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 11221 0 0 0 147 2 0 0 20 0 1 0 527701406 2133913600 17380 33554432000 4194304 5870510 140727621807712 140727621805880 5267814 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 520975 17380 899 410 0 516448 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2083900 KiB
Current children cumulated memory: 69520 KiB
[startup+3.10998 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 27733
/proc/meminfo: memFree=25876240/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2083900 memory=69608 CPUtime=3.1 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 14890 0 0 0 308 2 0 0 20 0 1 0 527701406 2133913600 17402 33554432000 4194304 5870510 140727621807712 140727621806520 5281896 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 520975 17402 921 410 0 516448 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2083900 KiB
Current children cumulated memory: 69608 KiB
[startup+6.30041 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 27733
/proc/meminfo: memFree=25886472/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2109928 memory=68432 CPUtime=6.29 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 20723 0 0 0 625 4 0 0 20 0 1 0 527701406 2160566272 17108 33554432000 4194304 5870510 140727621807712 140727621806728 5282464 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 527482 17108 921 410 0 522955 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2109928 KiB
Current children cumulated memory: 68432 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 27733
/proc/meminfo: memFree=25863576/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2109880 memory=89032 CPUtime=12.69 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 32943 0 0 0 1263 6 0 0 20 0 1 0 527701406 2160517120 22258 33554432000 4194304 5870510 140727621807712 140727621806424 5274413 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 527470 22258 930 410 0 522943 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2109880 KiB
Current children cumulated memory: 89032 KiB
[startup+25.5005 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 27736
/proc/meminfo: memFree=25861680/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2101560 memory=88248 CPUtime=25.49 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 39420 0 0 0 2542 7 0 0 20 0 1 0 527701406 2151997440 22062 33554432000 4194304 5870510 140727621807712 140727621806424 5262603 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 525390 22062 930 410 0 520863 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2101560 KiB
Current children cumulated memory: 88248 KiB
[startup+51.11 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 27736
/proc/meminfo: memFree=25873840/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2091972 memory=77676 CPUtime=51.1 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 62748 0 0 0 5099 11 0 0 20 0 1 0 527701406 2142179328 19419 33554432000 4194304 5870510 140727621807712 140727621806424 5282721 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 522993 19419 930 410 0 518466 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2091972 KiB
Current children cumulated memory: 77676 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/200 27741
/proc/meminfo: memFree=25829628/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2129012 memory=117012 CPUtime=102.28 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 71061 0 0 0 10215 13 0 0 20 0 1 0 527701406 2180108288 29253 33554432000 4194304 5870510 140727621807712 140727621806280 5288953 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 532253 29253 930 410 0 527726 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2129012 KiB
Current children cumulated memory: 117012 KiB
[startup+162.3 s]
/proc/loadavg: 1.47 1.85 1.91 2/194 27792
/proc/meminfo: memFree=26012340/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2148172 memory=139804 CPUtime=162.29 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 75943 0 0 0 16208 21 0 0 20 0 1 0 527701406 2199728128 34951 33554432000 4194304 5870510 140727621807712 140727621806728 5288882 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 537043 34951 930 410 0 532516 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2148172 KiB
Current children cumulated memory: 139804 KiB
[startup+222.3 s]
/proc/loadavg: 1.17 1.69 1.85 2/193 27796
/proc/meminfo: memFree=25979128/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2178812 memory=171716 CPUtime=222.28 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 80288 0 0 0 22201 27 0 0 20 0 1 0 527701406 2231103488 42929 33554432000 4194304 5870510 140727621807712 140727621806280 5282736 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 544703 42929 930 410 0 540176 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2178812 KiB
Current children cumulated memory: 171716 KiB
[startup+282.3 s]
/proc/loadavg: 1.06 1.57 1.80 2/193 27800
/proc/meminfo: memFree=25980020/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2178812 memory=171784 CPUtime=282.29 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 83371 0 0 0 28200 29 0 0 20 0 1 0 527701406 2231103488 42946 33554432000 4194304 5870510 140727621807712 140727621806280 5282808 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 544703 42946 930 410 0 540176 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2178812 KiB
Current children cumulated memory: 171784 KiB
[startup+342.3 s]
/proc/loadavg: 1.02 1.46 1.75 2/194 27806
/proc/meminfo: memFree=25951716/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2209168 memory=200276 CPUtime=342.29 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 86680 0 0 0 34193 36 0 0 20 0 1 0 527701406 2262188032 50069 33554432000 4194304 5870510 140727621807712 140727621806280 5283064 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 552292 50069 930 410 0 547765 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2209168 KiB
Current children cumulated memory: 200276 KiB
[startup+402.3 s]
/proc/loadavg: 1.01 1.38 1.70 2/192 27810
/proc/meminfo: memFree=25972364/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2190200 memory=180864 CPUtime=402.29 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 93933 0 0 0 40183 46 0 0 20 0 1 0 527701406 2242764800 45216 33554432000 4194304 5870510 140727621807712 140727621806280 5282767 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 547550 45216 930 410 0 543023 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2190200 KiB
Current children cumulated memory: 180864 KiB
[startup+462.3 s]
/proc/loadavg: 1.00 1.31 1.66 2/192 27814
/proc/meminfo: memFree=25932252/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2239992 memory=222860 CPUtime=462.3 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 99395 0 0 0 46170 60 0 0 20 0 1 0 527701406 2293751808 55715 33554432000 4194304 5870510 140727621807712 140727621806664 5274721 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 559998 55715 930 410 0 555471 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2239992 KiB
Current children cumulated memory: 222860 KiB
################
# More data... #
################
/proc/27732/statm: 559929 55628 930 410 0 555402 0
Current children cumulated CPU time: 1602.3 s
Current children cumulated vsize: 2239716 KiB
Current children cumulated memory: 222512 KiB
[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.18 2/192 27925
/proc/meminfo: memFree=25967960/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2239716 memory=216368 CPUtime=1662.31 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 255444 0 0 0 165884 347 0 0 20 0 1 0 527701406 2293469184 54092 33554432000 4194304 5870510 140727621807712 140727621806728 5277440 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 559929 54092 930 410 0 555402 0
Current children cumulated CPU time: 1662.31 s
Current children cumulated vsize: 2239716 KiB
Current children cumulated memory: 216368 KiB
[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.17 2/192 27936
/proc/meminfo: memFree=25907748/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2270536 memory=243164 CPUtime=1722.31 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 263883 0 0 0 171864 367 0 0 20 0 1 0 527701406 2325028864 60791 33554432000 4194304 5870510 140727621807712 140727621806664 5262639 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 567634 60791 930 410 0 563107 0
Current children cumulated CPU time: 1722.31 s
Current children cumulated vsize: 2270536 KiB
Current children cumulated memory: 243164 KiB
[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/193 27942
/proc/meminfo: memFree=25967556/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2190396 memory=183348 CPUtime=1782.31 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 266395 0 0 0 177853 378 0 0 20 0 1 0 527701406 2242965504 45837 33554432000 4194304 5870510 140727621807712 140727621806728 5276836 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 547599 45837 930 410 0 543072 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 2190396 KiB
Current children cumulated memory: 183348 KiB
[startup+1842.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/192 27946
/proc/meminfo: memFree=25933124/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2239716 memory=220632 CPUtime=1842.31 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 268333 0 0 0 183840 391 0 0 20 0 1 0 527701406 2293469184 55158 33554432000 4194304 5870510 140727621807712 140727621806728 5282574 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 559929 55158 930 410 0 555402 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 2239716 KiB
Current children cumulated memory: 220632 KiB
[startup+1902.3 s]
/proc/loadavg: 1.00 1.01 1.14 2/192 27950
/proc/meminfo: memFree=25935368/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2239716 memory=216368 CPUtime=1902.31 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 270947 0 0 0 189828 403 0 0 20 0 1 0 527701406 2293469184 54092 33554432000 4194304 5870510 140727621807712 140727621806152 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 559929 54092 930 410 0 555402 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 2239716 KiB
Current children cumulated memory: 216368 KiB
[startup+1962.3 s]
/proc/loadavg: 1.00 1.01 1.13 2/193 27956
/proc/meminfo: memFree=25923276/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2239716 memory=228656 CPUtime=1962.31 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 280516 0 0 0 195808 423 0 0 20 0 1 0 527701406 2293469184 57164 33554432000 4194304 5870510 140727621807712 140727621806728 5282464 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 559929 57164 930 410 0 555402 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 2239716 KiB
Current children cumulated memory: 228656 KiB
[startup+2022.3 s]
/proc/loadavg: 1.00 1.01 1.12 2/192 27960
/proc/meminfo: memFree=25920544/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2239716 memory=231276 CPUtime=2022.3 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 286162 0 0 0 201793 437 0 0 20 0 1 0 527701406 2293469184 57819 33554432000 4194304 5870510 140727621807712 140727621806728 5277469 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 559929 57819 930 410 0 555402 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 2239716 KiB
Current children cumulated memory: 231276 KiB
[startup+2082.3 s]
/proc/loadavg: 1.00 1.01 1.12 2/192 27964
/proc/meminfo: memFree=25931660/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2239716 memory=222512 CPUtime=2082.3 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 297198 0 0 0 207774 456 0 0 20 0 1 0 527701406 2293469184 55628 33554432000 4194304 5870510 140727621807712 140727621806728 5274967 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 559929 55628 930 410 0 555402 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 2239716 KiB
Current children cumulated memory: 222512 KiB
[startup+2142.3 s]
/proc/loadavg: 1.00 1.01 1.11 2/192 27970
/proc/meminfo: memFree=25926436/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2239716 memory=226608 CPUtime=2142.3 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 301712 0 0 0 213761 469 0 0 20 0 1 0 527701406 2293469184 56652 33554432000 4194304 5870510 140727621807712 140727621806728 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 559929 56652 930 410 0 555402 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 2239716 KiB
Current children cumulated memory: 226608 KiB
[startup+2202.3 s]
/proc/loadavg: 1.00 1.01 1.11 2/192 27974
/proc/meminfo: memFree=25920916/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2239716 memory=230872 CPUtime=2202.3 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 304573 0 0 0 219748 482 0 0 20 0 1 0 527701406 2293469184 57718 33554432000 4194304 5870510 140727621807712 140727621806728 5272433 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 559929 57718 930 410 0 555402 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 2239716 KiB
Current children cumulated memory: 230872 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.01 1.10 2/192 27978
/proc/meminfo: memFree=25967528/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2190396 memory=183348 CPUtime=2262.31 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 308766 0 0 0 225738 493 0 0 20 0 1 0 527701406 2242965504 45837 33554432000 4194304 5870510 140727621807712 140727621806728 5258735 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 547599 45837 930 410 0 543072 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 2190396 KiB
Current children cumulated memory: 183348 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.01 1.10 2/193 27991
/proc/meminfo: memFree=25930772/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2190396 memory=183348 CPUtime=2322.31 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 310405 0 0 0 231727 504 0 0 20 0 1 0 527701406 2242965504 45837 33554432000 4194304 5870510 140727621807712 140727621806152 5283064 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 547599 45837 930 410 0 543072 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 2190396 KiB
Current children cumulated memory: 183348 KiB
[startup+2382.3 s]
/proc/loadavg: 1.00 1.01 1.09 2/192 27995
/proc/meminfo: memFree=25968264/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2239716 memory=214320 CPUtime=2382.31 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 313085 0 0 0 237715 516 0 0 20 0 1 0 527701406 2293469184 53580 33554432000 4194304 5870510 140727621807712 140727621806728 5282505 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 559929 53580 930 410 0 555402 0
Current children cumulated CPU time: 2382.31 s
Current children cumulated vsize: 2239716 KiB
Current children cumulated memory: 214320 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]*
/proc/loadavg: 1.00 1.01 1.09 2/192 27996
/proc/meminfo: memFree=25935536/32770624 swapFree=66975648/67108860
[pid=27732] ppid=27729 vsize=2239716 memory=216368 CPUtime=2400.01 cores=0,2,4,6
/proc/27732/stat : 27732 (xcsp_picat) R 27729 27732 26629 0 -1 4202496 313490 0 0 0 239483 518 0 0 20 0 1 0 527701406 2293469184 54092 33554432000 4194304 5870510 140727621807712 140727621806152 5282709 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 42045440 140727621813279 140727621813357 140727621813357 140727621816266 0
/proc/27732/statm: 559929 54092 930 410 0 555402 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 2239716 KiB
Current children cumulated memory: 216368 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.01 s]
# the end of solver process 27732 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2394.84 s, system=5.19007 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): 2400.01
CPU time (s): 2400.03
CPU user time (s): 2394.84
CPU system time (s): 5.19007
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2400764
Max. memory (cumulated for all children) (KiB): 348964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.84
system time used= 5.19007
maximum resident set size= 359336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 313490
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= 22
involuntary context switches= 2342
# summary of solver processes directly reported to runsolver:
# pid: 27732
# total CPU time (s): 2400.03
# total CPU user time (s): 2394.84
# total CPU system time (s): 5.19007
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.26298 second user time and 18.1386 second system time
The end