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 (10405 MiB free)
memory of node 1: 16384 MiB (12963 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309380-1534317615/watcher-4309380-1534317615 -o /tmp/evaluation-result-4309380-1534317615/solver-4309380-1534317615 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534293202-13751 --watchdog 2580 xcsp_picat HOME/instance-4309380-1534317615.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
solver pid=16737, runsolver pid=16734
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 16738
/proc/meminfo: memFree=23915804/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2026300 memory=16476 CPUtime=0.1 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 1760 0 0 0 10 0 0 0 20 0 1 0 249324717 2074931200 4119 33554432000 4194304 5849940 140725615208928 140725615208928 140585516355463 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 506575 4119 705 405 0 503519 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2026300 KiB
Current children cumulated memory: 16476 KiB
[startup+0.209729 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 16738
/proc/meminfo: memFree=23915432/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2026608 memory=16720 CPUtime=0.21 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 1889 0 0 0 20 1 0 0 20 0 1 0 249324717 2075246592 4180 33554432000 4194304 5849940 140725615208928 140725615208928 140585516355463 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 506652 4180 705 405 0 503596 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2026608 KiB
Current children cumulated memory: 16720 KiB
[startup+0.308962 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 16738
/proc/meminfo: memFree=23915432/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2027376 memory=17492 CPUtime=0.31 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 2081 0 0 0 29 2 0 0 20 0 1 0 249324717 2076033024 4373 33554432000 4194304 5849940 140725615208928 140725615208928 140585516355463 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 506844 4373 705 405 0 503788 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2027376 KiB
Current children cumulated memory: 17492 KiB
[startup+0.700286 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 16738
/proc/meminfo: memFree=23914316/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2027844 memory=18056 CPUtime=0.69 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 2241 0 0 0 67 2 0 0 20 0 1 0 249324717 2076512256 4514 33554432000 4194304 5849940 140725615208928 140725615207800 5392480 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 506961 4514 706 405 0 503905 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027844 KiB
Current children cumulated memory: 18056 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 16738
/proc/meminfo: memFree=23913024/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2028972 memory=19284 CPUtime=1.49 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 2573 0 0 0 147 2 0 0 20 0 1 0 249324717 2077667328 4821 33554432000 4194304 5849940 140725615208928 140725615207656 4212286 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 507243 4821 729 405 0 504187 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2028972 KiB
Current children cumulated memory: 19284 KiB
[startup+3.1091 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 16738
/proc/meminfo: memFree=23912652/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2029792 memory=20148 CPUtime=3.1 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 3035 0 0 0 308 2 0 0 20 0 1 0 249324717 2078507008 5037 33554432000 4194304 5849940 140725615208928 140725615207656 4211660 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 507448 5037 733 405 0 504392 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2029792 KiB
Current children cumulated memory: 20148 KiB
[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 16738
/proc/meminfo: memFree=23912556/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2029792 memory=20148 CPUtime=6.29 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 3998 0 0 0 627 2 0 0 20 0 1 0 249324717 2078507008 5037 33554432000 4194304 5849940 140725615208928 140725615207336 4211581 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 507448 5037 733 405 0 504392 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2029792 KiB
Current children cumulated memory: 20148 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 16738
/proc/meminfo: memFree=23976524/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2031200 memory=21612 CPUtime=12.69 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 6514 0 0 0 1265 4 0 0 20 0 1 0 249324717 2079948800 5403 33554432000 4194304 5849940 140725615208928 140725615206824 4212042 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 507800 5403 746 405 0 504744 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2031200 KiB
Current children cumulated memory: 21612 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 16738
/proc/meminfo: memFree=23911396/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2035676 memory=26084 CPUtime=25.49 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 11188 0 0 0 2536 13 0 0 20 0 1 0 249324717 2084532224 6521 33554432000 4194304 5849940 140725615208928 140725615207576 140585516355463 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 508919 6521 746 405 0 505863 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2035676 KiB
Current children cumulated memory: 26084 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 16738
/proc/meminfo: memFree=24000432/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2054348 memory=44764 CPUtime=51.11 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 32530 0 0 0 5075 36 0 0 20 0 1 0 249324717 2103652352 11191 33554432000 4194304 5849940 140725615208928 140725615208088 140585516355463 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 513587 11191 746 405 0 510531 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 2054348 KiB
Current children cumulated memory: 44764 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 16739
/proc/meminfo: memFree=24003580/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2043376 memory=32704 CPUtime=102.3 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 50539 0 0 0 10158 72 0 0 20 0 1 0 249324717 2092417024 8176 33554432000 4194304 5849940 140725615208928 140725615207416 140585516355463 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 510844 8176 746 405 0 507788 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2043376 KiB
Current children cumulated memory: 32704 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 16740
/proc/meminfo: memFree=23902692/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2074216 memory=64436 CPUtime=162.3 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 62262 0 0 0 16111 119 0 0 20 0 1 0 249324717 2123997184 16109 33554432000 4194304 5849940 140725615208928 140725615207928 140585516355463 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 518554 16109 746 405 0 515498 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2074216 KiB
Current children cumulated memory: 64436 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 16741
/proc/meminfo: memFree=23932212/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2044124 memory=34536 CPUtime=222.3 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 69819 0 0 0 22073 157 0 0 20 0 1 0 249324717 2093182976 8634 33554432000 4194304 5849940 140725615208928 140725615207928 140585516355463 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 511031 8634 746 405 0 507975 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2044124 KiB
Current children cumulated memory: 34536 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 16742
/proc/meminfo: memFree=23942160/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2093372 memory=83444 CPUtime=282.3 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 79462 0 0 0 28036 194 0 0 20 0 1 0 249324717 2143612928 20861 33554432000 4194304 5849940 140725615208928 140725615207928 140585516355463 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 523343 20861 746 405 0 520287 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2093372 KiB
Current children cumulated memory: 83444 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 16744
/proc/meminfo: memFree=23925704/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2043752 memory=32864 CPUtime=342.3 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 91427 0 0 0 33998 232 0 0 20 0 1 0 249324717 2092802048 8216 33554432000 4194304 5849940 140725615208928 140725615207928 140585516355463 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 510938 8216 746 405 0 507882 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2043752 KiB
Current children cumulated memory: 32864 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 16745
/proc/meminfo: memFree=23875760/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2092792 memory=83168 CPUtime=402.3 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 98529 0 0 0 39965 265 0 0 20 0 1 0 249324717 2143019008 20792 33554432000 4194304 5849940 140725615208928 140725615207928 140585516355463 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 523198 20792 746 405 0 520142 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2092792 KiB
Current children cumulated memory: 83168 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 16746
/proc/meminfo: memFree=23918896/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2108400 memory=98812 CPUtime=462.3 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 109215 0 0 0 45942 288 0 0 20 0 1 0 249324717 2159001600 24703 33554432000 4194304 5849940 140725615208928 140725615207928 140585516355463 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 527100 24703 746 405 0 524044 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2108400 KiB
Current children cumulated memory: 98812 KiB
################
# More data... #
################
Current children cumulated memory: 97208 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 16759
/proc/meminfo: memFree=23891928/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2118836 memory=109248 CPUtime=702.32 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 140251 0 0 0 69837 395 0 0 20 0 1 0 249324717 2169688064 27312 33554432000 4194304 5849940 140725615208928 140725615207928 5360740 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 529709 27312 746 405 0 526653 0
Current children cumulated CPU time: 702.32 s
Current children cumulated vsize: 2118836 KiB
Current children cumulated memory: 109248 KiB
[startup+762.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/188 16760
/proc/meminfo: memFree=23805632/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2138608 memory=129068 CPUtime=762.32 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 148327 0 0 0 75819 413 0 0 20 0 1 0 249324717 2189934592 32267 33554432000 4194304 5849940 140725615208928 140725615207928 140585516355463 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 534652 32267 746 405 0 531596 0
Current children cumulated CPU time: 762.32 s
Current children cumulated vsize: 2138608 KiB
Current children cumulated memory: 129068 KiB
[startup+822.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/188 16761
/proc/meminfo: memFree=23873956/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2147552 memory=138092 CPUtime=822.32 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 155921 0 0 0 81800 432 0 0 20 0 1 0 249324717 2199093248 34523 33554432000 4194304 5849940 140725615208928 140725615207928 140585516355463 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 536888 34523 746 405 0 533832 0
Current children cumulated CPU time: 822.32 s
Current children cumulated vsize: 2147552 KiB
Current children cumulated memory: 138092 KiB
[startup+882.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 16762
/proc/meminfo: memFree=23772960/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2183584 memory=167408 CPUtime=882.32 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 162977 0 0 0 87783 449 0 0 20 0 1 0 249324717 2235990016 41852 33554432000 4194304 5849940 140725615208928 140725615207416 140585516355463 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 545896 41852 746 405 0 542840 0
Current children cumulated CPU time: 882.32 s
Current children cumulated vsize: 2183584 KiB
Current children cumulated memory: 167408 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16763
/proc/meminfo: memFree=23878060/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2072872 memory=63284 CPUtime=942.32 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 173785 0 0 0 93735 497 0 0 20 0 1 0 249324717 2122620928 15821 33554432000 4194304 5849940 140725615208928 140725615207928 140585516355463 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 518218 15821 746 405 0 515162 0
Current children cumulated CPU time: 942.32 s
Current children cumulated vsize: 2072872 KiB
Current children cumulated memory: 63284 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16764
/proc/meminfo: memFree=23836804/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2097604 memory=87896 CPUtime=1002.32 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 175205 0 0 0 99712 520 0 0 20 0 1 0 249324717 2147946496 21974 33554432000 4194304 5849940 140725615208928 140725615207800 5416647 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 524401 21974 746 405 0 521345 0
Current children cumulated CPU time: 1002.32 s
Current children cumulated vsize: 2097604 KiB
Current children cumulated memory: 87896 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16765
/proc/meminfo: memFree=23791952/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2141664 memory=132076 CPUtime=1062.32 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 181073 0 0 0 105691 541 0 0 20 0 1 0 249324717 2193063936 33019 33554432000 4194304 5849940 140725615208928 140725615207928 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 535416 33019 746 405 0 532360 0
Current children cumulated CPU time: 1062.32 s
Current children cumulated vsize: 2141664 KiB
Current children cumulated memory: 132076 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16766
/proc/meminfo: memFree=23754668/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2187680 memory=170032 CPUtime=1122.32 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 187863 0 0 0 111675 557 0 0 20 0 1 0 249324717 2240184320 42508 33554432000 4194304 5849940 140725615208928 140725615207928 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 546920 42508 746 405 0 543864 0
Current children cumulated CPU time: 1122.32 s
Current children cumulated vsize: 2187680 KiB
Current children cumulated memory: 170032 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16767
/proc/meminfo: memFree=23776780/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2171296 memory=159772 CPUtime=1182.32 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 194087 0 0 0 117659 573 0 0 20 0 1 0 249324717 2223407104 39943 33554432000 4194304 5849940 140725615208928 140725615207928 5438047 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 542824 39943 746 405 0 539768 0
Current children cumulated CPU time: 1182.32 s
Current children cumulated vsize: 2171296 KiB
Current children cumulated memory: 159772 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16775
/proc/meminfo: memFree=23719108/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2163104 memory=151580 CPUtime=1242.33 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 197958 0 0 0 123640 593 0 0 20 0 1 0 249324717 2215018496 37895 33554432000 4194304 5849940 140725615208928 140725615207928 140585516355463 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 540776 37895 746 405 0 537720 0
Current children cumulated CPU time: 1242.33 s
Current children cumulated vsize: 2163104 KiB
Current children cumulated memory: 151580 KiB
[startup+1250.63 s]
# the end of solver process 16737 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1244.69 s, system=5.97318 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1244.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16775
/proc/meminfo: memFree=23711836/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2171296 memory=159556 CPUtime=1244.82 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 198473 0 0 0 123888 594 0 0 20 0 1 0 249324717 2223407104 39889 33554432000 4194304 5849940 140725615208928 140725615207928 140585516355463 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 542824 39889 746 405 0 539768 0
Current children cumulated CPU time: 1244.82 s
Current children cumulated vsize: 2171296 KiB
Current children cumulated memory: 159556 KiB
[startup+1248 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 16775
/proc/meminfo: memFree=23711836/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2171296 memory=159556 CPUtime=1248.04 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 198473 0 0 0 124208 596 0 0 20 0 1 0 249324717 2223407104 39889 33554432000 4194304 5849940 140725615208928 140725615207928 140585516355463 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 542824 39889 746 405 0 539768 0
Current children cumulated CPU time: 1248.04 s
Current children cumulated vsize: 2171296 KiB
Current children cumulated memory: 159556 KiB
[startup+1249.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16775
/proc/meminfo: memFree=23711836/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2171296 memory=159556 CPUtime=1249.62 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 198473 0 0 0 124366 596 0 0 20 0 1 0 249324717 2223407104 39889 33554432000 4194304 5849940 140725615208928 140725615207928 5437906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 542824 39889 746 405 0 539768 0
Current children cumulated CPU time: 1249.62 s
Current children cumulated vsize: 2171296 KiB
Current children cumulated memory: 159556 KiB
[startup+1250.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16775
/proc/meminfo: memFree=23711836/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2171296 memory=159556 CPUtime=1250.42 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 198473 0 0 0 124446 596 0 0 20 0 1 0 249324717 2223407104 39889 33554432000 4194304 5849940 140725615208928 140725615207928 5335726 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 542824 39889 746 405 0 539768 0
Current children cumulated CPU time: 1250.42 s
Current children cumulated vsize: 2171296 KiB
Current children cumulated memory: 159556 KiB
[startup+1250.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16775
/proc/meminfo: memFree=23711836/32770624 swapFree=67059132/67108860
[pid=16737] ppid=16734 vsize=2171296 memory=159556 CPUtime=1250.62 cores=1,3,5,7
/proc/16737/stat : 16737 (xcsp_picat) R 16734 16737 13719 0 -1 4202496 198473 0 0 0 124466 596 0 0 20 0 1 0 249324717 2223407104 39889 33554432000 4194304 5849940 140725615208928 140725615207928 140585516355463 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9396308 41525248 140725615211702 140725615211780 140725615211780 140725615214538 0
/proc/16737/statm: 542824 39889 746 405 0 539768 0
Current children cumulated CPU time: 1250.62 s
Current children cumulated vsize: 2171296 KiB
Current children cumulated memory: 159556 KiB
Child status: 0
Real time (s): 1250.63
CPU time (s): 1250.67
CPU user time (s): 1244.69
CPU system time (s): 5.97318
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2201868
Max. memory (cumulated for all children) (KiB): 187836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1244.69
system time used= 5.97318
maximum resident set size= 187836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198574
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= 2
involuntary context switches= 315
# summary of solver processes directly reported to runsolver:
# pid: 16737
# total CPU time (s): 1250.67
# total CPU user time (s): 1244.69
# total CPU system time (s): 5.97318
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.86065 second user time and 9.22791 second system time
The end