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 (3774 MiB free)
memory of node 1: 16384 MiB (6739 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296037-1532602308/watcher-4296037-1532602308 -o /tmp/evaluation-result-4296037-1532602308/solver-4296037-1532602308 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532594747-28432 --watchdog 2580 xcsp_picat HOME/instance-4296037-1532602308.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=29237, runsolver pid=29234
[startup+0.100199 s]*
/proc/loadavg: 2.00 2.00 1.99 3/188 29238
/proc/meminfo: memFree=10736856/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=111688 memory=33296 CPUtime=0.1 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 1317 0 0 0 10 0 0 0 20 0 1 0 77794009 114368512 8324 33554432000 4194304 5849740 140734653897568 140734653896872 4533182 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 27922 8324 618 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 33296 KiB
[startup+0.20979 s]*
/proc/loadavg: 2.00 2.00 1.99 3/188 29238
/proc/meminfo: memFree=10717556/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=111688 memory=50700 CPUtime=0.21 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 1611 0 0 0 21 0 0 0 20 0 1 0 77794009 114368512 12675 33554432000 4194304 5849740 140734653897568 140734653896872 5086323 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 27922 12675 630 405 0 24866 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 50700 KiB
[startup+0.309589 s]*
/proc/loadavg: 2.00 2.00 1.99 3/188 29238
/proc/meminfo: memFree=10695528/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=137036 memory=74800 CPUtime=0.31 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 3318 0 0 0 30 1 0 0 20 0 1 0 77794009 140324864 18700 33554432000 4194304 5849740 140734653897568 140734653896872 5249653 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 34259 18700 647 405 0 31203 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 137036 KiB
Current children cumulated memory: 74800 KiB
[startup+0.70042 s]
/proc/loadavg: 1.92 1.98 1.98 3/188 29238
/proc/meminfo: memFree=10697444/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=143560 memory=88192 CPUtime=0.69 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 5472 0 0 0 67 2 0 0 20 0 1 0 77794009 147005440 22048 33554432000 4194304 5849740 140734653897568 140734653896888 140511295741831 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 35890 22048 708 405 0 32834 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 143560 KiB
Current children cumulated memory: 88192 KiB
[startup+1.50042 s]
/proc/loadavg: 1.92 1.98 1.98 3/188 29238
/proc/meminfo: memFree=10677444/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=195788 memory=136680 CPUtime=1.49 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 8911 0 0 0 144 5 0 0 20 0 1 0 77794009 200486912 34170 33554432000 4194304 5849740 140734653897568 140734653896888 5300700 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 48947 34170 710 405 0 45891 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 195788 KiB
Current children cumulated memory: 136680 KiB
[startup+3.10936 s]
/proc/loadavg: 1.92 1.98 1.98 3/188 29238
/proc/meminfo: memFree=10495256/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=304332 memory=249256 CPUtime=3.1 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 11529 0 0 0 303 7 0 0 20 0 1 0 77794009 311635968 62314 33554432000 4194304 5849740 140734653897568 140734653896888 5521462 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 76083 62314 727 405 0 73027 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 304332 KiB
Current children cumulated memory: 249256 KiB
[startup+6.30041 s]
/proc/loadavg: 1.92 1.98 1.98 3/188 29238
/proc/meminfo: memFree=10518512/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=316988 memory=261900 CPUtime=6.29 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 32721 0 0 0 620 9 0 0 20 0 1 0 77794009 324595712 65475 33554432000 4194304 5849740 140734653897568 140734653896664 5303771 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 79247 65475 734 405 0 76191 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 316988 KiB
Current children cumulated memory: 261900 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.98 3/188 29238
/proc/meminfo: memFree=10504532/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=316988 memory=262012 CPUtime=12.69 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 56966 0 0 0 1256 13 0 0 20 0 1 0 77794009 324595712 65503 33554432000 4194304 5849740 140734653897568 140734653896056 4211451 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 79247 65503 752 405 0 76191 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 316988 KiB
Current children cumulated memory: 262012 KiB
[startup+25.5004 s]
/proc/loadavg: 1.94 1.98 1.98 3/188 29238
/proc/meminfo: memFree=10504532/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=316988 memory=262028 CPUtime=25.49 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 72034 0 0 0 2536 13 0 0 20 0 1 0 77794009 324595712 65507 33554432000 4194304 5849740 140734653897568 140734653896056 4212035 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 79247 65507 755 405 0 76191 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 316988 KiB
Current children cumulated memory: 262028 KiB
[startup+51.1095 s]
/proc/loadavg: 1.96 1.99 1.98 3/188 29238
/proc/meminfo: memFree=10500388/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=321244 memory=266300 CPUtime=51.11 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 126808 0 0 0 5082 29 0 0 20 0 1 0 77794009 328953856 66575 33554432000 4194304 5849740 140734653897568 140734653896440 5311555 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 80311 66575 759 405 0 77255 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 321244 KiB
Current children cumulated memory: 266300 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 1.98 3/188 29239
/proc/meminfo: memFree=10492680/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=394412 memory=337556 CPUtime=102.3 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 176372 0 0 0 10181 49 0 0 20 0 1 0 77794009 403877888 84389 33554432000 4194304 5849740 140734653897568 140734653896280 4217930 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 98603 84389 759 405 0 95547 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 394412 KiB
Current children cumulated memory: 337556 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.98 3/188 29240
/proc/meminfo: memFree=10456180/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=361644 memory=304820 CPUtime=162.31 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 203389 0 0 0 16153 78 0 0 20 0 1 0 77794009 370323456 76205 33554432000 4194304 5849740 140734653897568 140734653896440 4217793 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 90411 76205 759 405 0 87355 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 361644 KiB
Current children cumulated memory: 304820 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/187 29242
/proc/meminfo: memFree=10435396/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=345164 memory=290220 CPUtime=222.32 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 229732 0 0 0 22126 106 0 0 20 0 1 0 77794009 353447936 72555 33554432000 4194304 5849740 140734653897568 140734653896568 5311650 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 86291 72555 759 405 0 83235 0
Current children cumulated CPU time: 222.32 s
Current children cumulated vsize: 345164 KiB
Current children cumulated memory: 290220 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/187 29243
/proc/meminfo: memFree=10448792/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=345164 memory=290220 CPUtime=282.33 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 256657 0 0 0 28100 133 0 0 20 0 1 0 77794009 353447936 72555 33554432000 4194304 5849740 140734653897568 140734653896440 4213546 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 86291 72555 759 405 0 83235 0
Current children cumulated CPU time: 282.33 s
Current children cumulated vsize: 345164 KiB
Current children cumulated memory: 290220 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/187 29244
/proc/meminfo: memFree=10404060/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=345164 memory=290220 CPUtime=342.33 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 296772 0 0 0 34071 162 0 0 20 0 1 0 77794009 353447936 72555 33554432000 4194304 5849740 140734653897568 140734653896728 5311476 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 86291 72555 759 405 0 83235 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 345164 KiB
Current children cumulated memory: 290220 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/187 29246
/proc/meminfo: memFree=10248556/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=354296 memory=299180 CPUtime=402.33 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 325493 0 0 0 40041 192 0 0 20 0 1 0 77794009 362799104 74795 33554432000 4194304 5849740 140734653897568 140734653896568 140511295741831 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 88574 74795 760 405 0 85518 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 354296 KiB
Current children cumulated memory: 299180 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/187 29247
/proc/meminfo: memFree=10246128/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=355644 memory=300540 CPUtime=462.34 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 339512 0 0 0 46020 214 0 0 20 0 1 0 77794009 364179456 75135 33554432000 4194304 5849740 140734653897568 140734653896568 5437825 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 88911 75135 760 405 0 85855 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 355644 KiB
Current children cumulated memory: 300540 KiB
################
# More data... #
################
/proc/29237/statm: 187511 174505 760 405 0 184455 0
Current children cumulated CPU time: 1722.46 s
Current children cumulated vsize: 750044 KiB
Current children cumulated memory: 698020 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/189 29377
/proc/meminfo: memFree=10154184/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=568712 memory=516628 CPUtime=1782.46 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 630403 0 0 0 177469 777 0 0 20 0 1 0 77794009 582361088 129157 33554432000 4194304 5849740 140734653897568 140734653896568 140511295741831 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 142178 129157 760 405 0 139122 0
Current children cumulated CPU time: 1782.46 s
Current children cumulated vsize: 568712 KiB
Current children cumulated memory: 516628 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/189 29378
/proc/meminfo: memFree=10156132/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=564800 memory=512980 CPUtime=1842.48 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 639725 0 0 0 183448 800 0 0 20 0 1 0 77794009 578355200 128245 33554432000 4194304 5849740 140734653897568 140734653896568 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 141200 128245 760 405 0 138144 0
Current children cumulated CPU time: 1842.48 s
Current children cumulated vsize: 564800 KiB
Current children cumulated memory: 512980 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/189 29379
/proc/meminfo: memFree=10094000/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=583952 memory=531896 CPUtime=1902.48 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 640945 0 0 0 189425 823 0 0 20 0 1 0 77794009 597966848 132974 33554432000 4194304 5849740 140734653897568 140734653896568 140511295741831 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 145988 132974 760 405 0 142932 0
Current children cumulated CPU time: 1902.48 s
Current children cumulated vsize: 583952 KiB
Current children cumulated memory: 531896 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/189 29380
/proc/meminfo: memFree=10128828/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=595464 memory=543772 CPUtime=1962.49 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 651614 0 0 0 195400 849 0 0 20 0 1 0 77794009 609755136 135943 33554432000 4194304 5849740 140734653897568 140734653896568 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 148866 135943 760 405 0 145810 0
Current children cumulated CPU time: 1962.49 s
Current children cumulated vsize: 595464 KiB
Current children cumulated memory: 543772 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 29382
/proc/meminfo: memFree=9988508/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=711112 memory=659132 CPUtime=2022.49 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 658708 0 0 0 201377 872 0 0 20 0 1 0 77794009 728178688 164783 33554432000 4194304 5849740 140734653897568 140734653896568 5437821 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 177778 164783 760 405 0 174722 0
Current children cumulated CPU time: 2022.49 s
Current children cumulated vsize: 711112 KiB
Current children cumulated memory: 659132 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 29383
/proc/meminfo: memFree=10125436/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=574016 memory=522184 CPUtime=2082.5 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 666520 0 0 0 207355 895 0 0 20 0 1 0 77794009 587792384 130546 33554432000 4194304 5849740 140734653897568 140734653896568 5351908 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 143504 130546 760 405 0 140448 0
Current children cumulated CPU time: 2082.5 s
Current children cumulated vsize: 574016 KiB
Current children cumulated memory: 522184 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 29384
/proc/meminfo: memFree=10039444/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=637944 memory=586124 CPUtime=2142.51 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 672959 0 0 0 213331 920 0 0 20 0 1 0 77794009 653254656 146531 33554432000 4194304 5849740 140734653897568 140734653896568 140511295741831 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 159486 146531 760 405 0 156430 0
Current children cumulated CPU time: 2142.51 s
Current children cumulated vsize: 637944 KiB
Current children cumulated memory: 586124 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 29386
/proc/meminfo: memFree=10104424/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=571520 memory=519828 CPUtime=2202.51 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 674148 0 0 0 219308 943 0 0 20 0 1 0 77794009 585236480 129957 33554432000 4194304 5849740 140734653897568 140734653896728 140511295741831 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 142880 129957 760 405 0 139824 0
Current children cumulated CPU time: 2202.51 s
Current children cumulated vsize: 571520 KiB
Current children cumulated memory: 519828 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 29387
/proc/meminfo: memFree=10123184/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=495624 memory=443696 CPUtime=2262.52 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 677635 0 0 0 225291 961 0 0 20 0 1 0 77794009 507518976 110924 33554432000 4194304 5849740 140734653897568 140734653896728 140511295741831 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 123906 110924 760 405 0 120850 0
Current children cumulated CPU time: 2262.52 s
Current children cumulated vsize: 495624 KiB
Current children cumulated memory: 443696 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/189 29397
/proc/meminfo: memFree=9511900/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=739780 memory=687708 CPUtime=2322.53 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 689016 0 0 0 231269 984 0 0 20 0 1 0 77794009 757534720 171927 33554432000 4194304 5849740 140734653897568 140734653896568 140511295741831 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 184945 171927 760 405 0 181889 0
Current children cumulated CPU time: 2322.53 s
Current children cumulated vsize: 739780 KiB
Current children cumulated memory: 687708 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/189 29398
/proc/meminfo: memFree=9851252/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=653872 memory=601896 CPUtime=2382.54 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 705190 0 0 0 237247 1007 0 0 20 0 1 0 77794009 669564928 150474 33554432000 4194304 5849740 140734653897568 140734653896568 140511295741831 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 163468 150474 760 405 0 160412 0
Current children cumulated CPU time: 2382.54 s
Current children cumulated vsize: 653872 KiB
Current children cumulated memory: 601896 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/189 29399
/proc/meminfo: memFree=9946024/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=656260 memory=604340 CPUtime=2442.55 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 714825 0 0 0 243224 1031 0 0 20 0 1 0 77794009 672010240 151085 33554432000 4194304 5849740 140734653897568 140734653896440 140511295741831 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 164065 151085 760 405 0 161009 0
Current children cumulated CPU time: 2442.55 s
Current children cumulated vsize: 656260 KiB
Current children cumulated memory: 604340 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/189 29400
/proc/meminfo: memFree=9950208/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=652896 memory=600896 CPUtime=2502.55 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 722539 0 0 0 249205 1050 0 0 20 0 1 0 77794009 668565504 150224 33554432000 4194304 5849740 140734653897568 140734653896568 5438086 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 163224 150224 760 405 0 160168 0
Current children cumulated CPU time: 2502.55 s
Current children cumulated vsize: 652896 KiB
Current children cumulated memory: 600896 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/189 29400
/proc/meminfo: memFree=9965768/32770624 swapFree=67108860/67108860
[pid=29237] ppid=29234 vsize=660944 memory=609072 CPUtime=2520.05 cores=0,2,4,6
/proc/29237/stat : 29237 (xcsp_picat) R 29234 29237 26989 0 -1 4202496 724553 0 0 0 250947 1058 0 0 20 0 1 0 77794009 676806656 152268 33554432000 4194304 5849740 140734653897568 140734653896568 140511295741831 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 31145984 140734653899958 140734653900036 140734653900036 140734653902794 0
/proc/29237/statm: 165236 152268 760 405 0 162180 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 660944 KiB
Current children cumulated memory: 609072 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.81 s]
# the end of solver process 29237 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.47 s, system=10.5943 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): 2519.81
CPU time (s): 2520.07
CPU user time (s): 2509.47
CPU system time (s): 10.5943
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 1099912
Max. memory (cumulated for all children) (KiB): 1048220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.47
system time used= 10.5943
maximum resident set size= 1048220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 724553
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= 89
involuntary context switches= 903
# summary of solver processes directly reported to runsolver:
# pid: 29237
# total CPU time (s): 2520.07
# total CPU user time (s): 2509.47
# total CPU system time (s): 10.5943
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.5081 second user time and 18.3919 second system time
The end