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 (8541 MiB free)
memory of node 1: 16384 MiB (13401 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309520-1534306703/watcher-4309520-1534306703 -o /tmp/evaluation-result-4309520-1534306703/solver-4309520-1534306703 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534293911-23505 --watchdog 2580 xcsp_picat HOME/instance-4309520-1534306703.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
solver pid=24833, runsolver pid=24830
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24834
/proc/meminfo: memFree=22438592/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2031480 memory=34644 CPUtime=0.1 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 3219 0 0 0 10 0 0 0 20 0 1 0 248233469 2080235520 8661 33554432000 4194304 5849940 140729401990688 140729401990688 140635334958983 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 507870 8661 699 405 0 504814 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031480 KiB
Current children cumulated memory: 34644 KiB
[startup+0.209622 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24834
/proc/meminfo: memFree=22421912/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2047872 memory=51012 CPUtime=0.21 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 6837 0 0 0 20 1 0 0 20 0 1 0 248233469 2097020928 12753 33554432000 4194304 5849940 140729401990688 140729401990688 5406104 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 511968 12753 710 405 0 508912 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2047872 KiB
Current children cumulated memory: 51012 KiB
[startup+0.309566 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24834
/proc/meminfo: memFree=22409752/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2060160 memory=63288 CPUtime=0.31 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 7865 0 0 0 30 1 0 0 20 0 1 0 248233469 2109603840 15822 33554432000 4194304 5849940 140729401990688 140729401990688 4544851 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 515040 15822 710 405 0 511984 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2060160 KiB
Current children cumulated memory: 63288 KiB
[startup+0.700386 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24834
/proc/meminfo: memFree=22375692/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2143104 memory=146232 CPUtime=0.69 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 11738 0 0 0 67 2 0 0 20 0 1 0 248233469 2194538496 36558 33554432000 4194304 5849940 140729401990688 140729401989896 4475468 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 535776 36558 710 405 0 532720 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2143104 KiB
Current children cumulated memory: 146232 KiB
[startup+1.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24834
/proc/meminfo: memFree=22335620/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2144640 memory=147672 CPUtime=1.49 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 13925 0 0 0 146 3 0 0 20 0 1 0 248233469 2196111360 36918 33554432000 4194304 5849940 140729401990688 140729401988936 5375310 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 536160 36918 722 405 0 533104 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2144640 KiB
Current children cumulated memory: 147672 KiB
[startup+3.10938 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24895
/proc/meminfo: memFree=26898324/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2145368 memory=148668 CPUtime=3.1 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 31447 0 0 0 306 4 0 0 20 0 1 0 248233469 2196856832 37167 33554432000 4194304 5849940 140729401990688 140729401988936 5335903 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 536342 37167 734 405 0 533286 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2145368 KiB
Current children cumulated memory: 148668 KiB
[startup+6.30032 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24895
/proc/meminfo: memFree=26753708/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2145368 memory=148688 CPUtime=6.29 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 47652 0 0 0 624 5 0 0 20 0 1 0 248233469 2196856832 37172 33554432000 4194304 5849940 140729401990688 140729401989176 5326433 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 536342 37172 738 405 0 533286 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2145368 KiB
Current children cumulated memory: 148688 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24895
/proc/meminfo: memFree=26683956/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2145756 memory=149092 CPUtime=12.69 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 63847 0 0 0 1262 7 0 0 20 0 1 0 248233469 2197254144 37273 33554432000 4194304 5849940 140729401990688 140729401989688 5313118 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 536439 37273 742 405 0 533383 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2145756 KiB
Current children cumulated memory: 149092 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24895
/proc/meminfo: memFree=26729800/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2099860 memory=102276 CPUtime=25.49 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 77947 0 0 0 2536 13 0 0 20 0 1 0 248233469 2150256640 25569 33554432000 4194304 5849940 140729401990688 140729401989336 5317197 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 524965 25569 742 405 0 521909 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2099860 KiB
Current children cumulated memory: 102276 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24895
/proc/meminfo: memFree=26716608/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2106568 memory=108984 CPUtime=51.1 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 84740 0 0 0 5084 26 0 0 20 0 1 0 248233469 2157125632 27246 33554432000 4194304 5849940 140729401990688 140729401989688 5362760 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 526642 27246 742 405 0 523586 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2106568 KiB
Current children cumulated memory: 108984 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24903
/proc/meminfo: memFree=26786224/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2111840 memory=116352 CPUtime=102.28 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 90235 0 0 0 10175 53 0 0 20 0 1 0 248233469 2162524160 29088 33554432000 4194304 5849940 140729401990688 140729401989688 140635334958983 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 527960 29088 742 405 0 524904 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2111840 KiB
Current children cumulated memory: 116352 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24904
/proc/meminfo: memFree=26769624/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2112152 memory=118916 CPUtime=162.29 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 93364 0 0 0 16147 82 0 0 20 0 1 0 248233469 2162843648 29729 33554432000 4194304 5849940 140729401990688 140729401989688 140635334958983 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 528038 29729 742 405 0 524982 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2112152 KiB
Current children cumulated memory: 118916 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24905
/proc/meminfo: memFree=26711632/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2119860 memory=126372 CPUtime=222.29 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 95018 0 0 0 22120 109 0 0 20 0 1 0 248233469 2170736640 31593 33554432000 4194304 5849940 140729401990688 140729401989688 140635334958983 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 529965 31593 742 405 0 526909 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2119860 KiB
Current children cumulated memory: 126372 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24906
/proc/meminfo: memFree=26668824/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2169156 memory=168900 CPUtime=282.3 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 101021 0 0 0 28092 138 0 0 20 0 1 0 248233469 2221215744 42225 33554432000 4194304 5849940 140729401990688 140729401989688 140635334958983 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 542289 42225 742 405 0 539233 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2169156 KiB
Current children cumulated memory: 168900 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24907
/proc/meminfo: memFree=26669048/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2169084 memory=169040 CPUtime=342.3 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 101093 0 0 0 34068 162 0 0 20 0 1 0 248233469 2221142016 42260 33554432000 4194304 5849940 140729401990688 140729401989848 140635334958983 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 542271 42260 742 405 0 539215 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2169084 KiB
Current children cumulated memory: 169040 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24909
/proc/meminfo: memFree=26668776/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2168992 memory=168948 CPUtime=402.31 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 101160 0 0 0 40040 191 0 0 20 0 1 0 248233469 2221047808 42237 33554432000 4194304 5849940 140729401990688 140729401989688 5437799 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 542248 42237 742 405 0 539192 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 2168992 KiB
Current children cumulated memory: 168948 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24910
/proc/meminfo: memFree=26669116/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2168992 memory=168948 CPUtime=462.31 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 101213 0 0 0 46015 216 0 0 20 0 1 0 248233469 2221047808 42237 33554432000 4194304 5849940 140729401990688 140729401989560 140635334958983 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 542248 42237 742 405 0 539192 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 2168992 KiB
Current children cumulated memory: 168948 KiB
[startup+516.359 s]
# the end of solver process 24833 was just reported to runsolver
# cumulated CPU time of all completed processes: user=513.855 s, system=2.52515 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24911
/proc/meminfo: memFree=26668860/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2168992 memory=168948 CPUtime=486.41 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 104442 0 0 0 48412 229 0 0 20 0 1 0 248233469 2221047808 42237 33554432000 4194304 5849940 140729401990688 140729401989688 140635334958983 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 542248 42237 742 405 0 539192 0
Current children cumulated CPU time: 486.41 s
Current children cumulated vsize: 2168992 KiB
Current children cumulated memory: 168948 KiB
[startup+499.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24911
/proc/meminfo: memFree=26681732/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2150124 memory=156884 CPUtime=499.22 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 115569 0 0 0 49685 237 0 0 20 0 1 0 248233469 2201726976 39221 33554432000 4194304 5849940 140729401990688 140729401988936 5356114 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 537531 39221 751 405 0 534475 0
Current children cumulated CPU time: 499.22 s
Current children cumulated vsize: 2150124 KiB
Current children cumulated memory: 156884 KiB
[startup+505.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24911
/proc/meminfo: memFree=26730928/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2111756 memory=106932 CPUtime=505.61 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 115603 0 0 0 50322 239 0 0 20 0 1 0 248233469 2162438144 26733 33554432000 4194304 5849940 140729401990688 140729401989688 5302119 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 527939 26733 751 405 0 524883 0
Current children cumulated CPU time: 505.61 s
Current children cumulated vsize: 2111756 KiB
Current children cumulated memory: 106932 KiB
[startup+512 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24911
/proc/meminfo: memFree=26767716/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2075304 memory=70480 CPUtime=512.02 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 115603 0 0 0 50956 246 0 0 20 0 1 0 248233469 2125111296 17620 33554432000 4194304 5849940 140729401990688 140729401989688 140635334958983 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 518826 17620 751 405 0 515770 0
Current children cumulated CPU time: 512.02 s
Current children cumulated vsize: 2075304 KiB
Current children cumulated memory: 70480 KiB
[startup+513.6 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 24911
/proc/meminfo: memFree=26767976/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2074864 memory=70040 CPUtime=513.61 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 115603 0 0 0 51113 248 0 0 20 0 1 0 248233469 2124660736 17510 33554432000 4194304 5849940 140729401990688 140729401989688 140635334958983 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 518716 17510 751 405 0 515660 0
Current children cumulated CPU time: 513.61 s
Current children cumulated vsize: 2074864 KiB
Current children cumulated memory: 70040 KiB
[startup+515.2 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 24911
/proc/meminfo: memFree=26768088/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2074864 memory=70040 CPUtime=515.21 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 115603 0 0 0 51270 251 0 0 20 0 1 0 248233469 2124660736 17510 33554432000 4194304 5849940 140729401990688 140729401989688 140635334958983 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 518716 17510 751 405 0 515660 0
Current children cumulated CPU time: 515.21 s
Current children cumulated vsize: 2074864 KiB
Current children cumulated memory: 70040 KiB
[startup+516 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24911
/proc/meminfo: memFree=26768292/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2074864 memory=70040 CPUtime=516.02 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 115603 0 0 0 51351 251 0 0 20 0 1 0 248233469 2124660736 17510 33554432000 4194304 5849940 140729401990688 140729401989688 140635334958983 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 518716 17510 751 405 0 515660 0
Current children cumulated CPU time: 516.02 s
Current children cumulated vsize: 2074864 KiB
Current children cumulated memory: 70040 KiB
[startup+516.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24911
/proc/meminfo: memFree=26768292/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2074864 memory=70040 CPUtime=516.21 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 115603 0 0 0 51370 251 0 0 20 0 1 0 248233469 2124660736 17510 33554432000 4194304 5849940 140729401990688 140729401989688 5438027 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 518716 17510 751 405 0 515660 0
Current children cumulated CPU time: 516.21 s
Current children cumulated vsize: 2074864 KiB
Current children cumulated memory: 70040 KiB
[startup+516.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24911
/proc/meminfo: memFree=26768292/32770624 swapFree=67108804/67108860
[pid=24833] ppid=24830 vsize=2074864 memory=70040 CPUtime=516.31 cores=1,3,5,7
/proc/24833/stat : 24833 (xcsp_picat) R 24830 24833 23473 0 -1 4202496 115603 0 0 0 51379 252 0 0 20 0 1 0 248233469 2124660736 17510 33554432000 4194304 5849940 140729401990688 140729401989688 140635334958983 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 40759296 140729401992374 140729401992452 140729401992452 140729401995210 0
/proc/24833/statm: 518716 17510 751 405 0 515660 0
Current children cumulated CPU time: 516.31 s
Current children cumulated vsize: 2074864 KiB
Current children cumulated memory: 70040 KiB
Child status: 0
Real time (s): 516.359
CPU time (s): 516.38
CPU user time (s): 513.855
CPU system time (s): 2.52515
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2193620
Max. memory (cumulated for all children) (KiB): 200156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 513.855
system time used= 2.52515
maximum resident set size= 200156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115617
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= 14
involuntary context switches= 244
# summary of solver processes directly reported to runsolver:
# pid: 24833
# total CPU time (s): 516.38
# total CPU user time (s): 513.855
# total CPU system time (s): 2.52515
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.049 second user time and 3.84201 second system time
The end