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 (14436 MiB free)
memory of node 1: 16384 MiB (15146 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394879-1568324548/watcher-4394879-1568324548 -o /tmp/evaluation-result-4394879-1568324548/solver-4394879-1568324548 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568322174-14886 --watchdog 2580 xcsp_picat HOME/instance-4394879-1568324548.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
Current StackSize limit: 8192 KiB
solver pid=15568, runsolver pid=15565
[startup+0.100801 s]*
/proc/loadavg: 2.03 2.02 1.97 3/206 15569
/proc/meminfo: memFree=30276160/32770624 swapFree=67008680/67108860
[pid=15568] ppid=15565 vsize=2031716 memory=18356 CPUtime=0.09 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 1680 0 0 0 9 0 0 0 20 0 1 0 408377546 2080477184 4589 33554432000 4194304 5870510 140721207462912 140721207462216 4533574 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 507929 4589 834 410 0 503402 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 18356 KiB
[startup+0.210251 s]*
/proc/loadavg: 2.03 2.02 1.97 3/206 15569
/proc/meminfo: memFree=30270068/32770624 swapFree=67008680/67108860
[pid=15568] ppid=15565 vsize=2031716 memory=24500 CPUtime=0.2 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 1684 0 0 0 20 0 0 0 20 0 1 0 408377546 2080477184 6125 33554432000 4194304 5870510 140721207462912 140721207462216 4461503 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 507929 6125 834 410 0 503402 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 24500 KiB
[startup+0.310099 s]*
/proc/loadavg: 2.03 2.02 1.97 3/206 15569
/proc/meminfo: memFree=30265708/32770624 swapFree=67008680/67108860
[pid=15568] ppid=15565 vsize=2031716 memory=28596 CPUtime=0.31 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 1686 0 0 0 30 1 0 0 20 0 1 0 408377546 2080477184 7149 33554432000 4194304 5870510 140721207462912 140721207462216 4530828 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 507929 7149 834 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 28596 KiB
[startup+0.700321 s]
/proc/loadavg: 2.03 2.02 1.97 3/206 15569
/proc/meminfo: memFree=30253444/32770624 swapFree=67008680/67108860
[pid=15568] ppid=15565 vsize=2031716 memory=49076 CPUtime=0.68 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 1696 0 0 0 67 1 0 0 20 0 1 0 408377546 2080477184 12269 33554432000 4194304 5870510 140721207462912 140721207462216 139662421183488 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 507929 12269 834 410 0 503402 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 49076 KiB
[startup+1.50034 s]
/proc/loadavg: 2.03 2.02 1.97 3/206 15569
/proc/meminfo: memFree=30224772/32770624 swapFree=67008680/67108860
[pid=15568] ppid=15565 vsize=2031716 memory=92084 CPUtime=1.49 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 1717 0 0 0 147 2 0 0 20 0 1 0 408377546 2080477184 23021 33554432000 4194304 5870510 140721207462912 140721207462216 139662421183488 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 507929 23021 834 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 92084 KiB
[startup+3.11016 s]
/proc/loadavg: 1.95 2.00 1.96 3/206 15569
/proc/meminfo: memFree=30038776/32770624 swapFree=67008680/67108860
[pid=15568] ppid=15565 vsize=2031716 memory=321564 CPUtime=3.09 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 2063 0 0 0 304 5 0 0 20 0 1 0 408377546 2080477184 80391 33554432000 4194304 5870510 140721207462912 140721207462280 4477157 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 507929 80391 860 410 0 503402 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 321564 KiB
[startup+6.30038 s]
/proc/loadavg: 1.95 2.00 1.96 3/206 15569
/proc/meminfo: memFree=29343592/32770624 swapFree=67008680/67108860
[pid=15568] ppid=15565 vsize=2625488 memory=1025436 CPUtime=6.29 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 10072 0 0 0 613 16 0 0 20 0 1 0 408377546 2688499712 256359 33554432000 4194304 5870510 140721207462912 140721207461464 5287589 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 656372 256359 875 410 0 651845 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2625488 KiB
Current children cumulated memory: 1025436 KiB
[startup+12.7004 s]
/proc/loadavg: 1.96 2.00 1.96 3/206 15569
/proc/meminfo: memFree=29231752/32770624 swapFree=67008680/67108860
[pid=15568] ppid=15565 vsize=2725772 memory=1105176 CPUtime=12.68 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 37081 0 0 0 1250 18 0 0 20 0 1 0 408377546 2791190528 276294 33554432000 4194304 5870510 140721207462912 140721207461640 5337297 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 681443 276294 881 410 0 676916 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2725772 KiB
Current children cumulated memory: 1105176 KiB
[startup+25.5004 s]
/proc/loadavg: 1.96 2.00 1.96 3/207 15571
/proc/meminfo: memFree=29186908/32770624 swapFree=67008680/67108860
[pid=15568] ppid=15565 vsize=2725772 memory=1105184 CPUtime=25.49 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 44211 0 0 0 2530 19 0 0 20 0 1 0 408377546 2791190528 276296 33554432000 4194304 5870510 140721207462912 140721207461640 5337529 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 681443 276296 881 410 0 676916 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2725772 KiB
Current children cumulated memory: 1105184 KiB
[startup+51.1101 s]
/proc/loadavg: 1.98 2.00 1.96 3/205 15572
/proc/meminfo: memFree=29182560/32770624 swapFree=67008680/67108860
[pid=15568] ppid=15565 vsize=2725772 memory=1105184 CPUtime=51.09 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 69340 0 0 0 5089 20 0 0 20 0 1 0 408377546 2791190528 276296 33554432000 4194304 5870510 140721207462912 140721207461640 5337306 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 681443 276296 881 410 0 676916 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2725772 KiB
Current children cumulated memory: 1105184 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 1.96 3/204 15576
/proc/meminfo: memFree=29181776/32770624 swapFree=67008680/67108860
[pid=15568] ppid=15565 vsize=2726908 memory=1106100 CPUtime=102.27 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 101664 0 0 0 10205 22 0 0 20 0 1 0 408377546 2792353792 276525 33554432000 4194304 5870510 140721207462912 140721207461240 5337384 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 681727 276525 881 410 0 677200 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2726908 KiB
Current children cumulated memory: 1106100 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/205 15583
/proc/meminfo: memFree=29180828/32770624 swapFree=67008680/67108860
[pid=15568] ppid=15565 vsize=2726908 memory=1106108 CPUtime=162.27 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 138447 0 0 0 16203 24 0 0 20 0 1 0 408377546 2792353792 276527 33554432000 4194304 5870510 140721207462912 140721207461240 5337393 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 681727 276527 881 410 0 677200 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2726908 KiB
Current children cumulated memory: 1106108 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 2.02 1.97 3/205 15648
/proc/meminfo: memFree=29337812/32770624 swapFree=67008680/67108860
[pid=15568] ppid=15565 vsize=2726908 memory=1106612 CPUtime=222.26 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 173066 0 0 0 22200 26 0 0 20 0 1 0 408377546 2792353792 276653 33554432000 4194304 5870510 140721207462912 140721207461240 5337297 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 681727 276653 881 410 0 677200 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2726908 KiB
Current children cumulated memory: 1106612 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/205 15712
/proc/meminfo: memFree=29263796/32770624 swapFree=67008680/67108860
[pid=15568] ppid=15565 vsize=2726908 memory=1108872 CPUtime=282.26 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 198187 0 0 0 28199 27 0 0 20 0 1 0 408377546 2792353792 277218 33554432000 4194304 5870510 140721207462912 140721207461240 5337288 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 681727 277218 881 410 0 677200 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2726908 KiB
Current children cumulated memory: 1108872 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/205 15718
/proc/meminfo: memFree=29235452/32770624 swapFree=67008680/67108860
[pid=15568] ppid=15565 vsize=2733360 memory=1118236 CPUtime=342.25 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 202406 0 0 0 34198 27 0 0 20 0 1 0 408377546 2798960640 279559 33554432000 4194304 5870510 140721207462912 140721207461240 5337393 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 683340 279559 884 410 0 678813 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2733360 KiB
Current children cumulated memory: 1118236 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/205 15722
/proc/meminfo: memFree=29209824/32770624 swapFree=67008680/67108860
[pid=15568] ppid=15565 vsize=2733360 memory=1118236 CPUtime=402.25 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 205945 0 0 0 40198 27 0 0 20 0 1 0 408377546 2798960640 279559 33554432000 4194304 5870510 140721207462912 140721207461240 5337504 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 683340 279559 884 410 0 678813 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2733360 KiB
Current children cumulated memory: 1118236 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/204 15726
/proc/meminfo: memFree=29195304/32770624 swapFree=67008680/67108860
[pid=15568] ppid=15565 vsize=2733360 memory=1118236 CPUtime=462.24 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 210295 0 0 0 46197 27 0 0 20 0 1 0 408377546 2798960640 279559 33554432000 4194304 5870510 140721207462912 140721207461240 5337297 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 683340 279559 884 410 0 678813 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 2733360 KiB
Current children cumulated memory: 1118236 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/205 15738
/proc/meminfo: memFree=29189536/32770624 swapFree=67008688/67108860
[pid=15568] ppid=15565 vsize=2733360 memory=1124052 CPUtime=522.25 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 216444 0 0 0 52195 30 0 0 20 0 1 0 408377546 2798960640 281013 33554432000 4194304 5870510 140721207462912 140721207462168 5282590 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 683340 281013 909 410 0 678813 0
Current children cumulated CPU time: 522.25 s
Current children cumulated vsize: 2733360 KiB
Current children cumulated memory: 1124052 KiB
[startup+582.3 s]
/proc/loadavg: 2.06 2.03 1.98 3/205 15742
/proc/meminfo: memFree=29190840/32770624 swapFree=67008688/67108860
[pid=15568] ppid=15565 vsize=2733360 memory=1122728 CPUtime=582.24 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 222805 0 0 0 58191 33 0 0 20 0 1 0 408377546 2798960640 280682 33554432000 4194304 5870510 140721207462912 140721207461864 5272433 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 683340 280682 909 410 0 678813 0
Current children cumulated CPU time: 582.24 s
Current children cumulated vsize: 2733360 KiB
Current children cumulated memory: 1122728 KiB
[startup+592.222 s]
# the end of solver process 15568 was just reported to runsolver
# cumulated CPU time of all completed processes: user=591.822 s, system=0.344973 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+582.4 s]
/proc/loadavg: 2.06 2.03 1.98 3/205 15742
/proc/meminfo: memFree=29190840/32770624 swapFree=67008688/67108860
[pid=15568] ppid=15565 vsize=2733360 memory=1122728 CPUtime=582.34 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 222805 0 0 0 58201 33 0 0 20 0 1 0 408377546 2798960640 280682 33554432000 4194304 5870510 140721207462912 140721207461864 5272459 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 683340 280682 909 410 0 678813 0
Current children cumulated CPU time: 582.34 s
Current children cumulated vsize: 2733360 KiB
Current children cumulated memory: 1122728 KiB
[startup+588.8 s]
/proc/loadavg: 2.06 2.03 1.98 3/205 15743
/proc/meminfo: memFree=29189144/32770624 swapFree=67008688/67108860
[pid=15568] ppid=15565 vsize=2733360 memory=1124776 CPUtime=588.74 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 222815 0 0 0 58841 33 0 0 20 0 1 0 408377546 2798960640 281194 33554432000 4194304 5870510 140721207462912 140721207461864 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 683340 281194 909 410 0 678813 0
Current children cumulated CPU time: 588.74 s
Current children cumulated vsize: 2733360 KiB
Current children cumulated memory: 1124776 KiB
[startup+590.4 s]
/proc/loadavg: 2.06 2.03 1.98 3/205 15743
/proc/meminfo: memFree=29187096/32770624 swapFree=67008688/67108860
[pid=15568] ppid=15565 vsize=2733360 memory=1126920 CPUtime=590.34 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 224590 0 0 0 59001 33 0 0 20 0 1 0 408377546 2798960640 281730 33554432000 4194304 5870510 140721207462912 140721207461864 5272669 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 683340 281730 909 410 0 678813 0
Current children cumulated CPU time: 590.34 s
Current children cumulated vsize: 2733360 KiB
Current children cumulated memory: 1126920 KiB
[startup+591.2 s]
/proc/loadavg: 2.06 2.03 1.98 3/205 15743
/proc/meminfo: memFree=29187096/32770624 swapFree=67008688/67108860
[pid=15568] ppid=15565 vsize=2733360 memory=1126920 CPUtime=591.14 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 224632 0 0 0 59081 33 0 0 20 0 1 0 408377546 2798960640 281730 33554432000 4194304 5870510 140721207462912 140721207461864 5307152 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 683340 281730 909 410 0 678813 0
Current children cumulated CPU time: 591.14 s
Current children cumulated vsize: 2733360 KiB
Current children cumulated memory: 1126920 KiB
[startup+592 s]*
/proc/loadavg: 2.05 2.03 1.98 3/205 15743
/proc/meminfo: memFree=29201180/32770624 swapFree=67008688/67108860
[pid=15568] ppid=15565 vsize=2702540 memory=1112316 CPUtime=591.94 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 224998 0 0 0 59161 33 0 0 20 0 1 0 408377546 2767400960 278079 33554432000 4194304 5870510 140721207462912 140721207461896 5282606 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 675635 278079 909 410 0 671108 0
Current children cumulated CPU time: 591.94 s
Current children cumulated vsize: 2702540 KiB
Current children cumulated memory: 1112316 KiB
[startup+592.2 s]
/proc/loadavg: 2.05 2.03 1.98 3/205 15743
/proc/meminfo: memFree=29201180/32770624 swapFree=67008688/67108860
[pid=15568] ppid=15565 vsize=2702540 memory=1112316 CPUtime=592.13 cores=1,3,5,7
/proc/15568/stat : 15568 (xcsp_picat) R 15565 15568 14854 0 -1 4202496 225004 0 0 0 59180 33 0 0 20 0 1 0 408377546 2767400960 278079 33554432000 4194304 5870510 140721207462912 140721207461896 5282721 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 31694848 140721207469087 140721207469165 140721207469165 140721207472074 0
/proc/15568/statm: 675635 278079 909 410 0 671108 0
Current children cumulated CPU time: 592.13 s
Current children cumulated vsize: 2702540 KiB
Current children cumulated memory: 1112316 KiB
Child status: 0
Real time (s): 592.222
CPU time (s): 592.167
CPU user time (s): 591.822
CPU system time (s): 0.344973
CPU usage (%): 99.9908
Max. virtual memory (cumulated for all children) (KiB): 2813500
Max. memory (cumulated for all children) (KiB): 1171784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 591.822
system time used= 0.344973
maximum resident set size= 1175060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225069
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= 17
involuntary context switches= 257
# summary of solver processes directly reported to runsolver:
# pid: 15568
# total CPU time (s): 592.167
# total CPU user time (s): 591.822
# total CPU system time (s): 0.344973
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.43779 second user time and 4.64762 second system time
The end