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 (10863 MiB free)
memory of node 1: 16384 MiB (14111 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395323-1568339942/watcher-4395323-1568339942 -o /tmp/evaluation-result-4395323-1568339942/solver-4395323-1568339942 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568322189-24246 --watchdog 2580 xcsp_picat HOME/instance-4395323-1568339942.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=29098, runsolver pid=29095
[startup+0.100157 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 29099
/proc/meminfo: memFree=25562352/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2037072 memory=15800 CPUtime=0.1 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 2095 0 0 0 10 0 0 0 20 0 1 0 409936182 2085961728 3950 33554432000 4194304 5870510 140726164230400 140726164227544 5574841 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 509268 3950 963 410 0 504741 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2037072 KiB
Current children cumulated memory: 15800 KiB
[startup+0.209639 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 29099
/proc/meminfo: memFree=25561680/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2037344 memory=16316 CPUtime=0.21 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 2203 0 0 0 21 0 0 0 20 0 1 0 409936182 2086240256 4079 33554432000 4194304 5870510 140726164230400 140726164227544 5477013 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 509336 4079 963 410 0 504809 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2037344 KiB
Current children cumulated memory: 16316 KiB
[startup+0.308905 s]*
/proc/loadavg: 2.00 1.99 2.03 3/199 29099
/proc/meminfo: memFree=25561308/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2037524 memory=16560 CPUtime=0.31 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 2286 0 0 0 31 0 0 0 20 0 1 0 409936182 2086424576 4140 33554432000 4194304 5870510 140726164230400 140726164227544 140283027885959 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 509381 4140 963 410 0 504854 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2037524 KiB
Current children cumulated memory: 16560 KiB
[startup+0.700274 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 29099
/proc/meminfo: memFree=25561308/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2034040 memory=16960 CPUtime=0.69 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 2526 0 0 0 69 0 0 0 20 0 1 0 409936182 2082856960 4240 33554432000 4194304 5870510 140726164230400 140726164227544 5275364 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 508510 4240 994 410 0 503983 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2034040 KiB
Current children cumulated memory: 16960 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 29099
/proc/meminfo: memFree=25557648/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2036472 memory=19344 CPUtime=1.49 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 3671 0 0 0 149 0 0 0 20 0 1 0 409936182 2085347328 4836 33554432000 4194304 5870510 140726164230400 140726164228760 140283033122743 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 509118 4836 996 410 0 504591 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2036472 KiB
Current children cumulated memory: 19344 KiB
[startup+3.10936 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 29099
/proc/meminfo: memFree=25545116/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2047924 memory=29052 CPUtime=3.1 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 6202 0 0 0 310 0 0 0 20 0 1 0 409936182 2097074176 7263 33554432000 4194304 5870510 140726164230400 140726164228840 5282609 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 511981 7263 996 410 0 507454 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2047924 KiB
Current children cumulated memory: 29052 KiB
[startup+6.30036 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 29099
/proc/meminfo: memFree=25561892/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2042148 memory=24992 CPUtime=6.29 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 11619 0 0 0 628 1 0 0 20 0 1 0 409936182 2091159552 6248 33554432000 4194304 5870510 140726164230400 140726164229496 5562059 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 510537 6248 1003 410 0 506010 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2042148 KiB
Current children cumulated memory: 24992 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 29101
/proc/meminfo: memFree=25542548/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2060772 memory=37128 CPUtime=12.69 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 16007 0 0 0 1267 2 0 0 20 0 1 0 409936182 2110230528 9282 33554432000 4194304 5870510 140726164230400 140726164228840 5272240 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 515193 9282 1003 410 0 510666 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2060772 KiB
Current children cumulated memory: 37128 KiB
[startup+25.5004 s]
/proc/loadavg: 2.07 2.00 2.03 3/199 29101
/proc/meminfo: memFree=25539944/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2060772 memory=37164 CPUtime=25.49 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 20115 0 0 0 2546 3 0 0 20 0 1 0 409936182 2110230528 9291 33554432000 4194304 5870510 140726164230400 140726164229576 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 515193 9291 1003 410 0 510666 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2060772 KiB
Current children cumulated memory: 37164 KiB
[startup+51.1094 s]
/proc/loadavg: 2.05 2.00 2.03 3/199 29102
/proc/meminfo: memFree=25545220/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2061132 memory=44224 CPUtime=51.09 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 27421 0 0 0 5106 3 0 0 20 0 1 0 409936182 2110599168 11056 33554432000 4194304 5870510 140726164230400 140726164228968 5283116 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 515283 11056 1003 410 0 510756 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2061132 KiB
Current children cumulated memory: 44224 KiB
[startup+102.3 s]
/proc/loadavg: 2.08 2.02 2.04 3/199 29115
/proc/meminfo: memFree=25533124/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2069916 memory=52164 CPUtime=102.29 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 32596 0 0 0 10224 5 0 0 20 0 1 0 409936182 2119593984 13041 33554432000 4194304 5870510 140726164230400 140726164228968 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 517479 13041 1003 410 0 512952 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2069916 KiB
Current children cumulated memory: 52164 KiB
[startup+162.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/200 29142
/proc/meminfo: memFree=25518740/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2089872 memory=67780 CPUtime=162.28 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 38126 0 0 0 16223 5 0 0 20 0 1 0 409936182 2140028928 16945 33554432000 4194304 5870510 140726164230400 140726164228840 5262639 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 522468 16945 1003 410 0 517941 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2089872 KiB
Current children cumulated memory: 67780 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 29146
/proc/meminfo: memFree=25489616/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2091368 memory=74540 CPUtime=222.28 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 44253 0 0 0 22222 6 0 0 20 0 1 0 409936182 2141560832 18635 33554432000 4194304 5870510 140726164230400 140726164228968 5282694 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 522842 18635 1003 410 0 518315 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2091368 KiB
Current children cumulated memory: 74540 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 29152
/proc/meminfo: memFree=25479672/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2091368 memory=74556 CPUtime=282.28 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 48745 0 0 0 28222 6 0 0 20 0 1 0 409936182 2141560832 18639 33554432000 4194304 5870510 140726164230400 140726164228968 5283135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 522842 18639 1003 410 0 518315 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2091368 KiB
Current children cumulated memory: 74556 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29156
/proc/meminfo: memFree=25492752/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2091368 memory=74556 CPUtime=342.28 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 53696 0 0 0 34221 7 0 0 20 0 1 0 409936182 2141560832 18639 33554432000 4194304 5870510 140726164230400 140726164228968 5282721 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 522842 18639 1003 410 0 518315 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2091368 KiB
Current children cumulated memory: 74556 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29160
/proc/meminfo: memFree=25487464/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2091368 memory=74556 CPUtime=402.27 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 59656 0 0 0 40220 7 0 0 20 0 1 0 409936182 2141560832 18639 33554432000 4194304 5870510 140726164230400 140726164228968 5282729 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 522842 18639 1003 410 0 518315 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2091368 KiB
Current children cumulated memory: 74556 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 29166
/proc/meminfo: memFree=25469380/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2091368 memory=74556 CPUtime=462.28 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 64189 0 0 0 46220 8 0 0 20 0 1 0 409936182 2141560832 18639 33554432000 4194304 5870510 140726164230400 140726164228968 5282714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 522842 18639 1003 410 0 518315 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2091368 KiB
Current children cumulated memory: 74556 KiB
################
# More data... #
################
Current children cumulated memory: 79452 KiB
[startup+822.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/200 29202
/proc/meminfo: memFree=25481248/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2096896 memory=79460 CPUtime=822.26 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 99607 0 0 0 82215 11 0 0 20 0 1 0 409936182 2147221504 19865 33554432000 4194304 5870510 140726164230400 140726164228968 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 524224 19865 1003 410 0 519697 0
Current children cumulated CPU time: 822.26 s
Current children cumulated vsize: 2096896 KiB
Current children cumulated memory: 79460 KiB
[startup+882.3 s]
/proc/loadavg: 2.08 2.10 2.08 3/200 29206
/proc/meminfo: memFree=25467804/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2109252 memory=92204 CPUtime=882.25 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 106636 0 0 0 88213 12 0 0 20 0 1 0 409936182 2159874048 23051 33554432000 4194304 5870510 140726164230400 140726164228968 5282371 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 527313 23051 1003 410 0 522786 0
Current children cumulated CPU time: 882.25 s
Current children cumulated vsize: 2109252 KiB
Current children cumulated memory: 92204 KiB
[startup+942.3 s]
/proc/loadavg: 2.03 2.08 2.08 3/200 29210
/proc/meminfo: memFree=25465400/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2109252 memory=95372 CPUtime=942.25 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 108312 0 0 0 94213 12 0 0 20 0 1 0 409936182 2159874048 23843 33554432000 4194304 5870510 140726164230400 140726164228968 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 527313 23843 1003 410 0 522786 0
Current children cumulated CPU time: 942.25 s
Current children cumulated vsize: 2109252 KiB
Current children cumulated memory: 95372 KiB
[startup+1002.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/199 29216
/proc/meminfo: memFree=25466712/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2109252 memory=95596 CPUtime=1002.25 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 109433 0 0 0 100212 13 0 0 20 0 1 0 409936182 2159874048 23899 33554432000 4194304 5870510 140726164230400 140726164228968 5282349 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 527313 23899 1003 410 0 522786 0
Current children cumulated CPU time: 1002.25 s
Current children cumulated vsize: 2109252 KiB
Current children cumulated memory: 95596 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 29220
/proc/meminfo: memFree=25499224/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2062248 memory=49212 CPUtime=1062.24 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 112150 0 0 0 106210 14 0 0 20 0 1 0 409936182 2111741952 12303 33554432000 4194304 5870510 140726164230400 140726164228968 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 515562 12303 1003 410 0 511035 0
Current children cumulated CPU time: 1062.24 s
Current children cumulated vsize: 2062248 KiB
Current children cumulated memory: 49212 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/199 29224
/proc/meminfo: memFree=25472220/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2079268 memory=65652 CPUtime=1122.24 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 116745 0 0 0 112209 15 0 0 20 0 1 0 409936182 2129170432 16413 33554432000 4194304 5870510 140726164230400 140726164228968 5272880 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 519817 16413 1003 410 0 515290 0
Current children cumulated CPU time: 1122.24 s
Current children cumulated vsize: 2079268 KiB
Current children cumulated memory: 65652 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 29230
/proc/meminfo: memFree=25488460/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2096400 memory=74052 CPUtime=1182.24 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 117365 0 0 0 118209 15 0 0 20 0 1 0 409936182 2146713600 18513 33554432000 4194304 5870510 140726164230400 140726164228840 5282515 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 524100 18513 1003 410 0 519573 0
Current children cumulated CPU time: 1182.24 s
Current children cumulated vsize: 2096400 KiB
Current children cumulated memory: 74052 KiB
[startup+1222.37 s]
# the end of solver process 29098 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1222.16 s, system=0.158993 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1203.2 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 29231
/proc/meminfo: memFree=25481664/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2096400 memory=75128 CPUtime=1203.14 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 121486 0 0 0 120299 15 0 0 20 0 1 0 409936182 2146713600 18782 33554432000 4194304 5870510 140726164230400 140726164228840 5283024 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 524100 18782 1003 410 0 519573 0
Current children cumulated CPU time: 1203.14 s
Current children cumulated vsize: 2096400 KiB
Current children cumulated memory: 75128 KiB
[startup+1216 s]*
/proc/loadavg: 2.00 2.03 2.05 3/199 29231
/proc/meminfo: memFree=25477724/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2096400 memory=75128 CPUtime=1215.95 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 121628 0 0 0 121580 15 0 0 20 0 1 0 409936182 2146713600 18782 33554432000 4194304 5870510 140726164230400 140726164228840 5277212 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 524100 18782 1003 410 0 519573 0
Current children cumulated CPU time: 1215.95 s
Current children cumulated vsize: 2096400 KiB
Current children cumulated memory: 75128 KiB
[startup+1219.2 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 29231
/proc/meminfo: memFree=25487576/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2096400 memory=75128 CPUtime=1219.14 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 121639 0 0 0 121899 15 0 0 20 0 1 0 409936182 2146713600 18782 33554432000 4194304 5870510 140726164230400 140726164228840 5274889 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 524100 18782 1003 410 0 519573 0
Current children cumulated CPU time: 1219.14 s
Current children cumulated vsize: 2096400 KiB
Current children cumulated memory: 75128 KiB
[startup+1220.8 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 29231
/proc/meminfo: memFree=25483480/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2096400 memory=75128 CPUtime=1220.74 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 121642 0 0 0 122059 15 0 0 20 0 1 0 409936182 2146713600 18782 33554432000 4194304 5870510 140726164230400 140726164228840 5282505 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 524100 18782 1003 410 0 519573 0
Current children cumulated CPU time: 1220.74 s
Current children cumulated vsize: 2096400 KiB
Current children cumulated memory: 75128 KiB
[startup+1221.6 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 29231
/proc/meminfo: memFree=25481432/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2096400 memory=75128 CPUtime=1221.54 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 121646 0 0 0 122139 15 0 0 20 0 1 0 409936182 2146713600 18782 33554432000 4194304 5870510 140726164230400 140726164228840 5283106 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 524100 18782 1003 410 0 519573 0
Current children cumulated CPU time: 1221.54 s
Current children cumulated vsize: 2096400 KiB
Current children cumulated memory: 75128 KiB
[startup+1222 s]*
/proc/loadavg: 2.00 2.03 2.05 3/200 29233
/proc/meminfo: memFree=25478824/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2096400 memory=75128 CPUtime=1221.95 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 121646 0 0 0 122180 15 0 0 20 0 1 0 409936182 2146713600 18782 33554432000 4194304 5870510 140726164230400 140726164228840 5308575 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 524100 18782 1003 410 0 519573 0
Current children cumulated CPU time: 1221.95 s
Current children cumulated vsize: 2096400 KiB
Current children cumulated memory: 75128 KiB
[startup+1222.2 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 29233
/proc/meminfo: memFree=25478824/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2096400 memory=75128 CPUtime=1222.14 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 121647 0 0 0 122199 15 0 0 20 0 1 0 409936182 2146713600 18782 33554432000 4194304 5870510 140726164230400 140726164228840 5283135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 524100 18782 1003 410 0 519573 0
Current children cumulated CPU time: 1222.14 s
Current children cumulated vsize: 2096400 KiB
Current children cumulated memory: 75128 KiB
[startup+1222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 29233
/proc/meminfo: memFree=25478824/32770624 swapFree=66952812/67108860
[pid=29098] ppid=29095 vsize=2096400 memory=75128 CPUtime=1222.24 cores=1,3,5,7
/proc/29098/stat : 29098 (xcsp_picat) R 29095 29098 24214 0 -1 4202496 121647 0 0 0 122209 15 0 0 20 0 1 0 409936182 2146713600 18782 33554432000 4194304 5870510 140726164230400 140726164228840 5283135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 42000384 140726164239391 140726164239469 140726164239469 140726164242378 0
/proc/29098/statm: 524100 18782 1003 410 0 519573 0
Current children cumulated CPU time: 1222.24 s
Current children cumulated vsize: 2096400 KiB
Current children cumulated memory: 75128 KiB
Child status: 0
Real time (s): 1222.37
CPU time (s): 1222.31
CPU user time (s): 1222.16
CPU system time (s): 0.158993
CPU usage (%): 99.9956
Max. virtual memory (cumulated for all children) (KiB): 2109252
Max. memory (cumulated for all children) (KiB): 95596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1222.15
system time used= 0.158993
maximum resident set size= 95596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121685
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= 13
involuntary context switches= 349
# summary of solver processes directly reported to runsolver:
# pid: 29098
# total CPU time (s): 1222.31
# total CPU user time (s): 1222.16
# total CPU system time (s): 0.158993
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.83726 second user time and 8.94495 second system time
The end