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 (15347 MiB free)
memory of node 1: 16384 MiB (15132 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395095-1568348775/watcher-4395095-1568348775 -o /tmp/evaluation-result-4395095-1568348775/solver-4395095-1568348775 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568323474-16007 --watchdog 2580 xcsp_picat HOME/instance-4395095-1568348775.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
Current StackSize limit: 8192 KiB
solver pid=23837, runsolver pid=23834
[startup+0.100112 s]*
/proc/loadavg: 1.99 2.00 2.04 3/199 23838
/proc/meminfo: memFree=31192132/32770624 swapFree=66994200/67108860
[pid=23837] ppid=23834 vsize=2031716 memory=24956 CPUtime=0.1 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 1340 0 0 0 10 0 0 0 20 0 1 0 411128948 2080477184 6239 33554432000 4194304 5870510 140729840215872 140729840213016 4568260 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 507929 6239 851 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 24956 KiB
[startup+0.209718 s]*
/proc/loadavg: 1.99 2.00 2.04 3/199 23838
/proc/meminfo: memFree=31176232/32770624 swapFree=66994200/67108860
[pid=23837] ppid=23834 vsize=2043816 memory=39140 CPUtime=0.2 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 3426 0 0 0 20 0 0 0 20 0 1 0 411128948 2092867584 9785 33554432000 4194304 5870510 140729840215872 140729840213016 5407063 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 510954 9785 944 410 0 506427 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2043816 KiB
Current children cumulated memory: 39140 KiB
[startup+0.309483 s]*
/proc/loadavg: 1.99 2.00 2.04 3/199 23838
/proc/meminfo: memFree=31176056/32770624 swapFree=66994200/67108860
[pid=23837] ppid=23834 vsize=2043816 memory=39140 CPUtime=0.3 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 3432 0 0 0 30 0 0 0 20 0 1 0 411128948 2092867584 9785 33554432000 4194304 5870510 140729840215872 140729840215128 140553897164679 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 510954 9785 944 410 0 506427 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2043816 KiB
Current children cumulated memory: 39140 KiB
[startup+0.700224 s]
/proc/loadavg: 1.99 2.00 2.04 3/199 23838
/proc/meminfo: memFree=31175592/32770624 swapFree=66994200/67108860
[pid=23837] ppid=23834 vsize=2043816 memory=39140 CPUtime=0.69 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 3447 0 0 0 68 1 0 0 20 0 1 0 411128948 2092867584 9785 33554432000 4194304 5870510 140729840215872 140729840215128 5562059 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 510954 9785 944 410 0 506427 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2043816 KiB
Current children cumulated memory: 39140 KiB
[startup+1.50023 s]
/proc/loadavg: 1.99 2.00 2.04 3/199 23838
/proc/meminfo: memFree=31175592/32770624 swapFree=66994200/67108860
[pid=23837] ppid=23834 vsize=2044260 memory=39656 CPUtime=1.49 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 3650 0 0 0 148 1 0 0 20 0 1 0 411128948 2093322240 9914 33554432000 4194304 5870510 140729840215872 140729840215128 140553897164679 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 511065 9914 948 410 0 506538 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2044260 KiB
Current children cumulated memory: 39656 KiB
[startup+3.10969 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 23838
/proc/meminfo: memFree=31165920/32770624 swapFree=66994200/67108860
[pid=23837] ppid=23834 vsize=2052188 memory=46668 CPUtime=3.1 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 8143 0 0 0 307 3 0 0 20 0 1 0 411128948 2101440512 11667 33554432000 4194304 5870510 140729840215872 140729840214232 5275837 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 513047 11667 969 410 0 508520 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2052188 KiB
Current children cumulated memory: 46668 KiB
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 23838
/proc/meminfo: memFree=31165076/32770624 swapFree=66994200/67108860
[pid=23837] ppid=23834 vsize=2066404 memory=61972 CPUtime=6.29 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 13273 0 0 0 625 4 0 0 20 0 1 0 411128948 2115997696 15493 33554432000 4194304 5870510 140729840215872 140729840214440 5262976 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 516601 15493 981 410 0 512074 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2066404 KiB
Current children cumulated memory: 61972 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 23840
/proc/meminfo: memFree=31149028/32770624 swapFree=66994200/67108860
[pid=23837] ppid=23834 vsize=2073860 memory=69048 CPUtime=12.69 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 20121 0 0 0 1264 5 0 0 20 0 1 0 411128948 2123632640 17262 33554432000 4194304 5870510 140729840215872 140729840214312 5282617 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 518465 17262 981 410 0 513938 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2073860 KiB
Current children cumulated memory: 69048 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 23841
/proc/meminfo: memFree=31128960/32770624 swapFree=66994200/67108860
[pid=23837] ppid=23834 vsize=2102036 memory=93952 CPUtime=25.49 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 33883 0 0 0 2542 7 0 0 20 0 1 0 411128948 2152484864 23488 33554432000 4194304 5870510 140729840215872 140729840214440 5272962 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 525509 23488 981 410 0 520982 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2102036 KiB
Current children cumulated memory: 93952 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 23841
/proc/meminfo: memFree=31124932/32770624 swapFree=66994200/67108860
[pid=23837] ppid=23834 vsize=2109988 memory=91848 CPUtime=51.1 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 42545 0 0 0 5102 8 0 0 20 0 1 0 411128948 2160627712 22962 33554432000 4194304 5870510 140729840215872 140729840214312 5272880 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 527497 22962 981 410 0 522970 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2109988 KiB
Current children cumulated memory: 91848 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 23847
/proc/meminfo: memFree=31088612/32770624 swapFree=66994200/67108860
[pid=23837] ppid=23834 vsize=2136328 memory=128948 CPUtime=102.29 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 52425 0 0 0 10219 10 0 0 20 0 1 0 411128948 2187599872 32237 33554432000 4194304 5870510 140729840215872 140729840214440 5274712 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 534082 32237 981 410 0 529555 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2136328 KiB
Current children cumulated memory: 128948 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 23852
/proc/meminfo: memFree=31035832/32770624 swapFree=66994200/67108860
[pid=23837] ppid=23834 vsize=2165312 memory=149740 CPUtime=162.29 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 62714 0 0 0 16217 12 0 0 20 0 1 0 411128948 2217279488 37435 33554432000 4194304 5870510 140729840215872 140729840214440 140553902383883 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 541328 37435 981 410 0 536801 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2165312 KiB
Current children cumulated memory: 149740 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 23856
/proc/meminfo: memFree=31024264/32770624 swapFree=66994200/67108860
[pid=23837] ppid=23834 vsize=2165312 memory=153888 CPUtime=222.29 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 62981 0 0 0 22217 12 0 0 20 0 1 0 411128948 2217279488 38472 33554432000 4194304 5870510 140729840215872 140729840214440 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 541328 38472 981 410 0 536801 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2165312 KiB
Current children cumulated memory: 153888 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 23870
/proc/meminfo: memFree=31003080/32770624 swapFree=66994208/67108860
[pid=23837] ppid=23834 vsize=2165312 memory=156344 CPUtime=282.28 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 70097 0 0 0 28215 13 0 0 20 0 1 0 411128948 2217279488 39086 33554432000 4194304 5870510 140729840215872 140729840214440 5272547 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 541328 39086 981 410 0 536801 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2165312 KiB
Current children cumulated memory: 156344 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 23874
/proc/meminfo: memFree=31017840/32770624 swapFree=66994208/67108860
[pid=23837] ppid=23834 vsize=2176932 memory=167880 CPUtime=342.29 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 70553 0 0 0 34215 14 0 0 20 0 1 0 411128948 2229178368 41970 33554432000 4194304 5870510 140729840215872 140729840214440 5272653 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 544233 41970 981 410 0 539706 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2176932 KiB
Current children cumulated memory: 167880 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 23878
/proc/meminfo: memFree=31014184/32770624 swapFree=66994208/67108860
[pid=23837] ppid=23834 vsize=2176932 memory=173432 CPUtime=402.29 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 70555 0 0 0 40215 14 0 0 20 0 1 0 411128948 2229178368 43358 33554432000 4194304 5870510 140729840215872 140729840214440 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 544233 43358 981 410 0 539706 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 2176932 KiB
Current children cumulated memory: 173432 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/201 23884
/proc/meminfo: memFree=31009812/32770624 swapFree=66994208/67108860
[pid=23837] ppid=23834 vsize=2176932 memory=173624 CPUtime=462.29 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 71253 0 0 0 46215 14 0 0 20 0 1 0 411128948 2229178368 43406 33554432000 4194304 5870510 140729840215872 140729840214440 5282464 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 544233 43406 981 410 0 539706 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2176932 KiB
Current children cumulated memory: 173624 KiB
################
# More data... #
################
Current children cumulated memory: 208532 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 24085
/proc/meminfo: memFree=31459588/32770624 swapFree=66994208/67108860
[pid=23837] ppid=23834 vsize=2184428 memory=184104 CPUtime=762.31 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 74910 0 0 0 76214 17 0 0 20 0 1 0 411128948 2236854272 46026 33554432000 4194304 5870510 140729840215872 140729840214888 5276836 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 546107 46026 981 410 0 541580 0
Current children cumulated CPU time: 762.31 s
Current children cumulated vsize: 2184428 KiB
Current children cumulated memory: 184104 KiB
[startup+822.3 s]
/proc/loadavg: 1.94 1.98 2.03 3/200 24091
/proc/meminfo: memFree=31443648/32770624 swapFree=66994208/67108860
[pid=23837] ppid=23834 vsize=2184428 memory=185676 CPUtime=822.31 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 76754 0 0 0 82211 20 0 0 20 0 1 0 411128948 2236854272 46419 33554432000 4194304 5870510 140729840215872 140729840214888 5282617 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 546107 46419 981 410 0 541580 0
Current children cumulated CPU time: 822.31 s
Current children cumulated vsize: 2184428 KiB
Current children cumulated memory: 185676 KiB
[startup+882.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/200 24103
/proc/meminfo: memFree=31409580/32770624 swapFree=66994216/67108860
[pid=23837] ppid=23834 vsize=2233748 memory=219232 CPUtime=882.31 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 81151 0 0 0 88206 25 0 0 20 0 1 0 411128948 2287357952 54808 33554432000 4194304 5870510 140729840215872 140729840214312 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 558437 54808 981 410 0 553910 0
Current children cumulated CPU time: 882.31 s
Current children cumulated vsize: 2233748 KiB
Current children cumulated memory: 219232 KiB
[startup+942.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/200 24107
/proc/meminfo: memFree=31443452/32770624 swapFree=66994216/67108860
[pid=23837] ppid=23834 vsize=2184428 memory=185676 CPUtime=942.32 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 82024 0 0 0 94205 27 0 0 20 0 1 0 411128948 2236854272 46419 33554432000 4194304 5870510 140729840215872 140729840214888 5292256 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 546107 46419 981 410 0 541580 0
Current children cumulated CPU time: 942.32 s
Current children cumulated vsize: 2184428 KiB
Current children cumulated memory: 185676 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 24113
/proc/meminfo: memFree=31409972/32770624 swapFree=66994216/67108860
[pid=23837] ppid=23834 vsize=2233748 memory=219228 CPUtime=1002.32 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 83085 0 0 0 100203 29 0 0 20 0 1 0 411128948 2287357952 54807 33554432000 4194304 5870510 140729840215872 140729840214312 5283024 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 558437 54807 981 410 0 553910 0
Current children cumulated CPU time: 1002.32 s
Current children cumulated vsize: 2233748 KiB
Current children cumulated memory: 219228 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 24117
/proc/meminfo: memFree=31406752/32770624 swapFree=66994216/67108860
[pid=23837] ppid=23834 vsize=2233748 memory=223328 CPUtime=1062.32 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 84231 0 0 0 106200 32 0 0 20 0 1 0 411128948 2287357952 55832 33554432000 4194304 5870510 140729840215872 140729840214312 5282617 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 558437 55832 981 410 0 553910 0
Current children cumulated CPU time: 1062.32 s
Current children cumulated vsize: 2233748 KiB
Current children cumulated memory: 223328 KiB
[startup+1103.57 s]
# the end of solver process 23837 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1103.25 s, system=0.349015 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1075.2 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 24118
/proc/meminfo: memFree=31410388/32770624 swapFree=66994216/67108860
[pid=23837] ppid=23834 vsize=2233748 memory=219232 CPUtime=1075.22 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 86875 0 0 0 107489 33 0 0 20 0 1 0 411128948 2287357952 54808 33554432000 4194304 5870510 140729840215872 140729840214312 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 558437 54808 981 410 0 553910 0
Current children cumulated CPU time: 1075.22 s
Current children cumulated vsize: 2233748 KiB
Current children cumulated memory: 219232 KiB
[startup+1088 s]*
/proc/loadavg: 2.00 1.99 2.03 3/200 24118
/proc/meminfo: memFree=31443060/32770624 swapFree=66994216/67108860
[pid=23837] ppid=23834 vsize=2184428 memory=185676 CPUtime=1088.04 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 87342 0 0 0 108770 34 0 0 20 0 1 0 411128948 2236854272 46419 33554432000 4194304 5870510 140729840215872 140729840214888 5282759 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 546107 46419 981 410 0 541580 0
Current children cumulated CPU time: 1088.04 s
Current children cumulated vsize: 2184428 KiB
Current children cumulated memory: 185676 KiB
[startup+1094.4 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 24120
/proc/meminfo: memFree=31410876/32770624 swapFree=66994216/67108860
[pid=23837] ppid=23834 vsize=2233748 memory=217000 CPUtime=1094.42 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 87595 0 0 0 109408 34 0 0 20 0 1 0 411128948 2287357952 54250 33554432000 4194304 5870510 140729840215872 140729840214312 5282609 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 558437 54250 981 410 0 553910 0
Current children cumulated CPU time: 1094.42 s
Current children cumulated vsize: 2233748 KiB
Current children cumulated memory: 217000 KiB
[startup+1097.6 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 24120
/proc/meminfo: memFree=31409308/32770624 swapFree=66994216/67108860
[pid=23837] ppid=23834 vsize=2233748 memory=219232 CPUtime=1097.62 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 87603 0 0 0 109728 34 0 0 20 0 1 0 411128948 2287357952 54808 33554432000 4194304 5870510 140729840215872 140729840214312 5283138 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 558437 54808 981 410 0 553910 0
Current children cumulated CPU time: 1097.62 s
Current children cumulated vsize: 2233748 KiB
Current children cumulated memory: 219232 KiB
[startup+1100.8 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 24121
/proc/meminfo: memFree=31407384/32770624 swapFree=66994216/67108860
[pid=23837] ppid=23834 vsize=2184428 memory=185676 CPUtime=1100.82 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 87651 0 0 0 110048 34 0 0 20 0 1 0 411128948 2236854272 46419 33554432000 4194304 5870510 140729840215872 140729840214888 5282597 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 546107 46419 981 410 0 541580 0
Current children cumulated CPU time: 1100.82 s
Current children cumulated vsize: 2184428 KiB
Current children cumulated memory: 185676 KiB
[startup+1102.4 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 24121
/proc/meminfo: memFree=31442804/32770624 swapFree=66994216/67108860
[pid=23837] ppid=23834 vsize=2184428 memory=185676 CPUtime=1102.42 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 87653 0 0 0 110208 34 0 0 20 0 1 0 411128948 2236854272 46419 33554432000 4194304 5870510 140729840215872 140729840214888 5282574 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 546107 46419 981 410 0 541580 0
Current children cumulated CPU time: 1102.42 s
Current children cumulated vsize: 2184428 KiB
Current children cumulated memory: 185676 KiB
[startup+1103.2 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 24121
/proc/meminfo: memFree=31442804/32770624 swapFree=66994216/67108860
[pid=23837] ppid=23834 vsize=2184428 memory=185676 CPUtime=1103.22 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 87690 0 0 0 110288 34 0 0 20 0 1 0 411128948 2236854272 46419 33554432000 4194304 5870510 140729840215872 140729840214888 5307152 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 546107 46419 981 410 0 541580 0
Current children cumulated CPU time: 1103.22 s
Current children cumulated vsize: 2184428 KiB
Current children cumulated memory: 185676 KiB
[startup+1103.4 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 24121
/proc/meminfo: memFree=31442804/32770624 swapFree=66994216/67108860
[pid=23837] ppid=23834 vsize=2184428 memory=185676 CPUtime=1103.42 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 87690 0 0 0 110308 34 0 0 20 0 1 0 411128948 2236854272 46419 33554432000 4194304 5870510 140729840215872 140729840214888 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 546107 46419 981 410 0 541580 0
Current children cumulated CPU time: 1103.42 s
Current children cumulated vsize: 2184428 KiB
Current children cumulated memory: 185676 KiB
[startup+1103.5 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 24121
/proc/meminfo: memFree=31442804/32770624 swapFree=66994216/67108860
[pid=23837] ppid=23834 vsize=2184428 memory=185676 CPUtime=1103.52 cores=0,2,4,6
/proc/23837/stat : 23837 (xcsp_picat) R 23834 23837 15976 0 -1 4202496 87690 0 0 0 110318 34 0 0 20 0 1 0 411128948 2236854272 46419 33554432000 4194304 5870510 140729840215872 140729840214888 5282617 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16654336 140729840219167 140729840219245 140729840219245 140729840222154 0
/proc/23837/statm: 546107 46419 981 410 0 541580 0
Current children cumulated CPU time: 1103.52 s
Current children cumulated vsize: 2184428 KiB
Current children cumulated memory: 185676 KiB
Child status: 0
Real time (s): 1103.57
CPU time (s): 1103.6
CPU user time (s): 1103.25
CPU system time (s): 0.349015
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2233748
Max. memory (cumulated for all children) (KiB): 225544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1103.25
system time used= 0.349015
maximum resident set size= 257008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87734
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= 22
involuntary context switches= 1391
# summary of solver processes directly reported to runsolver:
# pid: 23837
# total CPU time (s): 1103.6
# total CPU user time (s): 1103.25
# total CPU system time (s): 0.349015
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.1713 second user time and 8.41033 second system time
The end