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 (13170 MiB free)
memory of node 1: 16384 MiB (11490 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407539-1569509641/watcher-4407539-1569509641 -o /tmp/evaluation-result-4407539-1569509641/solver-4407539-1569509641 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569509779-15647 --watchdog 2560 xcsp_picat HOME/instance-4407539-1569509641.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=15676, runsolver pid=15670
Current StackSize limit: 8192 KiB
[startup+0.100197 s]*
/proc/loadavg: 0.08 0.03 0.05 4/197 15678
/proc/meminfo: memFree=25216436/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2031716 memory=22908 CPUtime=0.09 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 1330 0 0 0 9 0 0 0 20 0 1 0 527235433 2080477184 5727 33554432000 4194304 5870510 140729070756128 140729070753272 140280199908352 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 507929 5727 839 410 0 503402 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 22908 KiB
[startup+0.209823 s]*
/proc/loadavg: 0.08 0.03 0.05 4/197 15678
/proc/meminfo: memFree=25186412/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2031716 memory=31100 CPUtime=0.2 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 1334 0 0 0 20 0 0 0 20 0 1 0 527235433 2080477184 7775 33554432000 4194304 5870510 140729070756128 140729070753272 140280199908352 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 507929 7775 839 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 31100 KiB
[startup+0.309693 s]*
/proc/loadavg: 0.08 0.03 0.05 4/197 15678
/proc/meminfo: memFree=25150688/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2031716 memory=39292 CPUtime=0.3 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 1338 0 0 0 30 0 0 0 20 0 1 0 527235433 2080477184 9823 33554432000 4194304 5870510 140729070756128 140729070753272 140280199908352 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 507929 9823 839 410 0 503402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 39292 KiB
[startup+0.700404 s]
/proc/loadavg: 0.08 0.03 0.05 4/197 15678
/proc/meminfo: memFree=25110376/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2085124 memory=107704 CPUtime=0.68 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 12956 0 0 0 66 2 0 0 20 0 1 0 527235433 2135166976 26926 33554432000 4194304 5870510 140729070756128 140729070755432 5326979 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 521281 26926 886 410 0 516754 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2085124 KiB
Current children cumulated memory: 107704 KiB
[startup+1.50041 s]
/proc/loadavg: 0.08 0.03 0.05 4/197 15678
/proc/meminfo: memFree=24954724/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2327764 memory=313084 CPUtime=1.48 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 54239 0 0 0 139 9 0 0 20 0 1 0 527235433 2383630336 78271 33554432000 4194304 5870510 140729070756128 140729070755208 5319602 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 581941 78271 888 410 0 577414 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2327764 KiB
Current children cumulated memory: 313084 KiB
[startup+3.10977 s]
/proc/loadavg: 0.08 0.03 0.05 4/197 15678
/proc/meminfo: memFree=24695364/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2423540 memory=393160 CPUtime=3.09 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 106236 0 0 0 296 13 0 0 20 0 1 0 527235433 2481704960 98290 33554432000 4194304 5870510 140729070756128 140729070754632 140280199539243 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 605885 98290 895 410 0 601358 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2423540 KiB
Current children cumulated memory: 393160 KiB
[startup+6.30041 s]
/proc/loadavg: 0.24 0.06 0.06 4/197 15678
/proc/meminfo: memFree=24635584/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2465580 memory=446860 CPUtime=6.28 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 118691 0 0 0 610 18 0 0 20 0 1 0 527235433 2524753920 111715 33554432000 4194304 5870510 140729070756128 140729070754456 5343854 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 616395 111715 896 410 0 611868 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2465580 KiB
Current children cumulated memory: 446860 KiB
[startup+12.7004 s]
/proc/loadavg: 0.30 0.08 0.07 4/197 15678
/proc/meminfo: memFree=24530416/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2631684 memory=586472 CPUtime=12.68 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 209409 0 0 0 1241 27 0 0 20 0 1 0 527235433 2694844416 146618 33554432000 4194304 5870510 140729070756128 140729070754280 5337477 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 657921 146618 896 410 0 653394 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2631684 KiB
Current children cumulated memory: 586472 KiB
[startup+25.5004 s]
/proc/loadavg: 0.67 0.17 0.10 4/197 15678
/proc/meminfo: memFree=24561372/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2543476 memory=535864 CPUtime=25.48 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 343769 0 0 0 2509 39 0 0 20 0 1 0 527235433 2604519424 133966 33554432000 4194304 5870510 140729070756128 140729070755384 5282464 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 635869 133966 917 410 0 631342 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2543476 KiB
Current children cumulated memory: 535864 KiB
[startup+51.1096 s]
/proc/loadavg: 1.13 0.32 0.15 4/198 15682
/proc/meminfo: memFree=24464468/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2641440 memory=588684 CPUtime=51.09 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 462319 0 0 0 5046 63 0 0 20 0 1 0 527235433 2704834560 147171 33554432000 4194304 5870510 140729070756128 140729070754456 5337497 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 660360 147171 926 410 0 655833 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2641440 KiB
Current children cumulated memory: 588684 KiB
[startup+102.3 s]
/proc/loadavg: 1.62 0.58 0.24 4/198 15688
/proc/meminfo: memFree=24491692/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2560240 memory=563580 CPUtime=102.27 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 622989 0 0 0 10136 91 0 0 20 0 1 0 527235433 2621685760 140895 33554432000 4194304 5870510 140729070756128 140729070754552 5337436 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 640060 140895 926 410 0 635533 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2560240 KiB
Current children cumulated memory: 563580 KiB
[startup+162.3 s]
/proc/loadavg: 1.86 0.84 0.35 4/198 15692
/proc/meminfo: memFree=24524904/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2560240 memory=538812 CPUtime=162.27 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 656138 0 0 0 16119 108 0 0 20 0 1 0 527235433 2621685760 134703 33554432000 4194304 5870510 140729070756128 140729070755080 5272880 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 640060 134703 927 410 0 635533 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2560240 KiB
Current children cumulated memory: 538812 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.05 0.46 4/200 15707
/proc/meminfo: memFree=24505084/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2510152 memory=523468 CPUtime=222.27 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 711151 0 0 0 22060 167 0 0 20 0 1 0 527235433 2570395648 130867 33554432000 4194304 5870510 140729070756128 140729070755080 5262735 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 627538 130867 927 410 0 623011 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2510152 KiB
Current children cumulated memory: 523468 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 1.24 0.56 4/201 15734
/proc/meminfo: memFree=24535964/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2510152 memory=523524 CPUtime=282.26 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 755079 0 0 0 28006 220 0 0 20 0 1 0 527235433 2570395648 130881 33554432000 4194304 5870510 140729070756128 140729070754696 5283024 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 627538 130881 927 410 0 623011 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2510152 KiB
Current children cumulated memory: 523524 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 1.38 0.65 4/201 15738
/proc/meminfo: memFree=24516264/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2560240 memory=537732 CPUtime=342.26 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 780455 0 0 0 33959 267 0 0 20 0 1 0 527235433 2621685760 134433 33554432000 4194304 5870510 140729070756128 140729070755080 5283024 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 640060 134433 927 410 0 635533 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 2560240 KiB
Current children cumulated memory: 537732 KiB
[startup+402.3 s]
/proc/loadavg: 3.06 1.76 0.82 4/200 15744
/proc/meminfo: memFree=24523740/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2560240 memory=537688 CPUtime=402.26 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 821707 0 0 0 39905 321 0 0 20 0 1 0 527235433 2621685760 134422 33554432000 4194304 5870510 140729070756128 140729070755080 5258472 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 640060 134422 927 410 0 635533 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2560240 KiB
Current children cumulated memory: 537688 KiB
[startup+462.3 s]
/proc/loadavg: 2.55 1.87 0.92 4/200 15748
/proc/meminfo: memFree=24482348/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2560240 memory=540060 CPUtime=462.25 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 879448 0 0 0 45850 375 0 0 20 0 1 0 527235433 2621685760 135015 33554432000 4194304 5870510 140729070756128 140729070755080 5282509 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 640060 135015 927 410 0 635533 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 2560240 KiB
Current children cumulated memory: 540060 KiB
################
# More data... #
################
/proc/15676/statm: 643073 145935 927 410 0 638546 0
Current children cumulated CPU time: 1662.13 s
Current children cumulated vsize: 2572292 KiB
Current children cumulated memory: 583740 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.72 4/198 15863
/proc/meminfo: memFree=24401036/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2572292 memory=584792 CPUtime=1722.12 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 1440446 0 0 0 171386 826 0 0 20 0 1 0 527235433 2634027008 146198 33554432000 4194304 5870510 140729070756128 140729070755144 5282759 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 643073 146198 927 410 0 638546 0
Current children cumulated CPU time: 1722.12 s
Current children cumulated vsize: 2572292 KiB
Current children cumulated memory: 584792 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.74 4/197 15869
/proc/meminfo: memFree=24441728/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2572292 memory=578648 CPUtime=1782.11 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 1441738 0 0 0 177377 834 0 0 20 0 1 0 527235433 2634027008 144662 33554432000 4194304 5870510 140729070756128 140729070755144 5283067 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 643073 144662 927 410 0 638546 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 2572292 KiB
Current children cumulated memory: 578648 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.76 4/197 15875
/proc/meminfo: memFree=24423476/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2572292 memory=566360 CPUtime=1842.1 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 1443324 0 0 0 183368 842 0 0 20 0 1 0 527235433 2634027008 141590 33554432000 4194304 5870510 140729070756128 140729070755144 5283024 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 643073 141590 927 410 0 638546 0
Current children cumulated CPU time: 1842.1 s
Current children cumulated vsize: 2572292 KiB
Current children cumulated memory: 566360 KiB
[startup+1902.3 s]
/proc/loadavg: 2.09 2.02 1.78 4/197 15880
/proc/meminfo: memFree=24372112/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2572292 memory=581540 CPUtime=1902.09 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 1444557 0 0 0 189362 847 0 0 20 0 1 0 527235433 2634027008 145385 33554432000 4194304 5870510 140729070756128 140729070755144 5283024 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 643073 145385 927 410 0 638546 0
Current children cumulated CPU time: 1902.09 s
Current children cumulated vsize: 2572292 KiB
Current children cumulated memory: 581540 KiB
[startup+1962.3 s]
/proc/loadavg: 2.03 2.01 1.79 4/197 15884
/proc/meminfo: memFree=24401992/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2572292 memory=567204 CPUtime=1962.08 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 1446149 0 0 0 195353 855 0 0 20 0 1 0 527235433 2634027008 141801 33554432000 4194304 5870510 140729070756128 140729070755144 5282505 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 643073 141801 927 410 0 638546 0
Current children cumulated CPU time: 1962.08 s
Current children cumulated vsize: 2572292 KiB
Current children cumulated memory: 567204 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.01 1.80 4/197 15897
/proc/meminfo: memFree=24434956/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2572292 memory=572504 CPUtime=2022.08 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 1447494 0 0 0 201347 861 0 0 20 0 1 0 527235433 2634027008 143126 33554432000 4194304 5870510 140729070756128 140729070755144 5283106 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 643073 143126 927 410 0 638546 0
Current children cumulated CPU time: 2022.08 s
Current children cumulated vsize: 2572292 KiB
Current children cumulated memory: 572504 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.82 4/198 15902
/proc/meminfo: memFree=24428560/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2572292 memory=579492 CPUtime=2082.07 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 1448709 0 0 0 207340 867 0 0 20 0 1 0 527235433 2634027008 144873 33554432000 4194304 5870510 140729070756128 140729070755144 5282621 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 643073 144873 927 410 0 638546 0
Current children cumulated CPU time: 2082.07 s
Current children cumulated vsize: 2572292 KiB
Current children cumulated memory: 579492 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.83 4/198 15906
/proc/meminfo: memFree=24373996/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2596868 memory=600768 CPUtime=2142.06 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 1450397 0 0 0 213333 873 0 0 20 0 1 0 527235433 2659192832 150192 33554432000 4194304 5870510 140729070756128 140729070755144 5282515 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 649217 150192 927 410 0 644690 0
Current children cumulated CPU time: 2142.06 s
Current children cumulated vsize: 2596868 KiB
Current children cumulated memory: 600768 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.84 4/198 15912
/proc/meminfo: memFree=24402984/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2596868 memory=605708 CPUtime=2202.05 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 1451830 0 0 0 219327 878 0 0 20 0 1 0 527235433 2659192832 151427 33554432000 4194304 5870510 140729070756128 140729070755144 5282721 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 649217 151427 927 410 0 644690 0
Current children cumulated CPU time: 2202.05 s
Current children cumulated vsize: 2596868 KiB
Current children cumulated memory: 605708 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.85 4/198 15916
/proc/meminfo: memFree=24385780/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2596868 memory=598720 CPUtime=2262.04 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 1454095 0 0 0 225313 891 0 0 20 0 1 0 527235433 2659192832 149680 33554432000 4194304 5870510 140729070756128 140729070755144 5304500 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 649217 149680 927 410 0 644690 0
Current children cumulated CPU time: 2262.04 s
Current children cumulated vsize: 2596868 KiB
Current children cumulated memory: 598720 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/198 15920
/proc/meminfo: memFree=24399392/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2596868 memory=585228 CPUtime=2322.04 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 1458635 0 0 0 231284 920 0 0 20 0 1 0 527235433 2659192832 146307 33554432000 4194304 5870510 140729070756128 140729070754696 5282759 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 649217 146307 927 410 0 644690 0
Current children cumulated CPU time: 2322.04 s
Current children cumulated vsize: 2596868 KiB
Current children cumulated memory: 585228 KiB
[startup+2382.3 s]
/proc/loadavg: 2.13 2.04 1.88 4/197 15926
/proc/meminfo: memFree=24341184/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2596868 memory=611852 CPUtime=2382.03 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 1463358 0 0 0 237260 943 0 0 20 0 1 0 527235433 2659192832 152963 33554432000 4194304 5870510 140729070756128 140729070755144 5274721 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 649217 152963 927 410 0 644690 0
Current children cumulated CPU time: 2382.03 s
Current children cumulated vsize: 2596868 KiB
Current children cumulated memory: 611852 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 2.10 2.04 1.88 4/197 15927
/proc/meminfo: memFree=24340004/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2596868 memory=606912 CPUtime=2400.03 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 1464549 0 0 0 239051 952 0 0 20 0 1 0 527235433 2659192832 151728 33554432000 4194304 5870510 140729070756128 140729070755144 5282590 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 649217 151728 927 410 0 644690 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 2596868 KiB
Current children cumulated memory: 606912 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.3 s]
# the end of solver process 15676 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2390.52 s, system=9.52817 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.3 s]
/proc/loadavg: 2.10 2.04 1.88 4/197 15927
/proc/meminfo: memFree=24340004/32770624 swapFree=66941828/67108860
[pid=15676] ppid=15670 vsize=2596868 memory=606912 CPUtime=2400.03 cores=0,2,4,6
/proc/15676/stat : 15676 (xcsp_picat) R 15670 15676 15616 0 -1 4202496 1464549 0 0 0 239051 952 0 0 20 0 1 0 527235433 2659192832 151728 33554432000 4194304 5870510 140729070756128 140729070755144 5282590 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 37183488 140729070760991 140729070761069 140729070761069 140729070763978 0
/proc/15676/statm: 649217 151728 927 410 0 644690 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 2596868 KiB
Current children cumulated memory: 606912 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.3
CPU time (s): 2400.05
CPU user time (s): 2390.52
CPU system time (s): 9.52817
CPU usage (%): 99.9893
Max. virtual memory (cumulated for all children) (KiB): 2777692
Max. memory (cumulated for all children) (KiB): 738168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2390.52
system time used= 9.52817
maximum resident set size= 738168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1464549
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= 69
involuntary context switches= 3031
# summary of solver processes directly reported to runsolver:
# pid: 15676
# total CPU time (s): 2400.05
# total CPU user time (s): 2390.52
# total CPU system time (s): 9.52817
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.37014 second user time and 19.151 second system time
The end