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 (8313 MiB free)
memory of node 1: 16384 MiB (12405 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395487-1568339859/watcher-4395487-1568339859 -o /tmp/evaluation-result-4395487-1568339859/solver-4395487-1568339859 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568337054-3912 --watchdog 2560 xcsp_picat HOME/instance-4395487-1568339859.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=5294, runsolver pid=5291
[startup+0.100155 s]*
/proc/loadavg: 2.00 2.01 2.35 3/199 5295
/proc/meminfo: memFree=21203276/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2036636 memory=14952 CPUtime=0.1 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 1867 0 0 0 10 0 0 0 20 0 1 0 409900808 2085515264 3738 33554432000 4194304 5870510 140736304559856 140736304559096 5562059 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 509159 3738 961 410 0 504632 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2036636 KiB
Current children cumulated memory: 14952 KiB
[startup+0.209615 s]*
/proc/loadavg: 2.00 2.01 2.35 3/199 5295
/proc/meminfo: memFree=21201228/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2036548 memory=15000 CPUtime=0.21 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 1875 0 0 0 21 0 0 0 20 0 1 0 409900808 2085425152 3750 33554432000 4194304 5870510 140736304559856 140736304559096 139822400982919 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 509137 3750 961 410 0 504610 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2036548 KiB
Current children cumulated memory: 15000 KiB
[startup+0.309024 s]*
/proc/loadavg: 2.00 2.01 2.35 3/199 5295
/proc/meminfo: memFree=21200264/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2033348 memory=15596 CPUtime=0.31 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 2117 0 0 0 31 0 0 0 20 0 1 0 409900808 2082148352 3899 33554432000 4194304 5870510 140736304559856 140736304559096 139822400518974 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 508337 3899 987 410 0 503810 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033348 KiB
Current children cumulated memory: 15596 KiB
[startup+0.700283 s]
/proc/loadavg: 2.00 2.01 2.35 3/199 5295
/proc/meminfo: memFree=21198404/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2035164 memory=17452 CPUtime=0.69 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 2586 0 0 0 69 0 0 0 20 0 1 0 409900808 2084007936 4363 33554432000 4194304 5870510 140736304559856 140736304558088 5288915 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 508791 4363 994 410 0 504264 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2035164 KiB
Current children cumulated memory: 17452 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.35 3/199 5295
/proc/meminfo: memFree=21189184/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2042536 memory=22812 CPUtime=1.49 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 3912 0 0 0 149 0 0 0 20 0 1 0 409900808 2091556864 5703 33554432000 4194304 5870510 140736304559856 140736304558088 5282231 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 510634 5703 994 410 0 506107 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2042536 KiB
Current children cumulated memory: 22812 KiB
[startup+3.10942 s]
/proc/loadavg: 2.00 2.01 2.35 3/199 5295
/proc/meminfo: memFree=21162936/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2045256 memory=27896 CPUtime=3.1 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 6258 0 0 0 310 0 0 0 20 0 1 0 409900808 2094342144 6974 33554432000 4194304 5870510 140736304559856 140736304558088 5272665 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 511314 6974 994 410 0 506787 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2045256 KiB
Current children cumulated memory: 27896 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.35 3/199 5295
/proc/meminfo: memFree=21168308/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2050704 memory=32516 CPUtime=6.29 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 10859 0 0 0 628 1 0 0 20 0 1 0 409900808 2099920896 8129 33554432000 4194304 5870510 140736304559856 140736304558664 5274864 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 512676 8129 994 410 0 508149 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2050704 KiB
Current children cumulated memory: 32516 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.34 3/199 5295
/proc/meminfo: memFree=21156996/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2047560 memory=29812 CPUtime=12.7 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 15350 0 0 0 1267 3 0 0 20 0 1 0 409900808 2096701440 7453 33554432000 4194304 5870510 140736304559856 140736304558424 5272880 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 511890 7453 994 410 0 507363 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 2047560 KiB
Current children cumulated memory: 29812 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.34 3/199 5295
/proc/meminfo: memFree=21124356/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2054424 memory=36872 CPUtime=25.49 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 20866 0 0 0 2546 3 0 0 20 0 1 0 409900808 2103730176 9218 33554432000 4194304 5870510 140736304559856 140736304558424 5272665 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 513606 9218 994 410 0 509079 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2054424 KiB
Current children cumulated memory: 36872 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.33 3/199 5298
/proc/meminfo: memFree=21185500/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2053236 memory=33196 CPUtime=51.1 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 27390 0 0 0 5105 5 0 0 20 0 1 0 409900808 2102513664 8299 33554432000 4194304 5870510 140736304559856 140736304558296 5272433 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 513309 8299 1001 410 0 508782 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2053236 KiB
Current children cumulated memory: 33196 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.31 3/199 5303
/proc/meminfo: memFree=21179336/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2071108 memory=53596 CPUtime=102.29 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 31511 0 0 0 10223 6 0 0 20 0 1 0 409900808 2120814592 13399 33554432000 4194304 5870510 140736304559856 140736304558296 5282515 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 517777 13399 1001 410 0 513250 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2071108 KiB
Current children cumulated memory: 53596 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.29 3/199 5307
/proc/meminfo: memFree=21086900/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2069676 memory=52244 CPUtime=162.29 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 36887 0 0 0 16222 7 0 0 20 0 1 0 409900808 2119348224 13061 33554432000 4194304 5870510 140736304559856 140736304558424 5272487 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 517419 13061 1001 410 0 512892 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2069676 KiB
Current children cumulated memory: 52244 KiB
[startup+222.3 s]
/proc/loadavg: 2.08 2.04 2.29 3/200 5321
/proc/meminfo: memFree=21116096/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2069480 memory=51580 CPUtime=222.29 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 42805 0 0 0 22220 9 0 0 20 0 1 0 409900808 2119147520 12895 33554432000 4194304 5870510 140736304559856 140736304558296 5283106 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 517370 12895 1001 410 0 512843 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2069480 KiB
Current children cumulated memory: 51580 KiB
[startup+282.3 s]
/proc/loadavg: 2.03 2.04 2.27 3/201 5348
/proc/meminfo: memFree=21076224/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2066296 memory=44088 CPUtime=282.3 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 44567 0 0 0 28220 10 0 0 20 0 1 0 409900808 2115887104 11022 33554432000 4194304 5870510 140736304559856 140736304558424 5282690 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 516574 11022 1001 410 0 512047 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2066296 KiB
Current children cumulated memory: 44088 KiB
[startup+342.3 s]
/proc/loadavg: 2.06 2.04 2.26 3/201 5352
/proc/meminfo: memFree=21017920/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2055000 memory=35236 CPUtime=342.3 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 50793 0 0 0 34219 11 0 0 20 0 1 0 409900808 2104320000 8809 33554432000 4194304 5870510 140736304559856 140736304558296 5282284 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 513750 8809 1001 410 0 509223 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2055000 KiB
Current children cumulated memory: 35236 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.24 3/201 5358
/proc/meminfo: memFree=20818976/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2071388 memory=53672 CPUtime=402.29 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 51914 0 0 0 40218 11 0 0 20 0 1 0 409900808 2121101312 13418 33554432000 4194304 5870510 140736304559856 140736304558296 5272544 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 517847 13418 1001 410 0 513320 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2071388 KiB
Current children cumulated memory: 53672 KiB
[startup+437.726 s]
# the end of solver process 5294 was just reported to runsolver
# cumulated CPU time of all completed processes: user=437.605 s, system=0.129002 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 2.02 2.04 2.24 3/201 5358
/proc/meminfo: memFree=20969736/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2071388 memory=53800 CPUtime=409.6 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 54153 0 0 0 40948 12 0 0 20 0 1 0 409900808 2121101312 13450 33554432000 4194304 5870510 140736304559856 140736304558296 5275235 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 517847 13450 1001 410 0 513320 0
Current children cumulated CPU time: 409.6 s
Current children cumulated vsize: 2071388 KiB
Current children cumulated memory: 53800 KiB
[startup+422.4 s]
/proc/loadavg: 2.02 2.04 2.23 3/201 5359
/proc/meminfo: memFree=20972936/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2076532 memory=57804 CPUtime=422.39 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 55413 0 0 0 42227 12 0 0 20 0 1 0 409900808 2126368768 14451 33554432000 4194304 5870510 140736304559856 140736304558296 5282606 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 519133 14451 1001 410 0 514606 0
Current children cumulated CPU time: 422.39 s
Current children cumulated vsize: 2076532 KiB
Current children cumulated memory: 57804 KiB
[startup+428.8 s]
/proc/loadavg: 2.02 2.04 2.23 3/201 5359
/proc/meminfo: memFree=21060856/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2076532 memory=57804 CPUtime=428.79 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 55417 0 0 0 42867 12 0 0 20 0 1 0 409900808 2126368768 14451 33554432000 4194304 5870510 140736304559856 140736304558296 5282606 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 519133 14451 1001 410 0 514606 0
Current children cumulated CPU time: 428.79 s
Current children cumulated vsize: 2076532 KiB
Current children cumulated memory: 57804 KiB
[startup+432 s]*
/proc/loadavg: 2.01 2.04 2.23 3/201 5359
/proc/meminfo: memFree=20983344/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2076532 memory=57804 CPUtime=432 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 55418 0 0 0 43188 12 0 0 20 0 1 0 409900808 2126368768 14451 33554432000 4194304 5870510 140736304559856 140736304558296 5283028 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 519133 14451 1001 410 0 514606 0
Current children cumulated CPU time: 432 s
Current children cumulated vsize: 2076532 KiB
Current children cumulated memory: 57804 KiB
[startup+435.2 s]
/proc/loadavg: 2.01 2.04 2.23 3/201 5359
/proc/meminfo: memFree=21066744/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2076532 memory=57804 CPUtime=435.2 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 55418 0 0 0 43508 12 0 0 20 0 1 0 409900808 2126368768 14451 33554432000 4194304 5870510 140736304559856 140736304558296 5281810 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 519133 14451 1001 410 0 514606 0
Current children cumulated CPU time: 435.2 s
Current children cumulated vsize: 2076532 KiB
Current children cumulated memory: 57804 KiB
[startup+436.8 s]
/proc/loadavg: 2.01 2.04 2.23 3/201 5359
/proc/meminfo: memFree=21056504/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2076532 memory=57804 CPUtime=436.8 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 55420 0 0 0 43668 12 0 0 20 0 1 0 409900808 2126368768 14451 33554432000 4194304 5870510 140736304559856 140736304558296 5308388 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 519133 14451 1001 410 0 514606 0
Current children cumulated CPU time: 436.8 s
Current children cumulated vsize: 2076532 KiB
Current children cumulated memory: 57804 KiB
[startup+437.2 s]
/proc/loadavg: 2.01 2.03 2.23 3/201 5359
/proc/meminfo: memFree=21046264/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2076532 memory=57804 CPUtime=437.2 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 55420 0 0 0 43708 12 0 0 20 0 1 0 409900808 2126368768 14451 33554432000 4194304 5870510 140736304559856 140736304558296 5282747 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 519133 14451 1001 410 0 514606 0
Current children cumulated CPU time: 437.2 s
Current children cumulated vsize: 2076532 KiB
Current children cumulated memory: 57804 KiB
[startup+437.6 s]
/proc/loadavg: 2.01 2.03 2.23 3/201 5359
/proc/meminfo: memFree=21046264/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2076532 memory=57804 CPUtime=437.6 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 55420 0 0 0 43748 12 0 0 20 0 1 0 409900808 2126368768 14451 33554432000 4194304 5870510 140736304559856 140736304558296 5282464 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 519133 14451 1001 410 0 514606 0
Current children cumulated CPU time: 437.6 s
Current children cumulated vsize: 2076532 KiB
Current children cumulated memory: 57804 KiB
[startup+437.7 s]
/proc/loadavg: 2.01 2.03 2.23 3/201 5359
/proc/meminfo: memFree=21046264/32770624 swapFree=66939828/67108860
[pid=5294] ppid=5291 vsize=2076532 memory=57804 CPUtime=437.7 cores=1,3,5,7
/proc/5294/stat : 5294 (xcsp_picat) R 5291 5294 3880 0 -1 4202496 55420 0 0 0 43758 12 0 0 20 0 1 0 409900808 2126368768 14451 33554432000 4194304 5870510 140736304559856 140736304558296 5282729 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7970040 9572284 39153664 140736304563231 140736304563309 140736304563309 140736304566218 0
/proc/5294/statm: 519133 14451 1001 410 0 514606 0
Current children cumulated CPU time: 437.7 s
Current children cumulated vsize: 2076532 KiB
Current children cumulated memory: 57804 KiB
Child status: 0
Real time (s): 437.726
CPU time (s): 437.734
CPU user time (s): 437.605
CPU system time (s): 0.129002
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2079780
Max. memory (cumulated for all children) (KiB): 61864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 437.605
system time used= 0.129002
maximum resident set size= 61992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55493
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= 127
# summary of solver processes directly reported to runsolver:
# pid: 5294
# total CPU time (s): 437.734
# total CPU user time (s): 437.605
# total CPU system time (s): 0.129002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.6196 second user time and 3.03894 second system time
The end