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 (4353 MiB free)
memory of node 1: 16384 MiB (11367 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293419-1532317299/watcher-4293419-1532317299 -o /tmp/evaluation-result-4293419-1532317299/solver-4293419-1532317299 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532296553-30441 --watchdog 2580 xcsp_picat HOME/instance-4293419-1532317299.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=1070, runsolver pid=1067
[startup+0.1002 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 1071
/proc/meminfo: memFree=16087308/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=112704 memory=14060 CPUtime=0.1 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 1735 0 0 0 10 0 0 0 20 0 1 0 49293116 115408896 3515 33554432000 4194304 5849740 140729458473888 140729458473888 5308384 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 28176 3515 698 405 0 25120 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112704 KiB
Current children cumulated memory: 14060 KiB
[startup+0.209869 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 1071
/proc/meminfo: memFree=16087308/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=112704 memory=14320 CPUtime=0.21 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 1749 0 0 0 21 0 0 0 20 0 1 0 49293116 115408896 3580 33554432000 4194304 5849740 140729458473888 140729458473888 4211398 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 28176 3580 703 405 0 25120 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 112704 KiB
Current children cumulated memory: 14320 KiB
[startup+0.309299 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 1071
/proc/meminfo: memFree=16087308/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=112704 memory=14320 CPUtime=0.31 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 1749 0 0 0 31 0 0 0 20 0 1 0 49293116 115408896 3580 33554432000 4194304 5849740 140729458473888 140729458473888 4211660 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 28176 3580 703 405 0 25120 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 112704 KiB
Current children cumulated memory: 14320 KiB
[startup+0.700335 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 1071
/proc/meminfo: memFree=16087308/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=113828 memory=15284 CPUtime=0.69 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 2004 0 0 0 68 1 0 0 20 0 1 0 49293116 116559872 3821 33554432000 4194304 5849740 140729458473888 140729458473888 5312884 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 28457 3821 707 405 0 25401 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 113828 KiB
Current children cumulated memory: 15284 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 1071
/proc/meminfo: memFree=16085856/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=114668 memory=16192 CPUtime=1.49 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 2406 0 0 0 147 2 0 0 20 0 1 0 49293116 117420032 4048 33554432000 4194304 5849740 140729458473888 140729458472888 140612106014599 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 28667 4048 707 405 0 25611 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 114668 KiB
Current children cumulated memory: 16192 KiB
[startup+3.10941 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 1071
/proc/meminfo: memFree=16088316/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=116468 memory=17784 CPUtime=3.1 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 6356 0 0 0 305 5 0 0 20 0 1 0 49293116 119263232 4446 33554432000 4194304 5849740 140729458473888 140729458472888 140612106014599 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 29117 4446 708 405 0 26061 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 116468 KiB
Current children cumulated memory: 17784 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 1072
/proc/meminfo: memFree=16086920/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=116320 memory=17824 CPUtime=6.29 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 10726 0 0 0 620 9 0 0 20 0 1 0 49293116 119111680 4456 33554432000 4194304 5849740 140729458473888 140729458472888 5355861 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 29080 4456 708 405 0 26024 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 116320 KiB
Current children cumulated memory: 17824 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1072
/proc/meminfo: memFree=16068164/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=118672 memory=20196 CPUtime=12.69 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 18765 0 0 0 1253 16 0 0 20 0 1 0 49293116 121520128 5049 33554432000 4194304 5849740 140729458473888 140729458472888 140612106014599 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 29668 5049 708 405 0 26612 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 118672 KiB
Current children cumulated memory: 20196 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1072
/proc/meminfo: memFree=16082276/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=122752 memory=24176 CPUtime=25.49 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 38653 0 0 0 2517 32 0 0 20 0 1 0 49293116 125698048 6044 33554432000 4194304 5849740 140729458473888 140729458472888 140612106014599 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 30688 6044 708 405 0 27632 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 122752 KiB
Current children cumulated memory: 24176 KiB
[startup+51.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1072
/proc/meminfo: memFree=16025216/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=134608 memory=35924 CPUtime=51.11 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 66404 0 0 0 5049 62 0 0 20 0 1 0 49293116 137838592 8981 33554432000 4194304 5849740 140729458473888 140729458472888 140612106014599 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 33652 8981 708 405 0 30596 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 134608 KiB
Current children cumulated memory: 35924 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1073
/proc/meminfo: memFree=15958400/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=154108 memory=55632 CPUtime=102.3 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 86555 0 0 0 10138 92 0 0 20 0 1 0 49293116 157806592 13908 33554432000 4194304 5849740 140729458473888 140729458472888 140612106014599 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 38527 13908 708 405 0 35471 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 154108 KiB
Current children cumulated memory: 55632 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 1074
/proc/meminfo: memFree=15861020/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=163928 memory=65312 CPUtime=162.31 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 103409 0 0 0 16116 115 0 0 20 0 1 0 49293116 167862272 16328 33554432000 4194304 5849740 140729458473888 140729458472888 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 40982 16328 708 405 0 37926 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 163928 KiB
Current children cumulated memory: 65312 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1075
/proc/meminfo: memFree=15787200/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=186968 memory=89564 CPUtime=222.3 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 113490 0 0 0 22098 132 0 0 20 0 1 0 49293116 191455232 22391 33554432000 4194304 5849740 140729458473888 140729458472888 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 46742 22391 708 405 0 43686 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 186968 KiB
Current children cumulated memory: 89564 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1145
/proc/meminfo: memFree=16230444/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=173364 memory=79668 CPUtime=282.3 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 126847 0 0 0 28073 157 0 0 20 0 1 0 49293116 177524736 19917 33554432000 4194304 5849740 140729458473888 140729458473048 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 43341 19917 708 405 0 40285 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 173364 KiB
Current children cumulated memory: 79668 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1146
/proc/meminfo: memFree=16155348/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=224616 memory=130744 CPUtime=342.31 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 137261 0 0 0 34057 174 0 0 20 0 1 0 49293116 230006784 32686 33554432000 4194304 5849740 140729458473888 140729458472888 140612106014599 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 56154 32686 708 405 0 53098 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 224616 KiB
Current children cumulated memory: 130744 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1147
/proc/meminfo: memFree=16128692/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=224616 memory=130980 CPUtime=402.31 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 149644 0 0 0 40045 186 0 0 20 0 1 0 49293116 230006784 32745 33554432000 4194304 5849740 140729458473888 140729458472888 5335519 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 56154 32745 708 405 0 53098 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 224616 KiB
Current children cumulated memory: 130980 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1148
/proc/meminfo: memFree=16145184/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=227340 memory=133516 CPUtime=462.29 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 155204 0 0 0 46033 196 0 0 20 0 1 0 49293116 232796160 33379 33554432000 4194304 5849740 140729458473888 140729458472888 140612106014599 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 56835 33379 708 405 0 53779 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 227340 KiB
Current children cumulated memory: 133516 KiB
################
# More data... #
################
Current children cumulated memory: 315516 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1219
/proc/meminfo: memFree=15559812/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=409408 memory=315772 CPUtime=1782.35 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 284935 0 0 0 177826 409 0 0 20 0 1 0 49293116 419233792 78943 33554432000 4194304 5849740 140729458473888 140729458472888 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 102352 78943 708 405 0 99296 0
Current children cumulated CPU time: 1782.35 s
Current children cumulated vsize: 409408 KiB
Current children cumulated memory: 315772 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1220
/proc/meminfo: memFree=15559564/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=409408 memory=315772 CPUtime=1842.35 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 299071 0 0 0 183821 414 0 0 20 0 1 0 49293116 419233792 78943 33554432000 4194304 5849740 140729458473888 140729458472888 5438196 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 102352 78943 708 405 0 99296 0
Current children cumulated CPU time: 1842.35 s
Current children cumulated vsize: 409408 KiB
Current children cumulated memory: 315772 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1221
/proc/meminfo: memFree=15558960/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=409408 memory=315772 CPUtime=1902.34 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 303194 0 0 0 189814 420 0 0 20 0 1 0 49293116 419233792 78943 33554432000 4194304 5849740 140729458473888 140729458472888 140612105602981 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 102352 78943 708 405 0 99296 0
Current children cumulated CPU time: 1902.34 s
Current children cumulated vsize: 409408 KiB
Current children cumulated memory: 315772 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1222
/proc/meminfo: memFree=15486664/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=409408 memory=315772 CPUtime=1962.35 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 306864 0 0 0 195809 426 0 0 20 0 1 0 49293116 419233792 78943 33554432000 4194304 5849740 140729458473888 140729458472888 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 102352 78943 708 405 0 99296 0
Current children cumulated CPU time: 1962.35 s
Current children cumulated vsize: 409408 KiB
Current children cumulated memory: 315772 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1223
/proc/meminfo: memFree=15323996/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=409408 memory=315772 CPUtime=2022.35 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 308750 0 0 0 201803 432 0 0 20 0 1 0 49293116 419233792 78943 33554432000 4194304 5849740 140729458473888 140729458472888 5335610 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 102352 78943 708 405 0 99296 0
Current children cumulated CPU time: 2022.35 s
Current children cumulated vsize: 409408 KiB
Current children cumulated memory: 315772 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1224
/proc/meminfo: memFree=15323676/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=409408 memory=315772 CPUtime=2082.35 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 309874 0 0 0 207797 438 0 0 20 0 1 0 49293116 419233792 78943 33554432000 4194304 5849740 140729458473888 140729458472888 140612106014599 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 102352 78943 708 405 0 99296 0
Current children cumulated CPU time: 2082.35 s
Current children cumulated vsize: 409408 KiB
Current children cumulated memory: 315772 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1225
/proc/meminfo: memFree=15323852/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=409408 memory=315772 CPUtime=2142.36 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 310993 0 0 0 213794 442 0 0 20 0 1 0 49293116 419233792 78943 33554432000 4194304 5849740 140729458473888 140729458472888 5335552 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 102352 78943 708 405 0 99296 0
Current children cumulated CPU time: 2142.36 s
Current children cumulated vsize: 409408 KiB
Current children cumulated memory: 315772 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1226
/proc/meminfo: memFree=15453296/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=280776 memory=187084 CPUtime=2202.36 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 317585 0 0 0 219786 450 0 0 20 0 1 0 49293116 287514624 46771 33554432000 4194304 5849740 140729458473888 140729458472760 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 70194 46771 708 405 0 67138 0
Current children cumulated CPU time: 2202.36 s
Current children cumulated vsize: 280776 KiB
Current children cumulated memory: 187084 KiB
[startup+2216.93 s]
# the end of solver process 1070 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2212.47 s, system=4.52631 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2208 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 1227
/proc/meminfo: memFree=15452344/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=280776 memory=187084 CPUtime=2208.07 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 317585 0 0 0 220356 451 0 0 20 0 1 0 49293116 287514624 46771 33554432000 4194304 5849740 140729458473888 140729458472888 140612106014599 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 70194 46771 708 405 0 67138 0
Current children cumulated CPU time: 2208.07 s
Current children cumulated vsize: 280776 KiB
Current children cumulated memory: 187084 KiB
[startup+2211.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1227
/proc/meminfo: memFree=15452720/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=280776 memory=187084 CPUtime=2211.27 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 317585 0 0 0 220675 452 0 0 20 0 1 0 49293116 287514624 46771 33554432000 4194304 5849740 140729458473888 140729458472888 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 70194 46771 708 405 0 67138 0
Current children cumulated CPU time: 2211.27 s
Current children cumulated vsize: 280776 KiB
Current children cumulated memory: 187084 KiB
[startup+2214.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1227
/proc/meminfo: memFree=15452456/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=280776 memory=187084 CPUtime=2214.46 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 317585 0 0 0 220994 452 0 0 20 0 1 0 49293116 287514624 46771 33554432000 4194304 5849740 140729458473888 140729458472888 5437576 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 70194 46771 708 405 0 67138 0
Current children cumulated CPU time: 2214.46 s
Current children cumulated vsize: 280776 KiB
Current children cumulated memory: 187084 KiB
[startup+2216 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 1227
/proc/meminfo: memFree=15452580/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=280776 memory=187084 CPUtime=2216.07 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 317585 0 0 0 221155 452 0 0 20 0 1 0 49293116 287514624 46771 33554432000 4194304 5849740 140729458473888 140729458472888 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 70194 46771 708 405 0 67138 0
Current children cumulated CPU time: 2216.07 s
Current children cumulated vsize: 280776 KiB
Current children cumulated memory: 187084 KiB
[startup+2216.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1227
/proc/meminfo: memFree=15452580/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=280776 memory=187084 CPUtime=2216.46 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 317585 0 0 0 221194 452 0 0 20 0 1 0 49293116 287514624 46771 33554432000 4194304 5849740 140729458473888 140729458472888 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 70194 46771 708 405 0 67138 0
Current children cumulated CPU time: 2216.46 s
Current children cumulated vsize: 280776 KiB
Current children cumulated memory: 187084 KiB
[startup+2216.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1227
/proc/meminfo: memFree=15452580/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=280776 memory=187136 CPUtime=2216.86 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 318384 0 0 0 221234 452 0 0 20 0 1 0 49293116 287514624 46784 33554432000 4194304 5849740 140729458473888 140729458472888 5437591 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 70194 46784 708 405 0 67138 0
Current children cumulated CPU time: 2216.86 s
Current children cumulated vsize: 280776 KiB
Current children cumulated memory: 187136 KiB
[startup+2216.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 1227
/proc/meminfo: memFree=15452580/32770624 swapFree=67108860/67108860
[pid=1070] ppid=1067 vsize=280776 memory=187136 CPUtime=2216.96 cores=0,2,4,6
/proc/1070/stat : 1070 (xcsp_picat) R 1067 1070 30410 0 -1 4202496 318384 0 0 0 221244 452 0 0 20 0 1 0 49293116 287514624 46784 33554432000 4194304 5849740 140729458473888 140729458472888 140612106014599 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 24797184 140729458476214 140729458476292 140729458476292 140729458479050 0
/proc/1070/statm: 70194 46784 708 405 0 67138 0
Current children cumulated CPU time: 2216.96 s
Current children cumulated vsize: 280776 KiB
Current children cumulated memory: 187136 KiB
Child status: 0
Real time (s): 2216.93
CPU time (s): 2217
CPU user time (s): 2212.47
CPU system time (s): 4.52631
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 409408
Max. memory (cumulated for all children) (KiB): 315772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2212.47
system time used= 4.52631
maximum resident set size= 315772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 318443
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= 130
involuntary context switches= 751
# summary of solver processes directly reported to runsolver:
# pid: 1070
# total CPU time (s): 2217
# total CPU user time (s): 2212.47
# total CPU system time (s): 4.52631
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.28012 second user time and 16.8249 second system time
The end