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 (9124 MiB free)
memory of node 1: 16384 MiB (11271 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295920-1532585214/watcher-4295920-1532585214 -o /tmp/evaluation-result-4295920-1532585214/solver-4295920-1532585214 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532562373-32762 --watchdog 2580 xcsp_picat HOME/instance-4295920-1532585214.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=3091, runsolver pid=3088
[startup+0.100164 s]*
/proc/loadavg: 1.93 2.02 2.08 3/190 3092
/proc/meminfo: memFree=20872728/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=119812 memory=15708 CPUtime=0.1 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 1535 0 0 0 10 0 0 0 20 0 1 0 76084643 122687488 3927 33554432000 4194304 5849740 140733469448192 140733469448192 140351985323911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 29953 3927 686 405 0 26897 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 119812 KiB
Current children cumulated memory: 15708 KiB
[startup+0.20967 s]*
/proc/loadavg: 1.93 2.02 2.08 3/190 3092
/proc/meminfo: memFree=20872356/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=119944 memory=15968 CPUtime=0.2 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 1585 0 0 0 20 0 0 0 20 0 1 0 76084643 122822656 3992 33554432000 4194304 5849740 140733469448192 140733469448192 140351985323911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 29986 3992 687 405 0 26930 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 119944 KiB
Current children cumulated memory: 15968 KiB
[startup+0.30895 s]*
/proc/loadavg: 1.93 2.02 2.08 3/190 3092
/proc/meminfo: memFree=20871920/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=119944 memory=15968 CPUtime=0.3 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 1601 0 0 0 30 0 0 0 20 0 1 0 76084643 122822656 3992 33554432000 4194304 5849740 140733469448192 140733469447416 140351985323911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 29986 3992 687 405 0 26930 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 119944 KiB
Current children cumulated memory: 15968 KiB
[startup+0.700272 s]
/proc/loadavg: 1.93 2.02 2.08 3/190 3092
/proc/meminfo: memFree=20871548/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=120268 memory=16236 CPUtime=0.69 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 1699 0 0 0 68 1 0 0 20 0 1 0 76084643 123154432 4059 33554432000 4194304 5849740 140733469448192 140733469447416 140351985323911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 30067 4059 688 405 0 27011 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 120268 KiB
Current children cumulated memory: 16236 KiB
[startup+1.50029 s]
/proc/loadavg: 1.93 2.02 2.08 3/190 3092
/proc/meminfo: memFree=20871176/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=122440 memory=18416 CPUtime=1.49 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 2271 0 0 0 147 2 0 0 20 0 1 0 76084643 125378560 4604 33554432000 4194304 5849740 140733469448192 140733469447416 5361710 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 30610 4604 707 405 0 27554 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 122440 KiB
Current children cumulated memory: 18416 KiB
[startup+3.10911 s]
/proc/loadavg: 1.93 2.02 2.08 3/190 3092
/proc/meminfo: memFree=20868072/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=123088 memory=19068 CPUtime=3.1 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 3618 0 0 0 306 4 0 0 20 0 1 0 76084643 126042112 4767 33554432000 4194304 5849740 140733469448192 140733469447192 140351985323911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 30772 4767 721 405 0 27716 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 123088 KiB
Current children cumulated memory: 19068 KiB
[startup+6.30036 s]
/proc/loadavg: 1.94 2.02 2.08 3/190 3092
/proc/meminfo: memFree=20867124/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=123476 memory=19544 CPUtime=6.29 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 6498 0 0 0 621 8 0 0 20 0 1 0 76084643 126439424 4886 33554432000 4194304 5849740 140733469448192 140733469447192 140351985323911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 30869 4886 721 405 0 27813 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 123476 KiB
Current children cumulated memory: 19544 KiB
[startup+12.7003 s]
/proc/loadavg: 2.02 2.04 2.08 3/190 3092
/proc/meminfo: memFree=20863468/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=124736 memory=20744 CPUtime=12.69 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 10556 0 0 0 1255 14 0 0 20 0 1 0 76084643 127729664 5186 33554432000 4194304 5849740 140733469448192 140733469447192 140351985323911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 31184 5186 721 405 0 28128 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 124736 KiB
Current children cumulated memory: 20744 KiB
[startup+25.5003 s]
/proc/loadavg: 2.02 2.04 2.08 3/190 3092
/proc/meminfo: memFree=20849972/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=128948 memory=24908 CPUtime=25.49 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 20331 0 0 0 2525 24 0 0 20 0 1 0 76084643 132042752 6227 33554432000 4194304 5849740 140733469448192 140733469446904 140351985323911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 32237 6227 721 405 0 29181 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 128948 KiB
Current children cumulated memory: 24908 KiB
[startup+51.1096 s]
/proc/loadavg: 2.01 2.03 2.08 3/191 3093
/proc/meminfo: memFree=20843696/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=127168 memory=23012 CPUtime=51.1 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 32125 0 0 0 5068 42 0 0 20 0 1 0 76084643 130220032 5753 33554432000 4194304 5849740 140733469448192 140733469447192 140351985323911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 31792 5753 721 405 0 28736 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 127168 KiB
Current children cumulated memory: 23012 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.03 2.07 3/191 3094
/proc/meminfo: memFree=20821240/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=131716 memory=32496 CPUtime=102.29 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 48689 0 0 0 10158 71 0 0 20 0 1 0 76084643 134877184 8124 33554432000 4194304 5849740 140733469448192 140733469447192 5437668 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 32929 8124 721 405 0 29873 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 131716 KiB
Current children cumulated memory: 32496 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.07 3/191 3095
/proc/meminfo: memFree=20810012/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=137956 memory=40472 CPUtime=162.28 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 65750 0 0 0 16131 97 0 0 20 0 1 0 76084643 141266944 10118 33554432000 4194304 5849740 140733469448192 140733469447192 5438284 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 34489 10118 721 405 0 31433 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 137956 KiB
Current children cumulated memory: 40472 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/192 3104
/proc/meminfo: memFree=20816972/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=137028 memory=39620 CPUtime=222.29 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 81986 0 0 0 22104 125 0 0 20 0 1 0 76084643 140316672 9905 33554432000 4194304 5849740 140733469448192 140733469447352 5438230 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 34257 9905 721 405 0 31201 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 137028 KiB
Current children cumulated memory: 39620 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.06 3/192 3105
/proc/meminfo: memFree=20809540/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=145940 memory=48432 CPUtime=282.28 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 95992 0 0 0 28081 147 0 0 20 0 1 0 76084643 149442560 12108 33554432000 4194304 5849740 140733469448192 140733469447192 5437634 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 36485 12108 721 405 0 33429 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 145940 KiB
Current children cumulated memory: 48432 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3106
/proc/meminfo: memFree=20770176/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=153356 memory=55924 CPUtime=342.27 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 110319 0 0 0 34057 170 0 0 20 0 1 0 76084643 157036544 13981 33554432000 4194304 5849740 140733469448192 140733469447192 140351985323911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 38339 13981 721 405 0 35283 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 153356 KiB
Current children cumulated memory: 55924 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3107
/proc/meminfo: memFree=20816180/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=139576 memory=42352 CPUtime=402.27 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 123730 0 0 0 40038 189 0 0 20 0 1 0 76084643 142925824 10588 33554432000 4194304 5849740 140733469448192 140733469447192 5437769 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 34894 10588 721 405 0 31838 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 139576 KiB
Current children cumulated memory: 42352 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 3108
/proc/meminfo: memFree=20803332/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=144756 memory=47444 CPUtime=462.27 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 138223 0 0 0 46015 212 0 0 20 0 1 0 76084643 148230144 11861 33554432000 4194304 5849740 140733469448192 140733469447192 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 36189 11861 721 405 0 33133 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 144756 KiB
Current children cumulated memory: 47444 KiB
################
# More data... #
################
Current children cumulated memory: 47992 KiB
[startup+1062.3 s]
/proc/loadavg: 2.08 2.11 2.08 3/191 3127
/proc/meminfo: memFree=20766048/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=157776 memory=60416 CPUtime=1062.26 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 258776 0 0 0 105819 407 0 0 20 0 1 0 76084643 161562624 15104 33554432000 4194304 5849740 140733469448192 140733469447192 5438245 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 39444 15104 721 405 0 36388 0
Current children cumulated CPU time: 1062.26 s
Current children cumulated vsize: 157776 KiB
Current children cumulated memory: 60416 KiB
[startup+1122.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/191 3130
/proc/meminfo: memFree=20736308/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=164332 memory=67112 CPUtime=1122.26 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 270813 0 0 0 111803 423 0 0 20 0 1 0 76084643 168275968 16778 33554432000 4194304 5849740 140733469448192 140733469447192 5438072 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 41083 16778 721 405 0 38027 0
Current children cumulated CPU time: 1122.26 s
Current children cumulated vsize: 164332 KiB
Current children cumulated memory: 67112 KiB
[startup+1182.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/191 3131
/proc/meminfo: memFree=20772652/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=140796 memory=43640 CPUtime=1182.26 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 283183 0 0 0 117785 441 0 0 20 0 1 0 76084643 144175104 10910 33554432000 4194304 5849740 140733469448192 140733469447192 5437607 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 35199 10910 721 405 0 32143 0
Current children cumulated CPU time: 1182.26 s
Current children cumulated vsize: 140796 KiB
Current children cumulated memory: 43640 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/191 3132
/proc/meminfo: memFree=20754932/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=149836 memory=52452 CPUtime=1242.25 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 294707 0 0 0 123770 455 0 0 20 0 1 0 76084643 153432064 13113 33554432000 4194304 5849740 140733469448192 140733469447192 140351985323911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 37459 13113 721 405 0 34403 0
Current children cumulated CPU time: 1242.25 s
Current children cumulated vsize: 149836 KiB
Current children cumulated memory: 52452 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/191 3134
/proc/meminfo: memFree=20779784/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=143260 memory=45812 CPUtime=1302.26 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 302920 0 0 0 129757 469 0 0 20 0 1 0 76084643 146698240 11453 33554432000 4194304 5849740 140733469448192 140733469447192 5335504 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 35815 11453 721 405 0 32759 0
Current children cumulated CPU time: 1302.26 s
Current children cumulated vsize: 143260 KiB
Current children cumulated memory: 45812 KiB
[startup+1362.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/191 3135
/proc/meminfo: memFree=20759996/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=151544 memory=54176 CPUtime=1362.26 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 314556 0 0 0 135740 486 0 0 20 0 1 0 76084643 155181056 13544 33554432000 4194304 5849740 140733469448192 140733469447192 5437620 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 37886 13544 721 405 0 34830 0
Current children cumulated CPU time: 1362.26 s
Current children cumulated vsize: 151544 KiB
Current children cumulated memory: 54176 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/191 3144
/proc/meminfo: memFree=20757220/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=150076 memory=52708 CPUtime=1422.25 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 324786 0 0 0 141721 504 0 0 20 0 1 0 76084643 153677824 13177 33554432000 4194304 5849740 140733469448192 140733469447192 5437600 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 37519 13177 721 405 0 34463 0
Current children cumulated CPU time: 1422.25 s
Current children cumulated vsize: 150076 KiB
Current children cumulated memory: 52708 KiB
[startup+1478.07 s]
# the end of solver process 3091 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1472.85 s, system=5.18188 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1433.6 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 3144
/proc/meminfo: memFree=20739040/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=151844 memory=54556 CPUtime=1433.55 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 325228 0 0 0 142848 507 0 0 20 0 1 0 76084643 155488256 13639 33554432000 4194304 5849740 140733469448192 140733469447192 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 37961 13639 721 405 0 34905 0
Current children cumulated CPU time: 1433.55 s
Current children cumulated vsize: 151844 KiB
Current children cumulated memory: 54556 KiB
[startup+1459.2 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 3145
/proc/meminfo: memFree=20760284/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=160760 memory=63552 CPUtime=1459.15 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 330292 0 0 0 145401 514 0 0 20 0 1 0 76084643 164618240 15888 33554432000 4194304 5849740 140733469448192 140733469447192 5437808 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 40190 15888 721 405 0 37134 0
Current children cumulated CPU time: 1459.15 s
Current children cumulated vsize: 160760 KiB
Current children cumulated memory: 63552 KiB
[startup+1465.6 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 3145
/proc/meminfo: memFree=20751968/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=162944 memory=65708 CPUtime=1465.55 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 331728 0 0 0 146040 515 0 0 20 0 1 0 76084643 166854656 16427 33554432000 4194304 5849740 140733469448192 140733469447192 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 40736 16427 721 405 0 37680 0
Current children cumulated CPU time: 1465.55 s
Current children cumulated vsize: 162944 KiB
Current children cumulated memory: 65708 KiB
[startup+1472 s]*
/proc/loadavg: 2.00 2.03 2.05 3/191 3145
/proc/meminfo: memFree=20716964/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=162972 memory=65708 CPUtime=1471.96 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 331739 0 0 0 146680 516 0 0 20 0 1 0 76084643 166883328 16427 33554432000 4194304 5849740 140733469448192 140733469447192 140351985323911 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 40743 16427 721 405 0 37687 0
Current children cumulated CPU time: 1471.96 s
Current children cumulated vsize: 162972 KiB
Current children cumulated memory: 65708 KiB
[startup+1475.2 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 3145
/proc/meminfo: memFree=20716840/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=162972 memory=65708 CPUtime=1475.15 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 331739 0 0 0 146998 517 0 0 20 0 1 0 76084643 166883328 16427 33554432000 4194304 5849740 140733469448192 140733469447192 5438211 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 40743 16427 721 405 0 37687 0
Current children cumulated CPU time: 1475.15 s
Current children cumulated vsize: 162972 KiB
Current children cumulated memory: 65708 KiB
[startup+1476.8 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 3145
/proc/meminfo: memFree=20716840/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=162972 memory=65708 CPUtime=1476.75 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 331740 0 0 0 147158 517 0 0 20 0 1 0 76084643 166883328 16427 33554432000 4194304 5849740 140733469448192 140733469447192 5437616 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 40743 16427 721 405 0 37687 0
Current children cumulated CPU time: 1476.75 s
Current children cumulated vsize: 162972 KiB
Current children cumulated memory: 65708 KiB
[startup+1477.6 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 3145
/proc/meminfo: memFree=20716776/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=162972 memory=65708 CPUtime=1477.54 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 331740 0 0 0 147237 517 0 0 20 0 1 0 76084643 166883328 16427 33554432000 4194304 5849740 140733469448192 140733469447192 5437732 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 40743 16427 721 405 0 37687 0
Current children cumulated CPU time: 1477.54 s
Current children cumulated vsize: 162972 KiB
Current children cumulated memory: 65708 KiB
[startup+1478 s]*
/proc/loadavg: 2.00 2.03 2.05 3/191 3145
/proc/meminfo: memFree=20716776/32770624 swapFree=67108860/67108860
[pid=3091] ppid=3088 vsize=162972 memory=65708 CPUtime=1477.96 cores=1,3,5,7
/proc/3091/stat : 3091 (xcsp_picat) R 3088 3091 32730 0 -1 4202496 331740 0 0 0 147278 518 0 0 20 0 1 0 76084643 166883328 16427 33554432000 4194304 5849740 140733469448192 140733469447192 5438196 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 41177088 140733469451446 140733469451524 140733469451524 140733469454282 0
/proc/3091/statm: 40743 16427 721 405 0 37687 0
Current children cumulated CPU time: 1477.96 s
Current children cumulated vsize: 162972 KiB
Current children cumulated memory: 65708 KiB
Child status: 0
Real time (s): 1478.07
CPU time (s): 1478.03
CPU user time (s): 1472.85
CPU system time (s): 5.18188
CPU usage (%): 99.9972
Max. virtual memory (cumulated for all children) (KiB): 166676
Max. memory (cumulated for all children) (KiB): 69388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1472.85
system time used= 5.18188
maximum resident set size= 69388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331764
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= 25
involuntary context switches= 1213
# summary of solver processes directly reported to runsolver:
# pid: 3091
# total CPU time (s): 1478.03
# total CPU user time (s): 1472.85
# total CPU system time (s): 5.18188
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.34524 second user time and 10.0901 second system time
The end