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 (15187 MiB free)
memory of node 1: 16384 MiB (14634 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395052-1568331954/watcher-4395052-1568331954 -o /tmp/evaluation-result-4395052-1568331954/solver-4395052-1568331954 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568321663-18695 --watchdog 2580 xcsp_picat HOME/instance-4395052-1568331954.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=20913, runsolver pid=20910
Current StackSize limit: 8192 KiB
[startup+0.101078 s]*
/proc/loadavg: 2.00 2.02 2.05 3/199 20914
/proc/meminfo: memFree=30520376/32770624 swapFree=66979832/67108860
[pid=20913] ppid=20910 vsize=2031716 memory=23968 CPUtime=0.09 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 1559 0 0 0 9 0 0 0 20 0 1 0 409458171 2080477184 5992 33554432000 4194304 5870510 140725424650864 140725424650168 4462233 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 507929 5992 839 410 0 503402 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 23968 KiB
[startup+0.209858 s]*
/proc/loadavg: 2.00 2.02 2.05 3/199 20914
/proc/meminfo: memFree=30510012/32770624 swapFree=66979832/67108860
[pid=20913] ppid=20910 vsize=2031716 memory=32160 CPUtime=0.2 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 1563 0 0 0 20 0 0 0 20 0 1 0 409458171 2080477184 8040 33554432000 4194304 5870510 140725424650864 140725424650168 4204032 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 507929 8040 839 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 32160 KiB
[startup+0.309635 s]*
/proc/loadavg: 2.00 2.02 2.05 3/199 20914
/proc/meminfo: memFree=30499772/32770624 swapFree=66979832/67108860
[pid=20913] ppid=20910 vsize=2031716 memory=42400 CPUtime=0.3 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 1568 0 0 0 30 0 0 0 20 0 1 0 409458171 2080477184 10600 33554432000 4194304 5870510 140725424650864 140725424650168 4459017 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 507929 10600 839 410 0 503402 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 42400 KiB
[startup+0.700329 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 20914
/proc/meminfo: memFree=30479292/32770624 swapFree=66979832/67108860
[pid=20913] ppid=20910 vsize=2031716 memory=81312 CPUtime=0.68 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 1587 0 0 0 67 1 0 0 20 0 1 0 409458171 2080477184 20328 33554432000 4194304 5870510 140725424650864 140725424650168 4456112 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 507929 20328 839 410 0 503402 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 81312 KiB
[startup+1.50033 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 20916
/proc/meminfo: memFree=30433376/32770624 swapFree=66979832/67108860
[pid=20913] ppid=20910 vsize=2031716 memory=157144 CPUtime=1.48 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 1624 0 0 0 146 2 0 0 20 0 1 0 409458171 2080477184 39286 33554432000 4194304 5870510 140725424650864 140725424650168 139660103048192 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 507929 39286 839 410 0 503402 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 157144 KiB
[startup+3.10991 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 20916
/proc/meminfo: memFree=30220008/32770624 swapFree=66979832/67108860
[pid=20913] ppid=20910 vsize=2031716 memory=314840 CPUtime=3.09 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 1769 0 0 0 304 5 0 0 20 0 1 0 409458171 2080477184 78710 33554432000 4194304 5870510 140725424650864 140725424650168 139660103048192 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 507929 78710 839 410 0 503402 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 314840 KiB
[startup+6.3004 s]*
/proc/loadavg: 2.00 2.02 2.05 3/200 20916
/proc/meminfo: memFree=29913984/32770624 swapFree=66979832/67108860
[pid=20913] ppid=20910 vsize=2031716 memory=628184 CPUtime=6.29 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 1929 0 0 0 621 8 0 0 20 0 1 0 409458171 2080477184 157046 33554432000 4194304 5870510 140725424650864 140725424650168 139660103048192 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 507929 157046 839 410 0 503402 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 628184 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 20916
/proc/meminfo: memFree=29327292/32770624 swapFree=66979832/67108860
[pid=20913] ppid=20910 vsize=2031716 memory=1250776 CPUtime=12.68 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 2300 0 0 0 1249 19 0 0 20 0 1 0 409458171 2080477184 312694 33554432000 4194304 5870510 140725424650864 140725424650168 4460229 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 507929 312694 839 410 0 503402 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 1250776 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 20916
/proc/meminfo: memFree=27905056/32770624 swapFree=66979832/67108860
[pid=20913] ppid=20910 vsize=4228244 memory=2715644 CPUtime=25.48 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 4687 0 0 0 2509 39 0 0 20 0 1 0 409458171 4329721856 678911 33554432000 4194304 5870510 140725424650864 140725424649704 5246661 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 1057061 678911 844 410 0 1052534 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 4228244 KiB
Current children cumulated memory: 2715644 KiB
[startup+51.1005 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20979
/proc/meminfo: memFree=28570556/32770624 swapFree=66979832/67108860
[pid=20913] ppid=20910 vsize=4259496 memory=2981500 CPUtime=51.08 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 7521 0 0 0 5064 44 0 0 20 0 1 0 409458171 4361723904 745375 33554432000 4194304 5870510 140725424650864 140725424650184 5245088 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 1064874 745375 863 410 0 1060347 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 4259496 KiB
Current children cumulated memory: 2981500 KiB
[startup+102.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 20983
/proc/meminfo: memFree=26695808/32770624 swapFree=66979832/67108860
[pid=20913] ppid=20910 vsize=6219528 memory=4818920 CPUtime=102.28 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 132433 0 0 0 10143 85 0 0 20 0 1 0 409458171 6368796672 1204730 33554432000 4194304 5870510 140725424650864 140725424649592 4440707 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 1554882 1204730 874 410 0 1550355 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 6219528 KiB
Current children cumulated memory: 4818920 KiB
[startup+162.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 20987
/proc/meminfo: memFree=25615656/32770624 swapFree=66979832/67108860
[pid=20913] ppid=20910 vsize=7750696 memory=5892976 CPUtime=162.28 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 628882 0 0 0 16075 153 0 0 20 0 1 0 409458171 7936712704 1473244 33554432000 4194304 5870510 140725424650864 140725424649368 5337610 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 1937674 1473244 884 410 0 1933147 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 7750696 KiB
Current children cumulated memory: 5892976 KiB
[startup+222.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 20991
/proc/meminfo: memFree=25481144/32770624 swapFree=66979832/67108860
[pid=20913] ppid=20910 vsize=7823456 memory=5980476 CPUtime=222.28 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 905408 0 0 0 22058 170 0 0 20 0 1 0 409458171 8011218944 1495119 33554432000 4194304 5870510 140725424650864 140725424649208 5337589 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 1955864 1495119 886 410 0 1951337 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 7823456 KiB
Current children cumulated memory: 5980476 KiB
[startup+282.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 20997
/proc/meminfo: memFree=26190504/32770624 swapFree=66979832/67108860
[pid=20913] ppid=20910 vsize=7065456 memory=5272380 CPUtime=282.27 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 1287115 0 0 0 28024 203 0 0 20 0 1 0 409458171 7235026944 1318095 33554432000 4194304 5870510 140725424650864 140725424650120 5272310 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 1766364 1318095 906 410 0 1761837 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 7065456 KiB
Current children cumulated memory: 5272380 KiB
[startup+342.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 21009
/proc/meminfo: memFree=26359384/32770624 swapFree=66979844/67108860
[pid=20913] ppid=20910 vsize=6501284 memory=5103728 CPUtime=342.27 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 1586814 0 0 0 33996 231 0 0 20 0 1 0 409458171 6657314816 1275932 33554432000 4194304 5870510 140725424650864 140725424649848 139660108308745 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 1625321 1275932 907 410 0 1620794 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 6501284 KiB
Current children cumulated memory: 5103728 KiB
[startup+402.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 21013
/proc/meminfo: memFree=26410652/32770624 swapFree=66979844/67108860
[pid=20913] ppid=20910 vsize=6501284 memory=5052408 CPUtime=402.26 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 1803633 0 0 0 39975 251 0 0 20 0 1 0 409458171 6657314816 1263102 33554432000 4194304 5870510 140725424650864 140725424649848 5308227 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 1625321 1263102 907 410 0 1620794 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 6501284 KiB
Current children cumulated memory: 5052408 KiB
[startup+462.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 21019
/proc/meminfo: memFree=26525188/32770624 swapFree=66979844/67108860
[pid=20913] ppid=20910 vsize=6369024 memory=4951748 CPUtime=462.26 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 2048188 0 0 0 45953 273 0 0 20 0 1 0 409458171 6521880576 1237937 33554432000 4194304 5870510 140725424650864 140725424649848 5282592 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 1592256 1237937 907 410 0 1587729 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 6369024 KiB
Current children cumulated memory: 4951748 KiB
[startup+492.662 s]
# the end of solver process 20913 was just reported to runsolver
# cumulated CPU time of all completed processes: user=489.684 s, system=2.93477 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+473.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21019
/proc/meminfo: memFree=26551308/32770624 swapFree=66979844/67108860
[pid=20913] ppid=20910 vsize=6287636 memory=4925452 CPUtime=473.85 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 2085779 0 0 0 47108 277 0 0 20 0 1 0 409458171 6438539264 1231363 33554432000 4194304 5870510 140725424650864 140725424649848 5282371 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 1571909 1231363 907 410 0 1567382 0
Current children cumulated CPU time: 473.85 s
Current children cumulated vsize: 6287636 KiB
Current children cumulated memory: 4925452 KiB
[startup+480.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 21020
/proc/meminfo: memFree=26581880/32770624 swapFree=66979844/67108860
[pid=20913] ppid=20910 vsize=6237548 memory=4894728 CPUtime=480.26 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 2116826 0 0 0 47746 280 0 0 20 0 1 0 409458171 6387249152 1223682 33554432000 4194304 5870510 140725424650864 140725424649848 5281974 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 1559387 1223682 907 410 0 1554860 0
Current children cumulated CPU time: 480.26 s
Current children cumulated vsize: 6237548 KiB
Current children cumulated memory: 4894728 KiB
[startup+486.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21020
/proc/meminfo: memFree=26607388/32770624 swapFree=66979844/67108860
[pid=20913] ppid=20910 vsize=6237548 memory=4869224 CPUtime=486.65 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 2138455 0 0 0 48382 283 0 0 20 0 1 0 409458171 6387249152 1217306 33554432000 4194304 5870510 140725424650864 140725424649848 5282767 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 1559387 1217306 907 410 0 1554860 0
Current children cumulated CPU time: 486.65 s
Current children cumulated vsize: 6237548 KiB
Current children cumulated memory: 4869224 KiB
[startup+489.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21020
/proc/meminfo: memFree=26621288/32770624 swapFree=66979844/67108860
[pid=20913] ppid=20910 vsize=6206728 memory=4855720 CPUtime=489.85 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 2145009 0 0 0 48701 284 0 0 20 0 1 0 409458171 6355689472 1213930 33554432000 4194304 5870510 140725424650864 140725424649848 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 1551682 1213930 907 410 0 1547155 0
Current children cumulated CPU time: 489.85 s
Current children cumulated vsize: 6206728 KiB
Current children cumulated memory: 4855720 KiB
[startup+491.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21020
/proc/meminfo: memFree=26621352/32770624 swapFree=66979844/67108860
[pid=20913] ppid=20910 vsize=6157408 memory=4818272 CPUtime=491.45 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 2162627 0 0 0 48860 285 0 0 20 0 1 0 409458171 6305185792 1204568 33554432000 4194304 5870510 140725424650864 140725424649848 5288874 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 1539352 1204568 907 410 0 1534825 0
Current children cumulated CPU time: 491.45 s
Current children cumulated vsize: 6157408 KiB
Current children cumulated memory: 4818272 KiB
[startup+492.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 21020
/proc/meminfo: memFree=26658464/32770624 swapFree=66979844/67108860
[pid=20913] ppid=20910 vsize=6160164 memory=4818272 CPUtime=492.26 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 2162738 0 0 0 48941 285 0 0 20 0 1 0 409458171 6308007936 1204568 33554432000 4194304 5870510 140725424650864 140725424649848 5271010 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 1540041 1204568 907 410 0 1535514 0
Current children cumulated CPU time: 492.26 s
Current children cumulated vsize: 6160164 KiB
Current children cumulated memory: 4818272 KiB
[startup+492.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21020
/proc/meminfo: memFree=26658464/32770624 swapFree=66979844/67108860
[pid=20913] ppid=20910 vsize=6160164 memory=4818940 CPUtime=492.45 cores=0,2,4,6
/proc/20913/stat : 20913 (xcsp_picat) R 20910 20913 18664 0 -1 4202496 2163586 0 0 0 48960 285 0 0 20 0 1 0 409458171 6308007936 1204735 33554432000 4194304 5870510 140725424650864 140725424649848 4431734 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 22405120 140725424653343 140725424653421 140725424653421 140725424656330 0
/proc/20913/statm: 1540041 1204735 907 410 0 1535514 0
Current children cumulated CPU time: 492.45 s
Current children cumulated vsize: 6160164 KiB
Current children cumulated memory: 4818940 KiB
[startup+492.6 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 21020
/proc/meminfo: memFree=27416128/32770624 swapFree=66979844/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 492.662
CPU time (s): 492.618
CPU user time (s): 489.684
CPU system time (s): 2.93477
CPU usage (%): 99.9912
Max. virtual memory (cumulated for all children) (KiB): 9220804
Max. memory (cumulated for all children) (KiB): 6833112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 489.684
system time used= 2.93477
maximum resident set size= 6833112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2164173
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= 627
# summary of solver processes directly reported to runsolver:
# pid: 20913
# total CPU time (s): 492.618
# total CPU user time (s): 489.684
# total CPU system time (s): 2.93477
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.93348 second user time and 3.70734 second system time
The end