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 (6208 MiB free)
memory of node 1: 16384 MiB (9065 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309365-1534312543/watcher-4309365-1534312543 -o /tmp/evaluation-result-4309365-1534312543/solver-4309365-1534312543 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534294082-5447 --watchdog 2580 xcsp_picat HOME/instance-4309365-1534312543.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=8383, runsolver pid=8380
[startup+0.100759 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 8384
/proc/meminfo: memFree=15611760/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2033560 memory=31600 CPUtime=0.09 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 1972 0 0 0 9 0 0 0 20 0 1 0 248817433 2082365440 7900 33554432000 4194304 5849940 140720793129792 140720793129096 4593545 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 508390 7900 618 405 0 505334 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 31600 KiB
[startup+0.209475 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 8384
/proc/meminfo: memFree=15595480/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2033560 memory=50260 CPUtime=0.2 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 1981 0 0 0 20 0 0 0 20 0 1 0 248817433 2082365440 12565 33554432000 4194304 5849940 140720793129792 140720793129096 4515512 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 508390 12565 628 405 0 505334 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 50260 KiB
[startup+0.309394 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 8384
/proc/meminfo: memFree=15573884/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2033560 memory=66644 CPUtime=0.31 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 1989 0 0 0 30 1 0 0 20 0 1 0 248817433 2082365440 16661 33554432000 4194304 5849940 140720793129792 140720793129096 4457616 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 508390 16661 628 405 0 505334 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 66644 KiB
[startup+0.700314 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8384
/proc/meminfo: memFree=15538372/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2033560 memory=128084 CPUtime=0.69 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 2026 0 0 0 67 2 0 0 20 0 1 0 248817433 2082365440 32021 33554432000 4194304 5849940 140720793129792 140720793129096 4458045 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 508390 32021 628 405 0 505334 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 128084 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8384
/proc/meminfo: memFree=15472340/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2041680 memory=176052 CPUtime=1.49 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 4377 0 0 0 137 12 0 0 20 0 1 0 248817433 2090680320 44013 33554432000 4194304 5849940 140720793129792 140720793128888 140179887468423 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 510420 44013 705 405 0 507364 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2041680 KiB
Current children cumulated memory: 176052 KiB
[startup+3.10877 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8384
/proc/meminfo: memFree=15451688/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2048584 memory=183228 CPUtime=3.09 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 5795 0 0 0 285 24 0 0 20 0 1 0 248817433 2097750016 45807 33554432000 4194304 5849940 140720793129792 140720793120216 5472769 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 512146 45807 722 405 0 509090 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2048584 KiB
Current children cumulated memory: 183228 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8384
/proc/meminfo: memFree=15449640/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2048584 memory=183228 CPUtime=6.29 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 7696 0 0 0 603 26 0 0 20 0 1 0 248817433 2097750016 45807 33554432000 4194304 5849940 140720793129792 140720793129032 140179887468423 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 512146 45807 722 405 0 509090 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2048584 KiB
Current children cumulated memory: 183228 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8384
/proc/meminfo: memFree=15426936/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2071180 memory=205816 CPUtime=12.68 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 19730 0 0 0 1239 29 0 0 20 0 1 0 248817433 2120888320 51454 33554432000 4194304 5849940 140720793129792 140720793128200 140179887468423 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 517795 51454 752 405 0 514739 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2071180 KiB
Current children cumulated memory: 205816 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8384
/proc/meminfo: memFree=15395528/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2074884 memory=206452 CPUtime=25.49 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 26177 0 0 0 2494 55 0 0 20 0 1 0 248817433 2124681216 51613 33554432000 4194304 5849940 140720793129792 140720793128280 5309842 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 518721 51613 763 405 0 515665 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2074884 KiB
Current children cumulated memory: 206452 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8384
/proc/meminfo: memFree=15395452/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2074884 memory=206544 CPUtime=51.09 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 29387 0 0 0 5045 64 0 0 20 0 1 0 248817433 2124681216 51636 33554432000 4194304 5849940 140720793129792 140720793128952 140179887468423 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 518721 51636 763 405 0 515665 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2074884 KiB
Current children cumulated memory: 206544 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8385
/proc/meminfo: memFree=15377908/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2089668 memory=224264 CPUtime=102.29 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 40201 0 0 0 10144 85 0 0 20 0 1 0 248817433 2139820032 56066 33554432000 4194304 5849940 140720793129792 140720793128664 5359362 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 522417 56066 763 405 0 519361 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2089668 KiB
Current children cumulated memory: 224264 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8387
/proc/meminfo: memFree=15344656/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2105576 memory=240256 CPUtime=162.3 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 47233 0 0 0 16122 108 0 0 20 0 1 0 248817433 2156109824 60064 33554432000 4194304 5849940 140720793129792 140720793128792 140179887468423 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 526394 60064 763 405 0 523338 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2105576 KiB
Current children cumulated memory: 240256 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8388
/proc/meminfo: memFree=15334928/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2112692 memory=247180 CPUtime=222.3 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 59849 0 0 0 22096 134 0 0 20 0 1 0 248817433 2163396608 61795 33554432000 4194304 5849940 140720793129792 140720793128792 140179887468423 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 528173 61795 763 405 0 525117 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2112692 KiB
Current children cumulated memory: 247180 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8397
/proc/meminfo: memFree=15349064/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2143568 memory=278248 CPUtime=282.3 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 62206 0 0 0 28077 153 0 0 20 0 1 0 248817433 2195013632 69562 33554432000 4194304 5849940 140720793129792 140720793128952 140179887468423 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 535892 69562 763 405 0 532836 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2143568 KiB
Current children cumulated memory: 278248 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8421
/proc/meminfo: memFree=15295672/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2160568 memory=295228 CPUtime=342.3 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 66302 0 0 0 34054 176 0 0 20 0 1 0 248817433 2212421632 73807 33554432000 4194304 5849940 140720793129792 140720793128664 5392801 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 540142 73807 763 405 0 537086 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2160568 KiB
Current children cumulated memory: 295228 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8422
/proc/meminfo: memFree=15224848/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2233888 memory=368512 CPUtime=402.31 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 71884 0 0 0 40034 197 0 0 20 0 1 0 248817433 2287501312 92128 33554432000 4194304 5849940 140720793129792 140720793128792 140179887468423 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 558472 92128 763 405 0 555416 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 2233888 KiB
Current children cumulated memory: 368512 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8423
/proc/meminfo: memFree=15175960/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2230132 memory=364812 CPUtime=462.31 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 84539 0 0 0 46010 221 0 0 20 0 1 0 248817433 2283655168 91203 33554432000 4194304 5849940 140720793129792 140720793128792 5438016 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 557533 91203 763 405 0 554477 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 2230132 KiB
Current children cumulated memory: 364812 KiB
################
# More data... #
################
/proc/8383/statm: 600687 135454 763 405 0 597631 0
Current children cumulated CPU time: 1782.38 s
Current children cumulated vsize: 2402748 KiB
Current children cumulated memory: 541816 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8462
/proc/meminfo: memFree=14817440/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2485764 memory=624832 CPUtime=1842.38 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 749246 0 0 0 183347 891 0 0 20 0 1 0 248817433 2545422336 156208 33554432000 4194304 5849940 140720793129792 140720793128792 140179887468423 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 621441 156208 763 405 0 618385 0
Current children cumulated CPU time: 1842.38 s
Current children cumulated vsize: 2485764 KiB
Current children cumulated memory: 624832 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8463
/proc/meminfo: memFree=14753936/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2555428 memory=694496 CPUtime=1902.38 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 785830 0 0 0 189324 914 0 0 20 0 1 0 248817433 2616758272 173624 33554432000 4194304 5849940 140720793129792 140720793128792 140179887468423 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 638857 173624 763 405 0 635801 0
Current children cumulated CPU time: 1902.38 s
Current children cumulated vsize: 2555428 KiB
Current children cumulated memory: 694496 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8465
/proc/meminfo: memFree=14627408/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2684896 memory=823828 CPUtime=1962.4 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 819463 0 0 0 195303 937 0 0 20 0 1 0 248817433 2749333504 205957 33554432000 4194304 5849940 140720793129792 140720793128952 140179887468423 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 671224 205957 763 405 0 668168 0
Current children cumulated CPU time: 1962.4 s
Current children cumulated vsize: 2684896 KiB
Current children cumulated memory: 823828 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8466
/proc/meminfo: memFree=14626756/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2684896 memory=823964 CPUtime=2022.39 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 850750 0 0 0 201287 952 0 0 20 0 1 0 248817433 2749333504 205991 33554432000 4194304 5849940 140720793129792 140720793128792 140179887468423 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 671224 205991 763 405 0 668168 0
Current children cumulated CPU time: 2022.39 s
Current children cumulated vsize: 2684896 KiB
Current children cumulated memory: 823964 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8475
/proc/meminfo: memFree=14483736/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2794392 memory=933460 CPUtime=2082.4 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 892877 0 0 0 207268 972 0 0 20 0 1 0 248817433 2861457408 233365 33554432000 4194304 5849940 140720793129792 140720793128792 5335712 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 698598 233365 763 405 0 695542 0
Current children cumulated CPU time: 2082.4 s
Current children cumulated vsize: 2794392 KiB
Current children cumulated memory: 933460 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8477
/proc/meminfo: memFree=14433960/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2794392 memory=933460 CPUtime=2142.41 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 950535 0 0 0 213253 988 0 0 20 0 1 0 248817433 2861457408 233365 33554432000 4194304 5849940 140720793129792 140720793128792 140179887468423 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 698598 233365 763 405 0 695542 0
Current children cumulated CPU time: 2142.41 s
Current children cumulated vsize: 2794392 KiB
Current children cumulated memory: 933460 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8478
/proc/meminfo: memFree=14429628/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2794392 memory=933460 CPUtime=2202.41 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 1008222 0 0 0 219238 1003 0 0 20 0 1 0 248817433 2861457408 233365 33554432000 4194304 5849940 140720793129792 140720793128792 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 698598 233365 763 405 0 695542 0
Current children cumulated CPU time: 2202.41 s
Current children cumulated vsize: 2794392 KiB
Current children cumulated memory: 933460 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8479
/proc/meminfo: memFree=14429700/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2794392 memory=933460 CPUtime=2262.41 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 1063574 0 0 0 225226 1015 0 0 20 0 1 0 248817433 2861457408 233365 33554432000 4194304 5849940 140720793129792 140720793128664 5313106 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 698598 233365 763 405 0 695542 0
Current children cumulated CPU time: 2262.41 s
Current children cumulated vsize: 2794392 KiB
Current children cumulated memory: 933460 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 8480
/proc/meminfo: memFree=14260592/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2963200 memory=1102268 CPUtime=2322.41 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 1111657 0 0 0 231210 1031 0 0 20 0 1 0 248817433 3034316800 275567 33554432000 4194304 5849940 140720793129792 140720793128664 140179887468423 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 740800 275567 763 405 0 737744 0
Current children cumulated CPU time: 2322.41 s
Current children cumulated vsize: 2963200 KiB
Current children cumulated memory: 1102268 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8481
/proc/meminfo: memFree=14280508/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=3002756 memory=1141824 CPUtime=2382.42 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 1180036 0 0 0 237191 1051 0 0 20 0 1 0 248817433 3074822144 285456 33554432000 4194304 5849940 140720793129792 140720793128792 140179887468423 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 750689 285456 763 405 0 747633 0
Current children cumulated CPU time: 2382.42 s
Current children cumulated vsize: 3002756 KiB
Current children cumulated memory: 1141824 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8543
/proc/meminfo: memFree=14936360/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2542440 memory=681508 CPUtime=2442.42 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 1246075 0 0 0 243175 1067 0 0 20 0 1 0 248817433 2603458560 170377 33554432000 4194304 5849940 140720793129792 140720793128952 140179887468423 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 635610 170377 763 405 0 632554 0
Current children cumulated CPU time: 2442.42 s
Current children cumulated vsize: 2542440 KiB
Current children cumulated memory: 681508 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8544
/proc/meminfo: memFree=14908712/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2555880 memory=694864 CPUtime=2502.43 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 1288468 0 0 0 249160 1083 0 0 20 0 1 0 248817433 2617221120 173716 33554432000 4194304 5849940 140720793129792 140720793128792 140179887468423 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 638970 173716 763 405 0 635914 0
Current children cumulated CPU time: 2502.43 s
Current children cumulated vsize: 2555880 KiB
Current children cumulated memory: 694864 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8544
/proc/meminfo: memFree=14911876/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2555880 memory=694948 CPUtime=2520.03 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 1305448 0 0 0 250915 1088 0 0 20 0 1 0 248817433 2617221120 173737 33554432000 4194304 5849940 140720793129792 140720793128792 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 638970 173737 763 405 0 635914 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 2555880 KiB
Current children cumulated memory: 694948 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.91 s]
# the end of solver process 8383 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.15 s, system=10.8997 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8544
/proc/meminfo: memFree=14911876/32770624 swapFree=67108504/67108860
[pid=8383] ppid=8380 vsize=2555880 memory=694948 CPUtime=2520.03 cores=0,2,4,6
/proc/8383/stat : 8383 (xcsp_picat) R 8380 8383 5416 0 -1 4202496 1305448 0 0 0 250915 1088 0 0 20 0 1 0 248817433 2617221120 173737 33554432000 4194304 5849940 140720793129792 140720793128792 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 33218560 140720793138358 140720793138436 140720793138436 140720793141194 0
/proc/8383/statm: 638970 173737 763 405 0 635914 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 2555880 KiB
Current children cumulated memory: 694948 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.91
CPU time (s): 2520.05
CPU user time (s): 2509.15
CPU system time (s): 10.8997
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 3064932
Max. memory (cumulated for all children) (KiB): 1204000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.15
system time used= 10.8997
maximum resident set size= 1204000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1305449
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= 23
involuntary context switches= 4226
# summary of solver processes directly reported to runsolver:
# pid: 8383
# total CPU time (s): 2520.05
# total CPU user time (s): 2509.15
# total CPU system time (s): 10.8997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.83424 second user time and 18.2197 second system time
The end