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 (11089 MiB free)
memory of node 1: 16384 MiB (12009 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309665-1534316182/watcher-4309665-1534316182 -o /tmp/evaluation-result-4309665-1534316182/solver-4309665-1534316182 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534293053-323 --watchdog 2580 xcsp_picat HOME/instance-4309665-1534316182.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
solver pid=4134, runsolver pid=4131
Current StackSize limit: 8192 KiB
[startup+0.100142 s]*
/proc/loadavg: 2.08 2.03 2.05 3/187 4135
/proc/meminfo: memFree=23639980/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2033912 memory=15684 CPUtime=0.1 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 1563 0 0 0 10 0 0 0 20 0 1 0 249181348 2082725888 3921 33554432000 4194304 5849940 140722010715456 140722010715456 140191391629191 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 508478 3921 686 405 0 505422 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033912 KiB
Current children cumulated memory: 15684 KiB
[startup+0.209699 s]*
/proc/loadavg: 2.08 2.03 2.05 3/187 4135
/proc/meminfo: memFree=23633904/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2042416 memory=24280 CPUtime=0.21 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 3715 0 0 0 21 0 0 0 20 0 1 0 249181348 2091433984 6070 33554432000 4194304 5849940 140722010715456 140722010715456 4540108 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 510604 6070 691 405 0 507548 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2042416 KiB
Current children cumulated memory: 24280 KiB
[startup+0.30946 s]*
/proc/loadavg: 2.08 2.03 2.05 3/187 4135
/proc/meminfo: memFree=23632260/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2041608 memory=23396 CPUtime=0.31 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 3815 0 0 0 31 0 0 0 20 0 1 0 249181348 2090606592 5849 33554432000 4194304 5849940 140722010715456 140722010715456 5395481 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 510402 5849 696 405 0 507346 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2041608 KiB
Current children cumulated memory: 23396 KiB
[startup+0.700374 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 4135
/proc/meminfo: memFree=23626428/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2046072 memory=27960 CPUtime=0.69 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 4434 0 0 0 69 0 0 0 20 0 1 0 249181348 2095177728 6990 33554432000 4194304 5849940 140722010715456 140722010715456 5359276 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 511518 6990 709 405 0 508462 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2046072 KiB
Current children cumulated memory: 27960 KiB
[startup+1.50029 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 4135
/proc/meminfo: memFree=23622180/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2045664 memory=27540 CPUtime=1.5 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 4598 0 0 0 149 1 0 0 20 0 1 0 249181348 2094759936 6885 33554432000 4194304 5849940 140722010715456 140722010713944 5305794 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 511416 6885 715 405 0 508360 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 2045664 KiB
Current children cumulated memory: 27540 KiB
[startup+3.10932 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 4135
/proc/meminfo: memFree=23621972/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2049044 memory=30904 CPUtime=3.1 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 7039 0 0 0 309 1 0 0 20 0 1 0 249181348 2098221056 7726 33554432000 4194304 5849940 140722010715456 140722010713304 4212521 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 512261 7726 719 405 0 509205 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2049044 KiB
Current children cumulated memory: 30904 KiB
[startup+6.30027 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 4135
/proc/meminfo: memFree=23617716/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2049044 memory=31088 CPUtime=6.29 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 8974 0 0 0 628 1 0 0 20 0 1 0 249181348 2098221056 7772 33554432000 4194304 5849940 140722010715456 140722010713304 4212500 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 512261 7772 719 405 0 509205 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2049044 KiB
Current children cumulated memory: 31088 KiB
[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 4135
/proc/meminfo: memFree=23616228/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2047232 memory=29212 CPUtime=12.69 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 12324 0 0 0 1265 4 0 0 20 0 1 0 249181348 2096365568 7303 33554432000 4194304 5849940 140722010715456 140722010713944 140191391629191 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 511808 7303 723 405 0 508752 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2047232 KiB
Current children cumulated memory: 29212 KiB
[startup+25.5003 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 4135
/proc/meminfo: memFree=23616660/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2050580 memory=32576 CPUtime=25.49 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 19622 0 0 0 2540 9 0 0 20 0 1 0 249181348 2099793920 8144 33554432000 4194304 5849940 140722010715456 140722010713864 4211654 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 512645 8144 723 405 0 509589 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2050580 KiB
Current children cumulated memory: 32576 KiB
[startup+51.1096 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 4135
/proc/meminfo: memFree=23623120/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2049660 memory=31564 CPUtime=51.1 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 32544 0 0 0 5089 21 0 0 20 0 1 0 249181348 2098851840 7891 33554432000 4194304 5849940 140722010715456 140722010714456 140191391629191 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 512415 7891 723 405 0 509359 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2049660 KiB
Current children cumulated memory: 31564 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 4137
/proc/meminfo: memFree=23593956/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2064204 memory=46040 CPUtime=102.29 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 62009 0 0 0 10181 48 0 0 20 0 1 0 249181348 2113744896 11510 33554432000 4194304 5849940 140722010715456 140722010714456 140191391629191 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 516051 11510 723 405 0 512995 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2064204 KiB
Current children cumulated memory: 46040 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 4138
/proc/meminfo: memFree=23603048/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2064532 memory=46528 CPUtime=162.28 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 85218 0 0 0 16154 74 0 0 20 0 1 0 249181348 2114080768 11632 33554432000 4194304 5849940 140722010715456 140722010714456 4207030 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 516133 11632 723 405 0 513077 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2064532 KiB
Current children cumulated memory: 46528 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4147
/proc/meminfo: memFree=23583300/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2078920 memory=60916 CPUtime=222.29 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 105033 0 0 0 22129 100 0 0 20 0 1 0 249181348 2128814080 15229 33554432000 4194304 5849940 140722010715456 140722010714456 140191391629191 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 519730 15229 723 405 0 516674 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2078920 KiB
Current children cumulated memory: 60916 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4171
/proc/meminfo: memFree=23563396/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2092644 memory=74640 CPUtime=282.28 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 117770 0 0 0 28105 123 0 0 20 0 1 0 249181348 2142867456 18660 33554432000 4194304 5849940 140722010715456 140722010714456 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 523161 18660 723 405 0 520105 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2092644 KiB
Current children cumulated memory: 74640 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4172
/proc/meminfo: memFree=23553524/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2104004 memory=86000 CPUtime=342.28 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 132439 0 0 0 34079 149 0 0 20 0 1 0 249181348 2154500096 21500 33554432000 4194304 5849940 140722010715456 140722010714456 5437817 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 526001 21500 723 405 0 522945 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2104004 KiB
Current children cumulated memory: 86000 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4173
/proc/meminfo: memFree=23553940/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2104228 memory=86224 CPUtime=402.27 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 146879 0 0 0 40058 169 0 0 20 0 1 0 249181348 2154729472 21556 33554432000 4194304 5849940 140722010715456 140722010714456 5437808 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 526057 21556 723 405 0 523001 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2104228 KiB
Current children cumulated memory: 86224 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 4174
/proc/meminfo: memFree=23550688/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2107148 memory=89144 CPUtime=462.28 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 164672 0 0 0 46036 192 0 0 20 0 1 0 249181348 2157719552 22286 33554432000 4194304 5849940 140722010715456 140722010714456 5438400 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 526787 22286 723 405 0 523731 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2107148 KiB
Current children cumulated memory: 89144 KiB
################
# More data... #
################
/proc/4134/statm: 541039 38274 723 405 0 537983 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 2164156 KiB
Current children cumulated memory: 153096 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4212
/proc/meminfo: memFree=23458336/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2164116 memory=153056 CPUtime=1782.22 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 369082 0 0 0 177634 588 0 0 20 0 1 0 249181348 2216054784 38264 33554432000 4194304 5849940 140722010715456 140722010714456 140191391629191 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 541029 38264 723 405 0 537973 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 2164116 KiB
Current children cumulated memory: 153056 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 4213
/proc/meminfo: memFree=23415084/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2176156 memory=165096 CPUtime=1842.21 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 371391 0 0 0 183618 603 0 0 20 0 1 0 249181348 2228383744 41274 33554432000 4194304 5849940 140722010715456 140722010714456 5437839 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 544039 41274 723 405 0 540983 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 2176156 KiB
Current children cumulated memory: 165096 KiB
[startup+1902.3 s]
/proc/loadavg: 2.44 2.12 2.08 3/187 4215
/proc/meminfo: memFree=23430556/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2140704 memory=129772 CPUtime=1902.22 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 374555 0 0 0 189601 621 0 0 20 0 1 0 249181348 2192080896 32443 33554432000 4194304 5849940 140722010715456 140722010714456 140191391629191 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 535176 32443 723 405 0 532120 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 2140704 KiB
Current children cumulated memory: 129772 KiB
[startup+1962.3 s]
/proc/loadavg: 2.23 2.13 2.08 3/187 4216
/proc/meminfo: memFree=23332164/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2132168 memory=121208 CPUtime=1962.22 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 378043 0 0 0 195586 636 0 0 20 0 1 0 249181348 2183340032 30302 33554432000 4194304 5849940 140722010715456 140722010714456 140191391629191 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 533042 30302 723 405 0 529986 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 2132168 KiB
Current children cumulated memory: 121208 KiB
[startup+2022.3 s]
/proc/loadavg: 2.08 2.10 2.08 3/188 4225
/proc/meminfo: memFree=23301680/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2161364 memory=150304 CPUtime=2022.22 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 382228 0 0 0 201571 651 0 0 20 0 1 0 249181348 2213236736 37576 33554432000 4194304 5849940 140722010715456 140722010714456 5438384 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 540341 37576 723 405 0 537285 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 2161364 KiB
Current children cumulated memory: 150304 KiB
[startup+2082.3 s]
/proc/loadavg: 2.03 2.09 2.07 3/188 4226
/proc/meminfo: memFree=23363820/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2164112 memory=152960 CPUtime=2082.21 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 385448 0 0 0 207557 664 0 0 20 0 1 0 249181348 2216050688 38240 33554432000 4194304 5849940 140722010715456 140722010714456 140191391629191 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 541028 38240 723 405 0 537972 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 2164112 KiB
Current children cumulated memory: 152960 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 4227
/proc/meminfo: memFree=23386148/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2131020 memory=120088 CPUtime=2142.21 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 388863 0 0 0 213542 679 0 0 20 0 1 0 249181348 2182164480 30022 33554432000 4194304 5849940 140722010715456 140722010714456 140191391629191 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 532755 30022 723 405 0 529699 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 2131020 KiB
Current children cumulated memory: 120088 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/188 4228
/proc/meminfo: memFree=23384288/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2121252 memory=109988 CPUtime=2202.21 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 394906 0 0 0 219525 696 0 0 20 0 1 0 249181348 2172162048 27497 33554432000 4194304 5849940 140722010715456 140722010714456 140191391629191 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 530313 27497 723 405 0 527257 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 2121252 KiB
Current children cumulated memory: 109988 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 4229
/proc/meminfo: memFree=23392604/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2112780 memory=101720 CPUtime=2262.21 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 404155 0 0 0 225507 714 0 0 20 0 1 0 249181348 2163486720 25430 33554432000 4194304 5849940 140722010715456 140722010714456 5437815 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 528195 25430 723 405 0 525139 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 2112780 KiB
Current children cumulated memory: 101720 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 4291
/proc/meminfo: memFree=23631764/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2162020 memory=150796 CPUtime=2322.21 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 410490 0 0 0 231487 734 0 0 20 0 1 0 249181348 2213908480 37699 33554432000 4194304 5849940 140722010715456 140722010714456 140191391629191 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 540505 37699 723 405 0 537449 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 2162020 KiB
Current children cumulated memory: 150796 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 4292
/proc/meminfo: memFree=23640600/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2153272 memory=142212 CPUtime=2382.2 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 415900 0 0 0 237472 748 0 0 20 0 1 0 249181348 2204950528 35553 33554432000 4194304 5849940 140722010715456 140722010714456 5438474 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 538318 35553 723 405 0 535262 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 2153272 KiB
Current children cumulated memory: 142212 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 4293
/proc/meminfo: memFree=23591096/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2170520 memory=151804 CPUtime=2442.2 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 418675 0 0 0 243454 766 0 0 20 0 1 0 249181348 2222612480 37951 33554432000 4194304 5849940 140722010715456 140722010714456 5438047 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 542630 37951 723 405 0 539574 0
Current children cumulated CPU time: 2442.2 s
Current children cumulated vsize: 2170520 KiB
Current children cumulated memory: 151804 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 4294
/proc/meminfo: memFree=23595760/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2171992 memory=157436 CPUtime=2502.2 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 423399 0 0 0 249442 778 0 0 20 0 1 0 249181348 2224119808 39359 33554432000 4194304 5849940 140722010715456 140722010714456 5312859 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 542998 39359 723 405 0 539942 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 2171992 KiB
Current children cumulated memory: 157436 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 4294
/proc/meminfo: memFree=23596300/32770624 swapFree=67108196/67108860
[pid=4134] ppid=4131 vsize=2171992 memory=157436 CPUtime=2519.9 cores=0,2,4,6
/proc/4134/stat : 4134 (xcsp_picat) R 4131 4134 32759 0 -1 4202496 426459 0 0 0 251209 781 0 0 20 0 1 0 249181348 2224119808 39359 33554432000 4194304 5849940 140722010715456 140722010714456 140191391629191 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 41725952 140722010719414 140722010719492 140722010719492 140722010722250 0
/proc/4134/statm: 542998 39359 723 405 0 539942 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 2171992 KiB
Current children cumulated memory: 157436 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 4134 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.1 s, system=7.82375 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.92
CPU user time (s): 2512.1
CPU system time (s): 7.82375
CPU usage (%): 99.9963
Max. virtual memory (cumulated for all children) (KiB): 2217100
Max. memory (cumulated for all children) (KiB): 206032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.1
system time used= 7.82375
maximum resident set size= 206032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 426459
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 787
# summary of solver processes directly reported to runsolver:
# pid: 4134
# total CPU time (s): 2519.92
# total CPU user time (s): 2512.1
# total CPU system time (s): 7.82375
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.75159 second user time and 18.5812 second system time
The end