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 (15114 MiB free)
memory of node 1: 16384 MiB (15694 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395255-1568334910/watcher-4395255-1568334910 -o /tmp/evaluation-result-4395255-1568334910/solver-4395255-1568334910 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568321663-18696 --watchdog 2580 xcsp_picat HOME/instance-4395255-1568334910.xml
running on 4 cores: 1,3,5,7
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=21638, runsolver pid=21635
[startup+0.10017 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 21639
/proc/meminfo: memFree=31517728/32770624 swapFree=66979924/67108860
[pid=21638] ppid=21635 vsize=2031716 memory=35696 CPUtime=0.1 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 1456 0 0 0 10 0 0 0 20 0 1 0 409753706 2080477184 8924 33554432000 4194304 5870510 140735965312688 140735965309832 4520559 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 507929 8924 871 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 35696 KiB
[startup+0.209688 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 21639
/proc/meminfo: memFree=31501472/32770624 swapFree=66979924/67108860
[pid=21638] ppid=21635 vsize=2039836 memory=50388 CPUtime=0.21 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 2590 0 0 0 20 1 0 0 20 0 1 0 409753706 2088792064 12597 33554432000 4194304 5870510 140735965312688 140735965309832 5562066 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 509959 12597 965 410 0 505432 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2039836 KiB
Current children cumulated memory: 50388 KiB
[startup+0.309509 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 21639
/proc/meminfo: memFree=31501092/32770624 swapFree=66979924/67108860
[pid=21638] ppid=21635 vsize=2039972 memory=50388 CPUtime=0.31 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 2595 0 0 0 30 1 0 0 20 0 1 0 409753706 2088931328 12597 33554432000 4194304 5870510 140735965312688 140735965309832 5557058 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 509993 12597 965 410 0 505466 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2039972 KiB
Current children cumulated memory: 50388 KiB
[startup+0.700279 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21639
/proc/meminfo: memFree=31501092/32770624 swapFree=66979924/67108860
[pid=21638] ppid=21635 vsize=2039972 memory=50388 CPUtime=0.69 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 2603 0 0 0 68 1 0 0 20 0 1 0 409753706 2088931328 12597 33554432000 4194304 5870510 140735965312688 140735965311800 5478371 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 509993 12597 965 410 0 505466 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2039972 KiB
Current children cumulated memory: 50388 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21639
/proc/meminfo: memFree=31500860/32770624 swapFree=66979924/67108860
[pid=21638] ppid=21635 vsize=2039972 memory=50388 CPUtime=1.49 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 2609 0 0 0 148 1 0 0 20 0 1 0 409753706 2088931328 12597 33554432000 4194304 5870510 140735965312688 140735965311800 5562048 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 509993 12597 965 410 0 505466 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2039972 KiB
Current children cumulated memory: 50388 KiB
[startup+3.10935 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21639
/proc/meminfo: memFree=31497544/32770624 swapFree=66979924/67108860
[pid=21638] ppid=21635 vsize=2043892 memory=55064 CPUtime=3.1 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 5629 0 0 0 309 1 0 0 20 0 1 0 409753706 2092945408 13766 33554432000 4194304 5870510 140735965312688 140735965311048 5274487 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 510973 13766 997 410 0 506446 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2043892 KiB
Current children cumulated memory: 55064 KiB
[startup+6.30029 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21639
/proc/meminfo: memFree=31483388/32770624 swapFree=66979924/67108860
[pid=21638] ppid=21635 vsize=2056448 memory=68492 CPUtime=6.29 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 14522 0 0 0 627 2 0 0 20 0 1 0 409753706 2105802752 17123 33554432000 4194304 5870510 140735965312688 140735965311112 5283048 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 514112 17123 997 410 0 509585 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2056448 KiB
Current children cumulated memory: 68492 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21639
/proc/meminfo: memFree=31453400/32770624 swapFree=66979924/67108860
[pid=21638] ppid=21635 vsize=2088484 memory=97588 CPUtime=12.69 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 25909 0 0 0 1265 4 0 0 20 0 1 0 409753706 2138607616 24397 33554432000 4194304 5870510 140735965312688 140735965311256 5304061 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 522121 24397 997 410 0 517594 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2088484 KiB
Current children cumulated memory: 97588 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21641
/proc/meminfo: memFree=31453460/32770624 swapFree=66979924/67108860
[pid=21638] ppid=21635 vsize=2088484 memory=97744 CPUtime=25.49 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 29967 0 0 0 2545 4 0 0 20 0 1 0 409753706 2138607616 24436 33554432000 4194304 5870510 140735965312688 140735965311800 5282590 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 522121 24436 997 410 0 517594 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2088484 KiB
Current children cumulated memory: 97744 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21663
/proc/meminfo: memFree=31470524/32770624 swapFree=66979936/67108860
[pid=21638] ppid=21635 vsize=2069000 memory=79496 CPUtime=51.1 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 36809 0 0 0 5104 6 0 0 20 0 1 0 409753706 2118656000 19874 33554432000 4194304 5870510 140735965312688 140735965311256 5281827 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 517250 19874 997 410 0 512723 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2069000 KiB
Current children cumulated memory: 79496 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21667
/proc/meminfo: memFree=31459004/32770624 swapFree=66979936/67108860
[pid=21638] ppid=21635 vsize=2079964 memory=91476 CPUtime=102.28 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 42662 0 0 0 10220 8 0 0 20 0 1 0 409753706 2129883136 22869 33554432000 4194304 5870510 140735965312688 140735965311128 5282295 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 519991 22869 1004 410 0 515464 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2079964 KiB
Current children cumulated memory: 91476 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21673
/proc/meminfo: memFree=31465096/32770624 swapFree=66979936/67108860
[pid=21638] ppid=21635 vsize=2079636 memory=84484 CPUtime=162.27 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 45737 0 0 0 16217 10 0 0 20 0 1 0 409753706 2129547264 21121 33554432000 4194304 5870510 140735965312688 140735965311128 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 519909 21121 1004 410 0 515382 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2079636 KiB
Current children cumulated memory: 84484 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21677
/proc/meminfo: memFree=31454588/32770624 swapFree=66979936/67108860
[pid=21638] ppid=21635 vsize=2079632 memory=95696 CPUtime=222.28 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 50170 0 0 0 22215 13 0 0 20 0 1 0 409753706 2129543168 23924 33554432000 4194304 5870510 140735965312688 140735965311256 5282606 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 519908 23924 1004 410 0 515381 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2079632 KiB
Current children cumulated memory: 95696 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21681
/proc/meminfo: memFree=31456632/32770624 swapFree=66979936/67108860
[pid=21638] ppid=21635 vsize=2075792 memory=93628 CPUtime=282.27 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 54062 0 0 0 28213 14 0 0 20 0 1 0 409753706 2125611008 23407 33554432000 4194304 5870510 140735965312688 140735965311128 5282712 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 518948 23407 1004 410 0 514421 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2075792 KiB
Current children cumulated memory: 93628 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21694
/proc/meminfo: memFree=31422812/32770624 swapFree=66979952/67108860
[pid=21638] ppid=21635 vsize=2109024 memory=126860 CPUtime=342.27 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 55313 0 0 0 34212 15 0 0 20 0 1 0 409753706 2159640576 31715 33554432000 4194304 5870510 140735965312688 140735965311256 5263058 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 527256 31715 1004 410 0 522729 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2109024 KiB
Current children cumulated memory: 126860 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21698
/proc/meminfo: memFree=31458940/32770624 swapFree=66979952/67108860
[pid=21638] ppid=21635 vsize=2090196 memory=90408 CPUtime=402.27 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 59471 0 0 0 40209 18 0 0 20 0 1 0 409753706 2140360704 22602 33554432000 4194304 5870510 140735965312688 140735965311704 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 522549 22602 1004 410 0 518022 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2090196 KiB
Current children cumulated memory: 90408 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21702
/proc/meminfo: memFree=31415888/32770624 swapFree=66979952/67108860
[pid=21638] ppid=21635 vsize=2120728 memory=137376 CPUtime=462.27 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 60630 0 0 0 46208 19 0 0 20 0 1 0 409753706 2171625472 34344 33554432000 4194304 5870510 140735965312688 140735965311256 5263026 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 530182 34344 1004 410 0 525655 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2120728 KiB
Current children cumulated memory: 137376 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21708
/proc/meminfo: memFree=31451012/32770624 swapFree=66979952/67108860
[pid=21638] ppid=21635 vsize=2083916 memory=98600 CPUtime=522.26 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 65977 0 0 0 52206 20 0 0 20 0 1 0 409753706 2133929984 24650 33554432000 4194304 5870510 140735965312688 140735965311128 5283116 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 520979 24650 1004 410 0 516452 0
Current children cumulated CPU time: 522.26 s
Current children cumulated vsize: 2083916 KiB
Current children cumulated memory: 98600 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 2/193 21760
/proc/meminfo: memFree=31612740/32770624 swapFree=66979952/67108860
[pid=21638] ppid=21635 vsize=2083916 memory=100652 CPUtime=582.26 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 66138 0 0 0 58206 20 0 0 20 0 1 0 409753706 2133929984 25163 33554432000 4194304 5870510 140735965312688 140735965311864 5262779 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 520979 25163 1004 410 0 516452 0
Current children cumulated CPU time: 582.26 s
Current children cumulated vsize: 2083916 KiB
Current children cumulated memory: 100652 KiB
[startup+642.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/199 21837
/proc/meminfo: memFree=31528168/32770624 swapFree=66979952/67108860
[pid=21638] ppid=21635 vsize=2080456 memory=94504 CPUtime=642.26 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 72407 0 0 0 64204 22 0 0 20 0 1 0 409753706 2130386944 23626 33554432000 4194304 5870510 140735965312688 140735965311128 5283064 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 520114 23626 1004 410 0 515587 0
Current children cumulated CPU time: 642.26 s
Current children cumulated vsize: 2080456 KiB
Current children cumulated memory: 94504 KiB
[startup+702.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/199 21843
/proc/meminfo: memFree=31519000/32770624 swapFree=66979952/67108860
[pid=21638] ppid=21635 vsize=2069108 memory=85188 CPUtime=702.26 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 75710 0 0 0 70202 24 0 0 20 0 1 0 409753706 2118766592 21297 33554432000 4194304 5870510 140735965312688 140735965311256 5282755 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 517277 21297 1004 410 0 512750 0
Current children cumulated CPU time: 702.26 s
Current children cumulated vsize: 2069108 KiB
Current children cumulated memory: 85188 KiB
[startup+751.876 s]
# the end of solver process 21638 was just reported to runsolver
# cumulated CPU time of all completed processes: user=751.589 s, system=0.248988 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+716.8 s]
/proc/loadavg: 2.01 2.01 2.05 3/199 21905
/proc/meminfo: memFree=31578172/32770624 swapFree=66979952/67108860
[pid=21638] ppid=21635 vsize=2080600 memory=95972 CPUtime=716.75 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 76431 0 0 0 71651 24 0 0 20 0 1 0 409753706 2130534400 23993 33554432000 4194304 5870510 140735965312688 140735965311128 5282437 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 520150 23993 1004 410 0 515623 0
Current children cumulated CPU time: 716.75 s
Current children cumulated vsize: 2080600 KiB
Current children cumulated memory: 95972 KiB
[startup+729.6 s]
/proc/loadavg: 2.01 2.01 2.05 3/199 21966
/proc/meminfo: memFree=31599588/32770624 swapFree=66979952/67108860
[pid=21638] ppid=21635 vsize=2080600 memory=95972 CPUtime=729.55 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 76431 0 0 0 72931 24 0 0 20 0 1 0 409753706 2130534400 23993 33554432000 4194304 5870510 140735965312688 140735965311128 140166906418200 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 520150 23993 1004 410 0 515623 0
Current children cumulated CPU time: 729.55 s
Current children cumulated vsize: 2080600 KiB
Current children cumulated memory: 95972 KiB
[startup+742.4 s]
/proc/loadavg: 2.01 2.01 2.05 3/200 21968
/proc/meminfo: memFree=31570124/32770624 swapFree=66979952/67108860
[pid=21638] ppid=21635 vsize=2088856 memory=106664 CPUtime=742.35 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 77060 0 0 0 74211 24 0 0 20 0 1 0 409753706 2138988544 26666 33554432000 4194304 5870510 140735965312688 140735965311128 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 522214 26666 1004 410 0 517687 0
Current children cumulated CPU time: 742.35 s
Current children cumulated vsize: 2088856 KiB
Current children cumulated memory: 106664 KiB
[startup+748.8 s]
/proc/loadavg: 2.01 2.01 2.05 3/199 21968
/proc/meminfo: memFree=31550660/32770624 swapFree=66979952/67108860
[pid=21638] ppid=21635 vsize=2088856 memory=106664 CPUtime=748.75 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 77060 0 0 0 74851 24 0 0 20 0 1 0 409753706 2138988544 26666 33554432000 4194304 5870510 140735965312688 140735965311128 5282738 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 522214 26666 1004 410 0 517687 0
Current children cumulated CPU time: 748.75 s
Current children cumulated vsize: 2088856 KiB
Current children cumulated memory: 106664 KiB
[startup+750.4 s]
/proc/loadavg: 2.01 2.01 2.05 3/199 21968
/proc/meminfo: memFree=31550660/32770624 swapFree=66979952/67108860
[pid=21638] ppid=21635 vsize=2088856 memory=106664 CPUtime=750.35 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 77060 0 0 0 75011 24 0 0 20 0 1 0 409753706 2138988544 26666 33554432000 4194304 5870510 140735965312688 140735965311128 140166906436280 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 522214 26666 1004 410 0 517687 0
Current children cumulated CPU time: 750.35 s
Current children cumulated vsize: 2088856 KiB
Current children cumulated memory: 106664 KiB
[startup+751.2 s]
/proc/loadavg: 2.01 2.01 2.05 3/199 21968
/proc/meminfo: memFree=31550536/32770624 swapFree=66979952/67108860
[pid=21638] ppid=21635 vsize=2088856 memory=106664 CPUtime=751.15 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 77060 0 0 0 75091 24 0 0 20 0 1 0 409753706 2138988544 26666 33554432000 4194304 5870510 140735965312688 140735965311128 5282382 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 522214 26666 1004 410 0 517687 0
Current children cumulated CPU time: 751.15 s
Current children cumulated vsize: 2088856 KiB
Current children cumulated memory: 106664 KiB
[startup+751.6 s]
/proc/loadavg: 2.01 2.01 2.05 3/199 21968
/proc/meminfo: memFree=31550536/32770624 swapFree=66979952/67108860
[pid=21638] ppid=21635 vsize=2088856 memory=106664 CPUtime=751.55 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 77060 0 0 0 75131 24 0 0 20 0 1 0 409753706 2138988544 26666 33554432000 4194304 5870510 140735965312688 140735965311128 5282578 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 522214 26666 1004 410 0 517687 0
Current children cumulated CPU time: 751.55 s
Current children cumulated vsize: 2088856 KiB
Current children cumulated memory: 106664 KiB
[startup+751.8 s]
/proc/loadavg: 2.01 2.01 2.05 3/199 21968
/proc/meminfo: memFree=31550536/32770624 swapFree=66979952/67108860
[pid=21638] ppid=21635 vsize=2088856 memory=106664 CPUtime=751.75 cores=1,3,5,7
/proc/21638/stat : 21638 (xcsp_picat) R 21635 21638 18664 0 -1 4202496 77060 0 0 0 75151 24 0 0 20 0 1 0 409753706 2138988544 26666 33554432000 4194304 5870510 140735965312688 140735965311128 5304146 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 41832448 140735965316127 140735965316205 140735965316205 140735965319114 0
/proc/21638/statm: 522214 26666 1004 410 0 517687 0
Current children cumulated CPU time: 751.75 s
Current children cumulated vsize: 2088856 KiB
Current children cumulated memory: 106664 KiB
Child status: 0
Real time (s): 751.877
CPU time (s): 751.838
CPU user time (s): 751.589
CPU system time (s): 0.248988
CPU usage (%): 99.9949
Max. virtual memory (cumulated for all children) (KiB): 2150872
Max. memory (cumulated for all children) (KiB): 138528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 751.589
system time used= 0.248988
maximum resident set size= 138528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77084
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= 11
involuntary context switches= 417
# summary of solver processes directly reported to runsolver:
# pid: 21638
# total CPU time (s): 751.838
# total CPU user time (s): 751.589
# total CPU system time (s): 0.248988
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.99692 second user time and 5.13392 second system time
The end