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 (15266 MiB free)
memory of node 1: 16384 MiB (14936 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395270-1568340389/watcher-4395270-1568340389 -o /tmp/evaluation-result-4395270-1568340389/solver-4395270-1568340389 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568321663-18695 --watchdog 2580 xcsp_picat HOME/instance-4395270-1568340389.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=23704, runsolver pid=23701
Current StackSize limit: 8192 KiB
[startup+0.100425 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 23705
/proc/meminfo: memFree=30895140/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2031716 memory=38268 CPUtime=0.1 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 1544 0 0 0 10 0 0 0 20 0 1 0 410301616 2080477184 9567 33554432000 4194304 5870510 140737427937088 140737427936392 4568330 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 507929 9567 856 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 38268 KiB
[startup+0.209864 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 23705
/proc/meminfo: memFree=30870144/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2031716 memory=62844 CPUtime=0.2 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 1557 0 0 0 20 0 0 0 20 0 1 0 410301616 2080477184 15711 33554432000 4194304 5870510 140737427937088 140737427936392 4456145 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 507929 15711 856 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 62844 KiB
[startup+0.309784 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 23705
/proc/meminfo: memFree=30847616/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2031716 memory=87420 CPUtime=0.31 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 1569 0 0 0 30 1 0 0 20 0 1 0 410301616 2080477184 21855 33554432000 4194304 5870510 140737427937088 140737427936392 4433112 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 507929 21855 856 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 87420 KiB
[startup+0.700326 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23705
/proc/meminfo: memFree=30800388/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2031716 memory=175492 CPUtime=0.68 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 1613 0 0 0 66 2 0 0 20 0 1 0 410301616 2080477184 43873 33554432000 4194304 5870510 140737427937088 140737427936392 4821979 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 507929 43873 856 410 0 503402 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 175492 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23705
/proc/meminfo: memFree=30685436/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2031716 memory=363912 CPUtime=1.48 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 1707 0 0 0 143 5 0 0 20 0 1 0 410301616 2080477184 90978 33554432000 4194304 5870510 140737427937088 140737427936392 4460173 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 507929 90978 856 410 0 503402 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 363912 KiB
[startup+3.10969 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23705
/proc/meminfo: memFree=30280064/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2031716 memory=655900 CPUtime=3.09 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 2538 0 0 0 299 10 0 0 20 0 1 0 410301616 2080477184 163975 33554432000 4194304 5870510 140737427937088 140737427936392 4719674 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 507929 163975 867 410 0 503402 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 655900 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23705
/proc/meminfo: memFree=29885304/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2345116 memory=1053704 CPUtime=6.28 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 5038 0 0 0 611 17 0 0 20 0 1 0 410301616 2401398784 263426 33554432000 4194304 5870510 140737427937088 140737427936408 4475280 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 586279 263426 891 410 0 581752 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2345116 KiB
Current children cumulated memory: 1053704 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23705
/proc/meminfo: memFree=29744460/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2504992 memory=1176820 CPUtime=12.68 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 25785 0 0 0 1240 28 0 0 20 0 1 0 410301616 2565111808 294205 33554432000 4194304 5870510 140737427937088 140737427936184 5477456 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 626248 294205 958 410 0 621721 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2504992 KiB
Current children cumulated memory: 1176820 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 23705
/proc/meminfo: memFree=29725484/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2516488 memory=1187372 CPUtime=25.47 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 28987 0 0 0 2514 33 0 0 20 0 1 0 410301616 2576883712 296843 33554432000 4194304 5870510 140737427937088 140737427936184 5575118 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 629122 296843 958 410 0 624595 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 2516488 KiB
Current children cumulated memory: 1187372 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 23708
/proc/meminfo: memFree=29669140/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2553860 memory=1217576 CPUtime=51.07 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 37120 0 0 0 5061 46 0 0 20 0 1 0 410301616 2615152640 304394 33554432000 4194304 5870510 140737427937088 140737427936088 5406296 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 638465 304394 958 410 0 633938 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 2553860 KiB
Current children cumulated memory: 1217576 KiB
[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/199 23711
/proc/meminfo: memFree=29566940/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2673184 memory=1329512 CPUtime=102.24 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 91961 0 0 0 10147 77 0 0 20 0 1 0 410301616 2737340416 332378 33554432000 4194304 5870510 140737427937088 140737427935416 5343795 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 668296 332378 970 410 0 663769 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 2673184 KiB
Current children cumulated memory: 1329512 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 23717
/proc/meminfo: memFree=29646980/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2577760 memory=1253612 CPUtime=162.22 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 105914 0 0 0 16126 96 0 0 20 0 1 0 410301616 2639626240 313403 33554432000 4194304 5870510 140737427937088 140737427936184 5575114 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 644440 313403 1000 410 0 639913 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 2577760 KiB
Current children cumulated memory: 1253612 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 23721
/proc/meminfo: memFree=29647816/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2557352 memory=1233720 CPUtime=222.19 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 165075 0 0 0 22090 129 0 0 20 0 1 0 410301616 2618728448 308430 33554432000 4194304 5870510 140737427937088 140737427936328 5562048 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 639338 308430 1000 410 0 634811 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 2557352 KiB
Current children cumulated memory: 1233720 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23733
/proc/meminfo: memFree=29605092/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2623952 memory=1284988 CPUtime=282.16 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 173233 0 0 0 28061 155 0 0 20 0 1 0 410301616 2686926848 321247 33554432000 4194304 5870510 140737427937088 140737427936072 5476932 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 655988 321247 1000 410 0 651461 0
Current children cumulated CPU time: 282.16 s
Current children cumulated vsize: 2623952 KiB
Current children cumulated memory: 1284988 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 23739
/proc/meminfo: memFree=29665240/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2534484 memory=1210852 CPUtime=342.14 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 200588 0 0 0 34027 187 0 0 20 0 1 0 410301616 2595311616 302713 33554432000 4194304 5870510 140737427937088 140737427936184 5557817 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 633621 302713 1000 410 0 629094 0
Current children cumulated CPU time: 342.14 s
Current children cumulated vsize: 2534484 KiB
Current children cumulated memory: 1210852 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23743
/proc/meminfo: memFree=29560584/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2633180 memory=1308472 CPUtime=402.12 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 229825 0 0 0 39996 216 0 0 20 0 1 0 410301616 2696376320 327118 33554432000 4194304 5870510 140737427937088 140737427936264 4475198 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 658295 327118 1000 410 0 653768 0
Current children cumulated CPU time: 402.12 s
Current children cumulated vsize: 2633180 KiB
Current children cumulated memory: 1308472 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23747
/proc/meminfo: memFree=29587244/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2574632 memory=1250872 CPUtime=462.09 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 243060 0 0 0 45962 247 0 0 20 0 1 0 410301616 2636423168 312718 33554432000 4194304 5870510 140737427937088 140737427936248 5562072 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 643658 312718 1000 410 0 639131 0
Current children cumulated CPU time: 462.09 s
Current children cumulated vsize: 2574632 KiB
Current children cumulated memory: 1250872 KiB
[startup+495.787 s]
# the end of solver process 23704 was just reported to runsolver
# cumulated CPU time of all completed processes: user=492.877 s, system=2.69687 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+473.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23748
/proc/meminfo: memFree=29568512/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2623952 memory=1286956 CPUtime=473.39 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 245859 0 0 0 47085 254 0 0 20 0 1 0 410301616 2686926848 321739 33554432000 4194304 5870510 140737427937088 140737427936184 5407117 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 655988 321739 1000 410 0 651461 0
Current children cumulated CPU time: 473.39 s
Current children cumulated vsize: 2623952 KiB
Current children cumulated memory: 1286956 KiB
[startup+486.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23751
/proc/meminfo: memFree=29545248/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2623952 memory=1293100 CPUtime=486.18 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 247901 0 0 0 48359 259 0 0 20 0 1 0 410301616 2686926848 323275 33554432000 4194304 5870510 140737427937088 140737427936184 5406823 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 655988 323275 1000 410 0 651461 0
Current children cumulated CPU time: 486.18 s
Current children cumulated vsize: 2623952 KiB
Current children cumulated memory: 1293100 KiB
[startup+489.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23751
/proc/meminfo: memFree=29543448/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2623952 memory=1295148 CPUtime=489.38 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 248169 0 0 0 48677 261 0 0 20 0 1 0 410301616 2686926848 323787 33554432000 4194304 5870510 140737427937088 140737427936264 5476943 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 655988 323787 1000 410 0 651461 0
Current children cumulated CPU time: 489.38 s
Current children cumulated vsize: 2623952 KiB
Current children cumulated memory: 1295148 KiB
[startup+492.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23751
/proc/meminfo: memFree=29537988/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2633180 memory=1306424 CPUtime=492.57 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 248709 0 0 0 48994 263 0 0 20 0 1 0 410301616 2696376320 326606 33554432000 4194304 5870510 140737427937088 140737427936328 5477031 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 658295 326606 1000 410 0 653768 0
Current children cumulated CPU time: 492.57 s
Current children cumulated vsize: 2633180 KiB
Current children cumulated memory: 1306424 KiB
[startup+494.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23751
/proc/meminfo: memFree=29539840/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2633180 memory=1306424 CPUtime=494.18 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 248994 0 0 0 49154 264 0 0 20 0 1 0 410301616 2696376320 326606 33554432000 4194304 5870510 140737427937088 140737427936328 5474301 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 658295 326606 1000 410 0 653768 0
Current children cumulated CPU time: 494.18 s
Current children cumulated vsize: 2633180 KiB
Current children cumulated memory: 1306424 KiB
[startup+495.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23751
/proc/meminfo: memFree=29528732/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2644800 memory=1312908 CPUtime=494.98 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 262933 0 0 0 49232 266 0 0 20 0 1 0 410301616 2708275200 328227 33554432000 4194304 5870510 140737427937088 140737427935608 5352855 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 661200 328227 1000 410 0 656673 0
Current children cumulated CPU time: 494.98 s
Current children cumulated vsize: 2644800 KiB
Current children cumulated memory: 1312908 KiB
[startup+495.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23751
/proc/meminfo: memFree=29528732/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2717572 memory=1345864 CPUtime=495.38 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 267814 0 0 0 49270 268 0 0 20 0 1 0 410301616 2782793728 336466 33554432000 4194304 5870510 140737427937088 140737427936216 5287642 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 679393 336466 1000 410 0 674866 0
Current children cumulated CPU time: 495.38 s
Current children cumulated vsize: 2717572 KiB
Current children cumulated memory: 1345864 KiB
[startup+495.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23751
/proc/meminfo: memFree=29528732/32770624 swapFree=66980072/67108860
[pid=23704] ppid=23701 vsize=2717572 memory=1348636 CPUtime=495.48 cores=0,2,4,6
/proc/23704/stat : 23704 (xcsp_picat) R 23701 23704 18664 0 -1 4202496 267972 0 0 0 49280 268 0 0 20 0 1 0 410301616 2782793728 337159 33554432000 4194304 5870510 140737427937088 140737427935768 140167124826218 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 43569152 140737427940383 140737427940461 140737427940461 140737427943370 0
/proc/23704/statm: 679393 337159 1000 410 0 674866 0
Current children cumulated CPU time: 495.48 s
Current children cumulated vsize: 2717572 KiB
Current children cumulated memory: 1348636 KiB
Child status: 0
Real time (s): 495.787
CPU time (s): 495.574
CPU user time (s): 492.877
CPU system time (s): 2.69687
CPU usage (%): 99.9571
Max. virtual memory (cumulated for all children) (KiB): 2745536
Max. memory (cumulated for all children) (KiB): 1390864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 492.877
system time used= 2.69687
maximum resident set size= 1396324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268315
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= 2985
# summary of solver processes directly reported to runsolver:
# pid: 23704
# total CPU time (s): 495.574
# total CPU user time (s): 492.877
# total CPU system time (s): 2.69687
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.69506 second user time and 3.5079 second system time
The end