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 (9821 MiB free)
memory of node 1: 16384 MiB (15800 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299882-1532791232/watcher-4299882-1532791232 -o /tmp/evaluation-result-4299882-1532791232/solver-4299882-1532791232 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532776103-29944 --watchdog 2580 nacre_mini_release HOME/instance-4299882-1532791232.xml -ca -l100 -cm
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
solver pid=31713, runsolver pid=31710
Current StackSize limit: 8192 KiB
[startup+0.100315 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 31714
/proc/meminfo: memFree=26213804/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=50448 memory=26756 CPUtime=0.09 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 6981 0 0 0 9 0 0 0 20 0 1 0 96686414 51658752 6689 33554432000 4194304 4933779 140728934271776 140728934266408 140504784412528 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 12612 6689 572 181 0 6229 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50448 KiB
Current children cumulated memory: 26756 KiB
[startup+0.209636 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 31714
/proc/meminfo: memFree=26189996/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=75072 memory=51308 CPUtime=0.2 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 13136 0 0 0 19 1 0 0 20 0 1 0 96686414 76873728 12827 33554432000 4194304 4933779 140728934271776 140728934266408 140504784400991 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 18768 12827 572 181 0 12385 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 75072 KiB
Current children cumulated memory: 51308 KiB
[startup+0.309533 s]*
/proc/loadavg: 2.00 2.01 2.04 3/187 31714
/proc/meminfo: memFree=26167304/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=97520 memory=73748 CPUtime=0.31 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 18749 0 0 0 29 2 0 0 20 0 1 0 96686414 99860480 18437 33554432000 4194304 4933779 140728934271776 140728934266408 140504784403429 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 24380 18437 572 181 0 17997 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 97520 KiB
Current children cumulated memory: 73748 KiB
[startup+0.700382 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31714
/proc/meminfo: memFree=26123036/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=180800 memory=157172 CPUtime=0.68 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 39570 0 0 0 64 4 0 0 20 0 1 0 96686414 185139200 39293 33554432000 4194304 4933779 140728934271776 140728934266408 140504784403429 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 45200 39293 572 181 0 38817 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 180800 KiB
Current children cumulated memory: 157172 KiB
[startup+1.50039 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31714
/proc/meminfo: memFree=26018352/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=345060 memory=321380 CPUtime=1.49 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 80622 0 0 0 140 9 0 0 20 0 1 0 96686414 353341440 80345 33554432000 4194304 4933779 140728934271776 140728934266408 4323644 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 86265 80345 572 181 0 79882 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 345060 KiB
Current children cumulated memory: 321380 KiB
[startup+3.10958 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31714
/proc/meminfo: memFree=25898044/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=363164 memory=339712 CPUtime=3.09 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 90267 0 0 0 300 9 0 0 20 0 1 0 96686414 371879936 84928 33554432000 4194304 4933779 140728934271776 140728934266408 4388377 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 90791 84928 607 181 0 84408 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 363164 KiB
Current children cumulated memory: 339712 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31714
/proc/meminfo: memFree=25876592/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=383040 memory=359524 CPUtime=6.28 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 98383 0 0 0 618 10 0 0 20 0 1 0 96686414 392232960 89881 33554432000 4194304 4933779 140728934271776 140728934269528 4475930 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 95760 89881 607 181 0 89377 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 383040 KiB
Current children cumulated memory: 359524 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31714
/proc/meminfo: memFree=25842740/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=411620 memory=388104 CPUtime=12.68 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 123989 0 0 0 1255 13 0 0 20 0 1 0 96686414 421498880 97026 33554432000 4194304 4933779 140728934271776 140728934269480 4475761 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 102905 97026 607 181 0 96522 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 411620 KiB
Current children cumulated memory: 388104 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31714
/proc/meminfo: memFree=25803184/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=443944 memory=419724 CPUtime=25.48 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 155971 0 0 0 2532 16 0 0 20 0 1 0 96686414 454598656 104931 33554432000 4194304 4933779 140728934271776 140728934269528 4380267 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 110986 104931 607 181 0 104603 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 443944 KiB
Current children cumulated memory: 419724 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31714
/proc/meminfo: memFree=25734736/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=504464 memory=480636 CPUtime=51.1 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 204371 0 0 0 5089 21 0 0 20 0 1 0 96686414 516571136 120159 33554432000 4194304 4933779 140728934271776 140728934269464 4335661 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 126116 120159 607 181 0 119733 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 504464 KiB
Current children cumulated memory: 480636 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31715
/proc/meminfo: memFree=25616324/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=611516 memory=587920 CPUtime=102.29 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 276117 0 0 0 10199 30 0 0 20 0 1 0 96686414 626192384 146980 33554432000 4194304 4933779 140728934271776 140728934269480 4437393 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 152879 146980 607 181 0 146496 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 611516 KiB
Current children cumulated memory: 587920 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31716
/proc/meminfo: memFree=25535972/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=676652 memory=652020 CPUtime=162.29 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 349854 0 0 0 16191 38 0 0 20 0 1 0 96686414 692891648 163005 33554432000 4194304 4933779 140728934271776 140728934269528 4437547 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 169163 163005 607 181 0 162780 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 676652 KiB
Current children cumulated memory: 652020 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31717
/proc/meminfo: memFree=25474316/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=726408 memory=701728 CPUtime=222.29 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 422308 0 0 0 22184 45 0 0 20 0 1 0 96686414 743841792 175432 33554432000 4194304 4933779 140728934271776 140728934269528 4475930 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 181602 175432 607 181 0 175219 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 726408 KiB
Current children cumulated memory: 701728 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31719
/proc/meminfo: memFree=25366868/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=814412 memory=789964 CPUtime=282.29 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 519037 0 0 0 28173 56 0 0 20 0 1 0 96686414 833957888 197491 33554432000 4194304 4933779 140728934271776 140728934269464 140504785258780 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 203603 197491 607 181 0 197220 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 814412 KiB
Current children cumulated memory: 789964 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31720
/proc/meminfo: memFree=25321984/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=835696 memory=811240 CPUtime=342.3 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 559979 0 0 0 34168 62 0 0 20 0 1 0 96686414 855752704 202810 33554432000 4194304 4933779 140728934271776 140728934269464 4475748 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 208924 202810 607 181 0 202541 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 835696 KiB
Current children cumulated memory: 811240 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31721
/proc/meminfo: memFree=25267276/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=871204 memory=846956 CPUtime=402.3 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 656800 0 0 0 40158 72 0 0 20 0 1 0 96686414 892112896 211739 33554432000 4194304 4933779 140728934271776 140728934269480 4422090 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 217801 211739 607 181 0 211418 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 871204 KiB
Current children cumulated memory: 846956 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31723
/proc/meminfo: memFree=25226112/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=896880 memory=872680 CPUtime=462.3 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 754829 0 0 0 46151 79 0 0 20 0 1 0 96686414 918405120 218170 33554432000 4194304 4933779 140728934271776 140728934269480 4388612 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 224220 218170 607 181 0 217837 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 896880 KiB
Current children cumulated memory: 872680 KiB
################
# More data... #
################
/proc/31713/statm: 377736 371372 607 181 0 371353 0
Current children cumulated CPU time: 1721.87 s
Current children cumulated vsize: 1510944 KiB
Current children cumulated memory: 1485488 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31767
/proc/meminfo: memFree=24309236/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=1562872 memory=1537348 CPUtime=1781.88 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 1910548 0 0 0 177978 210 0 0 20 0 1 0 96686414 1600380928 384337 33554432000 4194304 4933779 140728934271776 140728934269528 4437536 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 390718 384337 607 181 0 384335 0
Current children cumulated CPU time: 1781.88 s
Current children cumulated vsize: 1562872 KiB
Current children cumulated memory: 1537348 KiB
[startup+1842.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 31768
/proc/meminfo: memFree=24295500/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=1563272 memory=1537740 CPUtime=1841.88 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 1945172 0 0 0 183975 213 0 0 20 0 1 0 96686414 1600790528 384435 33554432000 4194304 4933779 140728934271776 140728934269464 4437570 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 390818 384435 607 181 0 384435 0
Current children cumulated CPU time: 1841.88 s
Current children cumulated vsize: 1563272 KiB
Current children cumulated memory: 1537740 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 31769
/proc/meminfo: memFree=24289208/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=1566152 memory=1540612 CPUtime=1901.88 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 1981513 0 0 0 189971 217 0 0 20 0 1 0 96686414 1603739648 385153 33554432000 4194304 4933779 140728934271776 140728934269464 4437558 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 391538 385153 607 181 0 385155 0
Current children cumulated CPU time: 1901.88 s
Current children cumulated vsize: 1566152 KiB
Current children cumulated memory: 1540612 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31830
/proc/meminfo: memFree=25032280/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=1577088 memory=1551652 CPUtime=1961.88 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 2019798 0 0 0 195967 221 0 0 20 0 1 0 96686414 1614938112 387913 33554432000 4194304 4933779 140728934271776 140728934269464 4388413 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 394272 387913 607 181 0 387889 0
Current children cumulated CPU time: 1961.88 s
Current children cumulated vsize: 1577088 KiB
Current children cumulated memory: 1551652 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31831
/proc/meminfo: memFree=24978844/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=1577220 memory=1551700 CPUtime=2021.88 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 2049415 0 0 0 201964 224 0 0 20 0 1 0 96686414 1615073280 387925 33554432000 4194304 4933779 140728934271776 140728934269464 4437564 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 394305 387925 607 181 0 387922 0
Current children cumulated CPU time: 2021.88 s
Current children cumulated vsize: 1577220 KiB
Current children cumulated memory: 1551700 KiB
[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 31833
/proc/meminfo: memFree=24936148/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=1587636 memory=1562148 CPUtime=2081.88 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 2087515 0 0 0 207959 229 0 0 20 0 1 0 96686414 1625739264 390537 33554432000 4194304 4933779 140728934271776 140728934269480 4362479 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 396909 390537 607 181 0 390526 0
Current children cumulated CPU time: 2081.88 s
Current children cumulated vsize: 1587636 KiB
Current children cumulated memory: 1562148 KiB
[startup+2142.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 31834
/proc/meminfo: memFree=24856400/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=1605488 memory=1579996 CPUtime=2141.88 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 2130165 0 0 0 213954 234 0 0 20 0 1 0 96686414 1644019712 394999 33554432000 4194304 4933779 140728934271776 140728934269528 4437572 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 401372 394999 607 181 0 394989 0
Current children cumulated CPU time: 2141.88 s
Current children cumulated vsize: 1605488 KiB
Current children cumulated memory: 1579996 KiB
[startup+2202.3 s]
/proc/loadavg: 1.97 2.01 2.04 3/187 31835
/proc/meminfo: memFree=24802320/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=1645476 memory=1620020 CPUtime=2201.88 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 2179819 0 0 0 219947 241 0 0 20 0 1 0 96686414 1684967424 405005 33554432000 4194304 4933779 140728934271776 140728934269464 4437570 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 411369 405005 607 181 0 404986 0
Current children cumulated CPU time: 2201.88 s
Current children cumulated vsize: 1645476 KiB
Current children cumulated memory: 1620020 KiB
[startup+2262.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 31837
/proc/meminfo: memFree=24751140/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=1675172 memory=1649684 CPUtime=2261.88 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 2233250 0 0 0 225941 247 0 0 20 0 1 0 96686414 1715376128 412421 33554432000 4194304 4933779 140728934271776 140728934269480 4475758 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 418793 412421 607 181 0 412410 0
Current children cumulated CPU time: 2261.88 s
Current children cumulated vsize: 1675172 KiB
Current children cumulated memory: 1649684 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31838
/proc/meminfo: memFree=24706252/32770624 swapFree=67028324/67108860
[pid=31713] ppid=31710 vsize=1700584 memory=1675184 CPUtime=2321.88 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 2285962 0 0 0 231934 254 0 0 20 0 1 0 96686414 1741398016 418796 33554432000 4194304 4933779 140728934271776 140728934269464 4388352 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 425146 418796 607 181 0 418763 0
Current children cumulated CPU time: 2321.88 s
Current children cumulated vsize: 1700584 KiB
Current children cumulated memory: 1675184 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31846
/proc/meminfo: memFree=24642040/32770624 swapFree=67028328/67108860
[pid=31713] ppid=31710 vsize=1739404 memory=1713932 CPUtime=2381.88 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 2349701 0 0 0 237926 262 0 0 20 0 1 0 96686414 1781149696 428483 33554432000 4194304 4933779 140728934271776 140728934269480 4475786 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 434851 428483 607 181 0 428468 0
Current children cumulated CPU time: 2381.88 s
Current children cumulated vsize: 1739404 KiB
Current children cumulated memory: 1713932 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 31870
/proc/meminfo: memFree=24601956/32770624 swapFree=67028328/67108860
[pid=31713] ppid=31710 vsize=1762800 memory=1737280 CPUtime=2441.88 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 2407297 0 0 0 243918 270 0 0 20 0 1 0 96686414 1805107200 434320 33554432000 4194304 4933779 140728934271776 140728934269528 4437393 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 440700 434320 607 181 0 434317 0
Current children cumulated CPU time: 2441.88 s
Current children cumulated vsize: 1762800 KiB
Current children cumulated memory: 1737280 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 31871
/proc/meminfo: memFree=24564712/32770624 swapFree=67028328/67108860
[pid=31713] ppid=31710 vsize=1786536 memory=1761072 CPUtime=2501.88 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 2471907 0 0 0 249910 278 0 0 20 0 1 0 96686414 1829412864 440268 33554432000 4194304 4933779 140728934271776 140728934269528 4380629 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 446634 440268 607 181 0 440251 0
Current children cumulated CPU time: 2501.88 s
Current children cumulated vsize: 1786536 KiB
Current children cumulated memory: 1761072 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.04 3/188 31872
/proc/meminfo: memFree=24555264/32770624 swapFree=67028328/67108860
[pid=31713] ppid=31710 vsize=1791544 memory=1766096 CPUtime=2519.59 cores=1,3,5,7
/proc/31713/stat : 31713 (nacre_mini_rele) R 31710 31713 29912 0 -1 4202496 2486291 0 0 0 251680 279 0 0 20 0 1 0 96686414 1834541056 441524 33554432000 4194304 4933779 140728934271776 140728934269464 4475748 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0 7034520 7039168 15659008 140728934278296 140728934278396 140728934278396 140728934281154 0
/proc/31713/statm: 447886 441524 607 181 0 441503 0
Current children cumulated CPU time: 2519.59 s
Current children cumulated vsize: 1791544 KiB
Current children cumulated memory: 1766096 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 31713 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.8 s, system=2.829 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.04
CPU time (s): 2519.63
CPU user time (s): 2516.8
CPU system time (s): 2.829
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 1791544
Max. memory (cumulated for all children) (KiB): 1766096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.8
system time used= 2.829
maximum resident set size= 1766192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2486339
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= 607
involuntary context switches= 1873
# summary of solver processes directly reported to runsolver:
# pid: 31713
# total CPU time (s): 2519.63
# total CPU user time (s): 2516.8
# total CPU system time (s): 2.829
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3242 second user time and 18.2841 second system time
The end