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 (14669 MiB free)
memory of node 1: 16384 MiB (14899 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394877-1568326197/watcher-4394877-1568326197 -o /tmp/evaluation-result-4394877-1568326197/solver-4394877-1568326197 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568322174-14885 --watchdog 2580 xcsp_picat HOME/instance-4394877-1568326197.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
solver pid=16239, runsolver pid=16236
Current StackSize limit: 8192 KiB
[startup+0.100293 s]*
/proc/loadavg: 2.00 1.99 1.97 3/205 16240
/proc/meminfo: memFree=30239840/32770624 swapFree=67008708/67108860
[pid=16239] ppid=16236 vsize=2031716 memory=41920 CPUtime=0.09 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 1973 0 0 0 9 0 0 0 20 0 1 0 408542409 2080477184 10480 33554432000 4194304 5870510 140736699479888 140736699479192 4463014 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 507929 10480 861 410 0 503402 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 41920 KiB
[startup+0.210142 s]*
/proc/loadavg: 2.00 1.99 1.97 3/205 16240
/proc/meminfo: memFree=30212936/32770624 swapFree=67008708/67108860
[pid=16239] ppid=16236 vsize=2031716 memory=70592 CPUtime=0.21 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 1987 0 0 0 20 1 0 0 20 0 1 0 408542409 2080477184 17648 33554432000 4194304 5870510 140736699479888 140736699479192 4520559 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 507929 17648 861 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 70592 KiB
[startup+0.310046 s]*
/proc/loadavg: 2.00 1.99 1.97 3/205 16240
/proc/meminfo: memFree=30186188/32770624 swapFree=67008708/67108860
[pid=16239] ppid=16236 vsize=2031716 memory=97216 CPUtime=0.31 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 2000 0 0 0 30 1 0 0 20 0 1 0 408542409 2080477184 24304 33554432000 4194304 5870510 140736699479888 140736699479192 4491049 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 507929 24304 861 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 97216 KiB
[startup+0.700316 s]
/proc/loadavg: 2.00 1.99 1.97 3/205 16240
/proc/meminfo: memFree=30132568/32770624 swapFree=67008708/67108860
[pid=16239] ppid=16236 vsize=2031716 memory=199724 CPUtime=0.68 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 2050 0 0 0 66 2 0 0 20 0 1 0 408542409 2080477184 49931 33554432000 4194304 5870510 140736699479888 140736699479192 4433115 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 507929 49931 861 410 0 503402 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 199724 KiB
[startup+1.50033 s]
/proc/loadavg: 2.00 1.99 1.97 3/205 16240
/proc/meminfo: memFree=30001248/32770624 swapFree=67008708/67108860
[pid=16239] ppid=16236 vsize=2031716 memory=416812 CPUtime=1.48 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 2156 0 0 0 143 5 0 0 20 0 1 0 408542409 2080477184 104203 33554432000 4194304 5870510 140736699479888 140736699479192 4428923 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 507929 104203 861 410 0 503402 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 416812 KiB
[startup+3.11014 s]
/proc/loadavg: 2.00 1.99 1.97 3/205 16240
/proc/meminfo: memFree=29462808/32770624 swapFree=67008708/67108860
[pid=16239] ppid=16236 vsize=2062968 memory=847496 CPUtime=3.1 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 3404 0 0 0 298 12 0 0 20 0 1 0 408542409 2112479232 211874 33554432000 4194304 5870510 140736699479888 140736699479176 4534878 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 515742 211874 862 410 0 511215 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2062968 KiB
Current children cumulated memory: 847496 KiB
[startup+6.30031 s]
/proc/loadavg: 2.00 1.99 1.97 3/205 16240
/proc/meminfo: memFree=29028596/32770624 swapFree=67008708/67108860
[pid=16239] ppid=16236 vsize=2125468 memory=1282744 CPUtime=6.28 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 4917 0 0 0 609 19 0 0 20 0 1 0 408542409 2176479232 320686 33554432000 4194304 5870510 140736699479888 140736699479080 4785610 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 531367 320686 884 410 0 526840 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2125468 KiB
Current children cumulated memory: 1282744 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.97 3/205 16240
/proc/meminfo: memFree=28195440/32770624 swapFree=67008708/67108860
[pid=16239] ppid=16236 vsize=2999364 memory=2085924 CPUtime=12.68 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 24648 0 0 0 1236 32 0 0 20 0 1 0 408542409 3071348736 521481 33554432000 4194304 5870510 140736699479888 140736699479064 5406728 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 749841 521481 954 410 0 745314 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2999364 KiB
Current children cumulated memory: 2085924 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 1.99 1.97 3/205 16241
/proc/meminfo: memFree=28130964/32770624 swapFree=67008708/67108860
[pid=16239] ppid=16236 vsize=3065956 memory=2145444 CPUtime=25.48 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 26979 0 0 0 2487 61 0 0 20 0 1 0 408542409 3139538944 536361 33554432000 4194304 5870510 140736699479888 140736699478984 5562048 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 766489 536361 971 410 0 761962 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 3065956 KiB
Current children cumulated memory: 2145444 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 1.99 1.97 3/205 16244
/proc/meminfo: memFree=28120816/32770624 swapFree=67008708/67108860
[pid=16239] ppid=16236 vsize=3071424 memory=2155484 CPUtime=51.08 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 28542 0 0 0 5035 73 0 0 20 0 1 0 408542409 3145138176 538871 33554432000 4194304 5870510 140736699479888 140736699479128 140708543960832 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 767856 538871 971 410 0 763329 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 3071424 KiB
Current children cumulated memory: 2155484 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/204 16254
/proc/meminfo: memFree=28075368/32770624 swapFree=67008716/67108860
[pid=16239] ppid=16236 vsize=3126896 memory=2200112 CPUtime=102.25 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 31911 0 0 0 10136 89 0 0 20 0 1 0 408542409 3201941504 550028 33554432000 4194304 5870510 140736699479888 140736699478984 5478371 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 781724 550028 971 410 0 777197 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 3126896 KiB
Current children cumulated memory: 2200112 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/205 16259
/proc/meminfo: memFree=28070728/32770624 swapFree=67008716/67108860
[pid=16239] ppid=16236 vsize=3126896 memory=2202160 CPUtime=162.24 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 32322 0 0 0 16132 92 0 0 20 0 1 0 408542409 3201941504 550540 33554432000 4194304 5870510 140736699479888 140736699478984 5478381 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 781724 550540 971 410 0 777197 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 3126896 KiB
Current children cumulated memory: 2202160 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/205 16265
/proc/meminfo: memFree=28084120/32770624 swapFree=67008716/67108860
[pid=16239] ppid=16236 vsize=3126896 memory=2202160 CPUtime=222.21 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 32696 0 0 0 22127 94 0 0 20 0 1 0 408542409 3201941504 550540 33554432000 4194304 5870510 140736699479888 140736699479064 5477031 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 781724 550540 971 410 0 777197 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 3126896 KiB
Current children cumulated memory: 2202160 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/205 16269
/proc/meminfo: memFree=28114080/32770624 swapFree=67008716/67108860
[pid=16239] ppid=16236 vsize=3126896 memory=2204208 CPUtime=282.2 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 33109 0 0 0 28123 97 0 0 20 0 1 0 408542409 3201941504 551052 33554432000 4194304 5870510 140736699479888 140736699478984 5478371 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 781724 551052 971 410 0 777197 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 3126896 KiB
Current children cumulated memory: 2204208 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/205 16273
/proc/meminfo: memFree=28113528/32770624 swapFree=67008716/67108860
[pid=16239] ppid=16236 vsize=3126896 memory=2206256 CPUtime=342.18 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 33791 0 0 0 34118 100 0 0 20 0 1 0 408542409 3201941504 551564 33554432000 4194304 5870510 140736699479888 140736699479128 5406361 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 781724 551564 971 410 0 777197 0
Current children cumulated CPU time: 342.18 s
Current children cumulated vsize: 3126896 KiB
Current children cumulated memory: 2206256 KiB
[startup+402.3 s]
/proc/loadavg: 2.07 2.01 1.98 3/205 16280
/proc/meminfo: memFree=28083492/32770624 swapFree=67008716/67108860
[pid=16239] ppid=16236 vsize=3126896 memory=2206256 CPUtime=402.15 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 34071 0 0 0 40113 102 0 0 20 0 1 0 408542409 3201941504 551564 33554432000 4194304 5870510 140736699479888 140736699478984 5562059 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 781724 551564 971 410 0 777197 0
Current children cumulated CPU time: 402.15 s
Current children cumulated vsize: 3126896 KiB
Current children cumulated memory: 2206256 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/205 16285
/proc/meminfo: memFree=28048724/32770624 swapFree=67008716/67108860
[pid=16239] ppid=16236 vsize=3126896 memory=2208304 CPUtime=462.15 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 34438 0 0 0 46110 105 0 0 20 0 1 0 408542409 3201941504 552076 33554432000 4194304 5870510 140736699479888 140736699479128 140708544372615 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 781724 552076 971 410 0 777197 0
Current children cumulated CPU time: 462.15 s
Current children cumulated vsize: 3126896 KiB
Current children cumulated memory: 2208304 KiB
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/205 16289
/proc/meminfo: memFree=28018380/32770624 swapFree=67008716/67108860
[pid=16239] ppid=16236 vsize=3126896 memory=2210352 CPUtime=522.15 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 34786 0 0 0 52107 108 0 0 20 0 1 0 408542409 3201941504 552588 33554432000 4194304 5870510 140736699479888 140736699478984 5406673 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 781724 552588 971 410 0 777197 0
Current children cumulated CPU time: 522.15 s
Current children cumulated vsize: 3126896 KiB
Current children cumulated memory: 2210352 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/205 16295
/proc/meminfo: memFree=28022772/32770624 swapFree=67008716/67108860
[pid=16239] ppid=16236 vsize=3136124 memory=2221568 CPUtime=582.14 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 35425 0 0 0 58104 110 0 0 20 0 1 0 408542409 3211390976 555392 33554432000 4194304 5870510 140736699479888 140736699478984 140708544372615 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 784031 555392 971 410 0 779504 0
Current children cumulated CPU time: 582.14 s
Current children cumulated vsize: 3136124 KiB
Current children cumulated memory: 2221568 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/205 16299
/proc/meminfo: memFree=27896552/32770624 swapFree=67008716/67108860
[pid=16239] ppid=16236 vsize=3294116 memory=2311276 CPUtime=642.14 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 77086 0 0 0 64087 127 0 0 20 0 1 0 408542409 3373174784 577819 33554432000 4194304 5870510 140736699479888 140736699479016 5337497 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 823529 577819 981 410 0 819002 0
Current children cumulated CPU time: 642.14 s
Current children cumulated vsize: 3294116 KiB
Current children cumulated memory: 2311276 KiB
[startup+678.798 s]
# the end of solver process 16239 was just reported to runsolver
# cumulated CPU time of all completed processes: user=677.333 s, system=1.3057 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+665.6 s]
/proc/loadavg: 2.00 2.01 1.98 3/206 16308
/proc/meminfo: memFree=27965380/32770624 swapFree=67008716/67108860
[pid=16239] ppid=16236 vsize=3183048 memory=2239628 CPUtime=665.43 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 83742 0 0 0 66415 128 0 0 20 0 1 0 408542409 3259441152 559907 33554432000 4194304 5870510 140736699479888 140736699478328 5308341 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 795762 559907 1001 410 0 791235 0
Current children cumulated CPU time: 665.43 s
Current children cumulated vsize: 3183048 KiB
Current children cumulated memory: 2239628 KiB
[startup+672 s]*
/proc/loadavg: 2.00 2.01 1.98 3/205 16308
/proc/meminfo: memFree=27976808/32770624 swapFree=67008716/67108860
[pid=16239] ppid=16236 vsize=3183048 memory=2249040 CPUtime=671.84 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 84094 0 0 0 67056 128 0 0 20 0 1 0 408542409 3259441152 562260 33554432000 4194304 5870510 140736699479888 140736699478328 5305211 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 795762 562260 1001 410 0 791235 0
Current children cumulated CPU time: 671.84 s
Current children cumulated vsize: 3183048 KiB
Current children cumulated memory: 2249040 KiB
[startup+675.2 s]
/proc/loadavg: 2.00 2.01 1.98 3/205 16309
/proc/meminfo: memFree=27951432/32770624 swapFree=67008716/67108860
[pid=16239] ppid=16236 vsize=3183048 memory=2262044 CPUtime=675.04 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 84299 0 0 0 67375 129 0 0 20 0 1 0 408542409 3259441152 565511 33554432000 4194304 5870510 140736699479888 140736699478328 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 795762 565511 1001 410 0 791235 0
Current children cumulated CPU time: 675.04 s
Current children cumulated vsize: 3183048 KiB
Current children cumulated memory: 2262044 KiB
[startup+676.8 s]
/proc/loadavg: 2.00 2.01 1.98 3/205 16309
/proc/meminfo: memFree=27949136/32770624 swapFree=67008716/67108860
[pid=16239] ppid=16236 vsize=3183048 memory=2262304 CPUtime=676.64 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 84356 0 0 0 67535 129 0 0 20 0 1 0 408542409 3259441152 565576 33554432000 4194304 5870510 140736699479888 140736699478328 5282310 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 795762 565576 1001 410 0 791235 0
Current children cumulated CPU time: 676.64 s
Current children cumulated vsize: 3183048 KiB
Current children cumulated memory: 2262304 KiB
[startup+677.6 s]
/proc/loadavg: 2.00 2.01 1.98 3/205 16309
/proc/meminfo: memFree=27947360/32770624 swapFree=67008716/67108860
[pid=16239] ppid=16236 vsize=3183048 memory=2262304 CPUtime=677.44 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 84368 0 0 0 67615 129 0 0 20 0 1 0 408542409 3259441152 565576 33554432000 4194304 5870510 140736699479888 140736699478328 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 795762 565576 1001 410 0 791235 0
Current children cumulated CPU time: 677.44 s
Current children cumulated vsize: 3183048 KiB
Current children cumulated memory: 2262304 KiB
[startup+678.4 s]
/proc/loadavg: 2.00 2.01 1.98 3/205 16309
/proc/meminfo: memFree=27912824/32770624 swapFree=67008716/67108860
[pid=16239] ppid=16236 vsize=3183048 memory=2262304 CPUtime=678.24 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 84384 0 0 0 67695 129 0 0 20 0 1 0 408542409 3259441152 565576 33554432000 4194304 5870510 140736699479888 140736699478328 5282475 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 795762 565576 1001 410 0 791235 0
Current children cumulated CPU time: 678.24 s
Current children cumulated vsize: 3183048 KiB
Current children cumulated memory: 2262304 KiB
[startup+678.6 s]
/proc/loadavg: 2.00 2.01 1.98 3/205 16309
/proc/meminfo: memFree=27912824/32770624 swapFree=67008716/67108860
[pid=16239] ppid=16236 vsize=3183048 memory=2262304 CPUtime=678.44 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 84385 0 0 0 67715 129 0 0 20 0 1 0 408542409 3259441152 565576 33554432000 4194304 5870510 140736699479888 140736699478328 5282894 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 795762 565576 1001 410 0 791235 0
Current children cumulated CPU time: 678.44 s
Current children cumulated vsize: 3183048 KiB
Current children cumulated memory: 2262304 KiB
[startup+678.7 s]
/proc/loadavg: 2.00 2.01 1.98 3/205 16309
/proc/meminfo: memFree=27912824/32770624 swapFree=67008716/67108860
[pid=16239] ppid=16236 vsize=3183048 memory=2262404 CPUtime=678.54 cores=0,2,4,6
/proc/16239/stat : 16239 (xcsp_picat) R 16236 16239 14854 0 -1 4202496 84393 0 0 0 67725 129 0 0 20 0 1 0 408542409 3259441152 565601 33554432000 4194304 5870510 140736699479888 140736699478328 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 48041984 140736699483167 140736699483245 140736699483245 140736699486154 0
/proc/16239/statm: 795762 565601 1001 410 0 791235 0
Current children cumulated CPU time: 678.54 s
Current children cumulated vsize: 3183048 KiB
Current children cumulated memory: 2262404 KiB
Child status: 0
Real time (s): 678.798
CPU time (s): 678.639
CPU user time (s): 677.333
CPU system time (s): 1.3057
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 3374256
Max. memory (cumulated for all children) (KiB): 2332476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 677.333
system time used= 1.3057
maximum resident set size= 2360564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84498
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= 594
# summary of solver processes directly reported to runsolver:
# pid: 16239
# total CPU time (s): 678.639
# total CPU user time (s): 677.333
# total CPU system time (s): 1.3057
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.20074 second user time and 5.12803 second system time
The end