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 (11779 MiB free)
memory of node 1: 16384 MiB (14386 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395652-1568328399/watcher-4395652-1568328399 -o /tmp/evaluation-result-4395652-1568328399/solver-4395652-1568328399 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568328264-22069 --watchdog 2560 xcsp_picat HOME/instance-4395652-1568328399.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=22470, runsolver pid=22467
Current StackSize limit: 8192 KiB
[startup+0.100567 s]*
/proc/loadavg: 1.71 1.26 1.42 3/199 22471
/proc/meminfo: memFree=26767808/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2042656 memory=30024 CPUtime=0.09 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 3676 0 0 0 9 0 0 0 20 0 1 0 408753709 2091679744 7506 33554432000 4194304 5870510 140734328783584 140734328782920 5287642 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 510664 7506 886 410 0 506137 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2042656 KiB
Current children cumulated memory: 30024 KiB
[startup+0.209649 s]*
/proc/loadavg: 1.71 1.26 1.42 3/199 22471
/proc/meminfo: memFree=26738708/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2074732 memory=57512 CPUtime=0.2 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 10785 0 0 0 19 1 0 0 20 0 1 0 408753709 2124525568 14378 33554432000 4194304 5870510 140734328783584 140734328782920 5257916 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 518683 14378 886 410 0 514156 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2074732 KiB
Current children cumulated memory: 57512 KiB
[startup+0.309597 s]*
/proc/loadavg: 1.73 1.27 1.43 3/199 22471
/proc/meminfo: memFree=26737964/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2074968 memory=57760 CPUtime=0.3 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 10847 0 0 0 29 1 0 0 20 0 1 0 408753709 2124767232 14440 33554432000 4194304 5870510 140734328783584 140734328782920 5321614 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 518742 14440 890 410 0 514215 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2074968 KiB
Current children cumulated memory: 57760 KiB
[startup+0.700325 s]
/proc/loadavg: 1.73 1.27 1.43 3/199 22471
/proc/meminfo: memFree=26722460/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2082828 memory=64944 CPUtime=0.69 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 13728 0 0 0 67 2 0 0 20 0 1 0 408753709 2132815872 16236 33554432000 4194304 5870510 140734328783584 140734328781928 5287642 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 520707 16236 897 410 0 516180 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2082828 KiB
Current children cumulated memory: 64944 KiB
[startup+1.50033 s]
/proc/loadavg: 1.73 1.27 1.43 3/199 22471
/proc/meminfo: memFree=26714856/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2089900 memory=75828 CPUtime=1.48 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 16952 0 0 0 146 2 0 0 20 0 1 0 408753709 2140057600 18957 33554432000 4194304 5870510 140734328783584 140734328781928 5287642 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 522475 18957 897 410 0 517948 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2089900 KiB
Current children cumulated memory: 75828 KiB
[startup+3.10967 s]
/proc/loadavg: 1.73 1.27 1.43 3/199 22471
/proc/meminfo: memFree=26719112/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2098304 memory=74892 CPUtime=3.09 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 37140 0 0 0 303 6 0 0 20 0 1 0 408753709 2148663296 18723 33554432000 4194304 5870510 140734328783584 140734328782152 5321611 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 524576 18723 926 410 0 520049 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 74892 KiB
[startup+6.3003 s]
/proc/loadavg: 1.75 1.29 1.43 3/200 22474
/proc/meminfo: memFree=26702588/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2102728 memory=82144 CPUtime=6.29 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 53805 0 0 0 619 10 0 0 20 0 1 0 408753709 2153193472 20536 33554432000 4194304 5870510 140734328783584 140734328781752 5282505 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 525682 20536 926 410 0 521155 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2102728 KiB
Current children cumulated memory: 82144 KiB
[startup+12.7003 s]
/proc/loadavg: 1.77 1.30 1.43 3/199 22474
/proc/meminfo: memFree=26655100/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2152048 memory=135012 CPUtime=12.68 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 61770 0 0 0 1257 11 0 0 20 0 1 0 408753709 2203697152 33753 33554432000 4194304 5870510 140734328783584 140734328782024 5305258 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 538012 33753 928 410 0 533485 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2152048 KiB
Current children cumulated memory: 135012 KiB
[startup+25.5003 s]
/proc/loadavg: 1.81 1.32 1.44 3/199 22474
/proc/meminfo: memFree=26687772/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2098304 memory=82304 CPUtime=25.48 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 85381 0 0 0 2533 15 0 0 20 0 1 0 408753709 2148663296 20576 33554432000 4194304 5870510 140734328783584 140734328781944 5283067 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 524576 20576 978 410 0 520049 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 82304 KiB
[startup+51.1096 s]
/proc/loadavg: 1.88 1.39 1.46 3/200 22476
/proc/meminfo: memFree=26677648/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2098304 memory=88376 CPUtime=51.08 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 95810 0 0 0 5092 16 0 0 20 0 1 0 408753709 2148663296 22094 33554432000 4194304 5870510 140734328783584 140734328782696 5282505 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 524576 22094 978 410 0 520049 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 88376 KiB
[startup+102.3 s]
/proc/loadavg: 1.95 1.48 1.49 3/199 22480
/proc/meminfo: memFree=26651752/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2110192 memory=98868 CPUtime=102.27 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 105925 0 0 0 10210 17 0 0 20 0 1 0 408753709 2160836608 24717 33554432000 4194304 5870510 140734328783584 140734328782072 5298780 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 527548 24717 978 410 0 523021 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2110192 KiB
Current children cumulated memory: 98868 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 1.58 1.52 3/199 22484
/proc/meminfo: memFree=26635624/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2121776 memory=111288 CPUtime=162.27 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 115279 0 0 0 16208 19 0 0 20 0 1 0 408753709 2172698624 27822 33554432000 4194304 5870510 140734328783584 140734328782152 5283116 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 530444 27822 978 410 0 525917 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2121776 KiB
Current children cumulated memory: 111288 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.65 1.55 3/199 22488
/proc/meminfo: memFree=26608296/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2128960 memory=119136 CPUtime=222.25 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 123377 0 0 0 22206 19 0 0 20 0 1 0 408753709 2180055040 29784 33554432000 4194304 5870510 140734328783584 140734328782152 5282694 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 532240 29784 978 410 0 527713 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 2128960 KiB
Current children cumulated memory: 119136 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.72 1.58 3/200 22502
/proc/meminfo: memFree=26607880/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2128960 memory=119136 CPUtime=282.25 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 124245 0 0 0 28205 20 0 0 20 0 1 0 408753709 2180055040 29784 33554432000 4194304 5870510 140734328783584 140734328782152 5308405 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 532240 29784 978 410 0 527713 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2128960 KiB
Current children cumulated memory: 119136 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.77 1.60 3/200 22506
/proc/meminfo: memFree=26595656/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2147636 memory=127668 CPUtime=342.24 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 132667 0 0 0 34203 21 0 0 20 0 1 0 408753709 2199179264 31917 33554432000 4194304 5870510 140734328783584 140734328782024 5282606 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 536909 31917 978 410 0 532382 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 2147636 KiB
Current children cumulated memory: 127668 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.81 1.63 3/200 22510
/proc/meminfo: memFree=26595864/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2147636 memory=127668 CPUtime=402.23 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 133792 0 0 0 40202 21 0 0 20 0 1 0 408753709 2199179264 31917 33554432000 4194304 5870510 140734328783584 140734328782024 5282759 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 536909 31917 978 410 0 532382 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 2147636 KiB
Current children cumulated memory: 127668 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.84 1.65 3/200 22516
/proc/meminfo: memFree=26574236/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2150292 memory=139960 CPUtime=462.23 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 140242 0 0 0 46201 22 0 0 20 0 1 0 408753709 2201899008 34990 33554432000 4194304 5870510 140734328783584 140734328782072 5282617 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 537573 34990 978 410 0 533046 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 2150292 KiB
Current children cumulated memory: 139960 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 1.87 1.67 3/200 22520
/proc/meminfo: memFree=26574712/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2150292 memory=139960 CPUtime=522.22 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 141369 0 0 0 52200 22 0 0 20 0 1 0 408753709 2201899008 34990 33554432000 4194304 5870510 140734328783584 140734328782072 5283135 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 537573 34990 978 410 0 533046 0
Current children cumulated CPU time: 522.22 s
Current children cumulated vsize: 2150292 KiB
Current children cumulated memory: 139960 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 1.90 1.69 3/199 22525
/proc/meminfo: memFree=26574016/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2150292 memory=139960 CPUtime=582.21 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 148813 0 0 0 58199 22 0 0 20 0 1 0 408753709 2201899008 34990 33554432000 4194304 5870510 140734328783584 140734328782072 5282574 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 537573 34990 978 410 0 533046 0
Current children cumulated CPU time: 582.21 s
Current children cumulated vsize: 2150292 KiB
Current children cumulated memory: 139960 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 1.91 1.71 3/199 22531
/proc/meminfo: memFree=26580320/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2150292 memory=139960 CPUtime=642.21 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 149722 0 0 0 64198 23 0 0 20 0 1 0 408753709 2201899008 34990 33554432000 4194304 5870510 140734328783584 140734328782072 5272665 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 537573 34990 978 410 0 533046 0
Current children cumulated CPU time: 642.21 s
Current children cumulated vsize: 2150292 KiB
Current children cumulated memory: 139960 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 1.93 1.73 3/199 22535
/proc/meminfo: memFree=26558948/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2150292 memory=139960 CPUtime=702.21 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 155425 0 0 0 70197 24 0 0 20 0 1 0 408753709 2201899008 34990 33554432000 4194304 5870510 140734328783584 140734328782072 5283083 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 537573 34990 978 410 0 533046 0
Current children cumulated CPU time: 702.21 s
Current children cumulated vsize: 2150292 KiB
Current children cumulated memory: 139960 KiB
[startup+749.291 s]
# the end of solver process 22470 was just reported to runsolver
# cumulated CPU time of all completed processes: user=748.93 s, system=0.268968 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+716.8 s]
/proc/loadavg: 2.00 1.93 1.73 3/199 22535
/proc/meminfo: memFree=26558296/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2150292 memory=139960 CPUtime=716.7 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 157840 0 0 0 71646 24 0 0 20 0 1 0 408753709 2201899008 34990 33554432000 4194304 5870510 140734328783584 140734328782072 5283090 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 537573 34990 978 410 0 533046 0
Current children cumulated CPU time: 716.7 s
Current children cumulated vsize: 2150292 KiB
Current children cumulated memory: 139960 KiB
[startup+729.6 s]
/proc/loadavg: 2.00 1.93 1.74 3/199 22540
/proc/meminfo: memFree=26550168/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2160256 memory=146104 CPUtime=729.5 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 159255 0 0 0 72926 24 0 0 20 0 1 0 408753709 2212102144 36526 33554432000 4194304 5870510 140734328783584 140734328782072 5283072 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 540064 36526 978 410 0 535537 0
Current children cumulated CPU time: 729.5 s
Current children cumulated vsize: 2160256 KiB
Current children cumulated memory: 146104 KiB
[startup+742.4 s]
/proc/loadavg: 2.00 1.94 1.74 3/199 22540
/proc/meminfo: memFree=26550168/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2160256 memory=146104 CPUtime=742.3 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 159273 0 0 0 74206 24 0 0 20 0 1 0 408753709 2212102144 36526 33554432000 4194304 5870510 140734328783584 140734328782072 5283116 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 540064 36526 978 410 0 535537 0
Current children cumulated CPU time: 742.3 s
Current children cumulated vsize: 2160256 KiB
Current children cumulated memory: 146104 KiB
[startup+745.6 s]
/proc/loadavg: 2.00 1.94 1.74 3/199 22540
/proc/meminfo: memFree=26669588/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2098304 memory=78604 CPUtime=745.5 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 168245 0 0 0 74524 26 0 0 20 0 1 0 408753709 2148663296 19651 33554432000 4194304 5870510 140734328783584 140734328782072 5262802 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 524576 19651 978 410 0 520049 0
Current children cumulated CPU time: 745.5 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 78604 KiB
[startup+747.2 s]
/proc/loadavg: 2.00 1.94 1.74 3/199 22540
/proc/meminfo: memFree=26614564/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2098304 memory=82156 CPUtime=747.1 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 168672 0 0 0 74684 26 0 0 20 0 1 0 408753709 2148663296 20539 33554432000 4194304 5870510 140734328783584 140734328781944 5282519 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 524576 20539 978 410 0 520049 0
Current children cumulated CPU time: 747.1 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 82156 KiB
[startup+748 s]*
/proc/loadavg: 2.00 1.94 1.74 3/199 22540
/proc/meminfo: memFree=26614572/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2098304 memory=82156 CPUtime=747.91 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 168672 0 0 0 74765 26 0 0 20 0 1 0 408753709 2148663296 20539 33554432000 4194304 5870510 140734328783584 140734328781944 5283090 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 524576 20539 978 410 0 520049 0
Current children cumulated CPU time: 747.91 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 82156 KiB
[startup+748.8 s]
/proc/loadavg: 2.00 1.94 1.74 3/199 22540
/proc/meminfo: memFree=26614572/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2098304 memory=82156 CPUtime=748.7 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 168672 0 0 0 74844 26 0 0 20 0 1 0 408753709 2148663296 20539 33554432000 4194304 5870510 140734328783584 140734328781944 5272624 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 524576 20539 978 410 0 520049 0
Current children cumulated CPU time: 748.7 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 82156 KiB
[startup+749.2 s]
/proc/loadavg: 2.00 1.94 1.74 3/199 22540
/proc/meminfo: memFree=26614604/32770624 swapFree=66957008/67108860
[pid=22470] ppid=22467 vsize=2098304 memory=82156 CPUtime=749.1 cores=0,2,4,6
/proc/22470/stat : 22470 (xcsp_picat) R 22467 22470 22038 0 -1 4202496 168672 0 0 0 74884 26 0 0 20 0 1 0 408753709 2148663296 20539 33554432000 4194304 5870510 140734328783584 140734328781944 5306814 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 31973376 140734328787999 140734328788077 140734328788077 140734328790986 0
/proc/22470/statm: 524576 20539 978 410 0 520049 0
Current children cumulated CPU time: 749.1 s
Current children cumulated vsize: 2098304 KiB
Current children cumulated memory: 82156 KiB
Child status: 0
Real time (s): 749.291
CPU time (s): 749.199
CPU user time (s): 748.93
CPU system time (s): 0.268968
CPU usage (%): 99.9877
Max. virtual memory (cumulated for all children) (KiB): 2160256
Max. memory (cumulated for all children) (KiB): 146104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 748.93
system time used= 0.268968
maximum resident set size= 146104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168711
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= 4
involuntary context switches= 800
# summary of solver processes directly reported to runsolver:
# pid: 22470
# total CPU time (s): 749.199
# total CPU user time (s): 748.93
# total CPU system time (s): 0.268968
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.96295 second user time and 5.51393 second system time
The end