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 (9276 MiB free)
memory of node 1: 16384 MiB (12404 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395580-1568342698/watcher-4395580-1568342698 -o /tmp/evaluation-result-4395580-1568342698/solver-4395580-1568342698 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568337054-3912 --watchdog 2560 xcsp_picat HOME/instance-4395580-1568342698.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=5761, runsolver pid=5758
[startup+0.100174 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 5762
/proc/meminfo: memFree=22169532/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2031716 memory=39096 CPUtime=0.09 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 1753 0 0 0 9 0 0 0 20 0 1 0 410184712 2080477184 9774 33554432000 4194304 5870510 140732669539744 140732669536888 4512749 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 507929 9774 856 410 0 503402 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 39096 KiB
[startup+0.209943 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 5762
/proc/meminfo: memFree=22140612/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2031716 memory=63672 CPUtime=0.21 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 1766 0 0 0 20 1 0 0 20 0 1 0 410184712 2080477184 15918 33554432000 4194304 5870510 140732669539744 140732669536888 4462518 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 507929 15918 856 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 63672 KiB
[startup+0.30986 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 5762
/proc/meminfo: memFree=22116036/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2031716 memory=88248 CPUtime=0.31 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 1778 0 0 0 30 1 0 0 20 0 1 0 410184712 2080477184 22062 33554432000 4194304 5870510 140732669539744 140732669536888 4433184 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 507929 22062 856 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 88248 KiB
[startup+0.700395 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5762
/proc/meminfo: memFree=22070856/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2031716 memory=180424 CPUtime=0.69 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 1824 0 0 0 67 2 0 0 20 0 1 0 410184712 2080477184 45106 33554432000 4194304 5870510 140732669539744 140732669536888 4460012 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 507929 45106 856 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 180424 KiB
[startup+1.50038 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5762
/proc/meminfo: memFree=21951824/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2031716 memory=370896 CPUtime=1.49 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 1919 0 0 0 144 5 0 0 20 0 1 0 410184712 2080477184 92724 33554432000 4194304 5870510 140732669539744 140732669539048 5158395 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 507929 92724 856 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 370896 KiB
[startup+3.1098 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5762
/proc/meminfo: memFree=21567608/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2031716 memory=631764 CPUtime=3.1 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 2677 0 0 0 302 8 0 0 20 0 1 0 410184712 2080477184 157941 33554432000 4194304 5870510 140732669539744 140732669539048 4458748 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 507929 157941 872 410 0 503402 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 631764 KiB
[startup+6.30039 s]
/proc/loadavg: 2.08 2.03 2.05 3/200 5762
/proc/meminfo: memFree=21224260/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2361052 memory=870380 CPUtime=6.29 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 6277 0 0 0 608 21 0 0 20 0 1 0 410184712 2417717248 217595 33554432000 4194304 5870510 140732669539744 140732669539064 5245652 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 590263 217595 890 410 0 585736 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2361052 KiB
Current children cumulated memory: 870380 KiB
[startup+12.7003 s]
/proc/loadavg: 2.08 2.03 2.05 3/200 5762
/proc/meminfo: memFree=21085488/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2475896 memory=1113396 CPUtime=12.69 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 24342 0 0 0 1242 27 0 0 20 0 1 0 410184712 2535317504 278349 33554432000 4194304 5870510 140732669539744 140732669538840 140290519191431 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 618974 278349 957 410 0 614447 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2475896 KiB
Current children cumulated memory: 1113396 KiB
[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.05 3/200 5763
/proc/meminfo: memFree=21073264/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2487392 memory=1125208 CPUtime=25.49 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 29659 0 0 0 2517 32 0 0 20 0 1 0 410184712 2547089408 281302 33554432000 4194304 5870510 140732669539744 140732669538840 5475087 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 621848 281302 957 410 0 617321 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2487392 KiB
Current children cumulated memory: 1125208 KiB
[startup+51.1094 s]
/proc/loadavg: 2.04 2.03 2.05 3/199 5765
/proc/meminfo: memFree=21042860/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2525564 memory=1156168 CPUtime=51.1 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 38521 0 0 0 5064 46 0 0 20 0 1 0 410184712 2586177536 289042 33554432000 4194304 5870510 140732669539744 140732669538840 140290518724398 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 631391 289042 957 410 0 626864 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2525564 KiB
Current children cumulated memory: 1156168 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 5769
/proc/meminfo: memFree=21021464/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2532228 memory=1175628 CPUtime=102.29 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 116594 0 0 0 10151 78 0 0 20 0 1 0 410184712 2593001472 293907 33554432000 4194304 5870510 140732669539744 140732669538984 5475112 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 633057 293907 988 410 0 628530 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2532228 KiB
Current children cumulated memory: 1175628 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 5773
/proc/meminfo: memFree=20974060/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2593976 memory=1222684 CPUtime=162.29 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 127906 0 0 0 16122 107 0 0 20 0 1 0 410184712 2656231424 305671 33554432000 4194304 5870510 140732669539744 140732669538840 140290519191431 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 648494 305671 988 410 0 643967 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2593976 KiB
Current children cumulated memory: 1222684 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5779
/proc/meminfo: memFree=21005320/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2544632 memory=1189772 CPUtime=222.3 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 168358 0 0 0 22091 139 0 0 20 0 1 0 410184712 2605703168 297443 33554432000 4194304 5870510 140732669539744 140732669538984 140290519191431 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 636158 297443 988 410 0 631631 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2544632 KiB
Current children cumulated memory: 1189772 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5783
/proc/meminfo: memFree=21054276/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2495924 memory=1141064 CPUtime=282.29 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 209538 0 0 0 28056 173 0 0 20 0 1 0 410184712 2555826176 285266 33554432000 4194304 5870510 140732669539744 140732669538840 140290519191431 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 623981 285266 988 410 0 619454 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2495924 KiB
Current children cumulated memory: 1141064 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5787
/proc/meminfo: memFree=20970156/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2594268 memory=1225584 CPUtime=342.29 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 217883 0 0 0 34028 201 0 0 20 0 1 0 410184712 2656530432 306396 33554432000 4194304 5870510 140732669539744 140732669538840 140290519191431 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 648567 306396 988 410 0 644040 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2594268 KiB
Current children cumulated memory: 1225584 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5801
/proc/meminfo: memFree=21005044/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2544656 memory=1189816 CPUtime=402.3 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 246617 0 0 0 39996 234 0 0 20 0 1 0 410184712 2605727744 297454 33554432000 4194304 5870510 140732669539744 140732669538840 5477010 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 636164 297454 993 410 0 631637 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2544656 KiB
Current children cumulated memory: 1189816 KiB
[startup+450.35 s]
# the end of solver process 5761 was just reported to runsolver
# cumulated CPU time of all completed processes: user=447.694 s, system=2.65801 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5801
/proc/meminfo: memFree=21005732/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2544656 memory=1189816 CPUtime=409.59 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 246648 0 0 0 40722 237 0 0 20 0 1 0 410184712 2605727744 297454 33554432000 4194304 5870510 140732669539744 140732669538840 140290519191431 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 636164 297454 993 410 0 631637 0
Current children cumulated CPU time: 409.59 s
Current children cumulated vsize: 2544656 KiB
Current children cumulated memory: 1189816 KiB
[startup+435.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5802
/proc/meminfo: memFree=20968188/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2593976 memory=1227776 CPUtime=435.19 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 251389 0 0 0 43267 252 0 0 20 0 1 0 410184712 2656231424 306944 33554432000 4194304 5870510 140732669539744 140732669538840 140290519191431 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 648494 306944 993 410 0 643967 0
Current children cumulated CPU time: 435.19 s
Current children cumulated vsize: 2593976 KiB
Current children cumulated memory: 1227776 KiB
[startup+441.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5805
/proc/meminfo: memFree=20963816/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2593976 memory=1231872 CPUtime=441.6 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 252261 0 0 0 43905 255 0 0 20 0 1 0 410184712 2656231424 307968 33554432000 4194304 5870510 140732669539744 140732669538840 140290519191431 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 648494 307968 993 410 0 643967 0
Current children cumulated CPU time: 441.6 s
Current children cumulated vsize: 2593976 KiB
Current children cumulated memory: 1231872 KiB
[startup+444.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5805
/proc/meminfo: memFree=20963692/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2593976 memory=1231872 CPUtime=444.8 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 252604 0 0 0 44224 256 0 0 20 0 1 0 410184712 2656231424 307968 33554432000 4194304 5870510 140732669539744 140732669538840 5476992 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 648494 307968 993 410 0 643967 0
Current children cumulated CPU time: 444.8 s
Current children cumulated vsize: 2593976 KiB
Current children cumulated memory: 1231872 KiB
[startup+448 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 5805
/proc/meminfo: memFree=20961644/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2593976 memory=1233920 CPUtime=448 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 252921 0 0 0 44543 257 0 0 20 0 1 0 410184712 2656231424 308480 33554432000 4194304 5870510 140732669539744 140732669538840 140290519191431 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 648494 308480 993 410 0 643967 0
Current children cumulated CPU time: 448 s
Current children cumulated vsize: 2593976 KiB
Current children cumulated memory: 1233920 KiB
[startup+449.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5805
/proc/meminfo: memFree=20950412/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2603200 memory=1245188 CPUtime=449.59 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 265777 0 0 0 44697 262 0 0 20 0 1 0 410184712 2665676800 311297 33554432000 4194304 5870510 140732669539744 140732669538984 140290519191431 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 650800 311297 993 410 0 646273 0
Current children cumulated CPU time: 449.59 s
Current children cumulated vsize: 2603200 KiB
Current children cumulated memory: 1245188 KiB
[startup+450 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 5805
/proc/meminfo: memFree=20915668/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2656272 memory=1279292 CPUtime=450 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 271198 0 0 0 44736 264 0 0 20 0 1 0 410184712 2720022528 319823 33554432000 4194304 5870510 140732669539744 140732669538984 5337297 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 664068 319823 993 410 0 659541 0
Current children cumulated CPU time: 450 s
Current children cumulated vsize: 2656272 KiB
Current children cumulated memory: 1279292 KiB
[startup+450.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5805
/proc/meminfo: memFree=20915668/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2656272 memory=1281340 CPUtime=450.19 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 271286 0 0 0 44755 264 0 0 20 0 1 0 410184712 2720022528 320335 33554432000 4194304 5870510 140732669539744 140732669538984 5319199 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 664068 320335 993 410 0 659541 0
Current children cumulated CPU time: 450.19 s
Current children cumulated vsize: 2656272 KiB
Current children cumulated memory: 1281340 KiB
[startup+450.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5805
/proc/meminfo: memFree=20915668/32770624 swapFree=66939828/67108860
[pid=5761] ppid=5758 vsize=2656272 memory=1233488 CPUtime=450.29 cores=1,3,5,7
/proc/5761/stat : 5761 (xcsp_picat) R 5758 5761 3880 0 -1 4202496 271571 0 0 0 44765 264 0 0 20 0 1 0 410184712 2720022528 308372 33554432000 4194304 5870510 140732669539744 140732669538984 5288997 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7970040 9572284 28688384 140732669543455 140732669543533 140732669543533 140732669546442 0
/proc/5761/statm: 664068 308372 998 410 0 659541 0
Current children cumulated CPU time: 450.29 s
Current children cumulated vsize: 2656272 KiB
Current children cumulated memory: 1233488 KiB
Child status: 0
Real time (s): 450.35
CPU time (s): 450.352
CPU user time (s): 447.694
CPU system time (s): 2.65801
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 2736416
Max. memory (cumulated for all children) (KiB): 1323720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 447.694
system time used= 2.65801
maximum resident set size= 1325768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271685
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= 223
# summary of solver processes directly reported to runsolver:
# pid: 5761
# total CPU time (s): 450.352
# total CPU user time (s): 447.694
# total CPU system time (s): 2.65801
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3217 second user time and 3.41652 second system time
The end