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 (3770 MiB free)
memory of node 1: 16384 MiB (6765 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296144-1532609908/watcher-4296144-1532609908 -o /tmp/evaluation-result-4296144-1532609908/solver-4296144-1532609908 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532594747-28432 --watchdog 2580 xcsp_picat HOME/instance-4296144-1532609908.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=30074, runsolver pid=30071
[startup+0.100116 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30075
/proc/meminfo: memFree=10765176/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=130392 memory=28268 CPUtime=0.1 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 2859 0 0 0 10 0 0 0 20 0 1 0 78553946 133521408 7067 33554432000 4194304 5849740 140729281663568 140729281663568 5431944 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 32598 7067 640 405 0 29542 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 130392 KiB
Current children cumulated memory: 28268 KiB
[startup+0.209732 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30075
/proc/meminfo: memFree=10750604/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=146784 memory=44764 CPUtime=0.2 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 5953 0 0 0 20 0 0 0 20 0 1 0 78553946 150306816 11191 33554432000 4194304 5849740 140729281663568 140729281663568 5356038 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 36696 11191 642 405 0 33640 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 146784 KiB
Current children cumulated memory: 44764 KiB
[startup+0.309531 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 30075
/proc/meminfo: memFree=10748584/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=144132 memory=42324 CPUtime=0.3 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 5969 0 0 0 30 0 0 0 20 0 1 0 78553946 147591168 10581 33554432000 4194304 5849740 140729281663568 140729281662440 5368096 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 36033 10581 643 405 0 32977 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 144132 KiB
Current children cumulated memory: 42324 KiB
[startup+0.700324 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30075
/proc/meminfo: memFree=10748584/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=144132 memory=42324 CPUtime=0.69 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 5969 0 0 0 69 0 0 0 20 0 1 0 78553946 147591168 10581 33554432000 4194304 5849740 140729281663568 140729281662216 5371225 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 36033 10581 643 405 0 32977 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 144132 KiB
Current children cumulated memory: 42324 KiB
[startup+1.50035 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30075
/proc/meminfo: memFree=10748584/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=152252 memory=50540 CPUtime=1.49 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 6496 0 0 0 148 1 0 0 20 0 1 0 78553946 155906048 12635 33554432000 4194304 5849740 140729281663568 140729281662216 5360799 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 38063 12635 661 405 0 35007 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 152252 KiB
Current children cumulated memory: 50540 KiB
[startup+3.10944 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30075
/proc/meminfo: memFree=10742452/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=150616 memory=48372 CPUtime=3.1 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 11589 0 0 0 309 1 0 0 20 0 1 0 78553946 154230784 12093 33554432000 4194304 5849740 140729281663568 140729281662056 5335585 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 37654 12093 674 405 0 34598 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 150616 KiB
Current children cumulated memory: 48372 KiB
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30075
/proc/meminfo: memFree=10739724/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=152164 memory=50424 CPUtime=6.28 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 17538 0 0 0 623 5 0 0 20 0 1 0 78553946 155815936 12606 33554432000 4194304 5849740 140729281663568 140729281662568 140378905984903 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 38041 12606 674 405 0 34985 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 152164 KiB
Current children cumulated memory: 50424 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30075
/proc/meminfo: memFree=10738036/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=154468 memory=52512 CPUtime=12.68 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 21798 0 0 0 1256 12 0 0 20 0 1 0 78553946 158175232 13128 33554432000 4194304 5849740 140729281663568 140729281662440 5355906 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 38617 13128 674 405 0 35561 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 154468 KiB
Current children cumulated memory: 52512 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30075
/proc/meminfo: memFree=10601552/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=156604 memory=57840 CPUtime=25.48 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 29427 0 0 0 2524 24 0 0 20 0 1 0 78553946 160362496 14460 33554432000 4194304 5849740 140729281663568 140729281662296 140378905984903 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 39151 14460 674 405 0 36095 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 156604 KiB
Current children cumulated memory: 57840 KiB
[startup+51.1093 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30075
/proc/meminfo: memFree=10724876/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=160488 memory=65368 CPUtime=51.09 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 35371 0 0 0 5061 48 0 0 20 0 1 0 78553946 164339712 16342 33554432000 4194304 5849740 140729281663568 140729281662568 140378905984903 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 40122 16342 674 405 0 37066 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 160488 KiB
Current children cumulated memory: 65368 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 30085
/proc/meminfo: memFree=10592708/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=162280 memory=67300 CPUtime=102.27 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 47549 0 0 0 10138 89 0 0 20 0 1 0 78553946 166174720 16825 33554432000 4194304 5849740 140729281663568 140729281662056 4213579 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 40570 16825 675 405 0 37514 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 162280 KiB
Current children cumulated memory: 67300 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 30109
/proc/meminfo: memFree=10722560/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=163484 memory=68428 CPUtime=162.27 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 70552 0 0 0 16094 133 0 0 20 0 1 0 78553946 167407616 17107 33554432000 4194304 5849740 140729281663568 140729281662568 140378905984903 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 40871 17107 675 405 0 37815 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 163484 KiB
Current children cumulated memory: 68428 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 30110
/proc/meminfo: memFree=10724760/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=164280 memory=68660 CPUtime=222.28 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 97534 0 0 0 22055 173 0 0 20 0 1 0 78553946 168222720 17165 33554432000 4194304 5849740 140729281663568 140729281662568 5437560 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 41070 17165 675 405 0 38014 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 164280 KiB
Current children cumulated memory: 68660 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 30111
/proc/meminfo: memFree=10590368/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=165516 memory=70412 CPUtime=282.29 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 125562 0 0 0 28014 215 0 0 20 0 1 0 78553946 169488384 17603 33554432000 4194304 5849740 140729281663568 140729281662568 140378905984903 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 41379 17603 675 405 0 38323 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 165516 KiB
Current children cumulated memory: 70412 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 30112
/proc/meminfo: memFree=10720084/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=167060 memory=71924 CPUtime=342.29 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 153895 0 0 0 33980 249 0 0 20 0 1 0 78553946 171069440 17981 33554432000 4194304 5849740 140729281663568 140729281662568 5438009 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 41765 17981 675 405 0 38709 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 167060 KiB
Current children cumulated memory: 71924 KiB
[startup+402.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 30113
/proc/meminfo: memFree=10569244/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=186272 memory=91264 CPUtime=402.29 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 175593 0 0 0 39944 285 0 0 20 0 1 0 78553946 190742528 22816 33554432000 4194304 5849740 140729281663568 140729281662568 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 46568 22816 675 405 0 43512 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 186272 KiB
Current children cumulated memory: 91264 KiB
[startup+462.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/187 30114
/proc/meminfo: memFree=10601756/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=202704 memory=106976 CPUtime=462.29 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 205868 0 0 0 45909 320 0 0 20 0 1 0 78553946 207568896 26744 33554432000 4194304 5849740 140729281663568 140729281662568 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 50676 26744 675 405 0 47620 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 202704 KiB
Current children cumulated memory: 106976 KiB
################
# More data... #
################
/proc/30074/statm: 82726 58981 675 405 0 79670 0
Current children cumulated CPU time: 1722.34 s
Current children cumulated vsize: 330904 KiB
Current children cumulated memory: 235924 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30216
/proc/meminfo: memFree=10742128/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=348992 memory=254012 CPUtime=1782.33 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 564991 0 0 0 177522 711 0 0 20 0 1 0 78553946 357367808 63503 33554432000 4194304 5849740 140729281663568 140729281662568 5335602 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 87248 63503 675 405 0 84192 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 348992 KiB
Current children cumulated memory: 254012 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30217
/proc/meminfo: memFree=10671672/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=419468 memory=324236 CPUtime=1842.33 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 574076 0 0 0 183513 720 0 0 20 0 1 0 78553946 429535232 81059 33554432000 4194304 5849740 140729281663568 140729281662728 5437808 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 104867 81059 675 405 0 101811 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 419468 KiB
Current children cumulated memory: 324236 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30225
/proc/meminfo: memFree=10655744/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=419468 memory=324488 CPUtime=1902.34 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 583798 0 0 0 189507 727 0 0 20 0 1 0 78553946 429535232 81122 33554432000 4194304 5849740 140729281663568 140729281662568 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 104867 81122 675 405 0 101811 0
Current children cumulated CPU time: 1902.34 s
Current children cumulated vsize: 419468 KiB
Current children cumulated memory: 324488 KiB
[startup+1962.3 s]
/proc/loadavg: 2.34 2.09 2.07 3/187 30226
/proc/meminfo: memFree=10656680/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=419468 memory=324488 CPUtime=1962.35 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 583948 0 0 0 195497 738 0 0 20 0 1 0 78553946 429535232 81122 33554432000 4194304 5849740 140729281663568 140729281662568 5339877 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 104867 81122 675 405 0 101811 0
Current children cumulated CPU time: 1962.35 s
Current children cumulated vsize: 419468 KiB
Current children cumulated memory: 324488 KiB
[startup+2022.3 s]
/proc/loadavg: 2.32 2.15 2.09 3/187 30227
/proc/meminfo: memFree=10656316/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=419468 memory=324488 CPUtime=2022.35 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 584574 0 0 0 201489 746 0 0 20 0 1 0 78553946 429535232 81122 33554432000 4194304 5849740 140729281663568 140729281662568 5437709 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 104867 81122 675 405 0 101811 0
Current children cumulated CPU time: 2022.35 s
Current children cumulated vsize: 419468 KiB
Current children cumulated memory: 324488 KiB
[startup+2082.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/187 30228
/proc/meminfo: memFree=10596748/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=479304 memory=384184 CPUtime=2082.35 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 586190 0 0 0 207480 755 0 0 20 0 1 0 78553946 490807296 96046 33554432000 4194304 5849740 140729281663568 140729281662568 5438266 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 119826 96046 675 405 0 116770 0
Current children cumulated CPU time: 2082.35 s
Current children cumulated vsize: 479304 KiB
Current children cumulated memory: 384184 KiB
[startup+2142.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/187 30229
/proc/meminfo: memFree=10551316/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=521680 memory=426700 CPUtime=2142.34 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 611500 0 0 0 213470 764 0 0 20 0 1 0 78553946 534200320 106675 33554432000 4194304 5849740 140729281663568 140729281662568 5437616 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 130420 106675 675 405 0 127364 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 521680 KiB
Current children cumulated memory: 426700 KiB
[startup+2202.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 30230
/proc/meminfo: memFree=10551356/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=521680 memory=426700 CPUtime=2202.34 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 636133 0 0 0 219463 771 0 0 20 0 1 0 78553946 534200320 106675 33554432000 4194304 5849740 140729281663568 140729281662568 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 130420 106675 675 405 0 127364 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 521680 KiB
Current children cumulated memory: 426700 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 30231
/proc/meminfo: memFree=10507028/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=565972 memory=470992 CPUtime=2262.34 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 653741 0 0 0 225454 780 0 0 20 0 1 0 78553946 579555328 117748 33554432000 4194304 5849740 140729281663568 140729281662568 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 141493 117748 675 405 0 138437 0
Current children cumulated CPU time: 2262.34 s
Current children cumulated vsize: 565972 KiB
Current children cumulated memory: 470992 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 30232
/proc/meminfo: memFree=10373620/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=681068 memory=586088 CPUtime=2322.33 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 674299 0 0 0 231442 791 0 0 20 0 1 0 78553946 697413632 146522 33554432000 4194304 5849740 140729281663568 140729281662568 5437576 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 170267 146522 675 405 0 167211 0
Current children cumulated CPU time: 2322.33 s
Current children cumulated vsize: 681068 KiB
Current children cumulated memory: 586088 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/187 30233
/proc/meminfo: memFree=10392480/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=681068 memory=586088 CPUtime=2382.34 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 702770 0 0 0 237433 801 0 0 20 0 1 0 78553946 697413632 146522 33554432000 4194304 5849740 140729281663568 140729281662568 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 170267 146522 675 405 0 167211 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 681068 KiB
Current children cumulated memory: 586088 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 30234
/proc/meminfo: memFree=10385972/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=681068 memory=586088 CPUtime=2442.35 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 728627 0 0 0 243424 811 0 0 20 0 1 0 78553946 697413632 146522 33554432000 4194304 5849740 140729281663568 140729281662568 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 170267 146522 675 405 0 167211 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 681068 KiB
Current children cumulated memory: 586088 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 30243
/proc/meminfo: memFree=10388204/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=681068 memory=586088 CPUtime=2502.34 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 756268 0 0 0 249416 818 0 0 20 0 1 0 78553946 697413632 146522 33554432000 4194304 5849740 140729281663568 140729281662568 5438192 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 170267 146522 675 405 0 167211 0
Current children cumulated CPU time: 2502.34 s
Current children cumulated vsize: 681068 KiB
Current children cumulated memory: 586088 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.03 2.05 3/188 30243
/proc/meminfo: memFree=10409324/32770624 swapFree=67108860/67108860
[pid=30074] ppid=30071 vsize=681068 memory=586088 CPUtime=2520.05 cores=0,2,4,6
/proc/30074/stat : 30074 (xcsp_picat) R 30071 30074 26989 0 -1 4202496 778081 0 0 0 251183 822 0 0 20 0 1 0 78553946 697413632 146522 33554432000 4194304 5849740 140729281663568 140729281662568 140378905984903 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 16207872 140729281672374 140729281672452 140729281672452 140729281675210 0
/proc/30074/statm: 170267 146522 675 405 0 167211 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 681068 KiB
Current children cumulated memory: 586088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 30074 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.84 s, system=8.23847 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.02
CPU time (s): 2520.08
CPU user time (s): 2511.84
CPU system time (s): 8.23847
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 681068
Max. memory (cumulated for all children) (KiB): 586088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.84
system time used= 8.23847
maximum resident set size= 586088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 778082
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= 165
involuntary context switches= 3162
# summary of solver processes directly reported to runsolver:
# pid: 30074
# total CPU time (s): 2520.08
# total CPU user time (s): 2511.84
# total CPU system time (s): 8.23847
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1914 second user time and 15.2638 second system time
The end