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 (14723 MiB free)
memory of node 1: 16384 MiB (15331 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395393-1568340141/watcher-4395393-1568340141 -o /tmp/evaluation-result-4395393-1568340141/solver-4395393-1568340141 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568318666-25672 --watchdog 2580 xcsp_picat HOME/instance-4395393-1568340141.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=31148, runsolver pid=31145
[startup+0.100514 s]*
/proc/loadavg: 1.92 1.99 2.03 4/200 31149
/proc/meminfo: memFree=30748556/32770624 swapFree=66996656/67108860
[pid=31148] ppid=31145 vsize=2038724 memory=32088 CPUtime=0.09 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 2659 0 0 0 9 0 0 0 20 0 1 0 410268830 2087653376 8022 33554432000 4194304 5870510 140725796126544 140725796125880 139919935856519 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 509681 8022 932 410 0 505154 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2038724 KiB
Current children cumulated memory: 32088 KiB
[startup+0.209785 s]*
/proc/loadavg: 1.92 1.99 2.03 3/200 31149
/proc/meminfo: memFree=30747132/32770624 swapFree=66996656/67108860
[pid=31148] ppid=31145 vsize=2040404 memory=33812 CPUtime=0.2 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 3151 0 0 0 20 0 0 0 20 0 1 0 410268830 2089373696 8453 33554432000 4194304 5870510 140725796126544 140725796125880 5337488 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 510101 8453 946 410 0 505574 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2040404 KiB
Current children cumulated memory: 33812 KiB
[startup+0.309478 s]*
/proc/loadavg: 1.92 1.99 2.03 3/200 31149
/proc/meminfo: memFree=30747692/32770624 swapFree=66996656/67108860
[pid=31148] ppid=31145 vsize=2038364 memory=33024 CPUtime=0.3 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 3796 0 0 0 30 0 0 0 20 0 1 0 410268830 2087284736 8256 33554432000 4194304 5870510 140725796126544 140725796125880 5306812 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 509591 8256 979 410 0 505064 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2038364 KiB
Current children cumulated memory: 33024 KiB
[startup+0.700296 s]
/proc/loadavg: 1.92 1.99 2.03 3/200 31149
/proc/meminfo: memFree=30746948/32770624 swapFree=66996656/67108860
[pid=31148] ppid=31145 vsize=2040304 memory=35380 CPUtime=0.68 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 4400 0 0 0 68 0 0 0 20 0 1 0 410268830 2089271296 8845 33554432000 4194304 5870510 140725796126544 140725796124904 5298780 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 510076 8845 980 410 0 505549 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2040304 KiB
Current children cumulated memory: 35380 KiB
[startup+1.50033 s]
/proc/loadavg: 1.92 1.99 2.03 3/200 31149
/proc/meminfo: memFree=30742416/32770624 swapFree=66996656/67108860
[pid=31148] ppid=31145 vsize=2048024 memory=43100 CPUtime=1.49 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 5898 0 0 0 148 1 0 0 20 0 1 0 410268830 2097176576 10775 33554432000 4194304 5870510 140725796126544 140725796124904 5282464 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 512006 10775 980 410 0 507479 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2048024 KiB
Current children cumulated memory: 43100 KiB
[startup+3.10962 s]
/proc/loadavg: 1.85 1.98 2.03 3/200 31149
/proc/meminfo: memFree=30725476/32770624 swapFree=66996656/67108860
[pid=31148] ppid=31145 vsize=2067568 memory=57724 CPUtime=3.1 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 9498 0 0 0 308 2 0 0 20 0 1 0 410268830 2117189632 14431 33554432000 4194304 5870510 140725796126544 140725796124904 5288905 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 516892 14431 980 410 0 512365 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2067568 KiB
Current children cumulated memory: 57724 KiB
[startup+6.30043 s]
/proc/loadavg: 1.85 1.98 2.03 3/200 31149
/proc/meminfo: memFree=30712700/32770624 swapFree=66996656/67108860
[pid=31148] ppid=31145 vsize=2087352 memory=70572 CPUtime=6.29 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 19338 0 0 0 626 3 0 0 20 0 1 0 410268830 2137448448 17643 33554432000 4194304 5870510 140725796126544 140725796125496 5262777 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 521838 17643 980 410 0 517311 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2087352 KiB
Current children cumulated memory: 70572 KiB
[startup+12.7004 s]
/proc/loadavg: 1.86 1.98 2.03 3/200 31149
/proc/meminfo: memFree=30680584/32770624 swapFree=66996656/67108860
[pid=31148] ppid=31145 vsize=2108388 memory=101576 CPUtime=12.68 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 24618 0 0 0 1264 4 0 0 20 0 1 0 410268830 2158989312 25394 33554432000 4194304 5870510 140725796126544 140725796125112 5282709 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 527097 25394 988 410 0 522570 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2108388 KiB
Current children cumulated memory: 101576 KiB
[startup+25.5003 s]
/proc/loadavg: 1.89 1.98 2.03 3/200 31150
/proc/meminfo: memFree=30723152/32770624 swapFree=66996656/67108860
[pid=31148] ppid=31145 vsize=2070696 memory=59396 CPUtime=25.48 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 31044 0 0 0 2543 5 0 0 20 0 1 0 410268830 2120392704 14849 33554432000 4194304 5870510 140725796126544 140725796124984 5282778 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 517674 14849 988 410 0 513147 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2070696 KiB
Current children cumulated memory: 59396 KiB
[startup+51.1096 s]
/proc/loadavg: 1.93 1.98 2.03 3/200 31152
/proc/meminfo: memFree=30697152/32770624 swapFree=66996656/67108860
[pid=31148] ppid=31145 vsize=2101100 memory=81808 CPUtime=51.09 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 35314 0 0 0 5103 6 0 0 20 0 1 0 410268830 2151526400 20452 33554432000 4194304 5870510 140725796126544 140725796124984 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 525275 20452 988 410 0 520748 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2101100 KiB
Current children cumulated memory: 81808 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 1.98 2.03 3/200 31156
/proc/meminfo: memFree=30715732/32770624 swapFree=66996656/67108860
[pid=31148] ppid=31145 vsize=2101100 memory=96404 CPUtime=102.29 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 43054 0 0 0 10222 7 0 0 20 0 1 0 410268830 2151526400 24101 33554432000 4194304 5870510 140725796126544 140725796124984 5282606 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 525275 24101 988 410 0 520748 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2101100 KiB
Current children cumulated memory: 96404 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/200 31160
/proc/meminfo: memFree=30660824/32770624 swapFree=66996656/67108860
[pid=31148] ppid=31145 vsize=2119852 memory=108540 CPUtime=162.28 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 47161 0 0 0 16221 7 0 0 20 0 1 0 410268830 2170728448 27135 33554432000 4194304 5870510 140725796126544 140725796124984 5283135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 529963 27135 988 410 0 525436 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2119852 KiB
Current children cumulated memory: 108540 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 31166
/proc/meminfo: memFree=30671324/32770624 swapFree=66996656/67108860
[pid=31148] ppid=31145 vsize=2119852 memory=108540 CPUtime=222.28 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 47205 0 0 0 22221 7 0 0 20 0 1 0 410268830 2170728448 27135 33554432000 4194304 5870510 140725796126544 140725796124984 5282688 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 529963 27135 988 410 0 525436 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2119852 KiB
Current children cumulated memory: 108540 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 31170
/proc/meminfo: memFree=30681832/32770624 swapFree=66996656/67108860
[pid=31148] ppid=31145 vsize=2082232 memory=75356 CPUtime=282.28 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 55697 0 0 0 28219 9 0 0 20 0 1 0 410268830 2132205568 18839 33554432000 4194304 5870510 140725796126544 140725796124984 5282574 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 520558 18839 988 410 0 516031 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2082232 KiB
Current children cumulated memory: 75356 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 31174
/proc/meminfo: memFree=30653156/32770624 swapFree=66996656/67108860
[pid=31148] ppid=31145 vsize=2108392 memory=103460 CPUtime=342.28 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 56631 0 0 0 34219 9 0 0 20 0 1 0 410268830 2158993408 25865 33554432000 4194304 5870510 140725796126544 140725796125112 5275454 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 527098 25865 988 410 0 522571 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2108392 KiB
Current children cumulated memory: 103460 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 31180
/proc/meminfo: memFree=30674968/32770624 swapFree=66996656/67108860
[pid=31148] ppid=31145 vsize=2087504 memory=82184 CPUtime=402.28 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 66872 0 0 0 40216 12 0 0 20 0 1 0 410268830 2137604096 20546 33554432000 4194304 5870510 140725796126544 140725796125112 139919935394334 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 521876 20546 988 410 0 517349 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2087504 KiB
Current children cumulated memory: 82184 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 31184
/proc/meminfo: memFree=30667092/32770624 swapFree=66996656/67108860
[pid=31148] ppid=31145 vsize=2107740 memory=102840 CPUtime=462.28 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 68519 0 0 0 46215 13 0 0 20 0 1 0 410268830 2158325760 25710 33554432000 4194304 5870510 140725796126544 140725796125112 5274889 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 526935 25710 988 410 0 522408 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2107740 KiB
Current children cumulated memory: 102840 KiB
################
# More data... #
################
/proc/31148/statm: 538536 38397 988 410 0 534009 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 2154144 KiB
Current children cumulated memory: 153588 KiB
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/198 31350
/proc/meminfo: memFree=30591232/32770624 swapFree=66996672/67108860
[pid=31148] ppid=31145 vsize=2154144 memory=153588 CPUtime=1782.24 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 127077 0 0 0 178201 23 0 0 20 0 1 0 410268830 2205843456 38397 33554432000 4194304 5870510 140725796126544 140725796124984 5283106 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 538536 38397 988 410 0 534009 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 2154144 KiB
Current children cumulated memory: 153588 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/198 31356
/proc/meminfo: memFree=30591092/32770624 swapFree=66996672/67108860
[pid=31148] ppid=31145 vsize=2154144 memory=153588 CPUtime=1842.24 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 127998 0 0 0 184201 23 0 0 20 0 1 0 410268830 2205843456 38397 33554432000 4194304 5870510 140725796126544 140725796124984 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 538536 38397 988 410 0 534009 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 2154144 KiB
Current children cumulated memory: 153588 KiB
[startup+1902.3 s]
/proc/loadavg: 1.95 2.01 2.04 3/198 31423
/proc/meminfo: memFree=29177564/32770624 swapFree=66996672/67108860
[pid=31148] ppid=31145 vsize=2154144 memory=153588 CPUtime=1902.24 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 128024 0 0 0 190201 23 0 0 20 0 1 0 410268830 2205843456 38397 33554432000 4194304 5870510 140725796126544 140725796124984 5272433 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 538536 38397 988 410 0 534009 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 2154144 KiB
Current children cumulated memory: 153588 KiB
[startup+1962.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/198 31427
/proc/meminfo: memFree=27932464/32770624 swapFree=66996672/67108860
[pid=31148] ppid=31145 vsize=2154144 memory=153588 CPUtime=1962.24 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 128942 0 0 0 196200 24 0 0 20 0 1 0 410268830 2205843456 38397 33554432000 4194304 5870510 140725796126544 140725796124984 5282767 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 538536 38397 988 410 0 534009 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 2154144 KiB
Current children cumulated memory: 153588 KiB
[startup+2022.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/198 31433
/proc/meminfo: memFree=26922096/32770624 swapFree=66996672/67108860
[pid=31148] ppid=31145 vsize=2154144 memory=153588 CPUtime=2022.24 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 128973 0 0 0 202200 24 0 0 20 0 1 0 410268830 2205843456 38397 33554432000 4194304 5870510 140725796126544 140725796124984 5283106 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 538536 38397 988 410 0 534009 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 2154144 KiB
Current children cumulated memory: 153588 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/198 31437
/proc/meminfo: memFree=26922116/32770624 swapFree=66996672/67108860
[pid=31148] ppid=31145 vsize=2154144 memory=153588 CPUtime=2082.24 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 129908 0 0 0 208200 24 0 0 20 0 1 0 410268830 2205843456 38397 33554432000 4194304 5870510 140725796126544 140725796124984 5262639 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 538536 38397 988 410 0 534009 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 2154144 KiB
Current children cumulated memory: 153588 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/198 31441
/proc/meminfo: memFree=26922872/32770624 swapFree=66996672/67108860
[pid=31148] ppid=31145 vsize=2154144 memory=153588 CPUtime=2142.24 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 129921 0 0 0 214200 24 0 0 20 0 1 0 410268830 2205843456 38397 33554432000 4194304 5870510 140725796126544 140725796124984 5282515 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 538536 38397 988 410 0 534009 0
Current children cumulated CPU time: 2142.24 s
Current children cumulated vsize: 2154144 KiB
Current children cumulated memory: 153588 KiB
[startup+2202.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/198 31447
/proc/meminfo: memFree=26922512/32770624 swapFree=66996672/67108860
[pid=31148] ppid=31145 vsize=2154144 memory=153588 CPUtime=2202.24 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 130857 0 0 0 220200 24 0 0 20 0 1 0 410268830 2205843456 38397 33554432000 4194304 5870510 140725796126544 140725796124984 5283024 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 538536 38397 988 410 0 534009 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 2154144 KiB
Current children cumulated memory: 153588 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/198 31451
/proc/meminfo: memFree=26922008/32770624 swapFree=66996672/67108860
[pid=31148] ppid=31145 vsize=2154144 memory=153588 CPUtime=2262.24 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 130868 0 0 0 226200 24 0 0 20 0 1 0 410268830 2205843456 38397 33554432000 4194304 5870510 140725796126544 140725796124984 5282712 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 538536 38397 988 410 0 534009 0
Current children cumulated CPU time: 2262.24 s
Current children cumulated vsize: 2154144 KiB
Current children cumulated memory: 153588 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/198 31455
/proc/meminfo: memFree=26915804/32770624 swapFree=66996672/67108860
[pid=31148] ppid=31145 vsize=2165936 memory=159740 CPUtime=2322.23 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 131810 0 0 0 232199 24 0 0 20 0 1 0 410268830 2217918464 39935 33554432000 4194304 5870510 140725796126544 140725796125112 5274516 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 541484 39935 988 410 0 536957 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 2165936 KiB
Current children cumulated memory: 159740 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31469
/proc/meminfo: memFree=26913096/32770624 swapFree=66996676/67108860
[pid=31148] ppid=31145 vsize=2165936 memory=161788 CPUtime=2382.23 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 131826 0 0 0 238199 24 0 0 20 0 1 0 410268830 2217918464 40447 33554432000 4194304 5870510 140725796126544 140725796125112 5272624 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 541484 40447 988 410 0 536957 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 2165936 KiB
Current children cumulated memory: 161788 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31473
/proc/meminfo: memFree=26913272/32770624 swapFree=66996676/67108860
[pid=31148] ppid=31145 vsize=2165936 memory=161788 CPUtime=2442.23 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 132456 0 0 0 244199 24 0 0 20 0 1 0 410268830 2217918464 40447 33554432000 4194304 5870510 140725796126544 140725796125112 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 541484 40447 988 410 0 536957 0
Current children cumulated CPU time: 2442.23 s
Current children cumulated vsize: 2165936 KiB
Current children cumulated memory: 161788 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 31477
/proc/meminfo: memFree=26912840/32770624 swapFree=66996676/67108860
[pid=31148] ppid=31145 vsize=2165936 memory=161788 CPUtime=2502.23 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 132493 0 0 0 250199 24 0 0 20 0 1 0 410268830 2217918464 40447 33554432000 4194304 5870510 140725796126544 140725796125112 5282505 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 541484 40447 988 410 0 536957 0
Current children cumulated CPU time: 2502.23 s
Current children cumulated vsize: 2165936 KiB
Current children cumulated memory: 161788 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 31479
/proc/meminfo: memFree=26912820/32770624 swapFree=66996676/67108860
[pid=31148] ppid=31145 vsize=2165936 memory=161788 CPUtime=2519.94 cores=1,3,5,7
/proc/31148/stat : 31148 (xcsp_picat) R 31145 31148 25640 0 -1 4202496 133243 0 0 0 251970 24 0 0 20 0 1 0 410268830 2217918464 40447 33554432000 4194304 5870510 140725796126544 140725796125112 5274487 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 18989056 140725796127775 140725796127853 140725796127853 140725796130762 0
/proc/31148/statm: 541484 40447 988 410 0 536957 0
Current children cumulated CPU time: 2519.94 s
Current children cumulated vsize: 2165936 KiB
Current children cumulated memory: 161788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 31148 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.7 s, system=0.249995 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.95
CPU user time (s): 2519.7
CPU system time (s): 0.249995
CPU usage (%): 99.9977
Max. virtual memory (cumulated for all children) (KiB): 2170424
Max. memory (cumulated for all children) (KiB): 161788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.7
system time used= 0.249995
maximum resident set size= 161788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133243
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= 13
involuntary context switches= 789
# summary of solver processes directly reported to runsolver:
# pid: 31148
# total CPU time (s): 2519.95
# total CPU user time (s): 2519.7
# total CPU system time (s): 0.249995
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.32058 second user time and 19.2785 second system time
The end